Trace number 4093395

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-66-100-0.wbo
MD5SUM9acc4a01e291192ca8cd72bb114b6c35
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark35
Best CPU time to get the best result obtained on this benchmark0.486925
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables150
Total number of constraints25
Number of soft constraints5
Number of constraints which are clauses15
Number of constraints which are cardinality constraints (but not clauses)10
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15
Top cost 239
Min constraint cost 1
Max constraint cost 93
Sum of constraints costs 238
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 16
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-16T15:03:13+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093395-1466082193.wbo"]
0.00/0.01	c use --random-gen="1094934179 3104353174 1367774241 675709273 1094375392 2546497223 929841989 3113776254 2622229948 3407579877 1383990649 2897642157 3286947700 1452286907 4137756514 2923344341 2360263115 3156644448 3483571679 1172581641 1294173938 388496853 149677207 349221812 1268951198 3128611599 172732662 4235759587 3761856095 725256077 1871686524 2368031333 3813585232 471563498 3987057041 3256765513 3656397458 529131077 3986022141 1108516489 2422369782 3780054403 1548397537 2735717534 193543801 2041085811 1351818371 3441871641 2158416057 3559972723 3275860296 1435021543 397498056 2816029717 3390857909 1785705473 258034218 396566125 72930849 1436716082 4078540086 4067095059 2326882677 3132266873 3520817218 1913502991 932112810 3382173981 3812769643 1539287134 1971885168 2933453341 4177496573 3741872281 2773114869 2015474014 2760278024 573412744 3116604448 268347467 3099747847 453608836 1291154884 2487806338 2677421308 3300859267 3449279370 793322237 3839170069 503440204 345938725 621491098 120061166 506258373 3423998476 1500528550 2574658630 1982273393 558405223 320944862 2717378110 1837138251 3464404604 440961614 1550710024 1407304300 2490445941 2339380475 178447948 3142546164 2443481198 3583053270 2338569728 2596159494 6676970 2792068030 2131489448 3806868724 3256428043 4196504361 1030484286 1920148405 1412073439 3787046479 2126518626 3654292273 3622566545 261132241 2369046136 2256779844 3865534276 4101714006 3329924576 533349105 2571558793 745299283 367079838 3974017472 3330602953 2335610160 1309768031 3888578075 1430760725 138948710 3182135572 888727694 2297807613 1412508731 3531321534 4016212864 3477943326 1751586282 383942843 431754240 3316766012 601224078 126001251 4097442302 1449816338 140406963 3204924025 3019773790 201325195 3401951386 387437241 2343359824 3459222603 2810398973 2548216450 2616753792 1154223494 2827174960 3869516067 78551937 2694371232 4089213478 1321555753 4050122384 1099077643 1386808936 2073748016 1212640019 2267872898 3522434409 2939598558 548615631 2453753261 2053607778 1038206450 126399070 2004061172 1803379060 3383584556 1013128594 1528118840 2183143707 922558602 4159566872 850034881 77363915 1655768414 1345174372 453789969 1279545403 1405419409 2118958335 2881594173 728011430 3016705627 580210724 4012157271 2458838659 4268605932 3304176132 289984547 3232659432 1639849963 1276771897 3347168855 1153793254 3178770364 4012941278 3808029387 468395238 593596946 3103355910 3399069081 1302797741 2979714373 1891274446 598033608 3496897978 3915177349 1848866199 1981302637 693646820 2981223243 3481851521 2008096052 2602529067 2692204922 4125164331 3739109168 453597668 552440524 1144156237 351156731 3417571590 3855640544 1731453197 3273184441 160710798 1949319038 1127541110 3489382509 248010793 255 362436" option to reproduce the execution
0.00/0.01	c #vars 150
0.00/0.01	c #constraints 25
0.00/0.01	c BCD2: Hardening is enabled.
0.00/0.01	c BCD2: BiasedSearch is enabled.
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       60      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      132 |      100 |       60      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      209 |      104 |       66      1 |        0 |        0
0.00/0.03	c #cpu_time = 0.012s
0.00/0.03	c #wall_clock_time = 0.012s
0.00/0.03	c #decision = 209
0.00/0.03	c #random_decision = 1
0.00/0.03	c #conflict = 104
0.00/0.03	c #restart = 1
0.00/0.03	o 203
0.00/0.03	c BCD2: updating upper bound: 238 -> 202
0.00/0.03	c BCD2: 0 <= obj <= 202
0.00/0.03	c BCD2: #cores=0, #unrelaxed=5, #relaxed=0, #hardened=0
0.00/0.03	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |       66      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      266 |      100 |       66      0 |        0 |        0
0.00/0.07	c  0.0s |       2 |      647 |      250 |       73      3 |        0 |        0
0.09/0.11	c  0.1s |       3 |     1159 |      475 |       81      6 |        0 |        0
0.09/0.17	c  0.1s |       4 |     1623 |      813 |       90     11 |        0 |        0
0.19/0.26	c  0.2s |       5 |     2324 |     1320 |      100     17 |        0 |        0
0.29/0.39	c  0.4s |       6 |     3311 |     2081 |      111     27 |        0 |        0
0.59/0.60	c  0.6s |       7 |     4808 |     3223 |      123     40 |        0 |        0
0.79/0.89	c  0.9s |       8 |     6903 |     4936 |      136     59 |        0 |        0
1.09/1.18	c  1.2s |       9 |     9946 |     7506 |      150     86 |        0 |        0
1.59/1.69	c  1.7s |      10 |    15056 |    11361 |      165    123 |        0 |        0
2.39/2.47	c  2.4s |      11 |    22186 |    17144 |      182    175 |        0 |        0
3.69/3.72	c  3.7s |      12 |    32982 |    25819 |      201    241 |        0 |        0
5.49/5.53	c  5.5s |      13 |    49510 |    38832 |      222    339 |        0 |        0
7.48/7.53	c  7.5s |      13 |    67602 |    53932 |      222    448 |        0 |        0
8.08/8.15	c  8.1s |      14 |    72834 |    58352 |      245    481 |        0 |        0
10.08/10.15	c 10.1s |      14 |    91097 |    73452 |      245    583 |        0 |        0
11.99/12.05	c 12.0s |      15 |   107704 |    87632 |      270    682 |        0 |        0
13.99/14.06	c 14.0s |      15 |   125124 |   102232 |      270    770 |        0 |        0
15.99/16.07	c 16.0s |      15 |   140210 |   114832 |      270    842 |        0 |        0
17.99/18.08	c 18.0s |      15 |   154035 |   126432 |      270    908 |        0 |        0
18.99/19.00	c 19.0s |      16 |   160194 |   131552 |      297    937 |        0 |        0
20.90/21.00	c 21.0s |      16 |   174603 |   143352 |      297    999 |        0 |        0
22.99/23.01	c 23.0s |      16 |   190203 |   156252 |      297   1070 |        0 |        0
24.99/25.01	c 25.0s |      16 |   204692 |   168652 |      297   1136 |        0 |        0
26.99/27.03	c 27.0s |      16 |   219209 |   181352 |      297   1205 |        0 |        0
28.99/29.04	c 29.0s |      16 |   233449 |   193352 |      297   1270 |        0 |        0
29.79/29.82	c 29.8s |      17 |   238300 |   197432 |      327   1291 |        0 |        0
31.79/31.82	c 31.8s |      17 |   253245 |   210432 |      327   1357 |        0 |        0
33.78/33.83	c 33.8s |      17 |   267775 |   222932 |      327   1419 |        0 |        0
35.78/35.84	c 35.8s |      17 |   282061 |   235032 |      327   1481 |        0 |        0
37.78/37.86	c 37.8s |      17 |   294624 |   246132 |      327   1536 |        0 |        0
39.78/39.86	c 39.8s |      17 |   308454 |   258132 |      327   1597 |        0 |        0
41.79/41.87	c 41.8s |      17 |   322059 |   269932 |      327   1656 |        0 |        0
43.78/43.87	c 43.8s |      17 |   334919 |   281132 |      327   1713 |        0 |        0
45.78/45.88	c 45.9s |      17 |   348331 |   292532 |      327   1769 |        0 |        0
46.48/46.53	c 46.5s |      18 |   352663 |   296252 |      360   1787 |        0 |        0
48.49/48.55	c 48.5s |      18 |   367247 |   308552 |      360   1843 |        0 |        0
50.48/50.56	c 50.5s |      18 |   381170 |   320452 |      360   1898 |        0 |        0
52.49/52.57	c 52.5s |      18 |   394930 |   332052 |      360   1951 |        0 |        0
54.48/54.57	c 54.5s |      18 |   408375 |   343652 |      360   2005 |        0 |        0
56.48/56.57	c 56.5s |      18 |   423024 |   356352 |      360   2065 |        0 |        0
58.48/58.59	c 58.6s |      18 |   436827 |   368152 |      360   2119 |        0 |        0
60.49/60.60	c 60.6s |      18 |   449981 |   379652 |      360   2171 |        0 |        0
62.58/62.62	c 62.6s |      18 |   464941 |   392852 |      360   2232 |        0 |        0
64.58/64.63	c 64.6s |      18 |   479266 |   405452 |      360   2291 |        0 |        0
66.58/66.64	c 66.6s |      18 |   492960 |   417452 |      360   2347 |        0 |        0
68.58/68.64	c 68.6s |      18 |   507117 |   429652 |      360   2403 |        0 |        0
70.58/70.65	c 70.6s |      18 |   520432 |   440952 |      360   2455 |        0 |        0
71.28/71.37	c 71.3s |      19 |   524533 |   444482 |      397   2470 |        0 |        0
73.28/73.37	c 73.3s |      19 |   539511 |   457182 |      397   2524 |        0 |        0
75.28/75.39	c 75.4s |      19 |   554045 |   469682 |      397   2578 |        0 |        0
77.38/77.40	c 77.4s |      19 |   570443 |   483382 |      397   2638 |        0 |        0
79.38/79.40	c 79.4s |      19 |   586670 |   497482 |      397   2699 |        0 |        0
81.28/81.40	c 81.4s |      19 |   599654 |   508882 |      397   2748 |        0 |        0
83.38/83.41	c 83.4s |      19 |   612234 |   519982 |      397   2795 |        0 |        0
85.38/85.41	c 85.4s |      19 |   623860 |   530282 |      397   2839 |        0 |        0
87.38/87.42	c 87.4s |      19 |   635536 |   540582 |      397   2883 |        0 |        0
89.38/89.43	c 89.4s |      19 |   647092 |   550882 |      397   2927 |        0 |        0
91.38/91.44	c 91.4s |      19 |   659046 |   561282 |      397   2971 |        0 |        0
93.37/93.45	c 93.4s |      19 |   673529 |   573582 |      397   3023 |        0 |        0
95.37/95.46	c 95.4s |      19 |   686934 |   585182 |      397   3072 |        0 |        0
97.37/97.48	c 97.5s |      19 |   699777 |   596382 |      397   3119 |        0 |        0
99.47/99.50	c 99.5s |      19 |   712381 |   607582 |      397   3167 |        0 |        0
101.47/101.51	c  101s |      19 |   724429 |   618182 |      397   3211 |        0 |        0
103.48/103.51	c  103s |      19 |   736566 |   628582 |      397   3256 |        0 |        0
105.47/105.53	c  105s |      19 |   749956 |   639982 |      397   3304 |        0 |        0
107.47/107.53	c  107s |      19 |   761283 |   649782 |      397   3345 |        0 |        0
109.47/109.54	c  109s |      19 |   774051 |   660782 |      397   3393 |        0 |        0
110.58/110.68	c  110s |      20 |   780886 |   666827 |      437   3417 |        0 |        0
112.58/112.68	c  112s |      20 |   794924 |   678327 |      437   3462 |        0 |        0
114.58/114.68	c  114s |      20 |   808956 |   689927 |      437   3508 |        0 |        0
116.58/116.69	c  116s |      20 |   822585 |   701727 |      437   3554 |        0 |        0
118.58/118.69	c  118s |      20 |   835505 |   713127 |      437   3600 |        0 |        0
120.67/120.70	c  120s |      20 |   848051 |   724227 |      437   3643 |        0 |        0
122.67/122.71	c  122s |      20 |   859767 |   734727 |      437   3684 |        0 |        0
124.67/124.72	c  124s |      20 |   873670 |   746427 |      437   3730 |        0 |        0
126.67/126.73	c  126s |      20 |   887109 |   758027 |      437   3776 |        0 |        0
128.68/128.74	c  128s |      20 |   900869 |   769827 |      437   3823 |        0 |        0
130.67/130.75	c  130s |      20 |   915205 |   781927 |      437   3871 |        0 |        0
132.67/132.77	c  132s |      20 |   927710 |   792927 |      437   3914 |        0 |        0
134.67/134.79	c  134s |      20 |   940056 |   803527 |      437   3956 |        0 |        0
136.77/136.80	c  136s |      20 |   952837 |   814627 |      437   4000 |        0 |        0
138.76/138.80	c  138s |      20 |   965920 |   825927 |      437   4045 |        0 |        0
140.77/140.81	c  140s |      20 |   978409 |   836827 |      437   4089 |        0 |        0
142.77/142.82	c  142s |      20 |   990628 |   847227 |      437   4130 |        0 |        0
144.77/144.83	c  144s |      20 |  1003778 |   858527 |      437   4174 |        0 |        0
146.77/146.84	c  146s |      20 |  1016900 |   869527 |      437   4217 |        0 |        0
148.77/148.85	c  148s |      20 |  1029208 |   880027 |      437   4258 |        0 |        0
150.78/150.86	c  150s |      20 |  1041909 |   890927 |      437   4301 |        0 |        0
152.77/152.86	c  152s |      20 |  1053745 |   901127 |      437   4341 |        0 |        0
154.77/154.87	c  154s |      20 |  1065752 |   911627 |      437   4382 |        0 |        0
156.77/156.87	c  156s |      20 |  1077854 |   922127 |      437   4424 |        0 |        0
158.77/158.88	c  158s |      20 |  1089657 |   932427 |      437   4465 |        0 |        0
160.77/160.89	c  160s |      20 |  1101234 |   942727 |      437   4506 |        0 |        0
162.77/162.90	c  162s |      20 |  1112137 |   952427 |      437   4544 |        0 |        0
164.87/164.91	c  164s |      20 |  1123885 |   962827 |      437   4586 |        0 |        0
166.87/166.92	c  166s |      20 |  1136224 |   973627 |      437   4628 |        0 |        0
168.87/168.93	c  168s |      20 |  1148231 |   984027 |      437   4669 |        0 |        0
170.87/170.95	c  170s |      20 |  1160487 |   994627 |      481   4710 |        0 |        0
171.96/172.04	c  172s |      21 |  1166954 |  1000345 |      481   4731 |        0 |        0
173.96/174.04	c  174s |      21 |  1179576 |  1011145 |      481   4770 |        0 |        0
175.97/176.06	c  176s |      21 |  1192132 |  1021845 |      481   4809 |        0 |        0
177.96/178.06	c  178s |      21 |  1204936 |  1032945 |      481   4849 |        0 |        0
179.96/180.07	c  180s |      21 |  1218867 |  1044545 |      481   4892 |        0 |        0
181.96/182.08	c  182s |      21 |  1232659 |  1056445 |      481   4936 |        0 |        0
183.96/184.08	c  184s |      21 |  1245709 |  1067645 |      481   4977 |        0 |        0
185.97/186.08	c  186s |      21 |  1257904 |  1078245 |      481   5016 |        0 |        0
187.96/188.10	c  188s |      21 |  1269923 |  1088745 |      481   5054 |        0 |        0
190.06/190.10	c  190s |      21 |  1282590 |  1099645 |      481   5094 |        0 |        0
192.06/192.11	c  192s |      21 |  1293898 |  1109545 |      481   5130 |        0 |        0
194.06/194.12	c  194s |      21 |  1304698 |  1119045 |      481   5165 |        0 |        0
196.06/196.13	c  196s |      21 |  1316889 |  1129345 |      481   5203 |        0 |        0
198.06/198.13	c  198s |      21 |  1328908 |  1139345 |      481   5239 |        0 |        0
200.05/200.15	c  200s |      21 |  1340714 |  1149445 |      481   5275 |        0 |        0
202.06/202.17	c  202s |      21 |  1352455 |  1159345 |      481   5310 |        0 |        0
204.06/204.18	c  204s |      21 |  1363920 |  1169045 |      481   5345 |        0 |        0
206.06/206.18	c  206s |      21 |  1375667 |  1179045 |      481   5381 |        0 |        0
208.06/208.18	c  208s |      21 |  1387126 |  1189045 |      481   5417 |        0 |        0
210.07/210.19	c  210s |      21 |  1398696 |  1198945 |      481   5453 |        0 |        0
212.16/212.20	c  212s |      21 |  1409618 |  1208745 |      481   5488 |        0 |        0
214.16/214.20	c  214s |      21 |  1419967 |  1218045 |      481   5522 |        0 |        0
216.16/216.21	c  216s |      21 |  1430749 |  1227745 |      481   5558 |        0 |        0
218.16/218.21	c  218s |      21 |  1440721 |  1236645 |      481   5590 |        0 |        0
220.16/220.22	c  220s |      21 |  1452385 |  1247045 |      481   5628 |        0 |        0
222.17/222.24	c  222s |      21 |  1464792 |  1257945 |      481   5667 |        0 |        0
224.16/224.25	c  224s |      21 |  1476717 |  1268345 |      481   5705 |        0 |        0
226.16/226.26	c  226s |      21 |  1487783 |  1278145 |      481   5741 |        0 |        0
228.16/228.26	c  228s |      21 |  1498504 |  1287645 |      481   5776 |        0 |        0
230.16/230.27	c  230s |      21 |  1510774 |  1298545 |      481   5815 |        0 |        0
232.16/232.27	c  232s |      21 |  1522372 |  1308845 |      481   5852 |        0 |        0
234.16/234.28	c  234s |      21 |  1535865 |  1319845 |      481   5892 |        0 |        0
236.26/236.30	c  236s |      21 |  1548501 |  1330745 |      481   5932 |        0 |        0
238.25/238.31	c  238s |      21 |  1561256 |  1341545 |      481   5972 |        0 |        0
240.25/240.31	c  240s |      21 |  1574115 |  1352445 |      481   6011 |        0 |        0
242.25/242.32	c  242s |      21 |  1586107 |  1363045 |      481   6050 |        0 |        0
244.26/244.33	c  244s |      21 |  1599801 |  1374745 |      481   6093 |        0 |        0
246.25/246.33	c  246s |      21 |  1612374 |  1385445 |      481   6132 |        0 |        0
248.25/248.34	c  248s |      21 |  1625527 |  1396845 |      481   6174 |        0 |        0
250.25/250.35	c  250s |      21 |  1639161 |  1408445 |      481   6217 |        0 |        0
252.25/252.36	c  252s |      21 |  1652111 |  1419745 |      481   6259 |        0 |        0
254.25/254.37	c  254s |      21 |  1664682 |  1430745 |      481   6299 |        0 |        0
256.26/256.37	c  256s |      21 |  1677124 |  1441645 |      481   6339 |        0 |        0
258.25/258.39	c  258s |      21 |  1689229 |  1452345 |      481   6378 |        0 |        0
260.35/260.40	c  260s |      21 |  1701076 |  1462845 |      481   6416 |        0 |        0
262.35/262.41	c  262s |      21 |  1713630 |  1473545 |      481   6454 |        0 |        0
264.35/264.44	c  264s |      21 |  1725591 |  1484245 |      481   6494 |        0 |        0
266.35/266.45	c  266s |      21 |  1737709 |  1494845 |      530   6531 |        0 |        0
267.45/267.54	c  267s |      22 |  1744303 |  1500622 |      530   6551 |        0 |        0
269.45/269.55	c  269s |      22 |  1757332 |  1511622 |      530   6587 |        0 |        0
271.44/271.56	c  271s |      22 |  1769320 |  1522122 |      530   6621 |        0 |        0
273.44/273.57	c  273s |      22 |  1781074 |  1532522 |      530   6655 |        0 |        0
275.44/275.58	c  275s |      22 |  1793861 |  1543522 |      530   6691 |        0 |        0
277.44/277.59	c  277s |      22 |  1806156 |  1554422 |      530   6727 |        0 |        0
279.54/279.60	c  279s |      22 |  1817479 |  1564122 |      530   6759 |        0 |        0
281.54/281.61	c  281s |      22 |  1829634 |  1574822 |      530   6794 |        0 |        0
283.54/283.62	c  283s |      22 |  1841529 |  1585522 |      530   6829 |        0 |        0
285.54/285.63	c  285s |      22 |  1853009 |  1595822 |      530   6863 |        0 |        0
287.54/287.65	c  287s |      22 |  1865033 |  1606422 |      530   6898 |        0 |        0
289.54/289.67	c  289s |      22 |  1876873 |  1616822 |      530   6932 |        0 |        0
291.54/291.69	c  291s |      22 |  1889292 |  1627722 |      530   6968 |        0 |        0
293.53/293.70	c  293s |      22 |  1901544 |  1638622 |      530   7004 |        0 |        0
295.63/295.72	c  295s |      22 |  1913243 |  1649022 |      530   7038 |        0 |        0
297.63/297.73	c  297s |      22 |  1924724 |  1659222 |      530   7071 |        0 |        0
299.63/299.75	c  299s |      22 |  1935527 |  1668822 |      530   7103 |        0 |        0
301.63/301.75	c  301s |      22 |  1946267 |  1678522 |      530   7134 |        0 |        0
303.64/303.76	c  303s |      22 |  1957218 |  1688222 |      530   7166 |        0 |        0
305.63/305.76	c  305s |      22 |  1969393 |  1699022 |      530   7202 |        0 |        0
307.63/307.77	c  307s |      22 |  1981292 |  1709522 |      530   7236 |        0 |        0
309.63/309.77	c  309s |      22 |  1993361 |  1720222 |      530   7272 |        0 |        0
311.63/311.77	c  311s |      22 |  2005112 |  1730622 |      530   7306 |        0 |        0
313.62/313.78	c  313s |      22 |  2016176 |  1740522 |      530   7339 |        0 |        0
315.63/315.80	c  315s |      22 |  2026973 |  1750122 |      530   7370 |        0 |        0
317.72/317.81	c  317s |      22 |  2038748 |  1760522 |      530   7404 |        0 |        0
319.72/319.82	c  319s |      22 |  2050257 |  1770722 |      530   7438 |        0 |        0
321.72/321.84	c  321s |      22 |  2062247 |  1781222 |      530   7472 |        0 |        0
323.72/323.86	c  323s |      22 |  2073892 |  1791522 |      530   7506 |        0 |        0
325.72/325.86	c  325s |      22 |  2085592 |  1801722 |      530   7539 |        0 |        0
327.72/327.86	c  327s |      22 |  2096570 |  1811322 |      530   7571 |        0 |        0
329.72/329.87	c  329s |      22 |  2107323 |  1820922 |      530   7603 |        0 |        0
331.72/331.88	c  331s |      22 |  2118724 |  1830922 |      530   7636 |        0 |        0
333.71/333.89	c  333s |      22 |  2129594 |  1840622 |      530   7668 |        0 |        0
335.71/335.89	c  335s |      22 |  2141460 |  1850722 |      530   7701 |        0 |        0
337.81/337.90	c  337s |      22 |  2153998 |  1861322 |      530   7736 |        0 |        0
339.72/339.90	c  339s |      22 |  2167960 |  1872722 |      530   7775 |        0 |        0
341.82/341.91	c  341s |      22 |  2181509 |  1884322 |      530   7814 |        0 |        0
343.82/343.93	c  343s |      22 |  2193844 |  1894922 |      530   7849 |        0 |        0
345.82/345.94	c  345s |      22 |  2206628 |  1905822 |      530   7885 |        0 |        0
347.81/347.94	c  347s |      22 |  2219190 |  1916722 |      530   7922 |        0 |        0
349.82/349.96	c  349s |      22 |  2231883 |  1927622 |      530   7958 |        0 |        0
351.81/351.97	c  351s |      22 |  2243599 |  1937822 |      530   7992 |        0 |        0
353.81/353.98	c  353s |      22 |  2254200 |  1947222 |      530   8023 |        0 |        0
355.81/355.98	c  355s |      22 |  2265703 |  1957222 |      530   8056 |        0 |        0
357.81/357.99	c  357s |      22 |  2276412 |  1966522 |      530   8087 |        0 |        0
359.91/360.01	c  359s |      22 |  2286095 |  1975222 |      530   8115 |        0 |        0
361.92/362.02	c  361s |      22 |  2296579 |  1984522 |      530   8146 |        0 |        0
363.91/364.04	c  364s |      22 |  2307814 |  1994422 |      530   8178 |        0 |        0
365.91/366.04	c  366s |      22 |  2318540 |  2003822 |      530   8209 |        0 |        0
367.91/368.05	c  368s |      22 |  2330332 |  2014122 |      530   8243 |        0 |        0
369.91/370.05	c  370s |      22 |  2341562 |  2024022 |      530   8276 |        0 |        0
371.91/372.07	c  372s |      22 |  2352410 |  2033722 |      530   8308 |        0 |        0
373.91/374.07	c  374s |      22 |  2363857 |  2043922 |      530   8342 |        0 |        0
375.90/376.08	c  376s |      22 |  2374681 |  2053522 |      530   8374 |        0 |        0
377.90/378.08	c  378s |      22 |  2386764 |  2063822 |      530   8408 |        0 |        0
380.00/380.10	c  380s |      22 |  2399353 |  2074722 |      530   8444 |        0 |        0
382.00/382.12	c  382s |      22 |  2411263 |  2085122 |      530   8479 |        0 |        0
384.00/384.12	c  384s |      22 |  2422686 |  2095122 |      530   8511 |        0 |        0
386.00/386.12	c  386s |      22 |  2435158 |  2105922 |      530   8547 |        0 |        0
387.99/388.13	c  388s |      22 |  2446732 |  2115922 |      530   8580 |        0 |        0
389.99/390.14	c  390s |      22 |  2458064 |  2125922 |      530   8613 |        0 |        0
391.99/392.15	c  392s |      22 |  2469869 |  2136322 |      530   8648 |        0 |        0
393.99/394.15	c  394s |      22 |  2481480 |  2146622 |      530   8682 |        0 |        0
396.01/396.17	c  396s |      22 |  2492673 |  2156622 |      530   8715 |        0 |        0
398.00/398.19	c  398s |      22 |  2503398 |  2166222 |      530   8747 |        0 |        0
400.10/400.20	c  400s |      22 |  2514157 |  2175722 |      530   8778 |        0 |        0
402.10/402.20	c  402s |      22 |  2526613 |  2186722 |      530   8815 |        0 |        0
404.09/404.21	c  404s |      22 |  2538540 |  2197222 |      530   8849 |        0 |        0
406.09/406.21	c  406s |      22 |  2549043 |  2206522 |      530   8880 |        0 |        0
408.10/408.22	c  408s |      22 |  2560246 |  2216322 |      530   8912 |        0 |        0
410.09/410.24	c  410s |      22 |  2571568 |  2226222 |      530   8945 |        0 |        0
412.09/412.26	c  412s |      22 |  2582551 |  2235822 |      583   8976 |        0 |        0
414.09/414.27	c  414s |      22 |  2592890 |  2245022 |      583   9004 |        0 |        0
415.29/415.44	c  415s |      23 |  2599712 |  2251038 |      583   9022 |        0 |        0
417.29/417.44	c  417s |      23 |  2613835 |  2261938 |      583   9055 |        0 |        0
419.29/419.44	c  419s |      23 |  2627083 |  2272238 |      583   9087 |        0 |        0
421.29/421.46	c  421s |      23 |  2642650 |  2282538 |      583   9118 |        0 |        0
423.29/423.47	c  423s |      23 |  2658443 |  2294238 |      583   9154 |        0 |        0
425.29/425.49	c  425s |      23 |  2672941 |  2305338 |      583   9188 |        0 |        0
427.39/427.50	c  427s |      23 |  2686245 |  2315938 |      583   9221 |        0 |        0
429.38/429.51	c  429s |      23 |  2701301 |  2327138 |      583   9255 |        0 |        0
431.38/431.52	c  431s |      23 |  2717497 |  2338938 |      583   9292 |        0 |        0
433.39/433.53	c  433s |      23 |  2733301 |  2350538 |      583   9328 |        0 |        0
435.38/435.54	c  435s |      23 |  2748298 |  2361538 |      583   9362 |        0 |        0
437.38/437.54	c  437s |      23 |  2765795 |  2373438 |      583   9398 |        0 |        0
439.37/439.56	c  439s |      23 |  2779653 |  2383838 |      583   9430 |        0 |        0
441.37/441.57	c  441s |      23 |  2791486 |  2394138 |      583   9462 |        0 |        0
443.37/443.58	c  443s |      23 |  2803291 |  2404438 |      583   9493 |        0 |        0
445.48/445.61	c  445s |      23 |  2814498 |  2414238 |      583   9522 |        0 |        0
447.47/447.61	c  447s |      23 |  2825035 |  2423338 |      583   9550 |        0 |        0
449.47/449.63	c  449s |      23 |  2835796 |  2432938 |      583   9579 |        0 |        0
451.47/451.65	c  451s |      23 |  2846166 |  2442238 |      583   9607 |        0 |        0
453.46/453.65	c  453s |      23 |  2856860 |  2451538 |      583   9636 |        0 |        0
455.46/455.65	c  455s |      23 |  2867608 |  2460638 |      583   9664 |        0 |        0
457.47/457.65	c  457s |      23 |  2878353 |  2470038 |      583   9692 |        0 |        0
459.46/459.67	c  459s |      23 |  2890297 |  2480438 |      583   9723 |        0 |        0
461.47/461.68	c  461s |      23 |  2902047 |  2490738 |      583   9755 |        0 |        0
463.47/463.69	c  463s |      23 |  2913357 |  2500638 |      583   9785 |        0 |        0
465.57/465.70	c  465s |      23 |  2924205 |  2510038 |      583   9814 |        0 |        0
467.57/467.71	c  467s |      23 |  2935592 |  2519838 |      583   9843 |        0 |        0
469.57/469.72	c  469s |      23 |  2946205 |  2529338 |      583   9872 |        0 |        0
471.56/471.75	c  471s |      23 |  2956871 |  2538738 |      583   9901 |        0 |        0
473.56/473.76	c  473s |      23 |  2968356 |  2548638 |      583   9931 |        0 |        0
475.56/475.77	c  475s |      23 |  2980557 |  2559438 |      583   9963 |        0 |        0
477.56/477.77	c  477s |      23 |  2992704 |  2570238 |      583   9996 |        0 |        0
479.56/479.78	c  479s |      23 |  3003905 |  2580238 |      583  10026 |        0 |        0
481.55/481.79	c  481s |      23 |  3015080 |  2590238 |      583  10056 |        0 |        0
483.65/483.80	c  483s |      23 |  3025950 |  2599938 |      583  10086 |        0 |        0
485.65/485.82	c  485s |      23 |  3036322 |  2609138 |      583  10114 |        0 |        0
487.65/487.83	c  487s |      23 |  3046503 |  2618238 |      583  10142 |        0 |        0
489.65/489.84	c  489s |      23 |  3056830 |  2627438 |      583  10169 |        0 |        0
491.65/491.84	c  491s |      23 |  3069231 |  2638338 |      583  10203 |        0 |        0
493.65/493.85	c  493s |      23 |  3081818 |  2649038 |      583  10235 |        0 |        0
495.65/495.86	c  495s |      23 |  3093884 |  2659238 |      583  10266 |        0 |        0
497.65/497.86	c  497s |      23 |  3104957 |  2668838 |      583  10296 |        0 |        0
499.64/499.86	c  499s |      23 |  3117095 |  2679238 |      583  10327 |        0 |        0
501.64/501.87	c  501s |      23 |  3129083 |  2689538 |      583  10359 |        0 |        0
503.65/503.88	c  503s |      23 |  3140865 |  2699938 |      583  10391 |        0 |        0
505.74/505.90	c  505s |      23 |  3153007 |  2710438 |      583  10423 |        0 |        0
507.74/507.91	c  507s |      23 |  3164607 |  2720538 |      583  10453 |        0 |        0
509.74/509.93	c  509s |      23 |  3175347 |  2730038 |      583  10482 |        0 |        0
511.74/511.93	c  511s |      23 |  3186568 |  2739938 |      583  10512 |        0 |        0
513.74/513.94	c  513s |      23 |  3197628 |  2749538 |      583  10541 |        0 |        0
515.75/515.95	c  515s |      23 |  3208414 |  2759038 |      583  10570 |        0 |        0
517.74/517.97	c  517s |      23 |  3219988 |  2768938 |      583  10600 |        0 |        0
519.84/520.00	c  519s |      23 |  3231358 |  2778838 |      583  10630 |        0 |        0
521.84/522.00	c  521s |      23 |  3243295 |  2789238 |      583  10661 |        0 |        0
523.84/524.02	c  523s |      23 |  3254853 |  2799338 |      583  10692 |        0 |        0
525.84/526.03	c  525s |      23 |  3266316 |  2809138 |      583  10722 |        0 |        0
527.84/528.04	c  528s |      23 |  3278011 |  2819438 |      583  10753 |        0 |        0
529.83/530.05	c  530s |      23 |  3289373 |  2829338 |      583  10783 |        0 |        0
531.83/532.08	c  532s |      23 |  3300111 |  2838738 |      583  10812 |        0 |        0
533.83/534.09	c  534s |      23 |  3310839 |  2847938 |      583  10839 |        0 |        0
535.83/536.09	c  536s |      23 |  3322356 |  2857838 |      583  10869 |        0 |        0
537.93/538.10	c  538s |      23 |  3333295 |  2867338 |      583  10898 |        0 |        0
539.93/540.11	c  540s |      23 |  3345166 |  2877738 |      583  10930 |        0 |        0
541.93/542.11	c  542s |      23 |  3357222 |  2888438 |      583  10962 |        0 |        0
543.93/544.12	c  544s |      23 |  3369397 |  2899238 |      583  10996 |        0 |        0
545.93/546.12	c  546s |      23 |  3381431 |  2909938 |      583  11028 |        0 |        0
547.92/548.13	c  548s |      23 |  3393231 |  2920338 |      583  11060 |        0 |        0
549.93/550.13	c  550s |      23 |  3405755 |  2931238 |      583  11093 |        0 |        0
551.92/552.14	c  552s |      23 |  3417258 |  2941338 |      583  11124 |        0 |        0
553.92/554.16	c  554s |      23 |  3428538 |  2951438 |      583  11155 |        0 |        0
555.92/556.17	c  556s |      23 |  3440470 |  2961638 |      583  11186 |        0 |        0
557.92/558.18	c  558s |      23 |  3453009 |  2972638 |      583  11220 |        0 |        0
559.92/560.18	c  560s |      23 |  3464016 |  2982438 |      583  11250 |        0 |        0
561.93/562.20	c  562s |      23 |  3475224 |  2992238 |      583  11280 |        0 |        0
564.02/564.22	c  564s |      23 |  3485963 |  3001938 |      583  11309 |        0 |        0
566.02/566.23	c  566s |      23 |  3497635 |  3012338 |      583  11341 |        0 |        0
568.01/568.24	c  568s |      23 |  3509548 |  3022938 |      583  11373 |        0 |        0
570.01/570.26	c  570s |      23 |  3521582 |  3033538 |      583  11405 |        0 |        0
572.01/572.27	c  572s |      23 |  3532376 |  3043138 |      583  11435 |        0 |        0
574.02/574.27	c  574s |      23 |  3543136 |  3052538 |      583  11464 |        0 |        0
576.01/576.28	c  576s |      23 |  3554558 |  3062538 |      583  11494 |        0 |        0
578.01/578.29	c  578s |      23 |  3567051 |  3073538 |      583  11528 |        0 |        0
580.10/580.31	c  580s |      23 |  3578868 |  3083938 |      583  11560 |        0 |        0
582.10/582.32	c  582s |      23 |  3589190 |  3093138 |      583  11587 |        0 |        0
584.10/584.33	c  584s |      23 |  3600039 |  3102638 |      583  11616 |        0 |        0
586.11/586.34	c  586s |      23 |  3610627 |  3112038 |      583  11645 |        0 |        0
588.10/588.36	c  588s |      23 |  3621064 |  3121338 |      583  11673 |        0 |        0
590.10/590.36	c  590s |      23 |  3631261 |  3130438 |      583  11701 |        0 |        0
592.10/592.37	c  592s |      23 |  3642612 |  3140338 |      583  11731 |        0 |        0
594.10/594.39	c  594s |      23 |  3653297 |  3149638 |      583  11760 |        0 |        0
596.20/596.40	c  596s |      23 |  3664789 |  3159638 |      583  11790 |        0 |        0
598.20/598.41	c  598s |      23 |  3675926 |  3169138 |      583  11819 |        0 |        0
600.19/600.42	c  600s |      23 |  3686885 |  3178638 |      583  11848 |        0 |        0
602.20/602.43	c  602s |      23 |  3698254 |  3188638 |      583  11879 |        0 |        0
604.20/604.43	c  604s |      23 |  3710301 |  3199038 |      583  11910 |        0 |        0
606.20/606.44	c  606s |      23 |  3720901 |  3208438 |      583  11939 |        0 |        0
608.20/608.45	c  608s |      23 |  3732051 |  3218138 |      583  11968 |        0 |        0
610.20/610.45	c  610s |      23 |  3743784 |  3228038 |      583  11999 |        0 |        0
612.20/612.46	c  612s |      23 |  3755009 |  3237938 |      583  12029 |        0 |        0
614.19/614.47	c  614s |      23 |  3766455 |  3247938 |      583  12059 |        0 |        0
616.19/616.48	c  616s |      23 |  3777438 |  3257638 |      583  12089 |        0 |        0
618.19/618.48	c  618s |      23 |  3788211 |  3267138 |      583  12118 |        0 |        0
620.20/620.50	c  620s |      23 |  3798660 |  3276238 |      583  12145 |        0 |        0
622.29/622.52	c  622s |      23 |  3809241 |  3285438 |      583  12173 |        0 |        0
624.29/624.54	c  624s |      23 |  3820436 |  3295038 |      583  12202 |        0 |        0
626.29/626.55	c  626s |      23 |  3832642 |  3305738 |      583  12235 |        0 |        0
628.28/628.56	c  628s |      23 |  3844512 |  3315938 |      583  12266 |        0 |        0
630.28/630.57	c  630s |      23 |  3856239 |  3326138 |      583  12298 |        0 |        0
632.29/632.58	c  632s |      23 |  3866504 |  3335238 |      583  12325 |        0 |        0
634.38/634.60	c  634s |      23 |  3876730 |  3344338 |      583  12353 |        0 |        0
636.39/636.61	c  636s |      23 |  3888590 |  3354638 |      642  12384 |        0 |        0
638.38/638.63	c  638s |      23 |  3899894 |  3364538 |      642  12411 |        0 |        0
640.38/640.63	c  640s |      23 |  3910854 |  3374038 |      642  12438 |        0 |        0
640.98/641.23	c  641s |      24 |  3913886 |  3376662 |      642  12445 |        0 |        0
642.98/643.24	c  643s |      24 |  3926062 |  3386862 |      642  12473 |        0 |        0
644.98/645.24	c  645s |      24 |  3937759 |  3396962 |      642  12501 |        0 |        0
646.98/647.26	c  647s |      24 |  3949865 |  3407362 |      642  12530 |        0 |        0
648.98/649.27	c  649s |      24 |  3961757 |  3417462 |      642  12558 |        0 |        0
650.98/651.29	c  651s |      24 |  3973936 |  3427962 |      642  12587 |        0 |        0
652.97/653.29	c  653s |      24 |  3986767 |  3439262 |      642  12619 |        0 |        0
655.07/655.30	c  655s |      24 |  3999967 |  3450462 |      642  12651 |        0 |        0
657.07/657.32	c  657s |      24 |  4012123 |  3460962 |      642  12680 |        0 |        0
659.07/659.32	c  659s |      24 |  4024513 |  3471362 |      642  12709 |        0 |        0
661.07/661.33	c  661s |      24 |  4037613 |  3481662 |      642  12738 |        0 |        0
663.07/663.33	c  663s |      24 |  4050103 |  3491462 |      642  12766 |        0 |        0
665.07/665.34	c  665s |      24 |  4061897 |  3501062 |      642  12792 |        0 |        0
667.07/667.35	c  667s |      24 |  4072552 |  3510162 |      642  12818 |        0 |        0
669.06/669.35	c  669s |      24 |  4083820 |  3518962 |      642  12842 |        0 |        0
671.06/671.37	c  671s |      24 |  4093414 |  3527562 |      642  12866 |        0 |        0
673.07/673.38	c  673s |      24 |  4106880 |  3538662 |      642  12897 |        0 |        0
675.06/675.39	c  675s |      24 |  4119774 |  3549062 |      642  12926 |        0 |        0
677.16/677.40	c  677s |      24 |  4132625 |  3559562 |      642  12956 |        0 |        0
679.16/679.42	c  679s |      24 |  4144296 |  3569362 |      642  12983 |        0 |        0
681.16/681.42	c  681s |      24 |  4157608 |  3580662 |      642  13015 |        0 |        0
683.16/683.44	c  683s |      24 |  4169986 |  3591462 |      642  13045 |        0 |        0
685.16/685.45	c  685s |      24 |  4181159 |  3601362 |      642  13073 |        0 |        0
687.16/687.45	c  687s |      24 |  4192032 |  3610862 |      642  13099 |        0 |        0
689.15/689.47	c  689s |      24 |  4202987 |  3620662 |      642  13127 |        0 |        0
691.15/691.47	c  691s |      24 |  4213729 |  3630162 |      642  13153 |        0 |        0
693.15/693.48	c  693s |      24 |  4224436 |  3639762 |      642  13180 |        0 |        0
695.25/695.51	c  695s |      24 |  4234499 |  3648862 |      642  13206 |        0 |        0
697.26/697.53	c  697s |      24 |  4245010 |  3658162 |      642  13232 |        0 |        0
699.25/699.55	c  699s |      24 |  4256609 |  3668162 |      642  13259 |        0 |        0
701.25/701.57	c  701s |      24 |  4267376 |  3677562 |      642  13285 |        0 |        0
703.25/703.58	c  703s |      24 |  4278308 |  3687062 |      642  13312 |        0 |        0
705.25/705.59	c  705s |      24 |  4289851 |  3697162 |      642  13340 |        0 |        0
707.25/707.60	c  707s |      24 |  4300587 |  3706562 |      642  13366 |        0 |        0
709.35/709.61	c  709s |      24 |  4311393 |  3716162 |      642  13392 |        0 |        0
711.34/711.62	c  711s |      24 |  4322085 |  3725562 |      642  13418 |        0 |        0
713.34/713.63	c  713s |      24 |  4332508 |  3734762 |      642  13444 |        0 |        0
715.34/715.64	c  715s |      24 |  4342680 |  3743762 |      642  13469 |        0 |        0
717.34/717.65	c  717s |      24 |  4354415 |  3754062 |      642  13498 |        0 |        0
719.34/719.65	c  719s |      24 |  4365556 |  3763862 |      642  13525 |        0 |        0
721.35/721.66	c  721s |      24 |  4376583 |  3773562 |      642  13553 |        0 |        0
723.35/723.67	c  723s |      24 |  4388068 |  3783562 |      642  13581 |        0 |        0
725.35/725.67	c  725s |      24 |  4399671 |  3793762 |      642  13609 |        0 |        0
727.35/727.69	c  727s |      24 |  4410518 |  3803462 |      642  13637 |        0 |        0
729.45/729.70	c  729s |      24 |  4421739 |  3813262 |      642  13664 |        0 |        0
731.44/731.70	c  731s |      24 |  4432890 |  3823062 |      642  13692 |        0 |        0
733.45/733.71	c  733s |      24 |  4443673 |  3832662 |      642  13719 |        0 |        0
735.44/735.73	c  735s |      24 |  4454758 |  3842562 |      642  13747 |        0 |        0
737.44/737.74	c  737s |      24 |  4465413 |  3851962 |      642  13773 |        0 |        0
739.44/739.76	c  739s |      24 |  4475797 |  3861062 |      642  13799 |        0 |        0
741.44/741.77	c  741s |      24 |  4486286 |  3870362 |      642  13825 |        0 |        0
743.44/743.78	c  743s |      24 |  4496460 |  3879462 |      642  13851 |        0 |        0
745.44/745.79	c  745s |      24 |  4507894 |  3889562 |      642  13879 |        0 |        0
747.44/747.79	c  747s |      24 |  4519468 |  3899862 |      642  13908 |        0 |        0
749.53/749.81	c  749s |      24 |  4529954 |  3909162 |      642  13934 |        0 |        0
751.53/751.82	c  751s |      24 |  4540185 |  3918262 |      642  13959 |        0 |        0
753.53/753.83	c  753s |      24 |  4551192 |  3927962 |      642  13986 |        0 |        0
755.54/755.84	c  755s |      24 |  4561632 |  3937162 |      642  14012 |        0 |        0
757.53/757.86	c  757s |      24 |  4572787 |  3947062 |      642  14040 |        0 |        0
759.53/759.87	c  759s |      24 |  4583323 |  3956362 |      642  14065 |        0 |        0
761.53/761.88	c  761s |      24 |  4593503 |  3965362 |      642  14091 |        0 |        0
763.63/763.90	c  763s |      24 |  4603812 |  3974462 |      642  14116 |        0 |        0
765.62/765.91	c  765s |      24 |  4613551 |  3983062 |      642  14140 |        0 |        0
767.63/767.92	c  767s |      24 |  4623109 |  3991562 |      642  14164 |        0 |        0
769.62/769.92	c  769s |      24 |  4632952 |  4000162 |      642  14188 |        0 |        0
771.62/771.94	c  771s |      24 |  4642815 |  4008962 |      642  14212 |        0 |        0
773.62/773.96	c  773s |      24 |  4652457 |  4017662 |      642  14237 |        0 |        0
775.62/775.97	c  775s |      24 |  4662109 |  4026162 |      642  14260 |        0 |        0
777.62/777.98	c  777s |      24 |  4671234 |  4034362 |      642  14283 |        0 |        0
779.63/779.98	c  779s |      24 |  4682579 |  4044362 |      642  14311 |        0 |        0
781.72/782.00	c  781s |      24 |  4694837 |  4055062 |      642  14341 |        0 |        0
783.72/784.01	c  783s |      24 |  4706580 |  4065262 |      642  14369 |        0 |        0
785.72/786.01	c  785s |      24 |  4717835 |  4075162 |      642  14397 |        0 |        0
787.72/788.02	c  787s |      24 |  4729429 |  4085462 |      642  14425 |        0 |        0
789.72/790.04	c  790s |      24 |  4740094 |  4094962 |      642  14452 |        0 |        0
791.72/792.05	c  792s |      24 |  4751142 |  4104662 |      642  14479 |        0 |        0
793.72/794.06	c  794s |      24 |  4762722 |  4114862 |      642  14508 |        0 |        0
795.72/796.07	c  796s |      24 |  4772921 |  4123762 |      642  14533 |        0 |        0
797.71/798.08	c  798s |      24 |  4783674 |  4133162 |      642  14559 |        0 |        0
799.81/800.10	c  800s |      24 |  4794376 |  4142562 |      642  14585 |        0 |        0
801.81/802.10	c  802s |      24 |  4805432 |  4152262 |      642  14612 |        0 |        0
803.82/804.10	c  804s |      24 |  4815894 |  4161562 |      642  14638 |        0 |        0
805.81/806.11	c  806s |      24 |  4826665 |  4171062 |      642  14665 |        0 |        0
807.81/808.12	c  808s |      24 |  4837400 |  4180562 |      642  14692 |        0 |        0
809.81/810.13	c  810s |      24 |  4848731 |  4190562 |      642  14719 |        0 |        0
811.81/812.14	c  812s |      24 |  4859179 |  4199862 |      642  14745 |        0 |        0
813.81/814.15	c  814s |      24 |  4869799 |  4209262 |      642  14771 |        0 |        0
815.80/816.17	c  816s |      24 |  4880195 |  4218562 |      642  14797 |        0 |        0
817.80/818.17	c  818s |      24 |  4890668 |  4227762 |      642  14823 |        0 |        0
819.80/820.19	c  820s |      24 |  4903241 |  4238762 |      642  14853 |        0 |        0
821.90/822.20	c  822s |      24 |  4914344 |  4248662 |      642  14881 |        0 |        0
823.90/824.22	c  824s |      24 |  4925476 |  4258362 |      642  14908 |        0 |        0
825.90/826.22	c  826s |      24 |  4936650 |  4268262 |      642  14935 |        0 |        0
827.89/828.22	c  828s |      24 |  4948333 |  4278562 |      642  14964 |        0 |        0
829.89/830.24	c  830s |      24 |  4960194 |  4288962 |      642  14993 |        0 |        0
831.89/832.25	c  832s |      24 |  4972241 |  4299562 |      642  15022 |        0 |        0
833.89/834.27	c  834s |      24 |  4984326 |  4309862 |      642  15051 |        0 |        0
835.89/836.28	c  836s |      24 |  4995990 |  4319462 |      642  15077 |        0 |        0
837.89/838.29	c  838s |      24 |  5007970 |  4329562 |      642  15106 |        0 |        0
839.88/840.29	c  840s |      24 |  5018141 |  4338562 |      642  15130 |        0 |        0
841.98/842.30	c  842s |      24 |  5029028 |  4348062 |      642  15157 |        0 |        0
843.98/844.32	c  844s |      24 |  5039999 |  4357662 |      642  15184 |        0 |        0
845.98/846.33	c  846s |      24 |  5051600 |  4367862 |      642  15212 |        0 |        0
847.98/848.33	c  848s |      24 |  5062730 |  4377662 |      642  15239 |        0 |        0
849.99/850.34	c  850s |      24 |  5073403 |  4387162 |      642  15265 |        0 |        0
851.99/852.34	c  852s |      24 |  5083398 |  4395962 |      642  15290 |        0 |        0
853.99/854.35	c  854s |      24 |  5093542 |  4404762 |      642  15315 |        0 |        0
855.99/856.37	c  856s |      24 |  5102604 |  4412862 |      642  15337 |        0 |        0
857.98/858.38	c  858s |      24 |  5113195 |  4422162 |      642  15363 |        0 |        0
860.08/860.40	c  860s |      24 |  5124039 |  4431662 |      642  15389 |        0 |        0
862.09/862.41	c  862s |      24 |  5134611 |  4440962 |      642  15415 |        0 |        0
864.08/864.43	c  864s |      24 |  5144887 |  4449962 |      642  15440 |        0 |        0
866.08/866.44	c  866s |      24 |  5155036 |  4459062 |      642  15466 |        0 |        0
868.07/868.46	c  868s |      24 |  5166238 |  4468762 |      642  15492 |        0 |        0
870.07/870.46	c  870s |      24 |  5176435 |  4477662 |      642  15517 |        0 |        0
872.08/872.48	c  872s |      24 |  5186868 |  4486762 |      642  15543 |        0 |        0
874.07/874.48	c  874s |      24 |  5198184 |  4496462 |      642  15570 |        0 |        0
876.07/876.49	c  876s |      24 |  5208867 |  4505762 |      642  15596 |        0 |        0
878.17/878.50	c  878s |      24 |  5220171 |  4515562 |      642  15623 |        0 |        0
880.17/880.52	c  880s |      24 |  5230702 |  4524662 |      642  15648 |        0 |        0
882.17/882.53	c  882s |      24 |  5241884 |  4534262 |      642  15675 |        0 |        0
884.17/884.55	c  884s |      24 |  5252576 |  4543562 |      642  15701 |        0 |        0
886.17/886.57	c  886s |      24 |  5261910 |  4551862 |      642  15724 |        0 |        0
888.17/888.58	c  888s |      24 |  5272500 |  4560962 |      642  15749 |        0 |        0
890.17/890.58	c  890s |      24 |  5282729 |  4569862 |      642  15774 |        0 |        0
892.16/892.59	c  892s |      24 |  5293742 |  4579362 |      642  15800 |        0 |        0
894.16/894.59	c  894s |      24 |  5304463 |  4588662 |      642  15826 |        0 |        0
896.27/896.62	c  896s |      24 |  5315895 |  4598762 |      642  15855 |        0 |        0
898.26/898.63	c  898s |      24 |  5326572 |  4608362 |      642  15881 |        0 |        0
900.26/900.64	c  900s |      24 |  5337575 |  4618062 |      642  15908 |        0 |        0
902.26/902.64	c  902s |      24 |  5348413 |  4627762 |      642  15936 |        0 |        0
904.26/904.64	c  904s |      24 |  5359504 |  4637662 |      642  15964 |        0 |        0
906.26/906.66	c  906s |      24 |  5370779 |  4647462 |      642  15991 |        0 |        0
908.27/908.66	c  908s |      24 |  5381854 |  4656962 |      642  16018 |        0 |        0
910.27/910.67	c  910s |      24 |  5393814 |  4666962 |      642  16046 |        0 |        0
912.27/912.69	c  912s |      24 |  5405017 |  4676562 |      642  16073 |        0 |        0
914.27/914.69	c  914s |      24 |  5415645 |  4685762 |      642  16099 |        0 |        0
916.26/916.70	c  916s |      24 |  5426273 |  4694962 |      642  16125 |        0 |        0
918.36/918.70	c  918s |      24 |  5438014 |  4705062 |      642  16154 |        0 |        0
920.37/920.70	c  920s |      24 |  5449500 |  4715162 |      642  16182 |        0 |        0
922.36/922.72	c  922s |      24 |  5460890 |  4725162 |      642  16210 |        0 |        0
924.36/924.75	c  924s |      24 |  5471800 |  4734862 |      642  16237 |        0 |        0
926.36/926.75	c  926s |      24 |  5483986 |  4745662 |      642  16267 |        0 |        0
928.36/928.77	c  928s |      24 |  5495331 |  4755662 |      642  16295 |        0 |        0
930.37/930.78	c  930s |      24 |  5505961 |  4765062 |      642  16321 |        0 |        0
932.36/932.80	c  932s |      24 |  5516127 |  4774262 |      642  16347 |        0 |        0
934.46/934.80	c  934s |      24 |  5526828 |  4783862 |      642  16374 |        0 |        0
936.46/936.82	c  936s |      24 |  5537709 |  4793662 |      642  16401 |        0 |        0
938.46/938.84	c  938s |      24 |  5548870 |  4803662 |      642  16429 |        0 |        0
940.46/940.84	c  940s |      24 |  5559696 |  4813362 |      642  16456 |        0 |        0
942.47/942.84	c  942s |      24 |  5570675 |  4823062 |      642  16483 |        0 |        0
944.46/944.85	c  944s |      24 |  5582922 |  4833862 |      642  16513 |        0 |        0
946.46/946.86	c  946s |      24 |  5594089 |  4843762 |      642  16541 |        0 |        0
948.46/948.87	c  948s |      24 |  5603433 |  4852062 |      642  16564 |        0 |        0
950.46/950.88	c  950s |      24 |  5613842 |  4861262 |      642  16590 |        0 |        0
952.46/952.89	c  952s |      24 |  5624434 |  4870662 |      642  16617 |        0 |        0
954.46/954.89	c  954s |      24 |  5635504 |  4880562 |      642  16644 |        0 |        0
956.56/956.91	c  956s |      24 |  5646900 |  4890362 |      642  16672 |        0 |        0
958.56/958.92	c  958s |      24 |  5658401 |  4900562 |      642  16700 |        0 |        0
960.56/960.92	c  960s |      24 |  5670589 |  4911162 |      642  16730 |        0 |        0
962.56/962.92	c  962s |      24 |  5681477 |  4920762 |      642  16757 |        0 |        0
964.55/964.93	c  964s |      24 |  5691811 |  4929962 |      642  16782 |        0 |        0
966.56/966.94	c  966s |      24 |  5701531 |  4938562 |      642  16806 |        0 |        0
968.55/968.96	c  968s |      24 |  5711358 |  4947262 |      642  16831 |        0 |        0
970.55/970.98	c  970s |      24 |  5721710 |  4956462 |      642  16856 |        0 |        0
972.55/972.98	c  972s |      24 |  5731582 |  4965262 |      642  16881 |        0 |        0
974.55/975.00	c  974s |      24 |  5742376 |  4974762 |      642  16908 |        0 |        0
976.65/977.01	c  976s |      24 |  5754130 |  4985062 |      642  16937 |        0 |        0
978.66/979.02	c  978s |      24 |  5764985 |  4994662 |      642  16964 |        0 |        0
980.65/981.03	c  981s |      24 |  5774889 |  5003362 |      642  16988 |        0 |        0
982.65/983.04	c  983s |      24 |  5785413 |  5012662 |      642  17014 |        0 |        0
984.66/985.05	c  985s |      24 |  5795027 |  5021262 |      642  17038 |        0 |        0
986.66/987.06	c  987s |      24 |  5805567 |  5030462 |      707  17064 |        0 |        0
988.66/989.08	c  989s |      24 |  5814775 |  5038662 |      707  17085 |        0 |        0
990.66/991.09	c  991s |      24 |  5824464 |  5047262 |      707  17107 |        0 |        0
992.76/993.10	c  993s |      24 |  5834354 |  5055962 |      707  17129 |        0 |        0
994.75/995.11	c  995s |      24 |  5844408 |  5065062 |      707  17153 |        0 |        0
994.75/995.12	c  995s |      25 |  5844443 |  5065098 |      707  17153 |        0 |        0
996.75/997.12	c  997s |      25 |  5859488 |  5076298 |      707  17182 |        0 |        0
998.75/999.13	c  999s |      25 |  5872775 |  5086198 |      707  17207 |        0 |        0
1000.76/1001.13	c 1001s |      25 |  5883862 |  5095598 |      707  17231 |        0 |        0
1002.75/1003.15	c 1003s |      25 |  5894125 |  5104698 |      707  17254 |        0 |        0
1004.75/1005.16	c 1005s |      25 |  5904626 |  5113998 |      707  17278 |        0 |        0
1006.75/1007.17	c 1007s |      25 |  5917281 |  5124498 |      707  17305 |        0 |        0
1008.75/1009.18	c 1009s |      25 |  5931015 |  5135598 |      707  17333 |        0 |        0
1010.75/1011.19	c 1011s |      25 |  5943662 |  5146298 |      707  17361 |        0 |        0
1012.85/1013.21	c 1013s |      25 |  5956073 |  5156598 |      707  17387 |        0 |        0
1014.85/1015.22	c 1015s |      25 |  5967788 |  5166298 |      707  17412 |        0 |        0
1016.85/1017.22	c 1017s |      25 |  5982305 |  5177398 |      707  17441 |        0 |        0
1018.85/1019.24	c 1019s |      25 |  5996496 |  5188798 |      707  17471 |        0 |        0
1020.84/1021.26	c 1021s |      25 |  6011236 |  5200798 |      707  17502 |        0 |        0
1022.84/1023.27	c 1023s |      25 |  6024206 |  5211898 |      707  17530 |        0 |        0
1024.85/1025.28	c 1025s |      25 |  6036156 |  5222398 |      707  17557 |        0 |        0
1026.84/1027.29	c 1027s |      25 |  6047407 |  5232198 |      707  17583 |        0 |        0
1028.94/1029.30	c 1029s |      25 |  6059672 |  5242298 |      707  17609 |        0 |        0
1030.95/1031.32	c 1031s |      25 |  6073710 |  5253198 |      707  17637 |        0 |        0
1032.95/1033.33	c 1033s |      25 |  6086503 |  5263598 |      707  17664 |        0 |        0
1034.95/1035.35	c 1035s |      25 |  6098632 |  5273198 |      707  17689 |        0 |        0
1036.95/1037.35	c 1037s |      25 |  6112360 |  5283498 |      707  17716 |        0 |        0
1038.95/1039.36	c 1039s |      25 |  6126921 |  5294598 |      707  17745 |        0 |        0
1040.95/1041.37	c 1041s |      25 |  6140219 |  5305098 |      707  17772 |        0 |        0
1042.95/1043.37	c 1043s |      25 |  6153464 |  5315598 |      707  17799 |        0 |        0
1044.95/1045.38	c 1045s |      25 |  6164590 |  5325398 |      707  17824 |        0 |        0
1046.95/1047.39	c 1047s |      25 |  6174821 |  5334498 |      707  17847 |        0 |        0
1049.05/1049.42	c 1049s |      25 |  6184909 |  5343398 |      707  17870 |        0 |        0
1051.05/1051.43	c 1051s |      25 |  6195347 |  5352598 |      707  17893 |        0 |        0
1053.04/1053.44	c 1053s |      25 |  6204995 |  5361098 |      707  17915 |        0 |        0
1055.04/1055.45	c 1055s |      25 |  6214438 |  5369398 |      707  17936 |        0 |        0
1057.04/1057.47	c 1057s |      25 |  6224300 |  5378198 |      707  17958 |        0 |        0
1059.05/1059.48	c 1059s |      25 |  6234487 |  5387298 |      707  17982 |        0 |        0
1061.04/1061.48	c 1061s |      25 |  6244997 |  5396498 |      707  18005 |        0 |        0
1063.14/1063.50	c 1063s |      25 |  6255852 |  5405898 |      707  18029 |        0 |        0
1065.14/1065.51	c 1065s |      25 |  6266765 |  5415198 |      707  18053 |        0 |        0
1067.14/1067.51	c 1067s |      25 |  6277544 |  5424298 |      707  18077 |        0 |        0
1069.14/1069.53	c 1069s |      25 |  6288123 |  5433298 |      707  18100 |        0 |        0
1071.15/1071.54	c 1071s |      25 |  6299397 |  5442798 |      707  18125 |        0 |        0
1073.14/1073.55	c 1073s |      25 |  6310977 |  5452598 |      707  18150 |        0 |        0
1075.14/1075.56	c 1075s |      25 |  6322237 |  5462498 |      707  18175 |        0 |        0
1077.14/1077.57	c 1077s |      25 |  6332850 |  5471798 |      707  18199 |        0 |        0
1079.14/1079.58	c 1079s |      25 |  6344397 |  5481798 |      707  18225 |        0 |        0
1081.14/1081.60	c 1081s |      25 |  6356143 |  5491798 |      707  18250 |        0 |        0
1083.14/1083.60	c 1083s |      25 |  6368422 |  5502098 |      707  18276 |        0 |        0
1085.24/1085.61	c 1085s |      25 |  6380069 |  5512498 |      707  18303 |        0 |        0
1087.23/1087.61	c 1087s |      25 |  6392037 |  5522898 |      707  18330 |        0 |        0
1089.23/1089.62	c 1089s |      25 |  6403988 |  5533298 |      707  18356 |        0 |        0
1091.23/1091.63	c 1091s |      25 |  6415088 |  5542998 |      707  18381 |        0 |        0
1093.23/1093.63	c 1093s |      25 |  6426114 |  5552498 |      707  18406 |        0 |        0
1095.24/1095.64	c 1095s |      25 |  6436273 |  5561398 |      707  18428 |        0 |        0
1097.23/1097.66	c 1097s |      25 |  6446422 |  5570298 |      707  18451 |        0 |        0
1099.23/1099.66	c 1099s |      25 |  6457237 |  5579598 |      707  18475 |        0 |        0
1101.23/1101.68	c 1101s |      25 |  6468615 |  5589598 |      707  18500 |        0 |        0
1103.23/1103.69	c 1103s |      25 |  6479788 |  5599398 |      707  18525 |        0 |        0
1105.33/1105.70	c 1105s |      25 |  6490790 |  5608998 |      707  18550 |        0 |        0
1107.34/1107.72	c 1107s |      25 |  6502522 |  5619098 |      707  18576 |        0 |        0
1109.33/1109.73	c 1109s |      25 |  6513280 |  5628598 |      707  18600 |        0 |        0
1111.33/1111.74	c 1111s |      25 |  6524055 |  5637998 |      707  18624 |        0 |        0
1113.33/1113.74	c 1113s |      25 |  6534388 |  5647098 |      707  18648 |        0 |        0
1115.33/1115.75	c 1115s |      25 |  6544660 |  5656198 |      707  18671 |        0 |        0
1117.34/1117.76	c 1117s |      25 |  6553612 |  5664098 |      707  18691 |        0 |        0
1119.33/1119.77	c 1119s |      25 |  6564722 |  5673498 |      707  18715 |        0 |        0
1121.33/1121.78	c 1121s |      25 |  6575825 |  5682998 |      707  18739 |        0 |        0
1123.33/1123.78	c 1123s |      25 |  6585946 |  5691898 |      707  18762 |        0 |        0
1125.33/1125.79	c 1125s |      25 |  6596048 |  5700798 |      707  18784 |        0 |        0
1127.43/1127.80	c 1127s |      25 |  6606446 |  5709998 |      707  18808 |        0 |        0
1129.44/1129.81	c 1129s |      25 |  6617466 |  5719598 |      707  18832 |        0 |        0
1131.43/1131.82	c 1131s |      25 |  6626988 |  5727998 |      707  18854 |        0 |        0
1133.43/1133.83	c 1133s |      25 |  6636541 |  5736498 |      707  18876 |        0 |        0
1135.43/1135.85	c 1135s |      25 |  6645941 |  5744898 |      707  18898 |        0 |        0
1137.43/1137.86	c 1137s |      25 |  6655397 |  5753198 |      707  18919 |        0 |        0
1139.43/1139.87	c 1139s |      25 |  6666163 |  5762598 |      707  18943 |        0 |        0
1141.44/1141.88	c 1141s |      25 |  6675879 |  5771098 |      707  18965 |        0 |        0
1143.43/1143.88	c 1143s |      25 |  6686162 |  5779998 |      707  18988 |        0 |        0
1145.43/1145.89	c 1145s |      25 |  6695585 |  5788198 |      707  19009 |        0 |        0
1147.42/1147.89	c 1147s |      25 |  6706091 |  5797398 |      707  19032 |        0 |        0
1149.52/1149.91	c 1149s |      25 |  6716583 |  5806498 |      707  19055 |        0 |        0
1151.52/1151.93	c 1151s |      25 |  6726619 |  5815298 |      707  19078 |        0 |        0
1153.53/1153.94	c 1153s |      25 |  6736438 |  5823898 |      707  19100 |        0 |        0
1155.52/1155.95	c 1155s |      25 |  6746274 |  5832498 |      707  19122 |        0 |        0
1157.52/1157.96	c 1157s |      25 |  6755934 |  5840898 |      707  19143 |        0 |        0
1159.52/1159.97	c 1159s |      25 |  6765707 |  5849398 |      707  19165 |        0 |        0
1161.52/1161.97	c 1161s |      25 |  6777758 |  5859998 |      707  19192 |        0 |        0
1163.53/1163.98	c 1163s |      25 |  6789779 |  5870698 |      707  19219 |        0 |        0
1165.52/1166.00	c 1165s |      25 |  6801725 |  5881198 |      707  19247 |        0 |        0
1167.62/1168.01	c 1167s |      25 |  6812972 |  5891198 |      707  19272 |        0 |        0
1169.63/1170.01	c 1169s |      25 |  6824073 |  5900798 |      707  19297 |        0 |        0
1171.63/1172.03	c 1172s |      25 |  6835613 |  5910898 |      707  19323 |        0 |        0
1173.63/1174.04	c 1174s |      25 |  6846062 |  5920098 |      707  19346 |        0 |        0
1175.63/1176.06	c 1176s |      25 |  6856529 |  5929198 |      707  19370 |        0 |        0
1177.63/1178.07	c 1178s |      25 |  6867309 |  5938498 |      707  19393 |        0 |        0
1179.63/1180.09	c 1180s |      25 |  6878681 |  5948398 |      707  19419 |        0 |        0
1181.73/1182.11	c 1182s |      25 |  6889966 |  5958198 |      707  19444 |        0 |        0
1183.73/1184.13	c 1184s |      25 |  6900725 |  5967598 |      707  19468 |        0 |        0
1185.72/1186.14	c 1186s |      25 |  6911833 |  5977198 |      707  19492 |        0 |        0
1187.73/1188.16	c 1188s |      25 |  6922215 |  5986398 |      707  19516 |        0 |        0
1189.72/1190.16	c 1190s |      25 |  6932619 |  5995598 |      707  19539 |        0 |        0
1191.72/1192.18	c 1192s |      25 |  6943120 |  6004798 |      707  19563 |        0 |        0
1193.72/1194.19	c 1194s |      25 |  6953934 |  6014298 |      707  19587 |        0 |        0
1195.72/1196.19	c 1196s |      25 |  6964460 |  6023398 |      707  19610 |        0 |        0
1197.72/1198.19	c 1198s |      25 |  6975976 |  6033298 |      707  19636 |        0 |        0
1199.83/1200.21	c 1200s |      25 |  6987652 |  6043398 |      707  19662 |        0 |        0
1201.82/1202.22	c 1202s |      25 |  6999346 |  6053498 |      707  19688 |        0 |        0
1203.82/1204.24	c 1204s |      25 |  7011416 |  6063798 |      707  19714 |        0 |        0
1205.82/1206.24	c 1206s |      25 |  7023314 |  6073998 |      707  19741 |        0 |        0
1207.82/1208.26	c 1208s |      25 |  7034653 |  6083798 |      707  19766 |        0 |        0
1209.82/1210.27	c 1210s |      25 |  7045608 |  6093198 |      707  19790 |        0 |        0
1211.82/1212.28	c 1212s |      25 |  7056606 |  6102798 |      707  19815 |        0 |        0
1213.91/1214.30	c 1214s |      25 |  7067092 |  6111898 |      707  19839 |        0 |        0
1215.91/1216.30	c 1216s |      25 |  7078153 |  6121498 |      707  19864 |        0 |        0
1217.91/1218.32	c 1218s |      25 |  7089067 |  6130898 |      707  19888 |        0 |        0
1219.91/1220.33	c 1220s |      25 |  7100312 |  6140498 |      707  19913 |        0 |        0
1221.91/1222.33	c 1222s |      25 |  7111277 |  6149998 |      707  19938 |        0 |        0
1223.92/1224.35	c 1224s |      25 |  7122063 |  6159298 |      707  19962 |        0 |        0
1225.91/1226.37	c 1226s |      25 |  7132987 |  6168998 |      707  19987 |        0 |        0
1227.91/1228.38	c 1228s |      25 |  7143899 |  6178398 |      707  20011 |        0 |        0
1229.92/1230.39	c 1230s |      25 |  7156447 |  6188598 |      707  20037 |        0 |        0
1232.02/1232.40	c 1232s |      25 |  7167463 |  6198398 |      707  20062 |        0 |        0
1234.02/1234.40	c 1234s |      25 |  7179304 |  6208698 |      707  20088 |        0 |        0
1236.03/1236.42	c 1236s |      25 |  7191098 |  6218898 |      707  20114 |        0 |        0
1238.02/1238.43	c 1238s |      25 |  7202550 |  6228898 |      707  20140 |        0 |        0
1240.02/1240.44	c 1240s |      25 |  7213940 |  6238998 |      707  20166 |        0 |        0
1242.02/1242.45	c 1242s |      25 |  7225675 |  6249298 |      707  20193 |        0 |        0
1244.02/1244.46	c 1244s |      25 |  7237338 |  6259698 |      707  20220 |        0 |        0
1246.02/1246.47	c 1246s |      25 |  7247833 |  6268998 |      707  20243 |        0 |        0
1248.02/1248.48	c 1248s |      25 |  7259312 |  6278798 |      707  20269 |        0 |        0
1250.12/1250.50	c 1250s |      25 |  7271468 |  6289298 |      707  20295 |        0 |        0
1252.12/1252.50	c 1252s |      25 |  7282959 |  6299498 |      707  20321 |        0 |        0
1254.12/1254.51	c 1254s |      25 |  7294698 |  6309898 |      707  20348 |        0 |        0
1256.12/1256.53	c 1256s |      25 |  7306242 |  6320098 |      707  20374 |        0 |        0
1258.12/1258.55	c 1258s |      25 |  7318108 |  6330598 |      707  20401 |        0 |        0
1260.11/1260.56	c 1260s |      25 |  7329836 |  6340998 |      707  20427 |        0 |        0
1262.11/1262.57	c 1262s |      25 |  7341848 |  6351798 |      707  20455 |        0 |        0
1264.11/1264.58	c 1264s |      25 |  7353664 |  6362298 |      707  20481 |        0 |        0
1266.11/1266.58	c 1266s |      25 |  7365498 |  6372798 |      707  20508 |        0 |        0
1268.11/1268.59	c 1268s |      25 |  7376495 |  6382598 |      707  20533 |        0 |        0
1270.12/1270.60	c 1270s |      25 |  7386995 |  6391898 |      707  20557 |        0 |        0
1272.21/1272.60	c 1272s |      25 |  7397976 |  6401498 |      707  20581 |        0 |        0
1274.21/1274.62	c 1274s |      25 |  7409039 |  6411298 |      707  20606 |        0 |        0
1276.21/1276.63	c 1276s |      25 |  7419848 |  6420798 |      707  20631 |        0 |        0
1278.21/1278.65	c 1278s |      25 |  7430727 |  6430398 |      707  20655 |        0 |        0
1280.21/1280.66	c 1280s |      25 |  7441859 |  6440298 |      707  20681 |        0 |        0
1282.21/1282.66	c 1282s |      25 |  7453013 |  6449998 |      707  20706 |        0 |        0
1284.20/1284.66	c 1284s |      25 |  7463072 |  6458898 |      707  20728 |        0 |        0
1286.20/1286.68	c 1286s |      25 |  7473877 |  6468198 |      707  20752 |        0 |        0
1288.20/1288.69	c 1288s |      25 |  7484273 |  6477098 |      707  20775 |        0 |        0
1290.30/1290.70	c 1290s |      25 |  7493681 |  6485398 |      707  20796 |        0 |        0
1292.30/1292.72	c 1292s |      25 |  7505425 |  6495398 |      707  20822 |        0 |        0
1294.31/1294.73	c 1294s |      25 |  7517386 |  6505898 |      707  20849 |        0 |        0
1296.30/1296.74	c 1296s |      25 |  7528548 |  6515898 |      707  20874 |        0 |        0
1298.30/1298.74	c 1298s |      25 |  7538938 |  6525198 |      707  20898 |        0 |        0
1300.30/1300.75	c 1300s |      25 |  7549096 |  6534298 |      707  20921 |        0 |        0
1302.30/1302.76	c 1302s |      25 |  7560494 |  6544398 |      707  20947 |        0 |        0
1304.31/1304.76	c 1304s |      25 |  7571194 |  6553998 |      707  20971 |        0 |        0
1306.30/1306.79	c 1306s |      25 |  7580790 |  6562498 |      707  20993 |        0 |        0
1308.30/1308.79	c 1308s |      25 |  7591342 |  6571698 |      707  21017 |        0 |        0
1310.41/1310.80	c 1310s |      25 |  7602675 |  6581698 |      707  21042 |        0 |        0
1312.41/1312.83	c 1312s |      25 |  7613562 |  6591298 |      707  21067 |        0 |        0
1314.41/1314.84	c 1314s |      25 |  7623582 |  6600198 |      707  21089 |        0 |        0
1316.41/1316.85	c 1316s |      25 |  7634548 |  6609798 |      707  21114 |        0 |        0
1318.41/1318.87	c 1318s |      25 |  7645330 |  6619498 |      707  21138 |        0 |        0
1320.41/1320.88	c 1320s |      25 |  7656902 |  6629598 |      707  21164 |        0 |        0
1322.41/1322.89	c 1322s |      25 |  7667551 |  6639098 |      707  21189 |        0 |        0
1324.50/1324.90	c 1324s |      25 |  7677946 |  6648398 |      707  21213 |        0 |        0
1326.50/1326.91	c 1326s |      25 |  7689075 |  6658398 |      707  21238 |        0 |        0
1328.51/1328.93	c 1328s |      25 |  7700146 |  6668098 |      707  21263 |        0 |        0
1330.50/1330.93	c 1330s |      25 |  7711570 |  6678098 |      707  21288 |        0 |        0
1332.50/1332.95	c 1332s |      25 |  7723676 |  6688698 |      707  21315 |        0 |        0
1334.50/1334.96	c 1334s |      25 |  7734776 |  6698398 |      707  21340 |        0 |        0
1336.50/1336.98	c 1336s |      25 |  7745913 |  6708098 |      707  21365 |        0 |        0
1338.50/1338.99	c 1338s |      25 |  7756546 |  6717498 |      707  21389 |        0 |        0
1340.61/1341.00	c 1340s |      25 |  7766734 |  6726498 |      707  21413 |        0 |        0
1342.60/1343.00	c 1342s |      25 |  7776609 |  6735198 |      707  21435 |        0 |        0
1344.60/1345.03	c 1344s |      25 |  7786968 |  6744198 |      707  21458 |        0 |        0
1346.60/1347.04	c 1347s |      25 |  7797692 |  6753498 |      707  21482 |        0 |        0
1348.60/1349.05	c 1349s |      25 |  7807882 |  6762498 |      707  21506 |        0 |        0
1350.60/1351.07	c 1351s |      25 |  7818401 |  6771798 |      707  21530 |        0 |        0
1352.61/1353.07	c 1353s |      25 |  7828709 |  6780998 |      707  21554 |        0 |        0
1354.60/1355.08	c 1355s |      25 |  7839844 |  6790998 |      707  21580 |        0 |        0
1356.59/1357.08	c 1357s |      25 |  7851398 |  6801198 |      707  21606 |        0 |        0
1358.59/1359.10	c 1359s |      25 |  7861926 |  6810598 |      707  21630 |        0 |        0
1360.69/1361.10	c 1361s |      25 |  7871613 |  6819298 |      707  21653 |        0 |        0
1362.69/1363.12	c 1363s |      25 |  7881304 |  6827998 |      707  21675 |        0 |        0
1364.70/1365.13	c 1365s |      25 |  7891400 |  6836898 |      707  21698 |        0 |        0
1366.69/1367.14	c 1367s |      25 |  7901903 |  6846198 |      707  21721 |        0 |        0
1368.69/1369.15	c 1369s |      25 |  7911899 |  6855098 |      707  21744 |        0 |        0
1370.69/1371.16	c 1371s |      25 |  7921231 |  6863498 |      707  21766 |        0 |        0
1372.69/1373.17	c 1373s |      25 |  7930293 |  6871698 |      707  21786 |        0 |        0
1374.70/1375.18	c 1375s |      25 |  7941191 |  6881298 |      707  21811 |        0 |        0
1376.69/1377.19	c 1377s |      25 |  7951752 |  6890698 |      707  21835 |        0 |        0
1378.79/1379.20	c 1379s |      25 |  7962313 |  6900098 |      707  21859 |        0 |        0
1380.80/1381.22	c 1381s |      25 |  7973021 |  6909498 |      707  21884 |        0 |        0
1382.79/1383.24	c 1383s |      25 |  7984237 |  6919298 |      707  21909 |        0 |        0
1384.79/1385.25	c 1385s |      25 |  7995767 |  6929198 |      707  21934 |        0 |        0
1386.80/1387.26	c 1387s |      25 |  8007608 |  6939398 |      707  21960 |        0 |        0
1388.79/1389.27	c 1389s |      25 |  8018389 |  6948898 |      707  21985 |        0 |        0
1390.79/1391.28	c 1391s |      25 |  8030099 |  6958898 |      707  22011 |        0 |        0
1392.79/1393.29	c 1393s |      25 |  8041256 |  6968498 |      707  22036 |        0 |        0
1394.89/1395.31	c 1395s |      25 |  8052164 |  6977798 |      707  22060 |        0 |        0
1396.89/1397.32	c 1397s |      25 |  8063423 |  6987698 |      707  22086 |        0 |        0
1398.90/1399.34	c 1399s |      25 |  8073719 |  6996898 |      707  22109 |        0 |        0
1400.89/1401.35	c 1401s |      25 |  8083594 |  7005698 |      707  22132 |        0 |        0
1402.89/1403.35	c 1403s |      25 |  8093975 |  7014798 |      707  22155 |        0 |        0
1404.89/1405.35	c 1405s |      25 |  8103632 |  7023298 |      707  22176 |        0 |        0
1406.89/1407.36	c 1407s |      25 |  8113156 |  7031798 |      707  22198 |        0 |        0
1408.89/1409.38	c 1409s |      25 |  8122849 |  7040498 |      707  22220 |        0 |        0
1410.89/1411.39	c 1411s |      25 |  8133157 |  7049498 |      707  22243 |        0 |        0
1412.89/1413.39	c 1413s |      25 |  8143352 |  7058498 |      707  22267 |        0 |        0
1414.98/1415.40	c 1415s |      25 |  8153336 |  7067398 |      707  22289 |        0 |        0
1416.98/1417.40	c 1417s |      25 |  8163734 |  7076698 |      707  22313 |        0 |        0
1418.98/1419.42	c 1419s |      25 |  8172801 |  7084798 |      707  22334 |        0 |        0
1420.98/1421.44	c 1421s |      25 |  8182442 |  7093398 |      707  22355 |        0 |        0
1422.99/1423.45	c 1423s |      25 |  8191708 |  7101698 |      707  22377 |        0 |        0
1424.98/1425.47	c 1425s |      25 |  8202295 |  7110898 |      707  22400 |        0 |        0
1426.98/1427.48	c 1427s |      25 |  8212434 |  7119698 |      707  22423 |        0 |        0
1429.08/1429.51	c 1429s |      25 |  8222709 |  7128598 |      707  22446 |        0 |        0
1431.08/1431.52	c 1431s |      25 |  8233193 |  7137798 |      707  22469 |        0 |        0
1433.08/1433.52	c 1433s |      25 |  8244010 |  7147398 |      707  22494 |        0 |        0
1435.09/1435.53	c 1435s |      25 |  8253859 |  7156098 |      707  22517 |        0 |        0
1437.08/1437.54	c 1437s |      25 |  8264046 |  7164998 |      707  22539 |        0 |        0
1439.08/1439.55	c 1439s |      25 |  8274548 |  7174298 |      707  22563 |        0 |        0
1441.08/1441.56	c 1441s |      25 |  8284294 |  7183098 |      707  22586 |        0 |        0
1443.08/1443.57	c 1443s |      25 |  8294550 |  7192198 |      707  22609 |        0 |        0
1445.08/1445.57	c 1445s |      25 |  8304629 |  7201098 |      707  22632 |        0 |        0
1447.08/1447.57	c 1447s |      25 |  8314928 |  7210198 |      707  22656 |        0 |        0
1449.08/1449.59	c 1449s |      25 |  8325124 |  7219198 |      707  22679 |        0 |        0
1451.18/1451.60	c 1451s |      25 |  8335299 |  7228198 |      707  22702 |        0 |        0
1453.19/1453.62	c 1453s |      25 |  8345235 |  7236898 |      707  22725 |        0 |        0
1455.18/1455.62	c 1455s |      25 |  8355941 |  7246198 |      707  22748 |        0 |        0
1457.19/1457.64	c 1457s |      25 |  8366871 |  7255698 |      707  22773 |        0 |        0
1459.18/1459.65	c 1459s |      25 |  8378306 |  7265498 |      707  22798 |        0 |        0
1461.18/1461.66	c 1461s |      25 |  8389364 |  7275098 |      707  22823 |        0 |        0
1463.18/1463.67	c 1463s |      25 |  8401032 |  7285098 |      707  22849 |        0 |        0
1465.18/1465.67	c 1465s |      25 |  8412825 |  7295298 |      707  22875 |        0 |        0
1467.18/1467.67	c 1467s |      25 |  8424255 |  7305298 |      707  22901 |        0 |        0
1469.19/1469.68	c 1469s |      25 |  8436003 |  7315598 |      707  22927 |        0 |        0
1471.18/1471.69	c 1471s |      25 |  8448076 |  7325998 |      707  22954 |        0 |        0
1473.18/1473.69	c 1473s |      25 |  8459457 |  7335898 |      707  22980 |        0 |        0
1475.18/1475.69	c 1475s |      25 |  8470692 |  7345498 |      707  23005 |        0 |        0
1477.28/1477.70	c 1477s |      25 |  8482534 |  7355698 |      707  23031 |        0 |        0
1479.28/1479.72	c 1479s |      25 |  8492697 |  7364698 |      707  23055 |        0 |        0
1481.28/1481.73	c 1481s |      25 |  8503447 |  7374198 |      707  23079 |        0 |        0
1483.28/1483.73	c 1483s |      25 |  8513634 |  7383198 |      707  23103 |        0 |        0
1485.28/1485.74	c 1485s |      25 |  8524197 |  7392498 |      707  23127 |        0 |        0
1487.28/1487.75	c 1487s |      25 |  8534491 |  7401598 |      707  23150 |        0 |        0
1489.28/1489.76	c 1489s |      25 |  8545564 |  7411298 |      707  23176 |        0 |        0
1491.28/1491.78	c 1491s |      25 |  8556353 |  7420798 |      707  23200 |        0 |        0
1493.27/1493.79	c 1493s |      25 |  8567078 |  7430298 |      707  23225 |        0 |        0
1495.37/1495.81	c 1495s |      25 |  8577746 |  7439798 |      707  23249 |        0 |        0
1497.37/1497.83	c 1497s |      25 |  8587853 |  7448798 |      707  23273 |        0 |        0
1499.37/1499.84	c 1499s |      25 |  8598224 |  7457898 |      707  23296 |        0 |        0
1501.37/1501.85	c 1501s |      25 |  8607664 |  7466198 |      707  23317 |        0 |        0
1503.38/1503.87	c 1503s |      25 |  8617533 |  7474898 |      707  23340 |        0 |        0
1505.37/1505.89	c 1505s |      25 |  8627397 |  7483498 |      707  23362 |        0 |        0
1507.47/1507.90	c 1507s |      25 |  8637789 |  7492498 |      707  23386 |        0 |        0
1509.47/1509.92	c 1509s |      25 |  8647650 |  7501098 |      707  23408 |        0 |        0
1511.47/1511.94	c 1511s |      25 |  8658110 |  7510198 |      707  23432 |        0 |        0
1513.47/1513.97	c 1513s |      25 |  8668599 |  7519298 |      707  23455 |        0 |        0
1515.48/1515.99	c 1515s |      25 |  8678380 |  7527898 |      707  23478 |        0 |        0
1517.47/1517.99	c 1517s |      25 |  8688044 |  7536298 |      707  23499 |        0 |        0
1519.57/1520.00	c 1519s |      25 |  8697302 |  7544298 |      778  23520 |        0 |        0
1521.57/1522.01	c 1521s |      25 |  8708013 |  7553598 |      778  23542 |        0 |        0
1523.57/1524.02	c 1523s |      25 |  8718411 |  7562598 |      778  23563 |        0 |        0
1525.57/1526.04	c 1526s |      25 |  8728911 |  7571798 |      778  23585 |        0 |        0
1527.57/1528.06	c 1528s |      25 |  8738588 |  7580298 |      778  23605 |        0 |        0
1529.57/1530.07	c 1530s |      25 |  8747757 |  7588298 |      778  23624 |        0 |        0
1531.57/1532.08	c 1532s |      25 |  8758110 |  7597398 |      778  23646 |        0 |        0
1531.67/1532.15	c 1532s |      26 |  8758598 |  7597752 |      778  23647 |        0 |        0
1533.66/1534.16	c 1534s |      26 |  8772656 |  7608652 |      778  23672 |        0 |        0
1535.66/1536.17	c 1536s |      26 |  8787375 |  7619752 |      778  23699 |        0 |        0
1537.66/1538.19	c 1538s |      26 |  8802295 |  7630752 |      778  23725 |        0 |        0
1539.67/1540.19	c 1540s |      26 |  8815344 |  7641352 |      778  23750 |        0 |        0
1541.66/1542.20	c 1542s |      26 |  8829503 |  7652352 |      778  23776 |        0 |        0
1543.76/1544.20	c 1544s |      26 |  8841589 |  7662552 |      778  23800 |        0 |        0
1545.76/1546.21	c 1546s |      26 |  8854489 |  7672352 |      778  23824 |        0 |        0
1547.76/1548.22	c 1548s |      26 |  8866904 |  7682052 |      778  23847 |        0 |        0
1549.76/1550.23	c 1550s |      26 |  8878479 |  7690952 |      778  23868 |        0 |        0
1551.77/1552.23	c 1552s |      26 |  8890650 |  7699952 |      778  23890 |        0 |        0
1553.76/1554.24	c 1554s |      26 |  8902799 |  7709852 |      778  23913 |        0 |        0
1555.76/1556.26	c 1556s |      26 |  8915031 |  7719452 |      778  23936 |        0 |        0
1557.76/1558.26	c 1558s |      26 |  8926090 |  7728552 |      778  23958 |        0 |        0
1559.76/1560.27	c 1560s |      26 |  8938902 |  7738352 |      778  23981 |        0 |        0
1561.76/1562.27	c 1562s |      26 |  8951210 |  7747952 |      778  24004 |        0 |        0
1563.78/1564.29	c 1564s |      26 |  8962493 |  7757752 |      778  24028 |        0 |        0
1565.77/1566.29	c 1566s |      26 |  8973793 |  7767552 |      778  24051 |        0 |        0
1567.77/1568.29	c 1568s |      26 |  8984193 |  7776552 |      778  24072 |        0 |        0
1569.87/1570.31	c 1570s |      26 |  8995194 |  7786152 |      778  24095 |        0 |        0
1571.87/1572.32	c 1572s |      26 |  9006044 |  7795352 |      778  24116 |        0 |        0
1573.87/1574.33	c 1574s |      26 |  9016570 |  7804252 |      778  24137 |        0 |        0
1575.87/1576.33	c 1576s |      26 |  9026457 |  7812852 |      778  24157 |        0 |        0
1577.87/1578.34	c 1578s |      26 |  9036468 |  7821352 |      778  24177 |        0 |        0
1579.86/1580.34	c 1580s |      26 |  9046258 |  7829852 |      778  24197 |        0 |        0
1581.86/1582.35	c 1582s |      26 |  9057023 |  7839052 |      778  24219 |        0 |        0
1583.86/1584.37	c 1584s |      26 |  9066468 |  7847452 |      778  24239 |        0 |        0
1585.87/1586.38	c 1586s |      26 |  9076407 |  7856352 |      778  24260 |        0 |        0
1587.86/1588.40	c 1588s |      26 |  9087297 |  7865552 |      778  24282 |        0 |        0
1589.96/1590.41	c 1590s |      26 |  9098316 |  7874652 |      778  24303 |        0 |        0
1591.96/1592.42	c 1592s |      26 |  9108574 |  7883752 |      778  24325 |        0 |        0
1593.96/1594.44	c 1594s |      26 |  9118898 |  7892752 |      778  24346 |        0 |        0
1595.96/1596.45	c 1596s |      26 |  9129403 |  7901952 |      778  24367 |        0 |        0
1597.97/1598.47	c 1598s |      26 |  9139744 |  7910952 |      778  24389 |        0 |        0
1599.96/1600.47	c 1600s |      26 |  9149938 |  7919452 |      778  24409 |        0 |        0
1601.96/1602.48	c 1602s |      26 |  9160095 |  7928252 |      778  24429 |        0 |        0
1603.96/1604.49	c 1604s |      26 |  9169865 |  7936752 |      778  24449 |        0 |        0
1605.96/1606.49	c 1606s |      26 |  9179924 |  7945452 |      778  24470 |        0 |        0
1608.05/1608.50	c 1608s |      26 |  9190292 |  7954352 |      778  24491 |        0 |        0
1610.06/1610.51	c 1610s |      26 |  9200109 |  7962852 |      778  24511 |        0 |        0
1612.05/1612.51	c 1612s |      26 |  9210240 |  7971652 |      778  24532 |        0 |        0
1614.05/1614.52	c 1614s |      26 |  9220855 |  7981052 |      778  24554 |        0 |        0
1616.05/1616.54	c 1616s |      26 |  9230833 |  7989852 |      778  24575 |        0 |        0
1618.05/1618.54	c 1618s |      26 |  9240809 |  7998652 |      778  24595 |        0 |        0
1620.05/1620.55	c 1620s |      26 |  9251021 |  8007652 |      778  24617 |        0 |        0
1622.06/1622.57	c 1622s |      26 |  9261088 |  8016452 |      778  24637 |        0 |        0
1624.05/1624.58	c 1624s |      26 |  9269700 |  8024152 |      778  24656 |        0 |        0
1626.05/1626.59	c 1626s |      26 |  9278829 |  8032152 |      778  24675 |        0 |        0
1628.15/1628.60	c 1628s |      26 |  9288568 |  8040952 |      778  24695 |        0 |        0
1630.15/1630.61	c 1630s |      26 |  9298011 |  8049252 |      778  24715 |        0 |        0
1632.15/1632.62	c 1632s |      26 |  9308001 |  8057652 |      778  24735 |        0 |        0
1634.16/1634.63	c 1634s |      26 |  9318281 |  8066652 |      778  24756 |        0 |        0
1636.15/1636.64	c 1636s |      26 |  9327554 |  8075052 |      778  24776 |        0 |        0
1638.15/1638.64	c 1638s |      26 |  9336876 |  8083152 |      778  24795 |        0 |        0
1640.15/1640.66	c 1640s |      26 |  9347903 |  8092652 |      778  24817 |        0 |        0
1642.16/1642.66	c 1642s |      26 |  9359034 |  8102352 |      778  24840 |        0 |        0
1644.16/1644.68	c 1644s |      26 |  9370420 |  8111752 |      778  24862 |        0 |        0
1646.16/1646.68	c 1646s |      26 |  9380564 |  8120552 |      778  24883 |        0 |        0
1648.16/1648.68	c 1648s |      26 |  9390934 |  8129452 |      778  24904 |        0 |        0
1650.16/1650.69	c 1650s |      26 |  9400814 |  8138352 |      778  24924 |        0 |        0
1652.25/1652.70	c 1652s |      26 |  9410947 |  8147352 |      778  24945 |        0 |        0
1654.25/1654.72	c 1654s |      26 |  9420875 |  8156252 |      778  24966 |        0 |        0
1656.26/1656.74	c 1656s |      26 |  9431318 |  8165352 |      778  24988 |        0 |        0
1658.25/1658.76	c 1658s |      26 |  9441538 |  8174252 |      778  25009 |        0 |        0
1660.25/1660.77	c 1660s |      26 |  9451907 |  8183152 |      778  25030 |        0 |        0
1662.25/1662.78	c 1662s |      26 |  9462149 |  8192152 |      778  25051 |        0 |        0
1664.25/1664.78	c 1664s |      26 |  9472343 |  8201152 |      778  25072 |        0 |        0
1666.25/1666.79	c 1666s |      26 |  9482211 |  8209852 |      778  25092 |        0 |        0
1668.26/1668.79	c 1668s |      26 |  9492422 |  8218852 |      778  25114 |        0 |        0
1670.35/1670.80	c 1670s |      26 |  9502455 |  8227452 |      778  25134 |        0 |        0
1672.35/1672.80	c 1672s |      26 |  9513259 |  8236552 |      778  25155 |        0 |        0
1674.35/1674.80	c 1674s |      26 |  9523520 |  8245652 |      778  25177 |        0 |        0
1676.35/1676.81	c 1676s |      26 |  9533936 |  8254652 |      778  25198 |        0 |        0
1678.35/1678.82	c 1678s |      26 |  9545245 |  8264052 |      778  25220 |        0 |        0
1680.35/1680.84	c 1680s |      26 |  9555623 |  8273052 |      778  25241 |        0 |        0
1682.35/1682.84	c 1682s |      26 |  9566178 |  8282152 |      778  25263 |        0 |        0
1684.35/1684.84	c 1684s |      26 |  9575722 |  8290652 |      778  25283 |        0 |        0
1686.35/1686.86	c 1686s |      26 |  9584948 |  8298752 |      778  25302 |        0 |        0
1688.35/1688.87	c 1688s |      26 |  9593983 |  8306852 |      778  25321 |        0 |        0
1690.35/1690.88	c 1690s |      26 |  9603172 |  8315052 |      778  25340 |        0 |        0
1692.34/1692.89	c 1692s |      26 |  9612280 |  8323152 |      778  25360 |        0 |        0
1694.44/1694.91	c 1694s |      26 |  9622247 |  8331552 |      778  25379 |        0 |        0
1696.44/1696.93	c 1696s |      26 |  9632933 |  8340652 |      778  25401 |        0 |        0
1698.44/1698.94	c 1698s |      26 |  9643071 |  8349552 |      778  25422 |        0 |        0
1700.44/1700.94	c 1700s |      26 |  9652660 |  8357852 |      778  25441 |        0 |        0
1702.45/1702.95	c 1702s |      26 |  9662321 |  8366452 |      778  25462 |        0 |        0
1704.44/1704.96	c 1704s |      26 |  9671670 |  8374852 |      778  25482 |        0 |        0
1706.44/1706.97	c 1706s |      26 |  9681296 |  8383352 |      778  25502 |        0 |        0
1708.44/1708.98	c 1708s |      26 |  9690997 |  8391952 |      778  25522 |        0 |        0
1710.44/1710.99	c 1710s |      26 |  9700975 |  8400752 |      778  25543 |        0 |        0
1712.54/1713.01	c 1712s |      26 |  9711531 |  8410152 |      778  25565 |        0 |        0
1714.54/1715.01	c 1714s |      26 |  9720977 |  8418352 |      778  25584 |        0 |        0
1716.54/1717.01	c 1716s |      26 |  9730888 |  8426852 |      778  25604 |        0 |        0
1718.54/1719.02	c 1718s |      26 |  9740341 |  8435252 |      778  25624 |        0 |        0
1720.54/1721.04	c 1721s |      26 |  9749364 |  8443352 |      778  25644 |        0 |        0
1722.54/1723.07	c 1723s |      26 |  9758786 |  8451852 |      778  25664 |        0 |        0
1724.54/1725.07	c 1725s |      26 |  9767988 |  8460152 |      778  25683 |        0 |        0
1726.54/1727.08	c 1727s |      26 |  9778061 |  8469052 |      778  25704 |        0 |        0
1728.54/1729.09	c 1729s |      26 |  9789294 |  8479052 |      778  25728 |        0 |        0
1730.63/1731.11	c 1731s |      26 |  9799465 |  8487952 |      778  25749 |        0 |        0
1732.64/1733.11	c 1733s |      26 |  9809275 |  8496652 |      778  25769 |        0 |        0
1734.64/1735.13	c 1735s |      26 |  9819964 |  8505952 |      778  25791 |        0 |        0
1736.64/1737.15	c 1737s |      26 |  9829525 |  8514452 |      778  25810 |        0 |        0
1738.65/1739.16	c 1739s |      26 |  9839024 |  8523152 |      778  25831 |        0 |        0
1740.64/1741.18	c 1741s |      26 |  9849011 |  8532052 |      778  25852 |        0 |        0
1742.64/1743.19	c 1743s |      26 |  9858538 |  8540652 |      778  25872 |        0 |        0
1744.64/1745.19	c 1745s |      26 |  9868230 |  8549352 |      778  25892 |        0 |        0
1746.64/1747.20	c 1747s |      26 |  9878378 |  8558452 |      778  25913 |        0 |        0
1748.74/1749.20	c 1749s |      26 |  9888002 |  8567152 |      778  25934 |        0 |        0
1750.74/1751.22	c 1751s |      26 |  9897596 |  8575652 |      778  25953 |        0 |        0
1752.74/1753.23	c 1753s |      26 |  9906857 |  8584052 |      778  25973 |        0 |        0
1754.74/1755.23	c 1755s |      26 |  9916692 |  8592952 |      778  25994 |        0 |        0
1756.74/1757.25	c 1757s |      26 |  9926935 |  8602152 |      778  26016 |        0 |        0
1758.74/1759.27	c 1759s |      26 |  9936312 |  8610552 |      778  26035 |        0 |        0
1760.74/1761.30	c 1761s |      26 |  9946022 |  8619252 |      778  26055 |        0 |        0
1762.84/1763.31	c 1763s |      26 |  9955428 |  8627752 |      778  26075 |        0 |        0
1764.83/1765.33	c 1765s |      26 |  9964452 |  8635852 |      778  26094 |        0 |        0
1766.83/1767.33	c 1767s |      26 |  9974522 |  8644852 |      778  26115 |        0 |        0
1768.83/1769.35	c 1769s |      26 |  9984105 |  8653552 |      778  26136 |        0 |        0
1770.83/1771.36	c 1771s |      26 |  9993409 |  8661952 |      778  26156 |        0 |        0
1772.84/1773.37	c 1773s |      26 | 10002949 |  8670552 |      778  26176 |        0 |        0
1774.84/1775.38	c 1775s |      26 | 10012966 |  8679452 |      778  26196 |        0 |        0
1776.83/1777.38	c 1777s |      26 | 10022906 |  8688452 |      778  26217 |        0 |        0
1778.83/1779.38	c 1779s |      26 | 10032525 |  8697052 |      778  26238 |        0 |        0
1780.83/1781.39	c 1781s |      26 | 10042430 |  8705852 |      778  26258 |        0 |        0
1782.93/1783.41	c 1783s |      26 | 10051642 |  8714152 |      778  26278 |        0 |        0
1784.94/1785.42	c 1785s |      26 | 10061570 |  8723152 |      778  26299 |        0 |        0
1786.93/1787.43	c 1787s |      26 | 10071018 |  8731752 |      778  26319 |        0 |        0
1788.93/1789.44	c 1789s |      26 | 10079921 |  8739852 |      778  26338 |        0 |        0
1790.93/1791.46	c 1791s |      26 | 10089343 |  8748152 |      778  26358 |        0 |        0
1792.93/1793.47	c 1793s |      26 | 10099462 |  8757052 |      778  26378 |        0 |        0
1794.93/1795.48	c 1795s |      26 | 10109363 |  8765652 |      778  26398 |        0 |        0
1796.93/1797.50	c 1797s |      26 | 10119239 |  8774252 |      778  26418 |        0 |        0
1799.03/1799.52	c 1799s |      26 | 10129067 |  8783052 |      778  26439 |        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-4093395-1466082193/watcher-4093395-1466082193 -o /tmp/evaluation-result-4093395-1466082193/solver-4093395-1466082193 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466075273-12744 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093395-1466082193.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.18 2.11 2/179 13581
/proc/meminfo: memFree=30641492/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=770492 CPUtime=0 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 2885 0 0 0 0 0 0 0 20 0 4 0 10265917 788983808 2734 33554432000 4194304 16246674 140736211642944 140736211642368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 193391 2743 441 2943 0 190285 0
[pid=13581/tid=13582] ppid=13578 vsize=787900 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 806809600 2802 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=793020 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 812052480 2819 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=796092 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10265917 815198208 2834 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.23 2.18 2.11 2/179 13581
/proc/meminfo: memFree=30641492/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 27687 0 0 0 5 4 0 0 20 0 4 0 10265917 1247350784 27523 33554432000 4194304 16246674 140736211642944 140736211642368 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 304529 27529 807 2943 0 301423 0
[pid=13581/tid=13582] ppid=13578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1247350784 27534 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1247350784 27544 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10265917 1247350784 27556 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200457 s]
/proc/loadavg: 2.23 2.18 2.11 2/179 13581
/proc/meminfo: memFree=30641492/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 55225 0 0 0 12 7 0 0 20 0 4 0 10265917 1247350784 55060 33554432000 4194304 16246674 140736211642944 140736211642368 12474613 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 304529 55070 807 2943 0 301423 0
[pid=13581/tid=13582] ppid=13578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1247350784 55077 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1247350784 55086 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10265917 1247350784 55093 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300432 s]
/proc/loadavg: 2.23 2.18 2.11 2/179 13581
/proc/meminfo: memFree=30641492/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 83338 0 0 0 19 10 0 0 20 0 4 0 10265917 1247350784 83174 33554432000 4194304 16246674 140736211642944 140736211642368 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 304529 83189 808 2943 0 301423 0
[pid=13581/tid=13582] ppid=13578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1247350784 83195 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1247350784 83201 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10265917 1247350784 83209 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700337 s]
/proc/loadavg: 2.23 2.18 2.11 2/179 13581
/proc/meminfo: memFree=30641492/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 197251 0 0 0 44 25 0 0 20 0 4 0 10265917 1247350784 197086 33554432000 4194304 16246674 140736211642944 140736211624832 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 304529 197093 808 2943 0 301423 0
[pid=13581/tid=13582] ppid=13578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1247350784 197099 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1247350784 197110 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10265917 1247350784 197119 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.23 2.18 2.11 3/183 13585
/proc/meminfo: memFree=29661480/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1306180 CPUtime=1.49 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 267444 0 0 0 115 34 0 0 20 0 4 0 10265917 1337528320 267257 33554432000 4194304 16246674 140736211642944 140736211642256 5545894 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 326545 267257 870 2943 0 323439 0
[pid=13581/tid=13582] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267257 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267257 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267257 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1306180

