Trace number 4093628

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-0-100-0.wbo
MD5SUMe8a78e2fe28a365664c9883ac99e1f12
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark1.15582
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables750
Total number of constraints80
Number of soft constraints80
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint25
Top cost 3814
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3813
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
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-16T17:19:54+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-4093628-1466090394.wbo"]
0.00/0.01	c use --random-gen="229228366 4225210149 2148564768 4135841244 1998217500 3551382107 4122807453 74916309 433081944 299830165 2030530610 466289046 1910890869 2961967716 1557106567 2218101902 2937717484 167766036 1599608884 296255711 1958543259 4133313268 3484971353 224560528 177972162 3566916084 1388890122 616295966 1911986578 3005284704 3555464244 2413947401 1585247746 3759812077 3854161556 2296165109 1308056854 3573099595 349332789 4135351657 51151935 3767520647 4119732438 1323460571 409957455 3457665602 98696798 155709492 2635237740 338383104 4192367837 1033862827 4116690204 1969048741 223024079 702028311 347677267 2249578291 54252387 2022025958 954496417 1199942416 1426794528 1880588488 3992172289 4101610720 3099715912 1694739786 3443820450 3996447801 474765442 1616331076 1748217068 3533066138 1070680051 4039170463 282100810 2925347176 3190038652 1464158719 2548868111 3440531313 2181080225 2813252729 3729848132 4066198066 2153301440 2454949656 1212376331 934077577 1928122394 2442900320 2941144379 3588580407 1204386741 2177814145 2992179294 139962149 1017821962 2949389445 1060741976 3832053722 2095529955 2471331985 4096248401 3481351337 270924065 4072157908 858083933 3066880642 1725950914 1710450822 1137108037 1792776693 1660829517 2459880777 3499455224 1568770873 4215018791 2933764270 2196807553 3714570409 2885269568 559008740 732566090 785858277 3330851479 1419064739 1754490811 1203204397 1906613002 2577007863 1839350640 471191133 642528422 3159653766 710425360 783483290 1992944522 1876022247 3936355160 1397020767 2054099125 480791126 940183199 2702078806 3980849238 2968889266 1054375853 3714863797 2121436492 81371450 4087986918 173626333 1928208804 914455702 1637467431 502102158 2349170730 2941861554 2637933116 869370599 1151176386 3038985861 3664947860 542662514 347738024 253880784 924980215 2816988179 3242198824 3151663432 1904989562 3939342850 855811794 655890862 3275533207 906439965 1932383070 1322934618 2907165366 2009369549 3311618694 3366572555 2153153125 4143733318 2622346962 747660687 2633221249 958607754 2863913878 1734661034 1308967184 770352607 532643565 2740969728 395334478 4132591446 3315048937 3817988575 3040081194 1673314955 43198628 2157226448 2788764567 154040187 4750612 3621065754 3754414509 3486031654 2583171807 326125928 2455449980 2658172929 4098460709 3527563781 3139394368 3592080971 775099967 1255939346 3120209753 876477358 1386470750 3324622365 1399966109 4268542730 1483552557 3696842331 3900484603 3506838261 1786177388 1569443935 2020190637 3521864248 1230528930 483441876 1689138272 129004003 532494597 12069783 1791430663 2380332625 848445204 3393077841 1260609576 1288054917 2061345300 1358638399 3712391271 3722523420 4219170088 3847698579 4272226742 685077374 3310427697 1070571285 255 362436" option to reproduce the execution
0.00/0.04	c #vars 750
0.00/0.04	c #constraints 80
0.00/0.04	c BCD2: Hardening is enabled.
0.00/0.04	c BCD2: BiasedSearch is enabled.
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      303      0 |        0 |        0
0.00/0.05	c  0.0s |       0 |      110 |        0 |      303      0 |        0 |        0
0.00/0.05	c #cpu_time = 0.001s
0.00/0.05	c #wall_clock_time = 0.001s
0.00/0.05	c #decision = 110
0.00/0.05	c #random_decision = 0
0.00/0.05	c #conflict = 0
0.00/0.05	c #restart = 0
0.00/0.05	o 2354
0.00/0.05	c BCD2: updating upper bound: 3813 -> 2353
0.00/0.05	c BCD2: 0 <= obj <= 2353
0.00/0.05	c BCD2: #cores=0, #unrelaxed=80, #relaxed=0, #hardened=0
0.00/0.05	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      303      0 |        0 |        0
0.00/0.07	c  0.0s |       1 |      209 |      100 |      303      0 |        0 |        0
0.09/0.10	c  0.1s |       2 |      594 |      250 |      334      0 |        0 |        0
0.09/0.16	c  0.1s |       3 |     1062 |      475 |      368      0 |        0 |        0
0.28/0.32	c  0.3s |       4 |     1687 |      813 |      405      1 |        0 |        0
0.39/0.48	c  0.4s |       5 |     2511 |     1320 |      446      2 |        0 |        0
0.78/0.80	c  0.7s |       6 |     3578 |     2081 |      541      4 |        0 |        0
1.09/1.17	c  1.1s |       7 |     5098 |     3223 |      596      7 |        0 |        0
1.59/1.66	c  1.6s |       8 |     7198 |     4936 |      656     10 |        0 |        0
2.38/2.47	c  2.4s |       9 |    10403 |     7506 |      722     15 |        0 |        0
3.88/3.94	c  3.9s |      10 |    15017 |    11361 |      795     22 |        0 |        0
5.88/5.95	c  5.9s |      10 |    22135 |    16361 |      795     32 |        0 |        0
6.18/6.25	c  6.2s |      11 |    23060 |    17144 |      875     33 |        0 |        0
8.18/8.27	c  8.2s |      11 |    30639 |    22244 |      875     43 |        0 |        0
9.58/9.69	c  9.6s |      12 |    34746 |    25819 |      963     49 |        0 |        0
11.68/11.70	c 11.7s |      12 |    41567 |    31419 |      963     59 |        0 |        0
13.68/13.70	c 13.7s |      12 |    48087 |    37219 |      963     69 |        0 |        0
14.18/14.27	c 14.2s |      13 |    49900 |    38832 |     1060     71 |        0 |        0
16.28/16.30	c 16.2s |      13 |    57340 |    43932 |     1060     79 |        0 |        0
18.28/18.33	c 18.3s |      13 |    64541 |    49032 |     1060     87 |        0 |        0
20.28/20.35	c 20.3s |      13 |    70397 |    53732 |     1060     95 |        0 |        0
22.28/22.36	c 22.3s |      13 |    75818 |    58232 |     1166    101 |        0 |        0
22.38/22.41	c 22.4s |      14 |    75969 |    58352 |     1166    102 |        0 |        0
24.38/24.43	c 24.4s |      14 |    82101 |    62752 |     1166    108 |        0 |        0
26.39/26.45	c 26.4s |      14 |    87906 |    67252 |     1166    114 |        0 |        0
28.38/28.48	c 28.4s |      14 |    93263 |    71452 |     1166    121 |        0 |        0
30.48/30.52	c 30.5s |      14 |    98982 |    75852 |     1166    127 |        0 |        0
32.48/32.55	c 32.5s |      14 |   105276 |    80552 |     1166    134 |        0 |        0
34.48/34.58	c 34.5s |      14 |   112603 |    85452 |     1166    141 |        0 |        0
35.48/35.51	c 35.5s |      15 |   115317 |    87632 |     1283    144 |        0 |        0
37.49/37.52	c 37.5s |      15 |   120598 |    91632 |     1283    149 |        0 |        0
39.48/39.54	c 39.5s |      15 |   125976 |    95732 |     1283    154 |        0 |        0
41.48/41.57	c 41.5s |      15 |   131491 |    99932 |     1283    160 |        0 |        0
43.58/43.61	c 43.6s |      15 |   137029 |   104032 |     1283    165 |        0 |        0
45.58/45.65	c 45.6s |      15 |   142247 |   108332 |     1283    171 |        0 |        0
47.58/47.69	c 47.6s |      15 |   147136 |   112432 |     1283    177 |        0 |        0
49.68/49.72	c 49.7s |      15 |   152151 |   116332 |     1283    182 |        0 |        0
51.68/51.76	c 51.7s |      15 |   157185 |   120332 |     1283    187 |        0 |        0
53.77/53.81	c 53.8s |      15 |   162502 |   124432 |     1283    193 |        0 |        0
55.77/55.86	c 55.8s |      15 |   166891 |   127932 |     1283    197 |        0 |        0
57.47/57.57	c 57.5s |      16 |   171375 |   131552 |     1412    202 |        0 |        0
59.57/59.60	c 59.5s |      16 |   178674 |   136952 |     1412    208 |        0 |        0
61.58/61.62	c 61.6s |      16 |   184175 |   141552 |     1412    214 |        0 |        0
63.57/63.63	c 63.6s |      16 |   189300 |   145852 |     1412    219 |        0 |        0
65.57/65.65	c 65.6s |      16 |   194437 |   150352 |     1412    225 |        0 |        0
67.57/67.66	c 67.6s |      16 |   199063 |   154352 |     1412    230 |        0 |        0
69.58/69.67	c 69.6s |      16 |   203479 |   158052 |     1412    234 |        0 |        0
71.68/71.70	c 71.7s |      16 |   208222 |   161752 |     1412    239 |        0 |        0
73.69/73.71	c 73.7s |      16 |   212632 |   165552 |     1412    243 |        0 |        0
75.68/75.75	c 75.7s |      16 |   217074 |   169252 |     1412    248 |        0 |        0
77.78/77.80	c 77.8s |      16 |   221658 |   173152 |     1412    253 |        0 |        0
79.78/79.85	c 79.8s |      16 |   226467 |   177252 |     1412    258 |        0 |        0
81.78/81.88	c 81.8s |      16 |   230895 |   181052 |     1412    262 |        0 |        0
83.88/83.90	c 83.9s |      16 |   235247 |   184652 |     1412    267 |        0 |        0
85.88/85.94	c 85.9s |      16 |   239097 |   188052 |     1412    271 |        0 |        0
87.88/87.95	c 87.9s |      16 |   243421 |   191552 |     1412    275 |        0 |        0
89.88/89.95	c 89.9s |      16 |   247603 |   195052 |     1412    279 |        0 |        0
91.38/91.49	c 91.4s |      17 |   250324 |   197432 |     1554    282 |        0 |        0
93.48/93.53	c 93.5s |      17 |   255529 |   201232 |     1554    286 |        0 |        0
95.48/95.54	c 95.5s |      17 |   260096 |   205032 |     1554    291 |        0 |        0
97.48/97.54	c 97.5s |      17 |   264352 |   208632 |     1554    295 |        0 |        0
99.47/99.58	c 99.5s |      17 |   267946 |   211732 |     1554    298 |        0 |        0
101.57/101.60	c  101s |      17 |   273429 |   215732 |     1554    303 |        0 |        0
103.57/103.63	c  103s |      17 |   277767 |   219432 |     1554    307 |        0 |        0
105.58/105.65	c  105s |      17 |   281886 |   222932 |     1554    311 |        0 |        0
107.57/107.65	c  107s |      17 |   285812 |   226132 |     1554    315 |        0 |        0
109.57/109.65	c  109s |      17 |   290161 |   229632 |     1554    319 |        0 |        0
111.57/111.66	c  111s |      17 |   294279 |   233232 |     1554    323 |        0 |        0
113.57/113.67	c  113s |      17 |   299215 |   237132 |     1554    328 |        0 |        0
115.58/115.70	c  115s |      17 |   303325 |   240532 |     1554    332 |        0 |        0
117.68/117.74	c  117s |      17 |   307980 |   244232 |     1554    336 |        0 |        0
119.77/119.80	c  119s |      17 |   312901 |   248232 |     1554    341 |        0 |        0
121.77/121.80	c  121s |      17 |   317763 |   252332 |     1554    345 |        0 |        0
123.77/123.84	c  123s |      17 |   322627 |   256232 |     1554    350 |        0 |        0
125.77/125.85	c  125s |      17 |   327096 |   259932 |     1554    354 |        0 |        0
127.77/127.88	c  127s |      17 |   331757 |   263732 |     1554    359 |        0 |        0
129.87/129.92	c  129s |      17 |   336236 |   267432 |     1554    363 |        0 |        0
131.87/131.93	c  131s |      17 |   340867 |   271132 |     1554    367 |        0 |        0
133.87/133.94	c  133s |      17 |   346113 |   275032 |     1554    372 |        0 |        0
135.87/135.97	c  135s |      17 |   350377 |   278632 |     1554    376 |        0 |        0
137.87/137.98	c  137s |      17 |   354535 |   282232 |     1554    380 |        0 |        0
139.96/140.00	c  139s |      17 |   358735 |   285932 |     1554    384 |        0 |        0
141.97/142.04	c  141s |      17 |   363497 |   290032 |     1554    389 |        0 |        0
143.96/144.05	c  144s |      17 |   367989 |   293932 |     1554    394 |        0 |        0
145.27/145.35	c  145s |      18 |   370608 |   296252 |     1710    396 |        0 |        0
147.37/147.40	c  147s |      18 |   375070 |   299952 |     1710    400 |        0 |        0
149.36/149.44	c  149s |      18 |   379329 |   303752 |     1710    404 |        0 |        0
151.36/151.48	c  151s |      18 |   383767 |   307652 |     1710    408 |        0 |        0
153.46/153.50	c  153s |      18 |   388193 |   311552 |     1710    413 |        0 |        0
155.46/155.51	c  155s |      18 |   392453 |   315352 |     1710    417 |        0 |        0
157.46/157.54	c  157s |      18 |   396568 |   319052 |     1710    420 |        0 |        0
159.47/159.57	c  159s |      18 |   400468 |   322552 |     1710    424 |        0 |        0
161.46/161.58	c  161s |      18 |   404605 |   325952 |     1710    427 |        0 |        0
163.56/163.60	c  163s |      18 |   409617 |   330152 |     1710    432 |        0 |        0
165.57/165.62	c  165s |      18 |   414154 |   334052 |     1710    436 |        0 |        0
167.57/167.63	c  167s |      18 |   418591 |   337852 |     1710    440 |        0 |        0
169.57/169.64	c  169s |      18 |   422917 |   341552 |     1710    443 |        0 |        0
171.57/171.66	c  171s |      18 |   427141 |   345052 |     1710    447 |        0 |        0
173.66/173.72	c  173s |      18 |   432385 |   349252 |     1710    452 |        0 |        0
175.66/175.72	c  175s |      18 |   437018 |   353152 |     1710    456 |        0 |        0
177.66/177.74	c  177s |      18 |   441535 |   357052 |     1710    460 |        0 |        0
179.66/179.76	c  179s |      18 |   446133 |   360952 |     1710    464 |        0 |        0
181.66/181.77	c  181s |      18 |   450831 |   365152 |     1710    468 |        0 |        0
183.77/183.81	c  183s |      18 |   455566 |   369252 |     1710    472 |        0 |        0
185.76/185.84	c  185s |      18 |   459756 |   372952 |     1710    476 |        0 |        0
187.76/187.86	c  187s |      18 |   463737 |   376352 |     1710    480 |        0 |        0
189.76/189.87	c  189s |      18 |   468032 |   379752 |     1710    483 |        0 |        0
191.76/191.89	c  191s |      18 |   472374 |   383352 |     1710    487 |        0 |        0
193.86/193.91	c  193s |      18 |   476612 |   386852 |     1710    491 |        0 |        0
195.86/195.92	c  195s |      18 |   480871 |   390552 |     1710    495 |        0 |        0
197.86/197.94	c  197s |      18 |   484985 |   394152 |     1710    498 |        0 |        0
199.86/199.98	c  199s |      18 |   489354 |   397952 |     1710    502 |        0 |        0
201.86/201.99	c  201s |      18 |   493248 |   401452 |     1710    506 |        0 |        0
203.86/203.99	c  203s |      18 |   497373 |   405052 |     1710    510 |        0 |        0
205.96/206.01	c  205s |      18 |   501516 |   408752 |     1710    514 |        0 |        0
207.96/208.03	c  207s |      18 |   506897 |   413352 |     1710    519 |        0 |        0
209.95/210.05	c  210s |      18 |   511390 |   417052 |     1710    522 |        0 |        0
211.95/212.06	c  212s |      18 |   515476 |   420552 |     1710    526 |        0 |        0
213.95/214.07	c  214s |      18 |   519871 |   424252 |     1710    530 |        0 |        0
216.05/216.11	c  216s |      18 |   524116 |   427852 |     1710    534 |        0 |        0
218.05/218.16	c  218s |      18 |   528810 |   431752 |     1710    538 |        0 |        0
220.06/220.18	c  220s |      18 |   533368 |   435452 |     1710    542 |        0 |        0
222.05/222.18	c  222s |      18 |   537650 |   439152 |     1710    546 |        0 |        0
224.15/224.21	c  224s |      18 |   541555 |   442552 |     1882    549 |        0 |        0
225.15/225.23	c  225s |      19 |   543811 |   444482 |     1882    551 |        0 |        0
227.15/227.24	c  227s |      19 |   548756 |   448182 |     1882    554 |        0 |        0
229.15/229.27	c  229s |      19 |   553434 |   451682 |     1882    557 |        0 |        0
231.25/231.31	c  231s |      19 |   557789 |   455182 |     1882    561 |        0 |        0
233.26/233.34	c  233s |      19 |   562039 |   458382 |     1882    564 |        0 |        0
235.25/235.37	c  235s |      19 |   566135 |   461582 |     1882    566 |        0 |        0
237.35/237.41	c  237s |      19 |   570266 |   464782 |     1882    569 |        0 |        0
239.35/239.45	c  239s |      19 |   574748 |   468182 |     1882    573 |        0 |        0
241.35/241.46	c  241s |      19 |   579206 |   471082 |     1882    575 |        0 |        0
243.35/243.46	c  243s |      19 |   582834 |   473982 |     1882    578 |        0 |        0
245.45/245.52	c  245s |      19 |   586995 |   476782 |     1882    580 |        0 |        0
247.45/247.58	c  247s |      19 |   590996 |   479982 |     1882    583 |        0 |        0
249.55/249.63	c  249s |      19 |   595797 |   483182 |     1882    586 |        0 |        0
251.55/251.64	c  251s |      19 |   600276 |   486582 |     1882    589 |        0 |        0
253.54/253.66	c  253s |      19 |   605206 |   490182 |     1882    593 |        0 |        0
255.54/255.66	c  255s |      19 |   610316 |   493482 |     1882    596 |        0 |        0
257.54/257.68	c  257s |      19 |   615063 |   497082 |     1882    599 |        0 |        0
259.55/259.69	c  259s |      19 |   620116 |   500782 |     1882    603 |        0 |        0
261.64/261.71	c  261s |      19 |   625343 |   504582 |     1882    606 |        0 |        0
263.64/263.75	c  263s |      19 |   629512 |   507882 |     1882    609 |        0 |        0
265.64/265.77	c  265s |      19 |   633229 |   511082 |     1882    612 |        0 |        0
267.74/267.81	c  267s |      19 |   637299 |   514582 |     1882    615 |        0 |        0
269.74/269.85	c  269s |      19 |   641352 |   518082 |     1882    618 |        0 |        0
271.74/271.89	c  271s |      19 |   644973 |   521182 |     1882    621 |        0 |        0
273.84/273.94	c  273s |      19 |   648755 |   524182 |     1882    624 |        0 |        0
275.83/275.97	c  275s |      19 |   652625 |   527382 |     1882    627 |        0 |        0
277.83/277.97	c  277s |      19 |   656194 |   530082 |     1882    629 |        0 |        0
279.84/279.98	c  279s |      19 |   660071 |   533182 |     1882    632 |        0 |        0
281.94/282.04	c  281s |      19 |   663992 |   536382 |     1882    635 |        0 |        0
283.94/284.06	c  284s |      19 |   667582 |   539182 |     1882    638 |        0 |        0
286.04/286.13	c  286s |      19 |   672808 |   542382 |     1882    641 |        0 |        0
288.04/288.18	c  288s |      19 |   676893 |   545582 |     1882    644 |        0 |        0
290.13/290.23	c  290s |      19 |   680751 |   548682 |     1882    647 |        0 |        0
292.23/292.30	c  292s |      19 |   683738 |   551382 |     1882    649 |        0 |        0
294.23/294.37	c  294s |      19 |   687263 |   554182 |     1882    652 |        0 |        0
296.33/296.42	c  296s |      19 |   690979 |   557282 |     1882    654 |        0 |        0
298.33/298.45	c  298s |      19 |   694226 |   559982 |     1882    657 |        0 |        0
300.34/300.45	c  300s |      19 |   697787 |   563082 |     1882    660 |        0 |        0
302.33/302.49	c  302s |      19 |   701971 |   566482 |     1882    663 |        0 |        0
304.42/304.50	c  304s |      19 |   706024 |   569782 |     1882    666 |        0 |        0
306.42/306.57	c  306s |      19 |   709941 |   572882 |     1882    669 |        0 |        0
308.52/308.60	c  308s |      19 |   713171 |   575582 |     1882    671 |        0 |        0
310.52/310.61	c  310s |      19 |   716711 |   578582 |     1882    674 |        0 |        0
312.52/312.63	c  312s |      19 |   720105 |   581582 |     1882    677 |        0 |        0
314.53/314.63	c  314s |      19 |   723502 |   584682 |     1882    679 |        0 |        0
316.52/316.63	c  316s |      19 |   726726 |   587582 |     1882    682 |        0 |        0
318.52/318.65	c  318s |      19 |   730224 |   590382 |     1882    685 |        0 |        0
320.52/320.67	c  320s |      19 |   733350 |   592882 |     1882    687 |        0 |        0
322.62/322.71	c  322s |      19 |   737227 |   595582 |     1882    690 |        0 |        0
324.61/324.75	c  324s |      19 |   740884 |   598682 |     1882    692 |        0 |        0
326.62/326.79	c  326s |      19 |   744445 |   601582 |     1882    695 |        0 |        0
328.71/328.83	c  328s |      19 |   747854 |   604382 |     1882    698 |        0 |        0
330.71/330.85	c  330s |      19 |   753531 |   608782 |     1882    702 |        0 |        0
332.71/332.89	c  332s |      19 |   759441 |   613082 |     1882    705 |        0 |        0
334.81/334.90	c  334s |      19 |   764952 |   617082 |     1882    709 |        0 |        0
336.81/336.96	c  336s |      19 |   770877 |   620682 |     1882    712 |        0 |        0
338.81/338.97	c  338s |      19 |   776192 |   624482 |     1882    716 |        0 |        0
340.81/340.99	c  340s |      19 |   782613 |   628282 |     1882    719 |        0 |        0
342.90/343.02	c  342s |      19 |   787525 |   632082 |     1882    723 |        0 |        0
344.90/345.05	c  345s |      19 |   791910 |   635782 |     1882    726 |        0 |        0
347.00/347.10	c  347s |      19 |   796145 |   639382 |     1882    730 |        0 |        0
349.00/349.11	c  349s |      19 |   799909 |   642682 |     1882    733 |        0 |        0
351.00/351.11	c  351s |      19 |   803835 |   646082 |     1882    736 |        0 |        0
353.01/353.12	c  353s |      19 |   808026 |   649682 |     1882    739 |        0 |        0
355.00/355.15	c  355s |      19 |   812325 |   653182 |     1882    742 |        0 |        0
357.00/357.19	c  357s |      19 |   815827 |   656182 |     1882    745 |        0 |        0
359.10/359.20	c  359s |      19 |   819975 |   659782 |     1882    748 |        0 |        0
361.10/361.21	c  361s |      19 |   823756 |   663182 |     2071    751 |        0 |        0
363.09/363.24	c  363s |      19 |   828069 |   666682 |     2071    754 |        0 |        0
363.19/363.34	c  363s |      20 |   828247 |   666827 |     2071    755 |        0 |        0
365.20/365.37	c  365s |      20 |   833833 |   670827 |     2071    758 |        0 |        0
367.19/367.37	c  367s |      20 |   838895 |   674227 |     2071    761 |        0 |        0
369.29/369.41	c  369s |      20 |   844027 |   677827 |     2071    764 |        0 |        0
371.29/371.45	c  371s |      20 |   848626 |   681327 |     2071    767 |        0 |        0
373.29/373.49	c  373s |      20 |   853057 |   684827 |     2071    770 |        0 |        0
375.38/375.54	c  375s |      20 |   857880 |   688427 |     2071    773 |        0 |        0
377.38/377.57	c  377s |      20 |   862675 |   692127 |     2071    776 |        0 |        0
379.39/379.60	c  379s |      20 |   867009 |   695527 |     2071    779 |        0 |        0
381.48/381.65	c  381s |      20 |   871648 |   698927 |     2071    782 |        0 |        0
383.48/383.66	c  383s |      20 |   875456 |   701827 |     2071    784 |        0 |        0
385.48/385.68	c  385s |      20 |   880110 |   705427 |     2071    787 |        0 |        0
387.58/387.72	c  387s |      20 |   884345 |   708927 |     2071    790 |        0 |        0
389.57/389.75	c  389s |      20 |   888672 |   712527 |     2071    793 |        0 |        0
391.67/391.83	c  391s |      20 |   893507 |   716127 |     2071    797 |        0 |        0
393.67/393.89	c  393s |      20 |   897884 |   719727 |     2071    800 |        0 |        0
395.77/395.92	c  395s |      20 |   903116 |   723627 |     2071    803 |        0 |        0
397.77/397.95	c  397s |      20 |   907067 |   727027 |     2071    806 |        0 |        0
399.77/399.99	c  399s |      20 |   911223 |   730527 |     2071    809 |        0 |        0
401.86/402.05	c  402s |      20 |   915423 |   733927 |     2071    812 |        0 |        0
403.96/404.13	c  404s |      20 |   919598 |   737427 |     2071    815 |        0 |        0
405.96/406.18	c  406s |      20 |   923535 |   740627 |     2071    817 |        0 |        0
407.97/408.18	c  408s |      20 |   927621 |   743827 |     2071    820 |        0 |        0
410.06/410.24	c  410s |      20 |   931307 |   746827 |     2071    823 |        0 |        0
412.06/412.26	c  412s |      20 |   934777 |   749627 |     2071    825 |        0 |        0
414.05/414.29	c  414s |      20 |   938023 |   752427 |     2071    827 |        0 |        0
416.15/416.32	c  416s |      20 |   942860 |   756527 |     2071    831 |        0 |        0
418.15/418.32	c  418s |      20 |   947517 |   760627 |     2071    834 |        0 |        0
420.16/420.38	c  420s |      20 |   951971 |   764527 |     2071    838 |        0 |        0
422.26/422.42	c  422s |      20 |   956103 |   768227 |     2071    841 |        0 |        0
424.25/424.46	c  424s |      20 |   960392 |   772027 |     2071    844 |        0 |        0
426.36/426.50	c  426s |      20 |   964753 |   775827 |     2071    848 |        0 |        0
428.36/428.51	c  428s |      20 |   969056 |   779627 |     2071    851 |        0 |        0
430.36/430.53	c  430s |      20 |   973717 |   783727 |     2071    854 |        0 |        0
432.36/432.54	c  432s |      20 |   978525 |   787927 |     2071    858 |        0 |        0
434.36/434.55	c  434s |      20 |   982960 |   791927 |     2071    861 |        0 |        0
436.35/436.56	c  436s |      20 |   987360 |   795527 |     2071    864 |        0 |        0
438.35/438.58	c  438s |      20 |   991285 |   798927 |     2071    867 |        0 |        0
440.45/440.61	c  440s |      20 |   995355 |   802527 |     2071    870 |        0 |        0
442.45/442.67	c  442s |      20 |   999237 |   805927 |     2071    873 |        0 |        0
444.45/444.67	c  444s |      20 |  1002721 |   808927 |     2071    876 |        0 |        0
446.46/446.68	c  446s |      20 |  1006636 |   812327 |     2071    879 |        0 |        0
448.55/448.71	c  448s |      20 |  1010580 |   815727 |     2071    881 |        0 |        0
450.55/450.73	c  450s |      20 |  1014561 |   819327 |     2071    884 |        0 |        0
452.55/452.77	c  452s |      20 |  1018621 |   822927 |     2071    887 |        0 |        0
454.65/454.84	c  454s |      20 |  1022385 |   826327 |     2071    890 |        0 |        0
456.65/456.87	c  456s |      20 |  1026747 |   830027 |     2071    893 |        0 |        0
458.75/458.94	c  458s |      20 |  1030834 |   833427 |     2071    896 |        0 |        0
460.75/460.95	c  460s |      20 |  1034281 |   836427 |     2071    899 |        0 |        0
462.74/462.97	c  462s |      20 |  1037438 |   839127 |     2071    901 |        0 |        0
464.84/465.05	c  465s |      20 |  1040643 |   841927 |     2071    903 |        0 |        0
466.94/467.11	c  467s |      20 |  1044274 |   845127 |     2071    906 |        0 |        0
468.94/469.12	c  469s |      20 |  1047662 |   848127 |     2071    909 |        0 |        0
470.94/471.14	c  471s |      20 |  1051984 |   851927 |     2071    912 |        0 |        0
472.95/473.16	c  473s |      20 |  1056033 |   855427 |     2071    915 |        0 |        0
474.93/475.17	c  475s |      20 |  1060116 |   858927 |     2071    918 |        0 |        0
477.03/477.20	c  477s |      20 |  1063782 |   862227 |     2071    920 |        0 |        0
479.03/479.26	c  479s |      20 |  1067548 |   865627 |     2071    923 |        0 |        0
481.03/481.27	c  481s |      20 |  1070884 |   868627 |     2071    926 |        0 |        0
483.13/483.32	c  483s |      20 |  1075053 |   871927 |     2071    929 |        0 |        0
485.13/485.34	c  485s |      20 |  1079070 |   875427 |     2071    932 |        0 |        0
487.13/487.36	c  487s |      20 |  1083568 |   879327 |     2071    935 |        0 |        0
489.12/489.37	c  489s |      20 |  1088070 |   883227 |     2071    938 |        0 |        0
491.22/491.43	c  491s |      20 |  1092647 |   887127 |     2071    942 |        0 |        0
493.22/493.43	c  493s |      20 |  1097079 |   890927 |     2071    945 |        0 |        0
495.22/495.49	c  495s |      20 |  1101275 |   894427 |     2071    948 |        0 |        0
497.32/497.51	c  497s |      20 |  1104973 |   897627 |     2071    951 |        0 |        0
499.32/499.54	c  499s |      20 |  1108824 |   900927 |     2071    953 |        0 |        0
501.32/501.56	c  501s |      20 |  1113116 |   904627 |     2071    957 |        0 |        0
503.31/503.59	c  503s |      20 |  1117071 |   908127 |     2071    960 |        0 |        0
505.41/505.63	c  505s |      20 |  1120882 |   911527 |     2071    962 |        0 |        0
507.41/507.63	c  507s |      20 |  1124913 |   914927 |     2071    965 |        0 |        0
509.41/509.64	c  509s |      20 |  1128723 |   918227 |     2071    968 |        0 |        0
511.42/511.68	c  511s |      20 |  1132867 |   921927 |     2071    971 |        0 |        0
513.41/513.68	c  513s |      20 |  1137270 |   925727 |     2071    975 |        0 |        0
515.50/515.74	c  515s |      20 |  1141199 |   929127 |     2071    977 |        0 |        0
517.50/517.75	c  517s |      20 |  1145006 |   932427 |     2071    980 |        0 |        0
519.50/519.76	c  519s |      20 |  1148443 |   935427 |     2071    983 |        0 |        0
521.61/521.81	c  521s |      20 |  1153317 |   939127 |     2071    986 |        0 |        0
523.61/523.85	c  523s |      20 |  1157526 |   942727 |     2071    989 |        0 |        0
525.61/525.87	c  525s |      20 |  1161723 |   946227 |     2071    992 |        0 |        0
527.71/527.92	c  527s |      20 |  1166275 |   950027 |     2071    995 |        0 |        0
529.71/529.94	c  529s |      20 |  1170511 |   953627 |     2071    998 |        0 |        0
531.71/531.96	c  531s |      20 |  1174887 |   957327 |     2071   1001 |        0 |        0
533.80/534.00	c  533s |      20 |  1179549 |   961027 |     2071   1005 |        0 |        0
535.80/536.06	c  536s |      20 |  1183849 |   964527 |     2071   1008 |        0 |        0
537.81/538.09	c  538s |      20 |  1188480 |   968127 |     2071   1011 |        0 |        0
539.91/540.15	c  540s |      20 |  1192495 |   971427 |     2071   1013 |        0 |        0
541.90/542.18	c  542s |      20 |  1196035 |   974427 |     2071   1016 |        0 |        0
543.90/544.18	c  544s |      20 |  1200179 |   977727 |     2071   1019 |        0 |        0
545.90/546.19	c  546s |      20 |  1204066 |   980827 |     2071   1021 |        0 |        0
547.99/548.21	c  548s |      20 |  1208341 |   984227 |     2071   1024 |        0 |        0
549.99/550.24	c  550s |      20 |  1212353 |   987527 |     2071   1027 |        0 |        0
552.00/552.25	c  552s |      20 |  1216583 |   990927 |     2071   1030 |        0 |        0
553.99/554.26	c  554s |      20 |  1219948 |   993727 |     2279   1032 |        0 |        0
556.09/556.30	c  556s |      20 |  1224401 |   997427 |     2279   1035 |        0 |        0
557.89/558.18	c  558s |      21 |  1227812 |  1000345 |     2279   1037 |        0 |        0
559.89/560.18	c  560s |      21 |  1232692 |  1004145 |     2279   1040 |        0 |        0
562.00/562.25	c  562s |      21 |  1237185 |  1008045 |     2279   1043 |        0 |        0
563.99/564.28	c  564s |      21 |  1241291 |  1011545 |     2279   1046 |        0 |        0
566.08/566.34	c  566s |      21 |  1245658 |  1015145 |     2279   1049 |        0 |        0
568.08/568.36	c  568s |      21 |  1249578 |  1018445 |     2279   1051 |        0 |        0
570.08/570.38	c  570s |      21 |  1253425 |  1021545 |     2279   1054 |        0 |        0
572.18/572.41	c  572s |      21 |  1257485 |  1025045 |     2279   1056 |        0 |        0
574.18/574.42	c  574s |      21 |  1261770 |  1028745 |     2279   1059 |        0 |        0
576.18/576.47	c  576s |      21 |  1266256 |  1032545 |     2279   1062 |        0 |        0
578.18/578.49	c  578s |      21 |  1270485 |  1036245 |     2279   1065 |        0 |        0
580.28/580.51	c  580s |      21 |  1274774 |  1039945 |     2279   1068 |        0 |        0
582.28/582.54	c  582s |      21 |  1278788 |  1043445 |     2279   1071 |        0 |        0
584.27/584.56	c  584s |      21 |  1282913 |  1046945 |     2279   1073 |        0 |        0
586.27/586.58	c  586s |      21 |  1286632 |  1050145 |     2279   1076 |        0 |        0
588.28/588.58	c  588s |      21 |  1290432 |  1053345 |     2279   1078 |        0 |        0
590.37/590.60	c  590s |      21 |  1294291 |  1056745 |     2279   1081 |        0 |        0
592.37/592.60	c  592s |      21 |  1298000 |  1059945 |     2279   1083 |        0 |        0
594.36/594.60	c  594s |      21 |  1301734 |  1063145 |     2279   1086 |        0 |        0
596.36/596.66	c  596s |      21 |  1306096 |  1066945 |     2279   1089 |        0 |        0
598.36/598.67	c  598s |      21 |  1310461 |  1070745 |     2279   1092 |        0 |        0
600.37/600.70	c  600s |      21 |  1315444 |  1074445 |     2279   1095 |        0 |        0
602.46/602.73	c  602s |      21 |  1319713 |  1078145 |     2279   1098 |        0 |        0
604.46/604.75	c  604s |      21 |  1324926 |  1082245 |     2279   1101 |        0 |        0
606.56/606.81	c  606s |      21 |  1329008 |  1085845 |     2279   1104 |        0 |        0
608.56/608.82	c  608s |      21 |  1333269 |  1089345 |     2279   1106 |        0 |        0
610.56/610.87	c  610s |      21 |  1337420 |  1092845 |     2279   1109 |        0 |        0
612.56/612.89	c  612s |      21 |  1340831 |  1095845 |     2279   1111 |        0 |        0
614.66/614.94	c  614s |      21 |  1344993 |  1099245 |     2279   1114 |        0 |        0
616.65/616.96	c  616s |      21 |  1349265 |  1102645 |     2279   1117 |        0 |        0
618.65/618.97	c  618s |      21 |  1354201 |  1106545 |     2279   1120 |        0 |        0
620.75/621.04	c  620s |      21 |  1358414 |  1110245 |     2279   1122 |        0 |        0
622.75/623.09	c  623s |      21 |  1363729 |  1114045 |     2279   1125 |        0 |        0
624.85/625.12	c  625s |      21 |  1368339 |  1117645 |     2279   1128 |        0 |        0
626.86/627.13	c  627s |      21 |  1373141 |  1121745 |     2279   1131 |        0 |        0
628.85/629.16	c  629s |      21 |  1378150 |  1126045 |     2279   1135 |        0 |        0
630.85/631.18	c  631s |      21 |  1382833 |  1130045 |     2279   1138 |        0 |        0
632.95/633.22	c  633s |      21 |  1387132 |  1133745 |     2279   1141 |        0 |        0
634.94/635.24	c  635s |      21 |  1391296 |  1137345 |     2279   1143 |        0 |        0
636.94/637.27	c  637s |      21 |  1395200 |  1140745 |     2279   1146 |        0 |        0
639.04/639.31	c  639s |      21 |  1399304 |  1144245 |     2279   1149 |        0 |        0
641.05/641.37	c  641s |      21 |  1403727 |  1147845 |     2279   1152 |        0 |        0
643.14/643.42	c  643s |      21 |  1408205 |  1151445 |     2279   1154 |        0 |        0
645.14/645.42	c  645s |      21 |  1412484 |  1154945 |     2279   1157 |        0 |        0
647.14/647.44	c  647s |      21 |  1416199 |  1158145 |     2279   1160 |        0 |        0
649.14/649.47	c  649s |      21 |  1420878 |  1162145 |     2279   1163 |        0 |        0
651.14/651.49	c  651s |      21 |  1425442 |  1166045 |     2279   1166 |        0 |        0
653.24/653.50	c  653s |      21 |  1429956 |  1169945 |     2279   1169 |        0 |        0
655.23/655.54	c  655s |      21 |  1434399 |  1173845 |     2279   1172 |        0 |        0
657.23/657.58	c  657s |      21 |  1438264 |  1177245 |     2279   1174 |        0 |        0
659.33/659.61	c  659s |      21 |  1442365 |  1180745 |     2279   1177 |        0 |        0
661.33/661.64	c  661s |      21 |  1446609 |  1184245 |     2279   1180 |        0 |        0
663.32/663.65	c  663s |      21 |  1450585 |  1187645 |     2279   1182 |        0 |        0
665.42/665.70	c  665s |      21 |  1455253 |  1191545 |     2279   1185 |        0 |        0
667.43/667.70	c  667s |      21 |  1459914 |  1195445 |     2279   1188 |        0 |        0
669.42/669.71	c  669s |      21 |  1464397 |  1199245 |     2279   1191 |        0 |        0
671.42/671.74	c  671s |      21 |  1469007 |  1203045 |     2279   1194 |        0 |        0
673.42/673.78	c  673s |      21 |  1473225 |  1206745 |     2279   1197 |        0 |        0
675.52/675.81	c  675s |      21 |  1477854 |  1210545 |     2279   1200 |        0 |        0
677.52/677.81	c  677s |      21 |  1482501 |  1214345 |     2279   1203 |        0 |        0
679.52/679.81	c  679s |      21 |  1486931 |  1218045 |     2279   1206 |        0 |        0
681.52/681.85	c  681s |      21 |  1491379 |  1221645 |     2279   1209 |        0 |        0
683.61/683.91	c  683s |      21 |  1495736 |  1225345 |     2279   1211 |        0 |        0
685.61/685.92	c  685s |      21 |  1499980 |  1229045 |     2279   1214 |        0 |        0
687.61/687.93	c  687s |      21 |  1504046 |  1232445 |     2279   1217 |        0 |        0
689.61/689.95	c  689s |      21 |  1507924 |  1235745 |     2279   1219 |        0 |        0
691.71/692.01	c  691s |      21 |  1512461 |  1239745 |     2279   1222 |        0 |        0
693.70/694.03	c  693s |      21 |  1516689 |  1243345 |     2279   1225 |        0 |        0
695.70/696.06	c  696s |      21 |  1520999 |  1246845 |     2279   1228 |        0 |        0
697.70/698.08	c  698s |      21 |  1525147 |  1250145 |     2279   1231 |        0 |        0
699.80/700.12	c  700s |      21 |  1529353 |  1253545 |     2279   1233 |        0 |        0
701.80/702.18	c  702s |      21 |  1532875 |  1256545 |     2279   1236 |        0 |        0
703.91/704.21	c  704s |      21 |  1537084 |  1259845 |     2279   1238 |        0 |        0
705.91/706.23	c  706s |      21 |  1540686 |  1262845 |     2279   1240 |        0 |        0
707.90/708.29	c  708s |      21 |  1544143 |  1265745 |     2279   1243 |        0 |        0
709.90/710.29	c  710s |      21 |  1548793 |  1269345 |     2279   1245 |        0 |        0
712.00/712.33	c  712s |      21 |  1552744 |  1272845 |     2279   1248 |        0 |        0
714.00/714.38	c  714s |      21 |  1556665 |  1276345 |     2279   1251 |        0 |        0
716.00/716.39	c  716s |      21 |  1560910 |  1279945 |     2279   1254 |        0 |        0
718.10/718.43	c  718s |      21 |  1565318 |  1283645 |     2279   1257 |        0 |        0
720.10/720.45	c  720s |      21 |  1569890 |  1287445 |     2279   1259 |        0 |        0
722.10/722.48	c  722s |      21 |  1574039 |  1290945 |     2279   1262 |        0 |        0
724.19/724.51	c  724s |      21 |  1577823 |  1294245 |     2279   1265 |        0 |        0
726.19/726.54	c  726s |      21 |  1581977 |  1297745 |     2279   1267 |        0 |        0
728.19/728.54	c  728s |      21 |  1586263 |  1301445 |     2279   1270 |        0 |        0
730.20/730.59	c  730s |      21 |  1590395 |  1305045 |     2279   1273 |        0 |        0
732.30/732.61	c  732s |      21 |  1594465 |  1308445 |     2279   1276 |        0 |        0
734.28/734.65	c  734s |      21 |  1599169 |  1312145 |     2279   1279 |        0 |        0
736.28/736.69	c  736s |      21 |  1602833 |  1315345 |     2279   1281 |        0 |        0
738.38/738.73	c  738s |      21 |  1606783 |  1318745 |     2279   1284 |        0 |        0
740.38/740.75	c  740s |      21 |  1611398 |  1322745 |     2279   1287 |        0 |        0
742.38/742.76	c  742s |      21 |  1615553 |  1326445 |     2279   1290 |        0 |        0
744.39/744.77	c  744s |      21 |  1620019 |  1330245 |     2279   1292 |        0 |        0
746.48/746.81	c  746s |      21 |  1623976 |  1333745 |     2279   1295 |        0 |        0
748.48/748.86	c  748s |      21 |  1628074 |  1337245 |     2279   1298 |        0 |        0
750.48/750.89	c  750s |      21 |  1632287 |  1340845 |     2279   1301 |        0 |        0
752.58/752.94	c  752s |      21 |  1636435 |  1344445 |     2279   1303 |        0 |        0
754.57/754.97	c  754s |      21 |  1640709 |  1348045 |     2279   1306 |        0 |        0
756.58/756.97	c  756s |      21 |  1645093 |  1351745 |     2279   1309 |        0 |        0
758.57/758.99	c  758s |      21 |  1648955 |  1355145 |     2279   1312 |        0 |        0
760.67/761.04	c  760s |      21 |  1652857 |  1358545 |     2279   1314 |        0 |        0
762.67/763.07	c  763s |      21 |  1656923 |  1361945 |     2279   1317 |        0 |        0
764.66/765.09	c  765s |      21 |  1661096 |  1365545 |     2279   1320 |        0 |        0
766.76/767.12	c  767s |      21 |  1664850 |  1368845 |     2279   1322 |        0 |        0
768.76/769.14	c  769s |      21 |  1669138 |  1372545 |     2279   1325 |        0 |        0
770.77/771.16	c  771s |      21 |  1672761 |  1375745 |     2279   1328 |        0 |        0
772.76/773.18	c  773s |      21 |  1676741 |  1379245 |     2279   1330 |        0 |        0
774.86/775.21	c  775s |      21 |  1680041 |  1382245 |     2279   1333 |        0 |        0
776.86/777.24	c  777s |      21 |  1684287 |  1385945 |     2279   1336 |        0 |        0
778.86/779.27	c  779s |      21 |  1687885 |  1389245 |     2279   1338 |        0 |        0
780.86/781.29	c  781s |      21 |  1691990 |  1392845 |     2279   1341 |        0 |        0
782.96/783.32	c  783s |      21 |  1695629 |  1396145 |     2279   1343 |        0 |        0
784.95/785.33	c  785s |      21 |  1699394 |  1399445 |     2279   1346 |        0 |        0
786.95/787.38	c  787s |      21 |  1702807 |  1402545 |     2279   1348 |        0 |        0
789.05/789.42	c  789s |      21 |  1707859 |  1406845 |     2279   1352 |        0 |        0
791.05/791.45	c  791s |      21 |  1712444 |  1410645 |     2279   1355 |        0 |        0
793.05/793.46	c  793s |      21 |  1717104 |  1414645 |     2279   1358 |        0 |        0
795.05/795.47	c  795s |      21 |  1721411 |  1418345 |     2279   1361 |        0 |        0
797.04/797.50	c  797s |      21 |  1725916 |  1422345 |     2279   1364 |        0 |        0
799.14/799.54	c  799s |      21 |  1730333 |  1426245 |     2279   1367 |        0 |        0
801.14/801.55	c  801s |      21 |  1734502 |  1429945 |     2279   1369 |        0 |        0
803.14/803.57	c  803s |      21 |  1738558 |  1433545 |     2279   1372 |        0 |        0
805.24/805.61	c  805s |      21 |  1742794 |  1437345 |     2279   1375 |        0 |        0
807.24/807.65	c  807s |      21 |  1746841 |  1440945 |     2279   1378 |        0 |        0
809.34/809.72	c  809s |      21 |  1750946 |  1444645 |     2279   1381 |        0 |        0
811.34/811.80	c  811s |      21 |  1754946 |  1448245 |     2279   1384 |        0 |        0
813.43/813.82	c  813s |      21 |  1759104 |  1451845 |     2279   1386 |        0 |        0
815.43/815.83	c  815s |      21 |  1763142 |  1455445 |     2279   1389 |        0 |        0
817.43/817.84	c  817s |      21 |  1767053 |  1458845 |     2279   1392 |        0 |        0
819.43/819.84	c  819s |      21 |  1770726 |  1462145 |     2279   1394 |        0 |        0
821.44/821.88	c  821s |      21 |  1774376 |  1465445 |     2279   1397 |        0 |        0
823.43/823.90	c  823s |      21 |  1777794 |  1468545 |     2279   1399 |        0 |        0
825.53/825.94	c  825s |      21 |  1782339 |  1472545 |     2279   1402 |        0 |        0
827.53/827.96	c  827s |      21 |  1786237 |  1475945 |     2279   1405 |        0 |        0
829.63/830.02	c  829s |      21 |  1789801 |  1479145 |     2279   1407 |        0 |        0
831.63/832.06	c  832s |      21 |  1793318 |  1482345 |     2279   1410 |        0 |        0
833.62/834.09	c  834s |      21 |  1797034 |  1485645 |     2279   1413 |        0 |        0
835.73/836.13	c  836s |      21 |  1800891 |  1488945 |     2279   1415 |        0 |        0
837.72/838.13	c  838s |      21 |  1804919 |  1492345 |     2507   1417 |        0 |        0
839.72/840.17	c  840s |      21 |  1809099 |  1496045 |     2507   1420 |        0 |        0
841.72/842.19	c  842s |      21 |  1813164 |  1499645 |     2507   1423 |        0 |        0
842.42/842.86	c  842s |      22 |  1814211 |  1500622 |     2507   1423 |        0 |        0
844.42/844.89	c  844s |      22 |  1821104 |  1503822 |     2507   1426 |        0 |        0
846.52/846.93	c  846s |      22 |  1825671 |  1507022 |     2507   1428 |        0 |        0
848.52/848.94	c  848s |      22 |  1828940 |  1509922 |     2507   1430 |        0 |        0
850.52/850.99	c  850s |      22 |  1832248 |  1512922 |     2507   1432 |        0 |        0
852.62/853.03	c  852s |      22 |  1835582 |  1515822 |     2507   1435 |        0 |        0
854.61/855.06	c  855s |      22 |  1839487 |  1519122 |     2507   1437 |        0 |        0
856.62/857.08	c  857s |      22 |  1843150 |  1522222 |     2507   1439 |        0 |        0
858.61/859.10	c  859s |      22 |  1846959 |  1525522 |     2507   1442 |        0 |        0
860.71/861.15	c  861s |      22 |  1851067 |  1529022 |     2507   1444 |        0 |        0
862.71/863.18	c  863s |      22 |  1854487 |  1532022 |     2507   1446 |        0 |        0
864.81/865.22	c  865s |      22 |  1858621 |  1535422 |     2507   1449 |        0 |        0
866.81/867.28	c  867s |      22 |  1862724 |  1538722 |     2507   1451 |        0 |        0
868.90/869.35	c  869s |      22 |  1866446 |  1541922 |     2507   1454 |        0 |        0
871.00/871.41	c  871s |      22 |  1870106 |  1544922 |     2507   1456 |        0 |        0
873.01/873.43	c  873s |      22 |  1873563 |  1547922 |     2507   1458 |        0 |        0
875.00/875.44	c  875s |      22 |  1876471 |  1550522 |     2507   1460 |        0 |        0
877.00/877.49	c  877s |      22 |  1879586 |  1553322 |     2507   1462 |        0 |        0
879.10/879.52	c  879s |      22 |  1882848 |  1556222 |     2507   1464 |        0 |        0
881.10/881.53	c  881s |      22 |  1886043 |  1559022 |     2507   1466 |        0 |        0
883.10/883.59	c  883s |      22 |  1889271 |  1561922 |     2507   1468 |        0 |        0
885.20/885.61	c  885s |      22 |  1892467 |  1564722 |     2507   1470 |        0 |        0
887.19/887.67	c  887s |      22 |  1895466 |  1567322 |     2507   1472 |        0 |        0
889.29/889.71	c  889s |      22 |  1898870 |  1570222 |     2507   1474 |        0 |        0
891.29/891.77	c  891s |      22 |  1902911 |  1573322 |     2507   1477 |        0 |        0
893.39/893.80	c  893s |      22 |  1907100 |  1576722 |     2507   1479 |        0 |        0
895.39/895.86	c  895s |      22 |  1910881 |  1580022 |     2507   1482 |        0 |        0
897.39/897.87	c  897s |      22 |  1914597 |  1583222 |     2507   1484 |        0 |        0
899.40/899.87	c  899s |      22 |  1918317 |  1586522 |     2507   1486 |        0 |        0
901.49/901.92	c  901s |      22 |  1922120 |  1589722 |     2507   1489 |        0 |        0
903.49/903.96	c  903s |      22 |  1925849 |  1593022 |     2507   1491 |        0 |        0
905.59/906.01	c  905s |      22 |  1929602 |  1596222 |     2507   1493 |        0 |        0
907.60/908.02	c  907s |      22 |  1934196 |  1599722 |     2507   1496 |        0 |        0
909.60/910.07	c  910s |      22 |  1938856 |  1603022 |     2507   1498 |        0 |        0
911.70/912.12	c  912s |      22 |  1942583 |  1606222 |     2507   1501 |        0 |        0
913.70/914.12	c  914s |      22 |  1946182 |  1609422 |     2507   1503 |        0 |        0
915.70/916.15	c  916s |      22 |  1949937 |  1612722 |     2507   1505 |        0 |        0
917.70/918.17	c  918s |      22 |  1953514 |  1615922 |     2507   1508 |        0 |        0
919.70/920.18	c  920s |      22 |  1957093 |  1619122 |     2507   1510 |        0 |        0
921.79/922.20	c  922s |      22 |  1960553 |  1622122 |     2507   1512 |        0 |        0
923.79/924.26	c  924s |      22 |  1963903 |  1625022 |     2507   1515 |        0 |        0
925.80/926.26	c  926s |      22 |  1966901 |  1627722 |     2507   1517 |        0 |        0
927.89/928.32	c  928s |      22 |  1970221 |  1630622 |     2507   1519 |        0 |        0
929.89/930.35	c  930s |      22 |  1973673 |  1633522 |     2507   1521 |        0 |        0
931.89/932.37	c  932s |      22 |  1977511 |  1636522 |     2507   1523 |        0 |        0
933.99/934.43	c  934s |      22 |  1981028 |  1639322 |     2507   1525 |        0 |        0
935.99/936.43	c  936s |      22 |  1986315 |  1642022 |     2507   1527 |        0 |        0
938.00/938.46	c  938s |      22 |  1990171 |  1644822 |     2507   1529 |        0 |        0
939.99/940.47	c  940s |      22 |  1994792 |  1648222 |     2507   1532 |        0 |        0
942.09/942.50	c  942s |      22 |  1999364 |  1651422 |     2507   1534 |        0 |        0
944.09/944.50	c  944s |      22 |  2003655 |  1654622 |     2507   1536 |        0 |        0
946.09/946.56	c  946s |      22 |  2008518 |  1657722 |     2507   1539 |        0 |        0
948.09/948.57	c  948s |      22 |  2013149 |  1660622 |     2507   1541 |        0 |        0
950.10/950.58	c  950s |      22 |  2017317 |  1663822 |     2507   1543 |        0 |        0
952.09/952.59	c  952s |      22 |  2021656 |  1667022 |     2507   1545 |        0 |        0
954.19/954.65	c  954s |      22 |  2025119 |  1669722 |     2507   1547 |        0 |        0
956.19/956.65	c  956s |      22 |  2029148 |  1672722 |     2507   1550 |        0 |        0
958.19/958.69	c  958s |      22 |  2032674 |  1675722 |     2507   1552 |        0 |        0
960.29/960.72	c  960s |      22 |  2036157 |  1678522 |     2507   1554 |        0 |        0
962.29/962.78	c  962s |      22 |  2040079 |  1681622 |     2507   1556 |        0 |        0
964.30/964.78	c  964s |      22 |  2043754 |  1684422 |     2507   1558 |        0 |        0
966.39/966.81	c  966s |      22 |  2047604 |  1687422 |     2507   1560 |        0 |        0
968.39/968.88	c  968s |      22 |  2050691 |  1690122 |     2507   1562 |        0 |        0
970.39/970.89	c  970s |      22 |  2054608 |  1693122 |     2507   1565 |        0 |        0
972.39/972.89	c  972s |      22 |  2058549 |  1696122 |     2507   1567 |        0 |        0
974.49/974.91	c  974s |      22 |  2063018 |  1699522 |     2507   1569 |        0 |        0
976.49/976.93	c  976s |      22 |  2066469 |  1702622 |     2507   1571 |        0 |        0
978.49/978.97	c  978s |      22 |  2070320 |  1705222 |     2507   1573 |        0 |        0
980.49/980.99	c  980s |      22 |  2074570 |  1708322 |     2507   1576 |        0 |        0
982.58/983.01	c  982s |      22 |  2079500 |  1711622 |     2507   1578 |        0 |        0
984.58/985.02	c  984s |      22 |  2082961 |  1714422 |     2507   1580 |        0 |        0
986.58/987.07	c  987s |      22 |  2087852 |  1717522 |     2507   1582 |        0 |        0
988.68/989.10	c  989s |      22 |  2092166 |  1720522 |     2507   1585 |        0 |        0
990.69/991.15	c  991s |      22 |  2098172 |  1724022 |     2507   1587 |        0 |        0
992.68/993.16	c  993s |      22 |  2103223 |  1727322 |     2507   1590 |        0 |        0
994.68/995.20	c  995s |      22 |  2107750 |  1730522 |     2507   1592 |        0 |        0
996.78/997.21	c  997s |      22 |  2113788 |  1733822 |     2507   1594 |        0 |        0
998.78/999.27	c  999s |      22 |  2117866 |  1736622 |     2507   1597 |        0 |        0
1000.88/1001.31	c 1001s |      22 |  2122636 |  1740022 |     2507   1599 |        0 |        0
1002.89/1003.35	c 1003s |      22 |  2127867 |  1743322 |     2507   1601 |        0 |        0
1004.88/1005.37	c 1005s |      22 |  2133154 |  1746522 |     2507   1604 |        0 |        0
1006.98/1007.40	c 1007s |      22 |  2138660 |  1749622 |     2507   1606 |        0 |        0
1008.98/1009.43	c 1009s |      22 |  2143912 |  1753122 |     2507   1609 |        0 |        0
1010.98/1011.47	c 1011s |      22 |  2148377 |  1756622 |     2507   1611 |        0 |        0
1013.08/1013.51	c 1013s |      22 |  2153375 |  1760122 |     2507   1614 |        0 |        0
1015.08/1015.55	c 1015s |      22 |  2158191 |  1763522 |     2507   1616 |        0 |        0
1017.09/1017.58	c 1017s |      22 |  2163198 |  1766622 |     2507   1619 |        0 |        0
1019.18/1019.62	c 1019s |      22 |  2167917 |  1770122 |     2507   1621 |        0 |        0
1021.18/1021.62	c 1021s |      22 |  2172139 |  1773422 |     2507   1624 |        0 |        0
1023.18/1023.64	c 1023s |      22 |  2177271 |  1776922 |     2507   1626 |        0 |        0
1025.18/1025.67	c 1025s |      22 |  2182603 |  1780322 |     2507   1629 |        0 |        0
1027.27/1027.73	c 1027s |      22 |  2187752 |  1784022 |     2507   1631 |        0 |        0
1029.28/1029.77	c 1029s |      22 |  2192201 |  1787422 |     2507   1634 |        0 |        0
1031.38/1031.81	c 1031s |      22 |  2196245 |  1790722 |     2507   1636 |        0 |        0
1033.37/1033.82	c 1033s |      22 |  2201717 |  1794622 |     2507   1639 |        0 |        0
1035.37/1035.84	c 1035s |      22 |  2207246 |  1798322 |     2507   1642 |        0 |        0
1037.37/1037.87	c 1037s |      22 |  2212974 |  1802122 |     2507   1645 |        0 |        0
1039.47/1039.94	c 1039s |      22 |  2219227 |  1806022 |     2507   1648 |        0 |        0
1041.47/1041.95	c 1041s |      22 |  2225479 |  1809722 |     2507   1650 |        0 |        0
1043.48/1043.98	c 1043s |      22 |  2229834 |  1812722 |     2507   1652 |        0 |        0
1045.47/1045.98	c 1045s |      22 |  2233643 |  1815622 |     2507   1655 |        0 |        0
1047.57/1048.01	c 1047s |      22 |  2238658 |  1819022 |     2507   1657 |        0 |        0
1049.57/1050.02	c 1049s |      22 |  2243384 |  1822122 |     2507   1659 |        0 |        0
1051.57/1052.05	c 1051s |      22 |  2247370 |  1824822 |     2507   1661 |        0 |        0
1053.57/1054.06	c 1054s |      22 |  2252188 |  1828322 |     2507   1664 |        0 |        0
1055.68/1056.11	c 1056s |      22 |  2256773 |  1831722 |     2507   1666 |        0 |        0
1057.67/1058.13	c 1058s |      22 |  2261666 |  1835122 |     2507   1669 |        0 |        0
1059.67/1060.18	c 1060s |      22 |  2266793 |  1838722 |     2507   1672 |        0 |        0
1061.77/1062.24	c 1062s |      22 |  2271752 |  1842222 |     2507   1674 |        0 |        0
1063.77/1064.29	c 1064s |      22 |  2277276 |  1845822 |     2507   1677 |        0 |        0
1065.87/1066.30	c 1066s |      22 |  2282551 |  1849222 |     2507   1679 |        0 |        0
1067.87/1068.35	c 1068s |      22 |  2287900 |  1852622 |     2507   1682 |        0 |        0
1069.87/1070.36	c 1070s |      22 |  2292006 |  1856022 |     2507   1684 |        0 |        0
1071.87/1072.39	c 1072s |      22 |  2295946 |  1859222 |     2507   1687 |        0 |        0
1073.97/1074.43	c 1074s |      22 |  2300039 |  1862322 |     2507   1689 |        0 |        0
1075.97/1076.48	c 1076s |      22 |  2303407 |  1865222 |     2507   1691 |        0 |        0
1078.07/1078.51	c 1078s |      22 |  2307858 |  1868522 |     2507   1693 |        0 |        0
1080.06/1080.52	c 1080s |      22 |  2311858 |  1871522 |     2507   1696 |        0 |        0
1082.07/1082.58	c 1082s |      22 |  2316344 |  1874722 |     2507   1698 |        0 |        0
1084.06/1084.60	c 1084s |      22 |  2321301 |  1878222 |     2507   1701 |        0 |        0
1086.16/1086.63	c 1086s |      22 |  2326343 |  1881722 |     2507   1703 |        0 |        0
1088.16/1088.68	c 1088s |      22 |  2331110 |  1885122 |     2507   1706 |        0 |        0
1090.26/1090.74	c 1090s |      22 |  2335396 |  1888322 |     2507   1708 |        0 |        0
1092.26/1092.79	c 1092s |      22 |  2339667 |  1891322 |     2507   1710 |        0 |        0
1094.37/1094.82	c 1094s |      22 |  2343877 |  1894322 |     2507   1712 |        0 |        0
1096.37/1096.86	c 1096s |      22 |  2348212 |  1897422 |     2507   1715 |        0 |        0
1098.37/1098.87	c 1098s |      22 |  2352862 |  1900622 |     2507   1717 |        0 |        0
1100.47/1100.94	c 1100s |      22 |  2357561 |  1903922 |     2507   1720 |        0 |        0
1102.47/1102.97	c 1102s |      22 |  2361333 |  1907022 |     2507   1722 |        0 |        0
1104.47/1104.97	c 1104s |      22 |  2364309 |  1909622 |     2507   1724 |        0 |        0
1106.46/1106.99	c 1106s |      22 |  2368002 |  1912622 |     2507   1726 |        0 |        0
1108.56/1109.06	c 1109s |      22 |  2372227 |  1915822 |     2507   1728 |        0 |        0
1110.57/1111.08	c 1111s |      22 |  2375692 |  1918522 |     2507   1730 |        0 |        0
1112.56/1113.09	c 1113s |      22 |  2379623 |  1921322 |     2507   1732 |        0 |        0
1114.66/1115.12	c 1115s |      22 |  2383325 |  1924322 |     2507   1735 |        0 |        0
1116.66/1117.16	c 1117s |      22 |  2387512 |  1927622 |     2507   1737 |        0 |        0
1118.66/1119.18	c 1119s |      22 |  2391086 |  1930522 |     2507   1739 |        0 |        0
1120.66/1121.19	c 1121s |      22 |  2395161 |  1933522 |     2507   1741 |        0 |        0
1122.77/1123.22	c 1123s |      22 |  2398608 |  1936422 |     2507   1743 |        0 |        0
1124.76/1125.29	c 1125s |      22 |  2402542 |  1939522 |     2507   1746 |        0 |        0
1126.86/1127.32	c 1127s |      22 |  2406236 |  1942522 |     2507   1748 |        0 |        0
1128.86/1129.36	c 1129s |      22 |  2410119 |  1945722 |     2507   1750 |        0 |        0
1130.86/1131.37	c 1131s |      22 |  2413803 |  1948822 |     2507   1753 |        0 |        0
1132.96/1133.42	c 1133s |      22 |  2417180 |  1951722 |     2507   1755 |        0 |        0
1134.96/1135.42	c 1135s |      22 |  2420475 |  1954622 |     2507   1757 |        0 |        0
1136.97/1137.48	c 1137s |      22 |  2423823 |  1957522 |     2507   1759 |        0 |        0
1139.06/1139.58	c 1139s |      22 |  2427377 |  1960322 |     2507   1761 |        0 |        0
1141.06/1141.59	c 1141s |      22 |  2430873 |  1962822 |     2507   1763 |        0 |        0
1143.26/1143.70	c 1143s |      22 |  2434013 |  1965322 |     2507   1765 |        0 |        0
1145.26/1145.76	c 1145s |      22 |  2438180 |  1968122 |     2507   1767 |        0 |        0
1147.26/1147.76	c 1147s |      22 |  2442476 |  1971122 |     2507   1769 |        0 |        0
1149.26/1149.77	c 1149s |      22 |  2447556 |  1974622 |     2507   1771 |        0 |        0
1151.36/1151.80	c 1151s |      22 |  2453086 |  1978022 |     2507   1774 |        0 |        0
1153.35/1153.84	c 1153s |      22 |  2457799 |  1981322 |     2507   1776 |        0 |        0
1155.35/1155.89	c 1155s |      22 |  2462514 |  1984622 |     2507   1779 |        0 |        0
1157.45/1157.93	c 1157s |      22 |  2466697 |  1987622 |     2507   1781 |        0 |        0
1159.45/1159.95	c 1159s |      22 |  2470879 |  1990622 |     2507   1783 |        0 |        0
1161.45/1161.98	c 1161s |      22 |  2474751 |  1993722 |     2507   1786 |        0 |        0
1163.55/1164.00	c 1163s |      22 |  2478221 |  1996622 |     2507   1788 |        0 |        0
1165.56/1166.02	c 1165s |      22 |  2481579 |  1999322 |     2507   1790 |        0 |        0
1167.55/1168.04	c 1167s |      22 |  2484825 |  2002022 |     2507   1792 |        0 |        0
1169.55/1170.07	c 1170s |      22 |  2488174 |  2004722 |     2507   1794 |        0 |        0
1171.65/1172.12	c 1172s |      22 |  2491865 |  2007722 |     2507   1796 |        0 |        0
1173.65/1174.14	c 1174s |      22 |  2495421 |  2010622 |     2507   1798 |        0 |        0
1175.65/1176.18	c 1176s |      22 |  2499503 |  2013822 |     2507   1800 |        0 |        0
1177.66/1178.19	c 1178s |      22 |  2503459 |  2017022 |     2507   1803 |        0 |        0
1179.75/1180.24	c 1180s |      22 |  2507257 |  2020122 |     2507   1805 |        0 |        0
1181.75/1182.28	c 1182s |      22 |  2510749 |  2023022 |     2507   1807 |        0 |        0
1183.85/1184.31	c 1184s |      22 |  2513968 |  2025422 |     2507   1809 |        0 |        0
1185.85/1186.32	c 1186s |      22 |  2517583 |  2028422 |     2507   1811 |        0 |        0
1187.85/1188.34	c 1188s |      22 |  2520666 |  2031122 |     2507   1813 |        0 |        0
1189.85/1190.37	c 1190s |      22 |  2524256 |  2034022 |     2507   1815 |        0 |        0
1191.95/1192.42	c 1192s |      22 |  2528333 |  2037622 |     2507   1818 |        0 |        0
1193.95/1194.45	c 1194s |      22 |  2531956 |  2040622 |     2507   1820 |        0 |        0
1195.95/1196.49	c 1196s |      22 |  2535897 |  2043522 |     2507   1822 |        0 |        0
1198.05/1198.53	c 1198s |      22 |  2539717 |  2046822 |     2507   1825 |        0 |        0
1200.05/1200.59	c 1200s |      22 |  2543458 |  2049522 |     2507   1827 |        0 |        0
1202.15/1202.64	c 1202s |      22 |  2546883 |  2052422 |     2507   1829 |        0 |        0
1204.15/1204.67	c 1204s |      22 |  2550926 |  2055322 |     2507   1831 |        0 |        0
1206.25/1206.72	c 1206s |      22 |  2556170 |  2059022 |     2507   1834 |        0 |        0
1208.24/1208.75	c 1208s |      22 |  2561500 |  2062422 |     2507   1836 |        0 |        0
1210.34/1210.80	c 1210s |      22 |  2565461 |  2065822 |     2507   1838 |        0 |        0
1212.34/1212.83	c 1212s |      22 |  2569205 |  2069022 |     2507   1841 |        0 |        0
1214.34/1214.88	c 1214s |      22 |  2573188 |  2072222 |     2507   1843 |        0 |        0
1216.44/1216.91	c 1216s |      22 |  2576566 |  2075022 |     2507   1845 |        0 |        0
1218.45/1218.97	c 1218s |      22 |  2579984 |  2078022 |     2507   1847 |        0 |        0
1220.55/1221.05	c 1221s |      22 |  2583521 |  2080922 |     2507   1850 |        0 |        0
1222.64/1223.11	c 1223s |      22 |  2587338 |  2083622 |     2507   1852 |        0 |        0
1224.64/1225.12	c 1225s |      22 |  2591413 |  2086622 |     2507   1854 |        0 |        0
1226.64/1227.16	c 1227s |      22 |  2595360 |  2089522 |     2507   1856 |        0 |        0
1228.74/1229.20	c 1229s |      22 |  2600942 |  2093022 |     2507   1858 |        0 |        0
1230.74/1231.21	c 1231s |      22 |  2605943 |  2096122 |     2507   1861 |        0 |        0
1232.75/1233.26	c 1233s |      22 |  2610812 |  2099122 |     2507   1863 |        0 |        0
1234.74/1235.28	c 1235s |      22 |  2615823 |  2102822 |     2507   1866 |        0 |        0
1236.84/1237.30	c 1237s |      22 |  2620255 |  2106122 |     2507   1868 |        0 |        0
1238.84/1239.36	c 1239s |      22 |  2624268 |  2109422 |     2507   1871 |        0 |        0
1240.84/1241.37	c 1241s |      22 |  2628766 |  2113022 |     2507   1873 |        0 |        0
1242.94/1243.41	c 1243s |      22 |  2633174 |  2116622 |     2507   1876 |        0 |        0
1244.94/1245.44	c 1245s |      22 |  2637723 |  2120322 |     2507   1878 |        0 |        0
1246.95/1247.48	c 1247s |      22 |  2642612 |  2124022 |     2507   1881 |        0 |        0
1248.94/1249.49	c 1249s |      22 |  2646740 |  2127222 |     2507   1884 |        0 |        0
1251.04/1251.54	c 1251s |      22 |  2650723 |  2130322 |     2507   1886 |        0 |        0
1253.04/1253.56	c 1253s |      22 |  2654454 |  2133522 |     2507   1888 |        0 |        0
1255.04/1255.58	c 1255s |      22 |  2658343 |  2136622 |     2507   1890 |        0 |        0
1257.14/1257.64	c 1257s |      22 |  2662888 |  2140122 |     2507   1893 |        0 |        0
1259.14/1259.69	c 1259s |      22 |  2666260 |  2143122 |     2507   1895 |        0 |        0
1261.24/1261.74	c 1261s |      22 |  2670513 |  2146522 |     2507   1898 |        0 |        0
1263.24/1263.77	c 1263s |      22 |  2673894 |  2149422 |     2507   1900 |        0 |        0
1265.24/1265.79	c 1265s |      22 |  2678318 |  2152022 |     2507   1902 |        0 |        0
1267.34/1267.81	c 1267s |      22 |  2682369 |  2155022 |     2507   1904 |        0 |        0
1269.34/1269.86	c 1269s |      22 |  2685322 |  2157622 |     2507   1906 |        0 |        0
1271.33/1271.89	c 1271s |      22 |  2688322 |  2160322 |     2507   1908 |        0 |        0
1273.44/1273.97	c 1273s |      22 |  2691553 |  2163222 |     2507   1910 |        0 |        0
1275.54/1276.04	c 1275s |      22 |  2694719 |  2166022 |     2507   1912 |        0 |        0
1277.53/1278.05	c 1278s |      22 |  2697605 |  2168622 |     2507   1914 |        0 |        0
1279.63/1280.11	c 1280s |      22 |  2700683 |  2171422 |     2507   1916 |        0 |        0
1281.63/1282.16	c 1282s |      22 |  2704011 |  2174122 |     2507   1918 |        0 |        0
1283.63/1284.19	c 1284s |      22 |  2706679 |  2176422 |     2507   1919 |        0 |        0
1285.73/1286.23	c 1286s |      22 |  2709065 |  2178522 |     2507   1921 |        0 |        0
1287.74/1288.24	c 1288s |      22 |  2712003 |  2181022 |     2507   1923 |        0 |        0
1289.73/1290.24	c 1290s |      22 |  2714488 |  2183222 |     2507   1924 |        0 |        0
1291.83/1292.31	c 1292s |      22 |  2717089 |  2185522 |     2507   1926 |        0 |        0
1293.83/1294.34	c 1294s |      22 |  2719391 |  2187522 |     2507   1928 |        0 |        0
1295.83/1296.37	c 1296s |      22 |  2721530 |  2189422 |     2507   1929 |        0 |        0
1297.83/1298.39	c 1298s |      22 |  2725301 |  2192722 |     2507   1931 |        0 |        0
1299.84/1300.40	c 1300s |      22 |  2728528 |  2195522 |     2507   1933 |        0 |        0
1301.94/1302.46	c 1302s |      22 |  2731628 |  2198222 |     2507   1935 |        0 |        0
1304.03/1304.51	c 1304s |      22 |  2734832 |  2200822 |     2507   1937 |        0 |        0
1306.03/1306.53	c 1306s |      22 |  2738213 |  2203522 |     2507   1939 |        0 |        0
1308.03/1308.57	c 1308s |      22 |  2741730 |  2206422 |     2507   1941 |        0 |        0
1310.03/1310.58	c 1310s |      22 |  2744950 |  2209222 |     2507   1943 |        0 |        0
1312.13/1312.62	c 1312s |      22 |  2748289 |  2212022 |     2507   1945 |        0 |        0
1314.13/1314.68	c 1314s |      22 |  2751818 |  2214622 |     2507   1947 |        0 |        0
1316.13/1316.70	c 1316s |      22 |  2755322 |  2217522 |     2507   1950 |        0 |        0
1318.23/1318.75	c 1318s |      22 |  2758876 |  2220522 |     2507   1952 |        0 |        0
1320.33/1320.81	c 1320s |      22 |  2762659 |  2223322 |     2507   1954 |        0 |        0
1322.33/1322.86	c 1322s |      22 |  2765746 |  2225722 |     2507   1956 |        0 |        0
1324.33/1324.88	c 1324s |      22 |  2769477 |  2228622 |     2507   1958 |        0 |        0
1326.43/1326.90	c 1326s |      22 |  2772445 |  2231122 |     2507   1960 |        0 |        0
1328.43/1328.94	c 1328s |      22 |  2775685 |  2233822 |     2507   1961 |        0 |        0
1330.53/1331.01	c 1330s |      22 |  2779223 |  2236522 |     2758   1963 |        0 |        0
1332.52/1333.03	c 1332s |      22 |  2782778 |  2239222 |     2758   1965 |        0 |        0
1334.52/1335.04	c 1334s |      22 |  2786478 |  2242022 |     2758   1967 |        0 |        0
1336.52/1337.09	c 1337s |      22 |  2789483 |  2244322 |     2758   1968 |        0 |        0
1338.62/1339.12	c 1339s |      22 |  2792807 |  2247022 |     2758   1970 |        0 |        0
1340.62/1341.16	c 1341s |      22 |  2795727 |  2249522 |     2758   1972 |        0 |        0
1342.12/1342.60	c 1342s |      23 |  2797463 |  2251038 |     2758   1973 |        0 |        0
1344.12/1344.62	c 1344s |      23 |  2805045 |  2254838 |     2758   1976 |        0 |        0
1346.12/1346.67	c 1346s |      23 |  2810363 |  2258138 |     2758   1978 |        0 |        0
1348.13/1348.69	c 1348s |      23 |  2815479 |  2261538 |     2758   1980 |        0 |        0
1350.22/1350.70	c 1350s |      23 |  2821263 |  2265238 |     2758   1982 |        0 |        0
1352.22/1352.76	c 1352s |      23 |  2827032 |  2268738 |     2758   1985 |        0 |        0
1354.22/1354.78	c 1354s |      23 |  2831167 |  2272138 |     2758   1987 |        0 |        0
1356.22/1356.79	c 1356s |      23 |  2834559 |  2274838 |     2758   1989 |        0 |        0
1358.32/1358.86	c 1358s |      23 |  2838162 |  2277838 |     2758   1991 |        0 |        0
1360.33/1360.87	c 1360s |      23 |  2842896 |  2281438 |     2758   1993 |        0 |        0
1362.43/1362.95	c 1362s |      23 |  2846849 |  2284538 |     2758   1995 |        0 |        0
1364.42/1364.98	c 1364s |      23 |  2850882 |  2287438 |     2758   1997 |        0 |        0
1366.52/1367.04	c 1366s |      23 |  2855484 |  2290438 |     2758   1999 |        0 |        0
1368.52/1369.05	c 1368s |      23 |  2858986 |  2293038 |     2758   2001 |        0 |        0
1370.62/1371.11	c 1371s |      23 |  2862366 |  2295538 |     2758   2002 |        0 |        0
1372.62/1373.17	c 1373s |      23 |  2865728 |  2298138 |     2758   2004 |        0 |        0
1374.63/1375.17	c 1375s |      23 |  2868952 |  2300438 |     2758   2005 |        0 |        0
1376.62/1377.18	c 1377s |      23 |  2873318 |  2303738 |     2758   2008 |        0 |        0
1378.72/1379.22	c 1379s |      23 |  2878063 |  2307338 |     2758   2010 |        0 |        0
1380.72/1381.25	c 1381s |      23 |  2882827 |  2311038 |     2758   2012 |        0 |        0
1382.72/1383.29	c 1383s |      23 |  2887278 |  2314438 |     2758   2015 |        0 |        0
1384.82/1385.30	c 1385s |      23 |  2891093 |  2317238 |     2758   2017 |        0 |        0
1386.82/1387.30	c 1387s |      23 |  2894617 |  2320138 |     2758   2019 |        0 |        0
1388.82/1389.33	c 1389s |      23 |  2898328 |  2323338 |     2758   2021 |        0 |        0
1390.92/1391.41	c 1391s |      23 |  2901603 |  2326238 |     2758   2023 |        0 |        0
1392.92/1393.42	c 1393s |      23 |  2905691 |  2329338 |     2758   2025 |        0 |        0
1394.92/1395.43	c 1395s |      23 |  2910576 |  2332238 |     2758   2027 |        0 |        0
1396.91/1397.46	c 1397s |      23 |  2914058 |  2335138 |     2758   2028 |        0 |        0
1398.91/1399.49	c 1399s |      23 |  2917312 |  2337938 |     2758   2030 |        0 |        0
1400.92/1401.49	c 1401s |      23 |  2920549 |  2340738 |     2758   2032 |        0 |        0
1403.02/1403.52	c 1403s |      23 |  2923804 |  2343538 |     2758   2034 |        0 |        0
1405.02/1405.56	c 1405s |      23 |  2927159 |  2346538 |     2758   2036 |        0 |        0
1407.02/1407.57	c 1407s |      23 |  2930312 |  2349238 |     2758   2038 |        0 |        0
1409.02/1409.58	c 1409s |      23 |  2933250 |  2351738 |     2758   2039 |        0 |        0
1411.12/1411.61	c 1411s |      23 |  2936371 |  2354438 |     2758   2041 |        0 |        0
1413.13/1413.67	c 1413s |      23 |  2939259 |  2357038 |     2758   2043 |        0 |        0
1415.23/1415.72	c 1415s |      23 |  2943005 |  2360338 |     2758   2045 |        0 |        0
1417.22/1417.79	c 1417s |      23 |  2946583 |  2363538 |     2758   2047 |        0 |        0
1419.32/1419.83	c 1419s |      23 |  2949993 |  2366638 |     2758   2049 |        0 |        0
1421.32/1421.83	c 1421s |      23 |  2953522 |  2369738 |     2758   2051 |        0 |        0
1423.32/1423.85	c 1423s |      23 |  2957345 |  2373038 |     2758   2054 |        0 |        0
1425.32/1425.86	c 1425s |      23 |  2960700 |  2375838 |     2758   2055 |        0 |        0
1427.32/1427.87	c 1427s |      23 |  2963714 |  2378438 |     2758   2057 |        0 |        0
1429.42/1429.90	c 1429s |      23 |  2966687 |  2380938 |     2758   2059 |        0 |        0
1431.42/1431.90	c 1431s |      23 |  2969303 |  2383138 |     2758   2060 |        0 |        0
1433.42/1433.93	c 1433s |      23 |  2972119 |  2385538 |     2758   2062 |        0 |        0
1435.41/1435.99	c 1435s |      23 |  2974682 |  2387738 |     2758   2063 |        0 |        0
1437.51/1438.01	c 1437s |      23 |  2977473 |  2390138 |     2758   2065 |        0 |        0
1439.52/1440.07	c 1440s |      23 |  2980445 |  2392538 |     2758   2066 |        0 |        0
1441.62/1442.13	c 1442s |      23 |  2983318 |  2394938 |     2758   2068 |        0 |        0
1443.61/1444.17	c 1444s |      23 |  2986235 |  2397438 |     2758   2070 |        0 |        0
1445.71/1446.20	c 1446s |      23 |  2989304 |  2399938 |     2758   2071 |        0 |        0
1447.71/1448.22	c 1448s |      23 |  2992320 |  2402538 |     2758   2073 |        0 |        0
1449.71/1450.23	c 1450s |      23 |  2994992 |  2404838 |     2758   2075 |        0 |        0
1451.81/1452.31	c 1452s |      23 |  2997708 |  2407138 |     2758   2076 |        0 |        0
1453.82/1454.32	c 1454s |      23 |  3002472 |  2411038 |     2758   2079 |        0 |        0
1455.81/1456.38	c 1456s |      23 |  3006571 |  2414038 |     2758   2081 |        0 |        0
1457.91/1458.42	c 1458s |      23 |  3010155 |  2416838 |     2758   2082 |        0 |        0
1459.91/1460.46	c 1460s |      23 |  3013787 |  2419538 |     2758   2084 |        0 |        0
1461.91/1462.47	c 1462s |      23 |  3016522 |  2421838 |     2758   2086 |        0 |        0
1464.01/1464.51	c 1464s |      23 |  3019661 |  2424438 |     2758   2087 |        0 |        0
1466.01/1466.59	c 1466s |      23 |  3022770 |  2427138 |     2758   2089 |        0 |        0
1468.11/1468.64	c 1468s |      23 |  3025848 |  2429438 |     2758   2091 |        0 |        0
1470.11/1470.65	c 1470s |      23 |  3029288 |  2431738 |     2758   2092 |        0 |        0
1472.11/1472.69	c 1472s |      23 |  3031927 |  2433738 |     2758   2093 |        0 |        0
1474.21/1474.71	c 1474s |      23 |  3034502 |  2435438 |     2758   2095 |        0 |        0
1476.21/1476.73	c 1476s |      23 |  3037682 |  2438038 |     2758   2096 |        0 |        0
1478.21/1478.77	c 1478s |      23 |  3040843 |  2440638 |     2758   2098 |        0 |        0
1480.31/1480.80	c 1480s |      23 |  3043911 |  2443138 |     2758   2100 |        0 |        0
1482.20/1482.80	c 1482s |      23 |  3047002 |  2445838 |     2758   2101 |        0 |        0
1484.30/1484.86	c 1484s |      23 |  3049712 |  2448238 |     2758   2103 |        0 |        0
1486.40/1486.93	c 1486s |      23 |  3052599 |  2450738 |     2758   2104 |        0 |        0
1488.40/1488.95	c 1488s |      23 |  3055275 |  2452938 |     2758   2106 |        0 |        0
1490.40/1490.95	c 1490s |      23 |  3057862 |  2455138 |     2758   2107 |        0 |        0
1492.50/1493.00	c 1492s |      23 |  3060927 |  2457238 |     2758   2109 |        0 |        0
1494.51/1495.02	c 1494s |      23 |  3063232 |  2459238 |     2758   2110 |        0 |        0
1496.50/1497.09	c 1497s |      23 |  3065530 |  2461238 |     2758   2111 |        0 |        0
1498.60/1499.14	c 1499s |      23 |  3068102 |  2463338 |     2758   2113 |        0 |        0
1500.60/1501.19	c 1501s |      23 |  3071421 |  2465638 |     2758   2114 |        0 |        0
1502.70/1503.27	c 1503s |      23 |  3074387 |  2467938 |     2758   2116 |        0 |        0
1504.70/1505.29	c 1505s |      23 |  3077005 |  2470038 |     2758   2117 |        0 |        0
1506.80/1507.32	c 1507s |      23 |  3080494 |  2472338 |     2758   2119 |        0 |        0
1508.81/1509.34	c 1509s |      23 |  3082996 |  2474438 |     2758   2120 |        0 |        0
1510.80/1511.35	c 1511s |      23 |  3085721 |  2476538 |     2758   2121 |        0 |        0
1512.80/1513.37	c 1513s |      23 |  3088018 |  2478538 |     2758   2123 |        0 |        0
1514.90/1515.45	c 1515s |      23 |  3090181 |  2480338 |     2758   2124 |        0 |        0
1517.00/1517.52	c 1517s |      23 |  3093079 |  2482538 |     2758   2125 |        0 |        0
1519.00/1519.58	c 1519s |      23 |  3096303 |  2484438 |     2758   2127 |        0 |        0
1521.10/1521.69	c 1521s |      23 |  3098694 |  2486338 |     2758   2128 |        0 |        0
1523.20/1523.71	c 1523s |      23 |  3101354 |  2488338 |     2758   2129 |        0 |        0
1525.20/1525.71	c 1525s |      23 |  3103974 |  2490538 |     2758   2131 |        0 |        0
1527.29/1527.80	c 1527s |      23 |  3106400 |  2492638 |     2758   2132 |        0 |        0
1529.29/1529.81	c 1529s |      23 |  3108818 |  2494538 |     2758   2133 |        0 |        0
1531.39/1531.93	c 1531s |      23 |  3110915 |  2496338 |     2758   2134 |        0 |        0
1533.39/1533.96	c 1533s |      23 |  3113730 |  2498738 |     2758   2136 |        0 |        0
1535.39/1535.96	c 1535s |      23 |  3116154 |  2500838 |     2758   2137 |        0 |        0
1537.40/1537.99	c 1537s |      23 |  3118840 |  2503138 |     2758   2139 |        0 |        0
1539.50/1540.02	c 1539s |      23 |  3121607 |  2505638 |     2758   2140 |        0 |        0
1541.49/1542.09	c 1542s |      23 |  3124333 |  2508038 |     2758   2142 |        0 |        0
1543.59/1544.17	c 1544s |      23 |  3126788 |  2510238 |     2758   2143 |        0 |        0
1545.59/1546.18	c 1546s |      23 |  3129417 |  2512538 |     2758   2145 |        0 |        0
1547.69/1548.26	c 1548s |      23 |  3132013 |  2514838 |     2758   2147 |        0 |        0
1549.69/1550.27	c 1550s |      23 |  3135269 |  2516938 |     2758   2148 |        0 |        0
1551.79/1552.34	c 1552s |      23 |  3138406 |  2519438 |     2758   2150 |        0 |        0
1553.90/1554.42	c 1554s |      23 |  3140647 |  2521438 |     2758   2151 |        0 |        0
1555.89/1556.48	c 1556s |      23 |  3143203 |  2523538 |     2758   2152 |        0 |        0
1557.99/1558.56	c 1558s |      23 |  3146060 |  2525838 |     2758   2154 |        0 |        0
1559.99/1560.56	c 1560s |      23 |  3149027 |  2528238 |     2758   2155 |        0 |        0
1562.09/1562.62	c 1562s |      23 |  3151781 |  2530338 |     2758   2157 |        0 |        0
1564.09/1564.67	c 1564s |      23 |  3154416 |  2532538 |     2758   2158 |        0 |        0
1566.09/1566.69	c 1566s |      23 |  3157296 |  2534838 |     2758   2160 |        0 |        0
1568.19/1568.73	c 1568s |      23 |  3160105 |  2537138 |     2758   2161 |        0 |        0
1570.29/1570.81	c 1570s |      23 |  3162606 |  2539238 |     2758   2162 |        0 |        0
1572.29/1572.86	c 1572s |      23 |  3165065 |  2541338 |     2758   2164 |        0 |        0
1574.39/1574.94	c 1574s |      23 |  3167547 |  2543438 |     2758   2165 |        0 |        0
1576.39/1577.00	c 1576s |      23 |  3169772 |  2545438 |     2758   2167 |        0 |        0
1578.49/1579.07	c 1579s |      23 |  3173027 |  2548038 |     2758   2168 |        0 |        0
1580.49/1581.09	c 1581s |      23 |  3175524 |  2550138 |     2758   2170 |        0 |        0
1582.59/1583.15	c 1583s |      23 |  3178571 |  2552438 |     2758   2171 |        0 |        0
1584.69/1585.28	c 1585s |      23 |  3181878 |  2554538 |     2758   2173 |        0 |        0
1586.79/1587.33	c 1587s |      23 |  3186449 |  2557238 |     2758   2174 |        0 |        0
1588.78/1589.36	c 1589s |      23 |  3190792 |  2560438 |     2758   2176 |        0 |        0
1590.78/1591.37	c 1591s |      23 |  3195467 |  2563738 |     2758   2179 |        0 |        0
1592.88/1593.42	c 1593s |      23 |  3199755 |  2566738 |     2758   2181 |        0 |        0
1594.88/1595.47	c 1595s |      23 |  3203402 |  2569738 |     2758   2182 |        0 |        0
1596.98/1597.51	c 1597s |      23 |  3207319 |  2572738 |     2758   2184 |        0 |        0
1598.99/1599.56	c 1599s |      23 |  3211652 |  2575638 |     2758   2186 |        0 |        0
1600.98/1601.57	c 1601s |      23 |  3215906 |  2578738 |     2758   2188 |        0 |        0
1603.08/1603.63	c 1603s |      23 |  3219722 |  2581338 |     2758   2190 |        0 |        0
1605.18/1605.70	c 1605s |      23 |  3222877 |  2583538 |     2758   2192 |        0 |        0
1607.18/1607.71	c 1607s |      23 |  3226860 |  2586138 |     2758   2193 |        0 |        0
1609.18/1609.77	c 1609s |      23 |  3230866 |  2588938 |     2758   2195 |        0 |        0
1611.29/1611.82	c 1611s |      23 |  3235961 |  2592738 |     2758   2198 |        0 |        0
1613.39/1613.91	c 1613s |      23 |  3239405 |  2595838 |     2758   2200 |        0 |        0
1615.40/1615.97	c 1615s |      23 |  3242904 |  2599038 |     2758   2202 |        0 |        0
1617.49/1618.05	c 1618s |      23 |  3245793 |  2601638 |     2758   2203 |        0 |        0
1619.59/1620.12	c 1620s |      23 |  3248930 |  2604338 |     2758   2205 |        0 |        0
1621.59/1622.17	c 1622s |      23 |  3252483 |  2607238 |     2758   2207 |        0 |        0
1623.59/1624.17	c 1624s |      23 |  3255667 |  2609938 |     2758   2209 |        0 |        0
1625.69/1626.24	c 1626s |      23 |  3259562 |  2612938 |     2758   2211 |        0 |        0
1627.69/1628.24	c 1628s |      23 |  3263880 |  2616238 |     2758   2213 |        0 |        0
1629.69/1630.26	c 1630s |      23 |  3270774 |  2620638 |     2758   2216 |        0 |        0
1631.79/1632.34	c 1632s |      23 |  3276530 |  2624738 |     2758   2219 |        0 |        0
1633.79/1634.35	c 1634s |      23 |  3282372 |  2629038 |     2758   2221 |        0 |        0
1635.78/1636.36	c 1636s |      23 |  3288022 |  2633038 |     2758   2224 |        0 |        0
1637.78/1638.37	c 1638s |      23 |  3292607 |  2637038 |     2758   2226 |        0 |        0
1639.88/1640.42	c 1640s |      23 |  3296405 |  2640238 |     2758   2229 |        0 |        0
1641.89/1642.45	c 1642s |      23 |  3299881 |  2643038 |     2758   2230 |        0 |        0
1643.88/1644.49	c 1644s |      23 |  3303331 |  2645738 |     2758   2232 |        0 |        0
1645.98/1646.50	c 1646s |      23 |  3307949 |  2649438 |     2758   2235 |        0 |        0
1647.98/1648.51	c 1648s |      23 |  3313235 |  2653638 |     2758   2237 |        0 |        0
1649.98/1650.53	c 1650s |      23 |  3317114 |  2656738 |     2758   2239 |        0 |        0
1651.98/1652.54	c 1652s |      23 |  3320768 |  2659538 |     2758   2241 |        0 |        0
1653.99/1654.58	c 1654s |      23 |  3323679 |  2661938 |     2758   2243 |        0 |        0
1656.09/1656.61	c 1656s |      23 |  3326958 |  2664538 |     2758   2245 |        0 |        0
1658.08/1658.63	c 1658s |      23 |  3332021 |  2668438 |     2758   2247 |        0 |        0
1660.08/1660.69	c 1660s |      23 |  3336072 |  2671838 |     2758   2249 |        0 |        0
1662.18/1662.70	c 1662s |      23 |  3339621 |  2674638 |     2758   2251 |        0 |        0
1664.18/1664.73	c 1664s |      23 |  3343779 |  2677838 |     2758   2253 |        0 |        0
1666.18/1666.77	c 1666s |      23 |  3348446 |  2681438 |     2758   2256 |        0 |        0
1668.19/1668.77	c 1668s |      23 |  3352471 |  2684838 |     2758   2258 |        0 |        0
1670.18/1670.77	c 1670s |      23 |  3356072 |  2688038 |     2758   2260 |        0 |        0
1672.18/1672.78	c 1672s |      23 |  3359307 |  2690838 |     2758   2262 |        0 |        0
1674.18/1674.78	c 1674s |      23 |  3362371 |  2693338 |     2758   2263 |        0 |        0
1676.18/1676.79	c 1676s |      23 |  3365837 |  2696238 |     2758   2265 |        0 |        0
1678.28/1678.83	c 1678s |      23 |  3370560 |  2700438 |     2758   2268 |        0 |        0
1680.28/1680.88	c 1680s |      23 |  3375015 |  2704138 |     2758   2271 |        0 |        0
1682.37/1682.92	c 1682s |      23 |  3379208 |  2707538 |     2758   2273 |        0 |        0
1684.37/1684.93	c 1684s |      23 |  3383496 |  2711238 |     2758   2275 |        0 |        0
1686.37/1686.99	c 1686s |      23 |  3387691 |  2714838 |     2758   2278 |        0 |        0
1688.47/1689.02	c 1688s |      23 |  3391673 |  2718238 |     2758   2280 |        0 |        0
1690.47/1691.02	c 1690s |      23 |  3395083 |  2721138 |     2758   2282 |        0 |        0
1692.48/1693.03	c 1692s |      23 |  3399444 |  2724938 |     2758   2284 |        0 |        0
1694.47/1695.04	c 1694s |      23 |  3404082 |  2728838 |     2758   2287 |        0 |        0
1696.47/1697.07	c 1697s |      23 |  3408354 |  2732538 |     2758   2289 |        0 |        0
1698.57/1699.10	c 1699s |      23 |  3412855 |  2736238 |     2758   2292 |        0 |        0
1700.57/1701.13	c 1701s |      23 |  3416419 |  2739238 |     2758   2294 |        0 |        0
1702.57/1703.15	c 1703s |      23 |  3420736 |  2742838 |     2758   2296 |        0 |        0
1704.58/1705.16	c 1705s |      23 |  3424992 |  2746438 |     2758   2298 |        0 |        0
1706.57/1707.20	c 1707s |      23 |  3429177 |  2750038 |     2758   2301 |        0 |        0
1708.67/1709.21	c 1709s |      23 |  3433578 |  2753738 |     2758   2303 |        0 |        0
1710.67/1711.22	c 1711s |      23 |  3437648 |  2757238 |     2758   2305 |        0 |        0
1712.67/1713.23	c 1713s |      23 |  3441780 |  2760738 |     2758   2308 |        0 |        0
1714.67/1715.25	c 1715s |      23 |  3445955 |  2764238 |     2758   2310 |        0 |        0
1716.67/1717.26	c 1717s |      23 |  3450393 |  2767838 |     2758   2312 |        0 |        0
1718.66/1719.26	c 1719s |      23 |  3454917 |  2771338 |     2758   2315 |        0 |        0
1720.76/1721.30	c 1721s |      23 |  3459401 |  2774938 |     2758   2317 |        0 |        0
1722.76/1723.33	c 1723s |      23 |  3463950 |  2778538 |     2758   2319 |        0 |        0
1724.76/1725.37	c 1725s |      23 |  3468160 |  2782138 |     2758   2322 |        0 |        0
1726.86/1727.40	c 1727s |      23 |  3472952 |  2785938 |     2758   2324 |        0 |        0
1728.86/1729.43	c 1729s |      23 |  3476849 |  2789338 |     2758   2326 |        0 |        0
1730.87/1731.48	c 1731s |      23 |  3481133 |  2793038 |     2758   2329 |        0 |        0
1732.86/1733.48	c 1733s |      23 |  3484903 |  2796238 |     2758   2331 |        0 |        0
1734.96/1735.53	c 1735s |      23 |  3488421 |  2799138 |     2758   2333 |        0 |        0
1736.96/1737.58	c 1737s |      23 |  3492980 |  2802838 |     2758   2335 |        0 |        0
1739.06/1739.63	c 1739s |      23 |  3497118 |  2806238 |     2758   2337 |        0 |        0
1741.06/1741.65	c 1741s |      23 |  3501381 |  2809638 |     2758   2340 |        0 |        0
1743.07/1743.69	c 1743s |      23 |  3504936 |  2812638 |     2758   2342 |        0 |        0
1745.17/1745.73	c 1745s |      23 |  3508762 |  2815838 |     2758   2344 |        0 |        0
1747.16/1747.76	c 1747s |      23 |  3512265 |  2818738 |     2758   2346 |        0 |        0
1749.16/1749.79	c 1749s |      23 |  3515279 |  2821338 |     2758   2347 |        0 |        0
1751.26/1751.88	c 1751s |      23 |  3518053 |  2823738 |     2758   2349 |        0 |        0
1753.37/1753.93	c 1753s |      23 |  3522716 |  2827438 |     2758   2351 |        0 |        0
1755.37/1755.94	c 1755s |      23 |  3526786 |  2830638 |     2758   2353 |        0 |        0
1757.37/1757.98	c 1757s |      23 |  3530604 |  2833638 |     2758   2355 |        0 |        0
1759.37/1759.98	c 1759s |      23 |  3534847 |  2837138 |     2758   2358 |        0 |        0
1761.47/1762.05	c 1761s |      23 |  3538953 |  2840338 |     2758   2360 |        0 |        0
1763.57/1764.10	c 1764s |      23 |  3541997 |  2843038 |     2758   2361 |        0 |        0
1765.57/1766.16	c 1766s |      23 |  3545934 |  2846338 |     2758   2364 |        0 |        0
1767.67/1768.21	c 1768s |      23 |  3549362 |  2849338 |     2758   2366 |        0 |        0
1769.67/1770.22	c 1770s |      23 |  3553735 |  2852738 |     2758   2368 |        0 |        0
1771.67/1772.25	c 1772s |      23 |  3557551 |  2855738 |     2758   2370 |        0 |        0
1773.67/1774.26	c 1774s |      23 |  3561773 |  2859138 |     2758   2372 |        0 |        0
1775.77/1776.32	c 1776s |      23 |  3565372 |  2862138 |     2758   2374 |        0 |        0
1777.76/1778.36	c 1778s |      23 |  3568411 |  2864738 |     2758   2376 |        0 |        0
1779.76/1780.39	c 1780s |      23 |  3572550 |  2868238 |     2758   2378 |        0 |        0
1781.86/1782.41	c 1782s |      23 |  3575631 |  2870938 |     2758   2380 |        0 |        0
1783.86/1784.43	c 1784s |      23 |  3579271 |  2873938 |     2758   2382 |        0 |        0
1785.87/1786.44	c 1786s |      23 |  3583175 |  2877238 |     2758   2384 |        0 |        0
1787.86/1788.46	c 1788s |      23 |  3586573 |  2879938 |     2758   2386 |        0 |        0
1789.86/1790.49	c 1790s |      23 |  3590328 |  2883038 |     2758   2388 |        0 |        0
1791.96/1792.54	c 1792s |      23 |  3594314 |  2886338 |     2758   2390 |        0 |        0
1793.96/1794.57	c 1794s |      23 |  3597869 |  2889138 |     2758   2392 |        0 |        0
1795.96/1796.59	c 1796s |      23 |  3601398 |  2892038 |     2758   2394 |        0 |        0
1797.97/1798.60	c 1798s |      23 |  3605499 |  2895238 |     2758   2396 |        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-4093628-1466090394/watcher-4093628-1466090394 -o /tmp/evaluation-result-4093628-1466090394/solver-4093628-1466090394 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466075295-13238 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093628-1466090394.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.28 2.23 2.19 4/179 15975
/proc/meminfo: memFree=29933132/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=584124 CPUtime=0 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 2157 0 0 0 0 0 0 0 20 0 4 0 11088337 598142976 2007 33554432000 4194304 16246674 140733373582816 140733373582240 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 146799 2016 441 2943 0 143693 0
[pid=15975/tid=15976] ppid=15972 vsize=601532 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 615968768 2074 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=605628 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 620163072 2090 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=609724 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11088337 624357376 2107 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.28 2.23 2.19 4/179 15975
/proc/meminfo: memFree=29933132/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 24757 0 0 0 6 3 0 0 20 0 4 0 11088337 1247350784 24592 33554432000 4194304 16246674 140733373582816 140733373582240 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 304529 24598 807 2943 0 301423 0
[pid=15975/tid=15976] ppid=15972 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1247350784 24604 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1247350784 24610 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11088337 1247350784 24617 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.2005 s]
/proc/loadavg: 2.28 2.23 2.19 4/179 15975
/proc/meminfo: memFree=29933132/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 51190 0 0 0 12 7 0 0 20 0 4 0 11088337 1247350784 51025 33554432000 4194304 16246674 140733373582816 140733373582240 5661217 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 304529 51038 813 2943 0 301423 0
[pid=15975/tid=15976] ppid=15972 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1247350784 51049 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1247350784 51060 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11088337 1247350784 51070 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300467 s]
/proc/loadavg: 2.28 2.23 2.19 4/179 15975
/proc/meminfo: memFree=29933132/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 81022 0 0 0 18 10 0 0 20 0 4 0 11088337 1247350784 80857 33554432000 4194304 16246674 140733373582816 140733373582240 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 304529 80864 813 2943 0 301423 0
[pid=15975/tid=15976] ppid=15972 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1247350784 80868 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1247350784 80872 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11088337 1247350784 80879 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.70038 s]
/proc/loadavg: 2.28 2.23 2.19 4/179 15975
/proc/meminfo: memFree=29933132/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 184804 0 0 0 45 23 0 0 20 0 4 0 11088337 1247350784 184639 33554432000 4194304 16246674 140733373582816 140733373564736 13192029 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 304529 184648 814 2943 0 301423 0
[pid=15975/tid=15976] ppid=15972 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1247350784 184652 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1247350784 184656 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11088337 1247350784 184664 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.28 2.23 2.19 3/183 15979
/proc/meminfo: memFree=28951540/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1220164 CPUtime=1.48 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 245987 0 0 0 118 30 0 0 20 0 4 0 11088337 1249447936 245800 33554432000 4194304 16246674 140733373582816 140733373564736 6021950 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 305041 245800 871 2943 0 301935 0
[pid=15975/tid=15976] ppid=15972 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1249447936 245800 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1249447936 245800 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11088337 1249447936 245800 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1220164