[startup+3.10035 s]
/proc/loadavg: 2.29 2.19 2.11 3/183 13585
/proc/meminfo: memFree=29573092/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 267497 0 0 0 275 34 0 0 20 0 4 0 10265917 1337528320 267310 33554432000 4194304 16246674 140736211642944 140736211625944 5717780 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 326545 267310 870 2943 0 323439 0
[pid=13581/tid=13582] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267310 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267310 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267310 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30035 s]
/proc/loadavg: 2.29 2.19 2.11 3/183 13585
/proc/meminfo: memFree=29572696/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 267511 0 0 0 594 34 0 0 20 0 4 0 10265917 1337528320 267324 33554432000 4194304 16246674 140736211642944 140736211624832 12483204 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 326545 267324 870 2943 0 323439 0
[pid=13581/tid=13582] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267324 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267324 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267324 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.33 2.20 2.12 3/183 13585
/proc/meminfo: memFree=29572360/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 267511 0 0 0 1234 35 0 0 20 0 4 0 10265917 1337528320 267324 33554432000 4194304 16246674 140736211642944 140736211624832 5829095 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 326545 267324 870 2943 0 323439 0
[pid=13581/tid=13582] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267324 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267324 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267324 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.27 2.20 2.11 3/183 13586
/proc/meminfo: memFree=29572732/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 267533 0 0 0 2514 35 0 0 20 0 4 0 10265917 1337528320 267346 33554432000 4194304 16246674 140736211642944 140736211624832 5523325 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 326545 267346 872 2943 0 323439 0
[pid=13581/tid=13582] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267346 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267346 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267346 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.25 2.19 2.11 3/183 13586
/proc/meminfo: memFree=29572368/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 267581 0 0 0 5073 35 0 0 20 0 4 0 10265917 1337528320 267394 33554432000 4194304 16246674 140736211642944 140736211625944 5677888 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 326545 267394 872 2943 0 323439 0
[pid=13581/tid=13582] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267394 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267394 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267394 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.22 2.19 2.11 3/183 13587
/proc/meminfo: memFree=29572072/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 267581 0 0 0 10192 36 0 0 20 0 4 0 10265917 1337528320 267394 33554432000 4194304 16246674 140736211642944 140736211625936 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 326545 267394 872 2943 0 323439 0
[pid=13581/tid=13582] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267394 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267394 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10265917 1337528320 267394 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.14 2.23 2.17 3/183 13667
/proc/meminfo: memFree=29553532/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1307204 CPUtime=1361.89 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 268089 0 0 0 136132 57 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140736211624832 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 326801 267530 874 2943 0 323695 0
[pid=13581/tid=13582] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.11 2.20 2.16 3/183 13668
/proc/meminfo: memFree=29553420/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1307204 CPUtime=1421.89 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 268089 0 0 0 142131 58 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140736211624832 6020899 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 326801 267530 874 2943 0 323695 0
[pid=13581/tid=13582] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.09 2.18 2.16 3/183 13669
/proc/meminfo: memFree=29553320/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1307204 CPUtime=1481.88 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 268089 0 0 0 148129 59 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140736211625944 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 326801 267530 874 2943 0 323695 0
[pid=13581/tid=13582] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.22 2.19 2.16 3/183 13670
/proc/meminfo: memFree=29553088/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1307204 CPUtime=1541.87 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 268089 0 0 0 154128 59 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140736211624832 5589718 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 326801 267530 874 2943 0 323695 0
[pid=13581/tid=13582] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.22 2.19 2.16 3/183 13672
/proc/meminfo: memFree=29553624/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1307204 CPUtime=1601.86 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 268089 0 0 0 160126 60 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140736211625944 5545788 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 326801 267530 874 2943 0 323695 0
[pid=13581/tid=13582] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267530 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.12 2.16 2.16 3/184 13676
/proc/meminfo: memFree=29553348/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1307204 CPUtime=1661.85 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 268101 0 0 0 166124 61 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140736211624832 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 326801 267542 874 2943 0 323695 0
[pid=13581/tid=13582] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.23 2.18 2.16 4/183 13677
/proc/meminfo: memFree=29553604/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1307204 CPUtime=1721.84 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 268101 0 0 0 172123 61 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140736211624832 13809232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 326801 267542 874 2943 0 323695 0
[pid=13581/tid=13582] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.20 2.19 2.16 3/183 13678
/proc/meminfo: memFree=29553112/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1307204 CPUtime=1781.83 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 268101 0 0 0 178120 63 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140736211625944 5546252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 326801 267542 874 2943 0 323695 0
[pid=13581/tid=13582] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.16 2.18 2.16 3/183 13679
/proc/meminfo: memFree=29553512/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1307204 CPUtime=1800.03 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 268101 0 0 0 179940 63 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140736211624832 13198674 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 326801 267542 874 2943 0 323695 0
[pid=13581/tid=13582] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1307204

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