[startup+3.10038 s]
/proc/loadavg: 2.28 2.23 2.19 4/183 15979
/proc/meminfo: memFree=28864724/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 267576 0 0 0 275 33 0 0 20 0 4 0 11088337 1337528320 267389 33554432000 4194304 16246674 140733373582816 140733373565816 6836973 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 326545 267389 872 2943 0 323439 0
[pid=15975/tid=15976] ppid=15972 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1337528320 267389 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1337528320 267389 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11088337 1337528320 267389 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30038 s]
/proc/loadavg: 2.25 2.23 2.19 4/183 15979
/proc/meminfo: memFree=28861448/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1308228 CPUtime=6.28 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 268174 0 0 0 595 33 0 0 20 0 4 0 11088337 1339625472 267987 33554432000 4194304 16246674 140733373582816 140733373564736 5545840 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 327057 267987 872 2943 0 323951 0
[pid=15975/tid=15976] ppid=15972 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1339625472 267987 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1339625472 267987 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11088337 1339625472 267987 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.23 2.22 2.19 3/184 15982
/proc/meminfo: memFree=28860852/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 268175 0 0 0 1235 33 0 0 20 0 4 0 11088337 1339625472 267988 33554432000 4194304 16246674 140733373582816 140733373564736 5545988 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 327057 267988 873 2943 0 323951 0
[pid=15975/tid=15976] ppid=15972 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1339625472 267988 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1339625472 267988 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11088337 1339625472 267988 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5004 s]
/proc/loadavg: 2.34 2.25 2.19 4/184 16031
/proc/meminfo: memFree=28924228/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 268175 0 0 0 2515 33 0 0 20 0 4 0 11088337 1339625472 267988 33554432000 4194304 16246674 140733373582816 140733373564736 5677802 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 327057 267988 873 2943 0 323951 0
[pid=15975/tid=15976] ppid=15972 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1339625472 267988 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1339625472 267988 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11088337 1339625472 267988 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.22 2.22 2.18 3/184 16031
/proc/meminfo: memFree=28923764/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 268180 0 0 0 5075 33 0 0 20 0 4 0 11088337 1339625472 267993 33554432000 4194304 16246674 140733373582816 140733373564736 12476636 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 327057 267993 873 2943 0 323951 0
[pid=15975/tid=15976] ppid=15972 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1339625472 267993 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1339625472 267993 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11088337 1339625472 267993 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 16032
/proc/meminfo: memFree=28920184/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1310276 CPUtime=102.28 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 268604 0 0 0 10194 34 0 0 20 0 4 0 11088337 1341722624 268417 33554432000 4194304 16246674 140733373582816 140733373564736 5522913 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 327569 268417 876 2943 0 324463 0
[pid=15975/tid=15976] ppid=15972 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1341722624 268417 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1341722624 268417 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11088337 1341722624 268417 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1310276


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

/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.15 2.14 2.16 3/183 16062
/proc/meminfo: memFree=28900012/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1315396 CPUtime=1301.83 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 270426 0 0 0 130142 41 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140733373564736 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 328849 270045 877 2943 0 325743 0
[pid=15975/tid=15976] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.09 2.13 2.15 4/183 16063
/proc/meminfo: memFree=28899860/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1315396 CPUtime=1361.82 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 270426 0 0 0 136141 41 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140733373564736 5546005 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 328849 270045 877 2943 0 325743 0
[pid=15975/tid=15976] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.08 2.12 2.14 4/183 16064
/proc/meminfo: memFree=28899828/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1315396 CPUtime=1421.82 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 270426 0 0 0 142140 42 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140733373564736 6010629 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 328849 270045 877 2943 0 325743 0
[pid=15975/tid=15976] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.12 2.12 2.14 3/183 16066
/proc/meminfo: memFree=28899588/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1315396 CPUtime=1481.8 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 270426 0 0 0 148138 42 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140733373564736 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 328849 270045 877 2943 0 325743 0
[pid=15975/tid=15976] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.08 2.11 2.14 3/183 16067
/proc/meminfo: memFree=28899732/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1315396 CPUtime=1541.8 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 270426 0 0 0 154138 42 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140733373564736 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 328849 270045 877 2943 0 325743 0
[pid=15975/tid=15976] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.09 2.10 2.13 4/183 16068
/proc/meminfo: memFree=28899676/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1315396 CPUtime=1601.78 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 270426 0 0 0 160136 42 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140733373564736 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 328849 270045 877 2943 0 325743 0
[pid=15975/tid=15976] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.10 2.10 2.12 4/183 16069
/proc/meminfo: memFree=28899676/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1315396 CPUtime=1661.78 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 270426 0 0 0 166135 43 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140733373564736 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 328849 270045 877 2943 0 325743 0
[pid=15975/tid=15976] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.03 2.08 2.11 3/183 16070
/proc/meminfo: memFree=28899720/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1315396 CPUtime=1721.76 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 270426 0 0 0 172133 43 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140733373564736 5661607 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 328849 270045 877 2943 0 325743 0
[pid=15975/tid=15976] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.06 2.08 2.10 4/183 16072
/proc/meminfo: memFree=28899352/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1315396 CPUtime=1781.76 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 270426 0 0 0 178132 44 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140733373564736 5546160 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 328849 270045 877 2943 0 325743 0
[pid=15975/tid=15976] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.04 2.07 2.10 3/183 16072
/proc/meminfo: memFree=28899476/32872528 swapFree=876280/941688
[pid=15975] ppid=15972 vsize=1315396 CPUtime=1800.06 cores=0,2,4,6
/proc/15975/stat : 15975 (toysat) R 15972 15975 7213 0 -1 4202496 270426 0 0 0 179962 44 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140733373564736 5545796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15975/statm: 328849 270045 877 2943 0 325743 0
[pid=15975/tid=15976] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15976/stat : 15976 (toysat) S 15972 15975 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453082017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15975/tid=15977] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15977/stat : 15977 (toysat) S 15972 15975 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453071527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15975/tid=15978] ppid=15972 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15975/task/15978/stat : 15978 (toysat) S 15972 15975 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11088337 1346965504 270045 33554432000 4194304 16246674 140733373582816 140453061053616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 15975 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.07
CPU user time (s): 1799.63
CPU system time (s): 0.441932
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.441932
maximum resident set size= 1080180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270426
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= 463
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55531 second user time and 6.95794 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-16 17:19:54
IDJOB=4093628
IDBENCH=79155
IDSOLVER=2553
FILE ID=node113/4093628-1466090394
RUNJOBID= node113-1466075295-13238
PBS_JOBID= 19904023
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr--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-4093628-1466090394/watcher-4093628-1466090394 -o /tmp/evaluation-result-4093628-1466090394/solver-4093628-1466090394 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466075295-13238 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093628-1466090394.wbo

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

MD5SUM BENCH= e8a78e2fe28a365664c9883ac99e1f12
RANDOM SEED=279481500

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29934100 kB
Buffers:           45268 kB
Cached:           117080 kB
SwapCached:         2160 kB
Active:          1219368 kB
Inactive:          76104 kB
Active(anon):    1133520 kB
Inactive(anon):     1612 kB
Active(file):      85848 kB
Inactive(file):    74492 kB
Unevictable:      941688 kB
Mlocked:          876280 kB
SwapTotal:      67108856 kB
SwapFree:       67098740 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2009924 kB
Mapped:            10704 kB
Shmem:                 0 kB
Slab:             568116 kB
SReclaimable:      12384 kB
SUnreclaim:       555732 kB
KernelStack:        1520 kB
PageTables:         8212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2217952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1126400 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= 71708 MiB
End job on node113 at 2016-06-16 17:49:55