[startup+1800.5 s]
/proc/loadavg: 2.16 2.18 2.16 3/183 13679
/proc/meminfo: memFree=29553512/32872528 swapFree=302776/319128
[pid=13581] ppid=13578 vsize=1307204 CPUtime=1800.03 cores=1,3,5,7
/proc/13581/stat : 13581 (toysat) R 13578 13581 7942 0 -1 4202496 268101 0 0 0 179940 63 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140736211624832 13198674 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13581/statm: 326801 267542 874 2943 0 323695 0
[pid=13581/tid=13582] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13582/stat : 13582 (toysat) S 13578 13581 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140111080566000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13581/tid=13583] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13583/stat : 13583 (toysat) S 13578 13581 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140111070076144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13581/tid=13584] ppid=13578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13581/task/13584/stat : 13584 (toysat) S 13578 13581 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10265917 1338576896 267542 33554432000 4194304 16246674 140736211642944 140111059602608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.41
CPU system time (s): 0.637903
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.637903
maximum resident set size= 1070168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268101
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= 384
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.82727 second user time and 6.82996 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-16 15:03:13
IDJOB=4093395
IDBENCH=78706
IDSOLVER=2553
FILE ID=node128/4093395-1466082193
RUNJOBID= node128-1466075273-12744
PBS_JOBID= 19904011
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-15-10--soft-66-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-4093395-1466082193/watcher-4093395-1466082193 -o /tmp/evaluation-result-4093395-1466082193/solver-4093395-1466082193 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466075273-12744 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093395-1466082193.wbo

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

MD5SUM BENCH= 9acc4a01e291192ca8cd72bb114b6c35
RANDOM SEED=1084691396

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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:        30642400 kB
Buffers:           27640 kB
Cached:            99828 kB
SwapCached:         2104 kB
Active:          1161476 kB
Inactive:          49844 kB
Active(anon):    1084232 kB
Inactive(anon):     1596 kB
Active(file):      77244 kB
Inactive(file):    48248 kB
Unevictable:      319128 kB
Mlocked:          302776 kB
SwapTotal:      67108856 kB
SwapFree:       67098960 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       1489396 kB
Mapped:            10620 kB
Shmem:                 0 kB
Slab:             567156 kB
SReclaimable:      10972 kB
SUnreclaim:       556184 kB
KernelStack:        1520 kB
PageTables:         7220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1543360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1179648 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= 71716 MiB
End job on node128 at 2016-06-16 15:33:14