Trace number 4109158

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.07 1800.61

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM240e0c6ab93eccdf0e11b05f9485880e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables480
Total number of constraints62
Number of soft constraints42
Number of constraints which are clauses32
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint16
Top cost 2053
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2052
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 17
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-19T15:10: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-4109158-1466341813.wbo"]
0.00/0.01	c use --random-gen="4249738291 2676862222 427589014 4158587368 1187087068 1460891310 2927334677 2616115518 1316799558 4170177453 3257160191 2874770951 1342472489 1782603902 1044093603 3186058495 3184274508 3030301280 1520236129 4188464003 86304938 1341516280 264231144 911387307 1725520600 1074974519 1406392326 992644423 3492349398 746796797 2275361335 1320423576 1169916226 3331393425 1893564821 3037688607 4011115778 2143509759 546025507 4222495362 712961784 1814088947 405656719 3805704703 1388869002 2470727246 3786299341 2366766721 329049689 2591468836 4018218897 3466321521 1155916213 3579673777 818650390 2945857150 3831164922 1613935114 4277200700 3322154816 938521938 2534635985 2894138495 991726689 410196416 3855533727 1062504399 3000765647 625212359 213657618 3429241016 3611241321 3414770411 2632114705 1357328672 2630098723 2362876047 2100598150 2526827379 3202938755 141067379 3592514557 3692394990 3840961920 742495170 2681722031 2756808835 2442208982 802639856 121196615 3072352751 999045302 116571985 2030293711 740720042 566636994 815469460 534592794 430126953 581305881 381755767 214529775 2060306103 234031314 1177424431 4056073498 3662933436 2063571008 3381011542 2005630616 3057662665 2696236149 1369399584 2494733335 2088529491 466273672 510766505 2388271664 405964074 2060631156 1817892040 1634326679 3582810518 3768426657 3386709811 2122298087 1093268697 3654115629 181733018 1433227772 2946204745 710657576 4108593489 2467093413 1053722559 410149693 2880825273 828850346 3310028961 3490147460 1487784647 521803895 3243854518 1028121337 2830220915 530457956 4237001070 2440707655 284627137 363670574 3545249242 2514297957 1750345750 3851416087 1846666814 1314185818 3763606037 397300973 3257925663 267031010 638466690 4208923022 108029411 2436446477 2863115223 3582129922 886537786 3330903010 2210546475 2326500704 2827660460 3600482238 371117289 2314586170 440798541 3594450076 2312959941 4083068331 589020298 2660967146 3260447159 1820622092 2809921002 1036248903 2001561454 668114924 3087901101 931178437 3928865268 2343902888 2100735642 1204244999 900190875 3081633697 732658403 4293530751 2471242264 1446939853 3907471937 1252471585 2900074660 2569886084 2793414906 2870497673 3889145354 2085152881 3993994010 864032314 2398939179 2719748729 1252682640 3918476824 4228737680 3351501048 1445260480 2929742 4163102151 1259609381 2122732546 3671625459 849353811 1311498546 998513659 3500063082 1074896832 786004897 126405730 2398290237 134065617 2177759835 4181772807 3073469105 4106201987 4256238256 194267663 674335066 3681225026 950119986 1664463118 3861233147 3260639310 3263124103 1076733537 2593134393 1303008223 2549189504 3906906420 3423718272 690462386 2855684224 1089944317 2554455529 1481696915 819864669 1490549435 2697534983 255 362436" option to reproduce the execution
0.00/0.03	c #vars 480
0.00/0.03	c #constraints 62
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      194      0 |        0 |        0
0.00/0.04	c  0.0s |       0 |      118 |       40 |      194      0 |        0 |        0
0.00/0.04	c #cpu_time = 0.006s
0.00/0.04	c #wall_clock_time = 0.006s
0.00/0.04	c #decision = 118
0.00/0.04	c #random_decision = 0
0.00/0.04	c #conflict = 40
0.00/0.04	c #restart = 0
0.00/0.04	o 1012
0.00/0.04	c BCD2: updating upper bound: 2052 -> 1011
0.00/0.04	c BCD2: 0 <= obj <= 1011
0.00/0.04	c BCD2: #cores=0, #unrelaxed=42, #relaxed=0, #hardened=0
0.00/0.04	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      194      0 |        0 |        0
0.00/0.07	c  0.0s |       1 |      328 |      100 |      214      0 |        0 |        0
0.09/0.11	c  0.1s |       2 |      720 |      250 |      236      0 |        0 |        0
0.09/0.17	c  0.1s |       3 |     1115 |      475 |      260      1 |        0 |        0
0.19/0.29	c  0.3s |       4 |     1655 |      813 |      286      2 |        0 |        0
0.39/0.44	c  0.4s |       5 |     2387 |     1320 |      315      4 |        0 |        0
0.59/0.70	c  0.7s |       6 |     3408 |     2081 |      347      7 |        0 |        0
0.99/1.00	c  1.0s |       7 |     4880 |     3223 |      382     11 |        0 |        0
1.39/1.46	c  1.4s |       8 |     6994 |     4936 |      421     17 |        0 |        0
2.08/2.15	c  2.1s |       9 |    10112 |     7506 |      464     24 |        0 |        0
3.18/3.27	c  3.2s |      10 |    16680 |    11361 |      511     37 |        0 |        0
5.08/5.10	c  5.1s |      11 |    23571 |    17144 |      563     54 |        0 |        0
7.09/7.13	c  7.1s |      11 |    31144 |    23144 |      563     71 |        0 |        0
7.89/7.96	c  7.9s |      12 |    34210 |    25819 |      620     78 |        0 |        0
9.90/9.97	c  9.9s |      12 |    41741 |    31919 |      620     94 |        0 |        0
11.99/12.00	c 12.0s |      12 |    48660 |    37719 |      620    109 |        0 |        0
12.29/12.33	c 12.3s |      13 |    49919 |    38832 |      682    111 |        0 |        0
14.29/14.37	c 14.3s |      13 |    57708 |    45332 |      682    127 |        0 |        0
16.29/16.37	c 16.3s |      13 |    65083 |    51432 |      682    142 |        0 |        0
18.39/18.40	c 18.4s |      13 |    72413 |    57332 |      682    156 |        0 |        0
18.69/18.77	c 18.7s |      14 |    73629 |    58352 |      751    158 |        0 |        0
20.69/20.78	c 20.7s |      14 |    81044 |    64652 |      751    172 |        0 |        0
22.69/22.79	c 22.7s |      14 |    88007 |    70052 |      751    184 |        0 |        0
24.79/24.81	c 24.8s |      14 |    94839 |    75552 |      751    196 |        0 |        0
26.79/26.83	c 26.8s |      14 |   101145 |    81152 |      751    208 |        0 |        0
28.79/28.84	c 28.8s |      14 |   110462 |    87552 |      827    222 |        0 |        0
28.79/28.87	c 28.8s |      15 |   110569 |    87632 |      827    222 |        0 |        0
30.79/30.87	c 30.8s |      15 |   118203 |    93532 |      827    234 |        0 |        0
32.78/32.88	c 32.8s |      15 |   125155 |    99232 |      827    245 |        0 |        0
34.88/34.90	c 34.9s |      15 |   132548 |   105132 |      827    257 |        0 |        0
36.88/36.91	c 36.9s |      15 |   139583 |   110732 |      827    269 |        0 |        0
38.88/38.94	c 38.9s |      15 |   146554 |   116332 |      827    280 |        0 |        0
40.88/40.95	c 40.9s |      15 |   156638 |   122132 |      827    292 |        0 |        0
42.89/42.96	c 42.9s |      15 |   164796 |   127332 |      827    303 |        0 |        0
44.48/44.51	c 44.5s |      16 |   173232 |   131552 |      910    311 |        0 |        0
46.48/46.51	c 46.5s |      16 |   180214 |   137152 |      910    321 |        0 |        0
48.49/48.54	c 48.5s |      16 |   187275 |   142552 |      910    331 |        0 |        0
50.48/50.58	c 50.5s |      16 |   192995 |   147552 |      910    341 |        0 |        0
52.58/52.60	c 52.6s |      16 |   201280 |   153552 |      910    352 |        0 |        0
54.58/54.63	c 54.6s |      16 |   209351 |   160252 |      910    364 |        0 |        0
56.58/56.63	c 56.6s |      16 |   217409 |   166752 |      910    376 |        0 |        0
58.58/58.65	c 58.6s |      16 |   224887 |   172852 |      910    387 |        0 |        0
60.58/60.65	c 60.6s |      16 |   232731 |   179052 |      910    399 |        0 |        0
62.58/62.68	c 62.6s |      16 |   240458 |   184952 |      910    410 |        0 |        0
64.68/64.70	c 64.7s |      16 |   248407 |   191252 |      910    421 |        0 |        0
66.67/66.72	c 66.7s |      17 |   256350 |   197432 |     1002    432 |        0 |        0
68.67/68.72	c 68.7s |      17 |   264483 |   202932 |     1002    441 |        0 |        0
70.67/70.72	c 70.7s |      17 |   270392 |   208132 |     1002    450 |        0 |        0
72.68/72.73	c 72.7s |      17 |   275916 |   213032 |     1002    459 |        0 |        0
74.67/74.74	c 74.7s |      17 |   281434 |   217532 |     1002    466 |        0 |        0
76.67/76.75	c 76.7s |      17 |   286493 |   222032 |     1002    474 |        0 |        0
78.67/78.78	c 78.7s |      17 |   291415 |   226432 |     1002    481 |        0 |        0
80.77/80.81	c 80.8s |      17 |   297324 |   231332 |     1002    490 |        0 |        0
82.77/82.82	c 82.8s |      17 |   303548 |   236832 |     1002    499 |        0 |        0
84.78/84.82	c 84.8s |      17 |   310979 |   242532 |     1002    509 |        0 |        0
86.77/86.84	c 86.8s |      17 |   318287 |   249032 |     1002    520 |        0 |        0
88.77/88.87	c 88.8s |      17 |   325719 |   255732 |     1002    531 |        0 |        0
90.77/90.89	c 90.9s |      17 |   333759 |   262532 |     1002    542 |        0 |        0
92.87/92.91	c 92.9s |      17 |   341711 |   268832 |     1002    553 |        0 |        0
94.87/94.91	c 94.9s |      17 |   348448 |   274632 |     1002    562 |        0 |        0
96.88/96.93	c 96.9s |      17 |   355207 |   280532 |     1002    572 |        0 |        0
98.87/98.94	c 98.9s |      17 |   362047 |   286632 |     1002    582 |        0 |        0
100.87/100.94	c  100s |      17 |   369246 |   292532 |     1002    592 |        0 |        0
102.27/102.40	c  102s |      18 |   373624 |   296252 |     1103    598 |        0 |        0
104.37/104.43	c  104s |      18 |   381383 |   302152 |     1103    608 |        0 |        0
106.37/106.45	c  106s |      18 |   388767 |   307652 |     1103    616 |        0 |        0
108.37/108.47	c  108s |      18 |   395508 |   313052 |     1103    625 |        0 |        0
110.47/110.51	c  110s |      18 |   402057 |   318452 |     1103    633 |        0 |        0
112.47/112.52	c  112s |      18 |   408695 |   323952 |     1103    642 |        0 |        0
114.47/114.53	c  114s |      18 |   415359 |   329152 |     1103    650 |        0 |        0
116.47/116.54	c  116s |      18 |   422430 |   334652 |     1103    658 |        0 |        0
118.47/118.57	c  118s |      18 |   429340 |   340052 |     1103    667 |        0 |        0
120.46/120.59	c  120s |      18 |   437311 |   345652 |     1103    676 |        0 |        0
122.56/122.61	c  122s |      18 |   443803 |   350852 |     1103    684 |        0 |        0
124.56/124.63	c  124s |      18 |   451837 |   356452 |     1103    693 |        0 |        0
126.57/126.65	c  126s |      18 |   459574 |   361752 |     1103    701 |        0 |        0
128.56/128.66	c  128s |      18 |   466091 |   366652 |     1103    708 |        0 |        0
130.67/130.70	c  130s |      18 |   472881 |   371752 |     1103    716 |        0 |        0
132.67/132.73	c  132s |      18 |   479020 |   376452 |     1103    724 |        0 |        0
134.67/134.75	c  134s |      18 |   485865 |   381252 |     1103    731 |        0 |        0
136.67/136.78	c  136s |      18 |   491450 |   385752 |     1103    738 |        0 |        0
138.68/138.79	c  138s |      18 |   499866 |   390452 |     1103    745 |        0 |        0
140.78/140.81	c  140s |      18 |   506878 |   395352 |     1103    753 |        0 |        0
142.77/142.83	c  142s |      18 |   515092 |   400052 |     1103    760 |        0 |        0
144.77/144.84	c  144s |      18 |   520870 |   404252 |     1103    767 |        0 |        0
146.77/146.89	c  146s |      18 |   527281 |   409252 |     1103    775 |        0 |        0
148.77/148.89	c  148s |      18 |   533687 |   414152 |     1103    782 |        0 |        0
150.87/150.90	c  150s |      18 |   539792 |   418752 |     1103    789 |        0 |        0
152.87/152.93	c  152s |      18 |   546423 |   423252 |     1103    796 |        0 |        0
154.87/154.98	c  154s |      18 |   551980 |   427452 |     1103    803 |        0 |        0
156.87/156.99	c  156s |      18 |   557926 |   431852 |     1103    810 |        0 |        0
158.87/158.99	c  158s |      18 |   562574 |   435652 |     1103    816 |        0 |        0
160.97/161.04	c  161s |      18 |   566958 |   439352 |     1103    821 |        0 |        0
162.97/163.04	c  163s |      18 |   573092 |   443652 |     1214    828 |        0 |        0
163.27/163.39	c  163s |      19 |   574734 |   444482 |     1214    829 |        0 |        0
165.27/165.40	c  165s |      19 |   582283 |   449882 |     1214    837 |        0 |        0
167.37/167.41	c  167s |      19 |   588735 |   455282 |     1214    845 |        0 |        0
169.37/169.42	c  169s |      19 |   594689 |   460282 |     1214    852 |        0 |        0
171.37/171.42	c  171s |      19 |   600348 |   465182 |     1214    859 |        0 |        0
173.36/173.48	c  173s |      19 |   606396 |   470282 |     1214    866 |        0 |        0
175.36/175.49	c  175s |      19 |   611909 |   474982 |     1214    873 |        0 |        0
177.46/177.52	c  177s |      19 |   617595 |   479882 |     1214    880 |        0 |        0
179.46/179.56	c  179s |      19 |   623316 |   484882 |     1214    888 |        0 |        0
181.47/181.57	c  181s |      19 |   629336 |   490082 |     1214    895 |        0 |        0
183.46/183.57	c  183s |      19 |   634524 |   494682 |     1214    902 |        0 |        0
185.46/185.59	c  185s |      19 |   642322 |   500382 |     1214    910 |        0 |        0
187.56/187.61	c  187s |      19 |   649624 |   505782 |     1214    918 |        0 |        0
189.56/189.62	c  189s |      19 |   656510 |   510982 |     1214    925 |        0 |        0
191.56/191.65	c  191s |      19 |   663637 |   516482 |     1214    934 |        0 |        0
193.56/193.66	c  193s |      19 |   669869 |   521582 |     1214    941 |        0 |        0
195.56/195.66	c  195s |      19 |   676546 |   526882 |     1214    949 |        0 |        0
197.56/197.68	c  197s |      19 |   681661 |   531282 |     1214    955 |        0 |        0
199.66/199.71	c  199s |      19 |   686305 |   535382 |     1214    961 |        0 |        0
201.65/201.73	c  201s |      19 |   692131 |   540182 |     1214    968 |        0 |        0
203.65/203.76	c  203s |      19 |   697868 |   544982 |     1214    975 |        0 |        0
205.66/205.78	c  205s |      19 |   703197 |   549382 |     1214    981 |        0 |        0
207.75/207.83	c  207s |      19 |   708318 |   553582 |     1214    988 |        0 |        0
209.75/209.86	c  209s |      19 |   713375 |   557982 |     1214    994 |        0 |        0
211.85/211.93	c  211s |      19 |   719203 |   562482 |     1214   1001 |        0 |        0
213.85/213.95	c  213s |      19 |   725050 |   567182 |     1214   1007 |        0 |        0
215.85/215.96	c  215s |      19 |   731574 |   572482 |     1214   1015 |        0 |        0
217.86/217.98	c  217s |      19 |   737406 |   577282 |     1214   1022 |        0 |        0
219.85/220.00	c  219s |      19 |   743290 |   582082 |     1214   1029 |        0 |        0
221.95/222.01	c  221s |      19 |   748516 |   586482 |     1214   1035 |        0 |        0
223.95/224.02	c  223s |      19 |   754140 |   591382 |     1214   1043 |        0 |        0
225.95/226.04	c  225s |      19 |   759020 |   595682 |     1214   1049 |        0 |        0
227.95/228.05	c  228s |      19 |   764204 |   600082 |     1214   1055 |        0 |        0
229.96/230.05	c  230s |      19 |   770457 |   605282 |     1214   1063 |        0 |        0
231.95/232.07	c  232s |      19 |   776366 |   610482 |     1214   1070 |        0 |        0
233.95/234.08	c  234s |      19 |   782077 |   615382 |     1214   1078 |        0 |        0
235.95/236.09	c  236s |      19 |   787808 |   620282 |     1214   1085 |        0 |        0
238.05/238.11	c  238s |      19 |   792831 |   624582 |     1214   1091 |        0 |        0
240.05/240.12	c  240s |      19 |   799049 |   629482 |     1214   1098 |        0 |        0
242.05/242.14	c  242s |      19 |   805652 |   634482 |     1214   1106 |        0 |        0
244.05/244.17	c  244s |      19 |   811081 |   639082 |     1214   1113 |        0 |        0
246.05/246.18	c  246s |      19 |   816755 |   643782 |     1214   1119 |        0 |        0
248.15/248.22	c  248s |      19 |   822353 |   648582 |     1214   1127 |        0 |        0
250.15/250.23	c  250s |      19 |   827963 |   653282 |     1214   1133 |        0 |        0
252.14/252.25	c  252s |      19 |   833588 |   657782 |     1214   1140 |        0 |        0
254.15/254.28	c  254s |      19 |   840060 |   663382 |     1336   1148 |        0 |        0
255.54/255.69	c  255s |      20 |   844202 |   666827 |     1336   1153 |        0 |        0
257.65/257.71	c  257s |      20 |   852854 |   671827 |     1336   1159 |        0 |        0
259.66/259.72	c  259s |      20 |   859027 |   676427 |     1336   1165 |        0 |        0
261.65/261.76	c  261s |      20 |   864719 |   680827 |     1336   1171 |        0 |        0
263.65/263.78	c  263s |      20 |   871101 |   685727 |     1336   1178 |        0 |        0
265.75/265.83	c  265s |      20 |   877564 |   690827 |     1336   1185 |        0 |        0
267.75/267.88	c  267s |      20 |   882741 |   695227 |     1336   1190 |        0 |        0
269.85/269.90	c  269s |      20 |   888174 |   699627 |     1336   1196 |        0 |        0
271.85/271.91	c  271s |      20 |   893579 |   704227 |     1336   1203 |        0 |        0
273.85/273.94	c  273s |      20 |   899245 |   708927 |     1336   1209 |        0 |        0
275.85/275.95	c  275s |      20 |   904832 |   713727 |     1336   1215 |        0 |        0
277.85/277.97	c  277s |      20 |   910588 |   718727 |     1336   1222 |        0 |        0
279.85/279.99	c  279s |      20 |   916446 |   723827 |     1336   1229 |        0 |        0
281.95/282.02	c  281s |      20 |   922089 |   728627 |     1336   1236 |        0 |        0
283.95/284.04	c  283s |      20 |   928430 |   733927 |     1336   1243 |        0 |        0
285.95/286.06	c  286s |      20 |   933659 |   738327 |     1336   1249 |        0 |        0
287.95/288.06	c  288s |      20 |   939313 |   743127 |     1336   1255 |        0 |        0
289.95/290.07	c  290s |      20 |   944552 |   747627 |     1336   1261 |        0 |        0
291.95/292.09	c  292s |      20 |   950709 |   752727 |     1336   1268 |        0 |        0
294.05/294.10	c  294s |      20 |   957254 |   758227 |     1336   1276 |        0 |        0
296.05/296.12	c  296s |      20 |   963369 |   763427 |     1336   1283 |        0 |        0
298.05/298.14	c  298s |      20 |   969954 |   768727 |     1336   1290 |        0 |        0
300.04/300.15	c  300s |      20 |   975829 |   773727 |     1336   1297 |        0 |        0
302.04/302.18	c  302s |      20 |   982494 |   779027 |     1336   1304 |        0 |        0
304.04/304.19	c  304s |      20 |   988678 |   783827 |     1336   1310 |        0 |        0
306.14/306.22	c  306s |      20 |   994530 |   788627 |     1336   1317 |        0 |        0
308.14/308.25	c  308s |      20 |  1000705 |   793827 |     1336   1324 |        0 |        0
310.15/310.27	c  310s |      20 |  1006700 |   798827 |     1336   1331 |        0 |        0
312.24/312.34	c  312s |      20 |  1012830 |   803727 |     1336   1337 |        0 |        0
314.24/314.35	c  314s |      20 |  1018559 |   808627 |     1336   1344 |        0 |        0
316.24/316.37	c  316s |      20 |  1023774 |   813127 |     1336   1350 |        0 |        0
318.24/318.37	c  318s |      20 |  1029034 |   817627 |     1336   1356 |        0 |        0
320.34/320.41	c  320s |      20 |  1034905 |   822627 |     1336   1363 |        0 |        0
322.35/322.43	c  322s |      20 |  1040719 |   827727 |     1336   1370 |        0 |        0
324.34/324.44	c  324s |      20 |  1046051 |   832427 |     1336   1376 |        0 |        0
326.34/326.45	c  326s |      20 |  1051409 |   837227 |     1336   1382 |        0 |        0
328.34/328.46	c  328s |      20 |  1057042 |   842127 |     1336   1389 |        0 |        0
330.34/330.46	c  330s |      20 |  1062530 |   846927 |     1336   1395 |        0 |        0
332.34/332.48	c  332s |      20 |  1068211 |   851927 |     1336   1402 |        0 |        0
334.44/334.52	c  334s |      20 |  1074000 |   857027 |     1336   1409 |        0 |        0
336.44/336.55	c  336s |      20 |  1079685 |   862027 |     1336   1416 |        0 |        0
338.44/338.58	c  338s |      20 |  1085143 |   866827 |     1336   1422 |        0 |        0
340.44/340.59	c  340s |      20 |  1090545 |   871627 |     1336   1429 |        0 |        0
342.43/342.59	c  342s |      20 |  1096482 |   876827 |     1336   1436 |        0 |        0
344.53/344.63	c  344s |      20 |  1102595 |   882327 |     1336   1443 |        0 |        0
346.54/346.64	c  346s |      20 |  1108326 |   887427 |     1336   1450 |        0 |        0
348.53/348.64	c  348s |      20 |  1113654 |   892227 |     1336   1457 |        0 |        0
350.53/350.68	c  350s |      20 |  1118915 |   896827 |     1336   1463 |        0 |        0
352.63/352.70	c  352s |      20 |  1125091 |   901927 |     1336   1470 |        0 |        0
354.63/354.74	c  354s |      20 |  1131165 |   906827 |     1336   1476 |        0 |        0
356.63/356.78	c  356s |      20 |  1136836 |   911527 |     1336   1483 |        0 |        0
358.73/358.82	c  358s |      20 |  1142288 |   916027 |     1336   1489 |        0 |        0
360.73/360.83	c  360s |      20 |  1148120 |   920727 |     1336   1495 |        0 |        0
362.73/362.85	c  362s |      20 |  1153814 |   925427 |     1336   1501 |        0 |        0
364.73/364.87	c  364s |      20 |  1159888 |   930227 |     1336   1508 |        0 |        0
366.83/366.90	c  366s |      20 |  1165694 |   934927 |     1336   1514 |        0 |        0
368.84/368.93	c  368s |      20 |  1171249 |   939527 |     1336   1521 |        0 |        0
370.84/370.96	c  370s |      20 |  1177445 |   944327 |     1336   1527 |        0 |        0
372.84/372.97	c  372s |      20 |  1183796 |   949327 |     1336   1534 |        0 |        0
374.84/374.97	c  374s |      20 |  1189287 |   953827 |     1336   1540 |        0 |        0
376.93/377.00	c  376s |      20 |  1194672 |   958527 |     1336   1546 |        0 |        0
378.93/379.04	c  379s |      20 |  1200159 |   963127 |     1336   1553 |        0 |        0
380.93/381.07	c  381s |      20 |  1205793 |   967927 |     1336   1559 |        0 |        0
382.93/383.08	c  383s |      20 |  1211501 |   972727 |     1336   1566 |        0 |        0
384.94/385.10	c  385s |      20 |  1217487 |   977827 |     1336   1572 |        0 |        0
387.03/387.11	c  387s |      20 |  1222969 |   982627 |     1336   1579 |        0 |        0
389.03/389.13	c  389s |      20 |  1228629 |   987527 |     1336   1586 |        0 |        0
391.03/391.16	c  391s |      20 |  1234141 |   992227 |     1336   1592 |        0 |        0
393.03/393.17	c  393s |      20 |  1239412 |   996827 |     1470   1598 |        0 |        0
394.43/394.58	c  394s |      21 |  1243652 |  1000345 |     1470   1602 |        0 |        0
396.53/396.62	c  396s |      21 |  1252520 |  1005745 |     1470   1609 |        0 |        0
398.53/398.63	c  398s |      21 |  1261499 |  1010645 |     1470   1614 |        0 |        0
400.53/400.68	c  400s |      21 |  1270274 |  1015545 |     1470   1620 |        0 |        0
402.53/402.70	c  402s |      21 |  1278728 |  1020345 |     1470   1626 |        0 |        0
404.63/404.71	c  404s |      21 |  1284275 |  1024745 |     1470   1631 |        0 |        0
406.63/406.75	c  406s |      21 |  1290631 |  1029345 |     1470   1637 |        0 |        0
408.63/408.78	c  408s |      21 |  1297000 |  1033745 |     1470   1642 |        0 |        0
410.63/410.78	c  410s |      21 |  1302989 |  1038745 |     1470   1648 |        0 |        0
412.73/412.81	c  412s |      21 |  1307421 |  1042745 |     1470   1653 |        0 |        0
414.73/414.84	c  414s |      21 |  1313406 |  1047145 |     1470   1658 |        0 |        0
416.73/416.89	c  416s |      21 |  1318227 |  1051245 |     1470   1663 |        0 |        0
418.83/418.90	c  418s |      21 |  1322702 |  1055145 |     1470   1668 |        0 |        0
420.83/420.90	c  420s |      21 |  1327871 |  1059345 |     1470   1673 |        0 |        0
422.82/422.95	c  422s |      21 |  1333435 |  1063845 |     1470   1678 |        0 |        0
424.82/424.98	c  424s |      21 |  1339008 |  1068145 |     1470   1684 |        0 |        0
426.83/426.99	c  426s |      21 |  1344378 |  1072345 |     1470   1689 |        0 |        0
428.93/429.01	c  428s |      21 |  1350122 |  1076645 |     1470   1694 |        0 |        0
430.92/431.01	c  430s |      21 |  1354808 |  1080545 |     1470   1699 |        0 |        0
432.92/433.04	c  433s |      21 |  1360912 |  1085145 |     1470   1704 |        0 |        0
434.92/435.09	c  435s |      21 |  1366802 |  1089745 |     1470   1710 |        0 |        0
437.02/437.10	c  437s |      21 |  1372157 |  1094245 |     1470   1715 |        0 |        0
439.02/439.13	c  439s |      21 |  1377283 |  1098645 |     1470   1720 |        0 |        0
441.03/441.17	c  441s |      21 |  1382694 |  1103045 |     1470   1726 |        0 |        0
443.12/443.20	c  443s |      21 |  1388169 |  1107345 |     1470   1731 |        0 |        0
445.12/445.21	c  445s |      21 |  1393459 |  1111545 |     1470   1736 |        0 |        0
447.12/447.26	c  447s |      21 |  1398632 |  1115845 |     1470   1741 |        0 |        0
449.12/449.29	c  449s |      21 |  1403552 |  1119945 |     1470   1746 |        0 |        0
451.22/451.30	c  451s |      21 |  1408792 |  1124245 |     1470   1751 |        0 |        0
453.23/453.31	c  453s |      21 |  1414070 |  1128045 |     1470   1756 |        0 |        0
455.22/455.33	c  455s |      21 |  1419142 |  1132345 |     1470   1761 |        0 |        0
457.22/457.35	c  457s |      21 |  1424281 |  1136645 |     1470   1766 |        0 |        0
459.22/459.36	c  459s |      21 |  1428276 |  1140145 |     1470   1770 |        0 |        0
461.22/461.38	c  461s |      21 |  1433220 |  1144245 |     1470   1775 |        0 |        0
463.22/463.39	c  463s |      21 |  1437625 |  1147845 |     1470   1780 |        0 |        0
465.32/465.42	c  465s |      21 |  1444484 |  1152945 |     1470   1786 |        0 |        0
467.32/467.42	c  467s |      21 |  1450210 |  1157345 |     1470   1791 |        0 |        0
469.31/469.48	c  469s |      21 |  1455124 |  1161445 |     1470   1796 |        0 |        0
471.41/471.51	c  471s |      21 |  1460426 |  1165545 |     1470   1801 |        0 |        0
473.41/473.51	c  473s |      21 |  1466409 |  1170145 |     1470   1806 |        0 |        0
475.41/475.52	c  475s |      21 |  1472674 |  1174645 |     1470   1812 |        0 |        0
477.42/477.55	c  477s |      21 |  1478831 |  1179445 |     1470   1817 |        0 |        0
479.41/479.56	c  479s |      21 |  1484426 |  1183645 |     1470   1823 |        0 |        0
481.41/481.59	c  481s |      21 |  1490937 |  1188145 |     1470   1828 |        0 |        0
483.51/483.60	c  483s |      21 |  1496656 |  1192245 |     1470   1833 |        0 |        0
485.51/485.63	c  485s |      21 |  1501726 |  1196245 |     1470   1838 |        0 |        0
487.52/487.64	c  487s |      21 |  1506530 |  1200145 |     1470   1843 |        0 |        0
489.52/489.68	c  489s |      21 |  1513298 |  1204945 |     1470   1848 |        0 |        0
491.52/491.68	c  491s |      21 |  1518845 |  1208945 |     1470   1853 |        0 |        0
493.62/493.71	c  493s |      21 |  1524938 |  1213345 |     1470   1858 |        0 |        0
495.62/495.73	c  495s |      21 |  1530182 |  1217345 |     1470   1863 |        0 |        0
497.62/497.76	c  497s |      21 |  1536421 |  1221545 |     1470   1868 |        0 |        0
499.62/499.79	c  499s |      21 |  1543321 |  1225945 |     1470   1874 |        0 |        0
501.71/501.80	c  501s |      21 |  1548983 |  1230145 |     1470   1879 |        0 |        0
503.72/503.82	c  503s |      21 |  1555894 |  1234745 |     1470   1884 |        0 |        0
505.71/505.85	c  505s |      21 |  1562822 |  1240145 |     1470   1891 |        0 |        0
507.71/507.87	c  507s |      21 |  1568291 |  1244845 |     1470   1897 |        0 |        0
509.71/509.87	c  509s |      21 |  1574820 |  1249845 |     1470   1903 |        0 |        0
511.81/511.91	c  511s |      21 |  1581185 |  1254745 |     1470   1908 |        0 |        0
513.81/513.93	c  513s |      21 |  1587629 |  1260045 |     1470   1915 |        0 |        0
515.82/515.94	c  515s |      21 |  1593576 |  1264945 |     1470   1921 |        0 |        0
517.81/517.95	c  517s |      21 |  1598727 |  1269045 |     1470   1926 |        0 |        0
519.81/519.95	c  519s |      21 |  1604504 |  1273845 |     1470   1932 |        0 |        0
521.81/521.98	c  521s |      21 |  1610070 |  1278345 |     1470   1937 |        0 |        0
523.81/523.98	c  523s |      21 |  1615767 |  1282745 |     1470   1942 |        0 |        0
525.91/526.01	c  525s |      21 |  1622623 |  1288245 |     1470   1949 |        0 |        0
527.91/528.01	c  527s |      21 |  1629177 |  1292845 |     1470   1955 |        0 |        0
529.91/530.03	c  529s |      21 |  1635649 |  1297945 |     1470   1961 |        0 |        0
531.91/532.05	c  532s |      21 |  1641816 |  1302745 |     1470   1966 |        0 |        0
533.91/534.07	c  534s |      21 |  1648716 |  1307745 |     1470   1972 |        0 |        0
535.91/536.09	c  536s |      21 |  1654331 |  1312245 |     1470   1978 |        0 |        0
538.01/538.12	c  538s |      21 |  1660902 |  1317245 |     1470   1984 |        0 |        0
540.01/540.13	c  540s |      21 |  1666895 |  1321845 |     1470   1990 |        0 |        0
542.01/542.16	c  542s |      21 |  1672481 |  1326545 |     1470   1995 |        0 |        0
544.11/544.20	c  544s |      21 |  1678352 |  1331045 |     1470   2001 |        0 |        0
546.11/546.23	c  546s |      21 |  1684188 |  1335645 |     1470   2006 |        0 |        0
548.10/548.27	c  548s |      21 |  1690197 |  1340145 |     1470   2012 |        0 |        0
550.10/550.28	c  550s |      21 |  1697040 |  1345045 |     1470   2018 |        0 |        0
552.11/552.29	c  552s |      21 |  1703098 |  1349545 |     1470   2023 |        0 |        0
554.20/554.31	c  554s |      21 |  1710786 |  1354945 |     1470   2030 |        0 |        0
556.20/556.35	c  556s |      21 |  1717237 |  1359945 |     1470   2036 |        0 |        0
558.20/558.35	c  558s |      21 |  1724633 |  1365145 |     1470   2042 |        0 |        0
560.20/560.38	c  560s |      21 |  1730943 |  1369845 |     1470   2048 |        0 |        0
562.30/562.40	c  562s |      21 |  1736619 |  1374445 |     1470   2053 |        0 |        0
564.31/564.44	c  564s |      21 |  1742179 |  1379045 |     1470   2059 |        0 |        0
566.30/566.48	c  566s |      21 |  1747419 |  1383345 |     1470   2064 |        0 |        0
568.40/568.50	c  568s |      21 |  1753885 |  1387745 |     1470   2069 |        0 |        0
570.40/570.54	c  570s |      21 |  1760098 |  1391745 |     1470   2074 |        0 |        0
572.40/572.54	c  572s |      21 |  1764106 |  1395045 |     1470   2078 |        0 |        0
574.40/574.55	c  574s |      21 |  1769304 |  1399145 |     1470   2083 |        0 |        0
576.40/576.58	c  576s |      21 |  1774503 |  1403545 |     1470   2089 |        0 |        0
578.40/578.59	c  578s |      21 |  1779519 |  1407645 |     1470   2094 |        0 |        0
580.50/580.60	c  580s |      21 |  1785668 |  1411645 |     1470   2099 |        0 |        0
582.50/582.65	c  582s |      21 |  1791245 |  1416145 |     1470   2104 |        0 |        0
584.60/584.71	c  584s |      21 |  1796678 |  1419945 |     1470   2109 |        0 |        0
586.59/586.72	c  586s |      21 |  1802306 |  1424245 |     1470   2114 |        0 |        0
588.59/588.76	c  588s |      21 |  1808085 |  1428445 |     1470   2119 |        0 |        0
590.60/590.79	c  590s |      21 |  1812738 |  1432145 |     1470   2123 |        0 |        0
592.69/592.81	c  592s |      21 |  1819859 |  1436345 |     1470   2128 |        0 |        0
594.69/594.84	c  594s |      21 |  1825289 |  1440145 |     1470   2133 |        0 |        0
596.79/596.91	c  596s |      21 |  1829419 |  1443345 |     1470   2137 |        0 |        0
598.79/598.95	c  598s |      21 |  1835455 |  1447845 |     1470   2143 |        0 |        0
600.79/600.97	c  600s |      21 |  1840971 |  1452345 |     1470   2148 |        0 |        0
602.80/602.97	c  602s |      21 |  1846398 |  1456945 |     1470   2154 |        0 |        0
604.79/604.99	c  604s |      21 |  1852174 |  1461445 |     1470   2159 |        0 |        0
606.89/607.00	c  606s |      21 |  1857855 |  1465945 |     1470   2165 |        0 |        0
608.89/609.01	c  608s |      21 |  1863633 |  1470545 |     1470   2170 |        0 |        0
610.89/611.01	c  610s |      21 |  1868691 |  1475045 |     1470   2176 |        0 |        0
612.89/613.05	c  613s |      21 |  1873676 |  1479445 |     1470   2181 |        0 |        0
614.90/615.09	c  615s |      21 |  1878832 |  1483845 |     1470   2187 |        0 |        0
616.99/617.12	c  617s |      21 |  1884703 |  1488645 |     1470   2192 |        0 |        0
618.99/619.15	c  619s |      21 |  1890592 |  1493245 |     1618   2198 |        0 |        0
620.99/621.16	c  621s |      21 |  1896260 |  1497945 |     1618   2203 |        0 |        0
622.29/622.47	c  622s |      22 |  1900179 |  1500622 |     1618   2206 |        0 |        0
624.29/624.48	c  624s |      22 |  1906629 |  1505822 |     1618   2211 |        0 |        0
626.39/626.54	c  626s |      22 |  1911903 |  1510522 |     1618   2217 |        0 |        0
628.39/628.55	c  628s |      22 |  1916868 |  1515022 |     1618   2222 |        0 |        0
630.40/630.58	c  630s |      22 |  1922779 |  1520022 |     1618   2227 |        0 |        0
632.40/632.60	c  632s |      22 |  1928708 |  1525022 |     1618   2233 |        0 |        0
634.50/634.63	c  634s |      22 |  1934211 |  1529822 |     1618   2238 |        0 |        0
636.49/636.64	c  636s |      22 |  1939705 |  1534522 |     1618   2243 |        0 |        0
638.49/638.64	c  638s |      22 |  1945183 |  1539122 |     1618   2248 |        0 |        0
640.49/640.68	c  640s |      22 |  1950665 |  1543822 |     1618   2254 |        0 |        0
642.49/642.69	c  642s |      22 |  1956054 |  1548322 |     1618   2259 |        0 |        0
644.50/644.69	c  644s |      22 |  1961072 |  1552722 |     1618   2263 |        0 |        0
646.59/646.73	c  646s |      22 |  1966763 |  1557722 |     1618   2269 |        0 |        0
648.59/648.75	c  648s |      22 |  1972155 |  1562522 |     1618   2274 |        0 |        0
650.59/650.76	c  650s |      22 |  1977493 |  1567122 |     1618   2279 |        0 |        0
652.59/652.79	c  652s |      22 |  1982635 |  1571622 |     1618   2284 |        0 |        0
654.69/654.83	c  654s |      22 |  1987815 |  1576222 |     1618   2289 |        0 |        0
656.70/656.84	c  656s |      22 |  1992785 |  1580622 |     1618   2294 |        0 |        0
658.69/658.86	c  658s |      22 |  1998037 |  1585322 |     1618   2300 |        0 |        0
660.69/660.89	c  660s |      22 |  2003370 |  1590122 |     1618   2305 |        0 |        0
662.79/662.90	c  662s |      22 |  2008407 |  1594622 |     1618   2310 |        0 |        0
664.79/664.92	c  664s |      22 |  2013454 |  1599022 |     1618   2315 |        0 |        0
666.79/666.92	c  666s |      22 |  2018667 |  1603622 |     1618   2320 |        0 |        0
668.79/668.96	c  668s |      22 |  2023691 |  1608122 |     1618   2325 |        0 |        0
670.79/670.99	c  670s |      22 |  2029151 |  1612922 |     1618   2330 |        0 |        0
672.88/673.02	c  672s |      22 |  2035023 |  1617822 |     1618   2336 |        0 |        0
674.88/675.04	c  675s |      22 |  2040426 |  1622522 |     1618   2341 |        0 |        0
676.88/677.04	c  677s |      22 |  2045629 |  1627122 |     1618   2346 |        0 |        0
678.88/679.06	c  679s |      22 |  2050683 |  1631622 |     1618   2351 |        0 |        0
680.89/681.09	c  681s |      22 |  2056256 |  1636522 |     1618   2356 |        0 |        0
682.88/683.10	c  683s |      22 |  2061604 |  1641222 |     1618   2362 |        0 |        0
684.98/685.12	c  685s |      22 |  2066706 |  1645722 |     1618   2367 |        0 |        0
686.98/687.16	c  687s |      22 |  2072006 |  1650522 |     1618   2372 |        0 |        0
688.98/689.18	c  689s |      22 |  2077172 |  1655122 |     1618   2377 |        0 |        0
690.98/691.19	c  691s |      22 |  2082517 |  1659922 |     1618   2382 |        0 |        0
693.08/693.21	c  693s |      22 |  2087724 |  1664422 |     1618   2387 |        0 |        0
695.09/695.22	c  695s |      22 |  2092621 |  1668822 |     1618   2392 |        0 |        0
697.08/697.22	c  697s |      22 |  2098067 |  1673622 |     1618   2398 |        0 |        0
699.08/699.23	c  699s |      22 |  2103534 |  1678522 |     1618   2403 |        0 |        0
701.08/701.27	c  701s |      22 |  2109011 |  1683322 |     1618   2409 |        0 |        0
703.08/703.27	c  703s |      22 |  2114072 |  1687822 |     1618   2414 |        0 |        0
705.09/705.29	c  705s |      22 |  2119669 |  1692722 |     1618   2419 |        0 |        0
707.18/707.31	c  707s |      22 |  2125187 |  1697622 |     1618   2424 |        0 |        0
709.18/709.32	c  709s |      22 |  2130487 |  1702322 |     1618   2430 |        0 |        0
711.18/711.36	c  711s |      22 |  2136166 |  1707322 |     1618   2435 |        0 |        0
713.17/713.38	c  713s |      22 |  2141447 |  1712022 |     1618   2441 |        0 |        0
715.17/715.39	c  715s |      22 |  2146754 |  1716622 |     1618   2446 |        0 |        0
717.27/717.40	c  717s |      22 |  2152036 |  1721222 |     1618   2451 |        0 |        0
719.28/719.44	c  719s |      22 |  2157468 |  1725922 |     1618   2456 |        0 |        0
721.27/721.46	c  721s |      22 |  2162837 |  1730622 |     1618   2461 |        0 |        0
723.27/723.48	c  723s |      22 |  2167698 |  1735022 |     1618   2466 |        0 |        0
725.37/725.51	c  725s |      22 |  2172733 |  1739522 |     1618   2471 |        0 |        0
727.37/727.53	c  727s |      22 |  2178777 |  1744322 |     1618   2477 |        0 |        0
729.37/729.57	c  729s |      22 |  2184327 |  1749122 |     1618   2482 |        0 |        0
731.37/731.60	c  731s |      22 |  2188967 |  1753222 |     1618   2487 |        0 |        0
733.46/733.62	c  733s |      22 |  2193943 |  1757622 |     1618   2491 |        0 |        0
735.46/735.65	c  735s |      22 |  2199369 |  1762422 |     1618   2497 |        0 |        0
737.46/737.66	c  737s |      22 |  2204373 |  1766822 |     1618   2502 |        0 |        0
739.46/739.68	c  739s |      22 |  2209181 |  1771122 |     1618   2506 |        0 |        0
741.46/741.69	c  741s |      22 |  2214073 |  1775522 |     1618   2511 |        0 |        0
743.56/743.72	c  743s |      22 |  2219244 |  1780122 |     1618   2516 |        0 |        0
745.56/745.73	c  745s |      22 |  2224238 |  1784622 |     1618   2521 |        0 |        0
747.56/747.76	c  747s |      22 |  2229487 |  1789222 |     1618   2526 |        0 |        0
749.56/749.77	c  749s |      22 |  2234918 |  1794022 |     1618   2532 |        0 |        0
751.55/751.80	c  751s |      22 |  2240325 |  1798822 |     1618   2537 |        0 |        0
753.65/753.85	c  753s |      22 |  2245472 |  1803422 |     1618   2542 |        0 |        0
755.66/755.86	c  755s |      22 |  2250804 |  1808022 |     1618   2547 |        0 |        0
757.65/757.87	c  757s |      22 |  2256233 |  1812822 |     1618   2553 |        0 |        0
759.65/759.87	c  759s |      22 |  2261295 |  1817322 |     1618   2558 |        0 |        0
761.65/761.88	c  761s |      22 |  2266165 |  1821622 |     1618   2563 |        0 |        0
763.75/763.92	c  763s |      22 |  2271222 |  1826122 |     1618   2568 |        0 |        0
765.75/765.93	c  765s |      22 |  2276179 |  1830522 |     1618   2572 |        0 |        0
767.75/767.96	c  767s |      22 |  2281566 |  1835222 |     1618   2578 |        0 |        0
769.75/769.99	c  769s |      22 |  2286473 |  1839522 |     1618   2582 |        0 |        0
771.85/772.01	c  771s |      22 |  2291203 |  1843722 |     1618   2587 |        0 |        0
773.86/774.04	c  774s |      22 |  2295999 |  1847922 |     1618   2592 |        0 |        0
775.86/776.07	c  776s |      22 |  2300731 |  1852122 |     1618   2597 |        0 |        0
777.85/778.09	c  778s |      22 |  2306821 |  1857122 |     1618   2602 |        0 |        0
779.95/780.11	c  780s |      22 |  2312765 |  1861522 |     1618   2607 |        0 |        0
781.96/782.13	c  782s |      22 |  2317985 |  1866022 |     1618   2612 |        0 |        0
783.95/784.18	c  784s |      22 |  2322838 |  1870322 |     1618   2617 |        0 |        0
786.05/786.23	c  786s |      22 |  2327791 |  1874622 |     1618   2621 |        0 |        0
788.05/788.26	c  788s |      22 |  2332584 |  1878822 |     1618   2626 |        0 |        0
790.05/790.27	c  790s |      22 |  2337208 |  1882922 |     1618   2631 |        0 |        0
792.15/792.30	c  792s |      22 |  2342004 |  1887122 |     1618   2635 |        0 |        0
794.15/794.34	c  794s |      22 |  2346834 |  1891322 |     1618   2640 |        0 |        0
796.14/796.34	c  796s |      22 |  2351610 |  1895622 |     1618   2645 |        0 |        0
798.14/798.39	c  798s |      22 |  2356289 |  1899822 |     1618   2649 |        0 |        0
800.24/800.44	c  800s |      22 |  2361062 |  1904122 |     1618   2654 |        0 |        0
802.24/802.46	c  802s |      22 |  2365734 |  1908322 |     1618   2659 |        0 |        0
804.34/804.50	c  804s |      22 |  2370893 |  1912722 |     1618   2664 |        0 |        0
806.34/806.52	c  806s |      22 |  2375773 |  1917022 |     1618   2669 |        0 |        0
808.34/808.56	c  808s |      22 |  2380655 |  1921322 |     1618   2673 |        0 |        0
810.33/810.58	c  810s |      22 |  2385483 |  1925622 |     1618   2678 |        0 |        0
812.43/812.62	c  812s |      22 |  2390197 |  1929822 |     1618   2683 |        0 |        0
814.43/814.67	c  814s |      22 |  2394939 |  1934022 |     1618   2688 |        0 |        0
816.53/816.70	c  816s |      22 |  2399655 |  1938222 |     1618   2692 |        0 |        0
818.53/818.72	c  818s |      22 |  2404518 |  1942522 |     1618   2697 |        0 |        0
820.54/820.75	c  820s |      22 |  2409364 |  1946822 |     1618   2702 |        0 |        0
822.53/822.80	c  822s |      22 |  2414058 |  1951022 |     1618   2707 |        0 |        0
824.63/824.85	c  824s |      22 |  2419008 |  1955322 |     1618   2711 |        0 |        0
826.63/826.86	c  826s |      22 |  2423629 |  1959422 |     1618   2716 |        0 |        0
828.63/828.89	c  828s |      22 |  2428749 |  1963722 |     1618   2721 |        0 |        0
830.72/830.90	c  830s |      22 |  2434341 |  1968422 |     1618   2726 |        0 |        0
832.72/832.93	c  832s |      22 |  2440146 |  1973522 |     1618   2732 |        0 |        0
834.73/834.98	c  834s |      22 |  2445488 |  1977622 |     1618   2736 |        0 |        0
836.72/836.98	c  836s |      22 |  2451953 |  1982122 |     1618   2741 |        0 |        0
838.72/838.99	c  838s |      22 |  2457717 |  1987122 |     1618   2747 |        0 |        0
840.82/841.01	c  840s |      22 |  2463345 |  1992022 |     1618   2752 |        0 |        0
842.81/843.04	c  843s |      22 |  2468988 |  1997022 |     1618   2758 |        0 |        0
844.81/845.08	c  845s |      22 |  2474415 |  2001722 |     1618   2763 |        0 |        0
846.92/847.11	c  847s |      22 |  2479883 |  2006422 |     1618   2768 |        0 |        0
848.91/849.13	c  849s |      22 |  2485003 |  2010922 |     1618   2773 |        0 |        0
850.91/851.15	c  851s |      22 |  2490506 |  2015622 |     1618   2779 |        0 |        0
852.91/853.17	c  853s |      22 |  2495571 |  2020022 |     1618   2784 |        0 |        0
855.01/855.20	c  855s |      22 |  2500953 |  2024622 |     1618   2789 |        0 |        0
857.01/857.22	c  857s |      22 |  2506437 |  2029422 |     1618   2794 |        0 |        0
859.01/859.24	c  859s |      22 |  2513146 |  2034522 |     1618   2800 |        0 |        0
861.01/861.25	c  861s |      22 |  2518546 |  2039122 |     1618   2805 |        0 |        0
863.00/863.27	c  863s |      22 |  2523931 |  2043722 |     1618   2810 |        0 |        0
865.00/865.29	c  865s |      22 |  2529592 |  2048622 |     1618   2815 |        0 |        0
867.10/867.31	c  867s |      22 |  2535012 |  2053222 |     1618   2821 |        0 |        0
869.10/869.36	c  869s |      22 |  2540528 |  2057922 |     1618   2826 |        0 |        0
871.11/871.38	c  871s |      22 |  2546253 |  2062622 |     1618   2831 |        0 |        0
873.21/873.42	c  873s |      22 |  2551755 |  2067122 |     1618   2836 |        0 |        0
875.20/875.44	c  875s |      22 |  2557039 |  2071622 |     1618   2841 |        0 |        0
877.20/877.46	c  877s |      22 |  2562443 |  2076222 |     1618   2846 |        0 |        0
879.20/879.47	c  879s |      22 |  2567728 |  2080922 |     1618   2852 |        0 |        0
881.20/881.49	c  881s |      22 |  2572991 |  2085422 |     1618   2857 |        0 |        0
883.29/883.50	c  883s |      22 |  2578426 |  2090222 |     1618   2862 |        0 |        0
885.30/885.51	c  885s |      22 |  2583798 |  2094922 |     1618   2867 |        0 |        0
887.29/887.56	c  887s |      22 |  2589298 |  2099622 |     1618   2873 |        0 |        0
889.29/889.58	c  889s |      22 |  2594743 |  2104422 |     1618   2878 |        0 |        0
891.29/891.59	c  891s |      22 |  2599730 |  2108722 |     1618   2883 |        0 |        0
893.39/893.61	c  893s |      22 |  2604813 |  2113222 |     1618   2888 |        0 |        0
895.39/895.62	c  895s |      22 |  2609810 |  2117522 |     1618   2893 |        0 |        0
897.39/897.65	c  897s |      22 |  2614784 |  2121822 |     1618   2897 |        0 |        0
899.39/899.68	c  899s |      22 |  2620851 |  2126622 |     1618   2903 |        0 |        0
901.49/901.70	c  901s |      22 |  2626465 |  2131422 |     1618   2908 |        0 |        0
903.48/903.73	c  903s |      22 |  2631694 |  2136022 |     1618   2913 |        0 |        0
905.48/905.78	c  905s |      22 |  2636696 |  2140322 |     1618   2918 |        0 |        0
907.48/907.79	c  907s |      22 |  2641648 |  2144622 |     1618   2923 |        0 |        0
909.59/909.81	c  909s |      22 |  2646324 |  2148722 |     1618   2928 |        0 |        0
911.58/911.85	c  911s |      22 |  2651194 |  2152922 |     1618   2932 |        0 |        0
913.57/913.87	c  913s |      22 |  2655895 |  2157122 |     1618   2937 |        0 |        0
915.57/915.87	c  915s |      22 |  2661572 |  2162022 |     1618   2942 |        0 |        0
917.57/917.88	c  917s |      22 |  2666791 |  2166722 |     1618   2948 |        0 |        0
919.57/919.89	c  919s |      22 |  2672050 |  2171222 |     1618   2953 |        0 |        0
921.68/921.92	c  921s |      22 |  2677007 |  2175522 |     1618   2957 |        0 |        0
923.67/923.96	c  923s |      22 |  2681197 |  2179322 |     1618   2962 |        0 |        0
925.77/926.01	c  925s |      22 |  2685933 |  2183522 |     1618   2966 |        0 |        0
927.77/928.01	c  927s |      22 |  2690877 |  2187722 |     1618   2971 |        0 |        0
929.77/930.04	c  929s |      22 |  2695789 |  2192022 |     1618   2976 |        0 |        0
931.77/932.04	c  932s |      22 |  2700549 |  2196122 |     1618   2981 |        0 |        0
933.77/934.06	c  934s |      22 |  2705619 |  2200522 |     1618   2985 |        0 |        0
935.76/936.07	c  936s |      22 |  2710210 |  2204522 |     1618   2990 |        0 |        0
937.76/938.09	c  938s |      22 |  2715245 |  2208922 |     1618   2995 |        0 |        0
939.86/940.12	c  940s |      22 |  2719630 |  2212822 |     1618   2999 |        0 |        0
941.86/942.19	c  942s |      22 |  2723679 |  2216422 |     1618   3003 |        0 |        0
943.86/944.19	c  944s |      22 |  2728435 |  2220322 |     1618   3008 |        0 |        0
945.96/946.22	c  946s |      22 |  2733177 |  2224422 |     1618   3012 |        0 |        0
947.96/948.27	c  948s |      22 |  2737619 |  2228322 |     1618   3017 |        0 |        0
949.96/950.29	c  950s |      22 |  2742168 |  2232322 |     1618   3021 |        0 |        0
952.06/952.31	c  952s |      22 |  2746523 |  2236222 |     1780   3025 |        0 |        0
954.05/954.33	c  954s |      22 |  2751166 |  2240222 |     1780   3029 |        0 |        0
956.05/956.36	c  956s |      22 |  2755908 |  2244322 |     1780   3034 |        0 |        0
958.15/958.40	c  958s |      22 |  2760330 |  2248222 |     1780   3038 |        0 |        0
959.65/959.96	c  959s |      23 |  2763540 |  2251038 |     1780   3040 |        0 |        0
961.75/962.00	c  961s |      23 |  2769275 |  2255738 |     1780   3045 |        0 |        0
963.74/964.00	c  963s |      23 |  2775207 |  2260838 |     1780   3050 |        0 |        0
965.74/966.03	c  965s |      23 |  2781255 |  2266138 |     1780   3056 |        0 |        0
967.75/968.04	c  968s |      23 |  2787115 |  2271338 |     1780   3061 |        0 |        0
969.74/970.04	c  970s |      23 |  2793440 |  2276938 |     1780   3067 |        0 |        0
971.74/972.08	c  972s |      23 |  2799906 |  2282538 |     1780   3073 |        0 |        0
973.85/974.11	c  974s |      23 |  2806132 |  2288038 |     1780   3078 |        0 |        0
975.84/976.15	c  976s |      23 |  2812243 |  2293438 |     1780   3084 |        0 |        0
977.84/978.17	c  978s |      23 |  2818391 |  2298338 |     1780   3089 |        0 |        0
979.85/980.18	c  980s |      23 |  2824714 |  2303738 |     1780   3094 |        0 |        0
981.84/982.18	c  982s |      23 |  2830814 |  2308638 |     1780   3099 |        0 |        0
983.84/984.19	c  984s |      23 |  2836890 |  2313638 |     1780   3104 |        0 |        0
985.94/986.23	c  986s |      23 |  2843134 |  2318938 |     1780   3110 |        0 |        0
987.94/988.25	c  988s |      23 |  2848948 |  2323838 |     1780   3115 |        0 |        0
989.94/990.28	c  990s |      23 |  2855321 |  2329238 |     1780   3120 |        0 |        0
991.94/992.29	c  992s |      23 |  2862202 |  2334838 |     1780   3126 |        0 |        0
994.03/994.31	c  994s |      23 |  2868480 |  2340338 |     1780   3131 |        0 |        0
996.03/996.31	c  996s |      23 |  2874865 |  2345838 |     1780   3137 |        0 |        0
998.03/998.35	c  998s |      23 |  2881150 |  2351338 |     1780   3143 |        0 |        0
1000.03/1000.36	c 1000s |      23 |  2887266 |  2356638 |     1780   3148 |        0 |        0
1002.03/1002.36	c 1002s |      23 |  2893411 |  2361938 |     1780   3153 |        0 |        0
1004.03/1004.37	c 1004s |      23 |  2899408 |  2367138 |     1780   3159 |        0 |        0
1006.02/1006.38	c 1006s |      23 |  2905629 |  2372638 |     1780   3164 |        0 |        0
1008.02/1008.39	c 1008s |      23 |  2911423 |  2377838 |     1780   3169 |        0 |        0
1010.12/1010.42	c 1010s |      23 |  2917650 |  2383138 |     1780   3175 |        0 |        0
1012.12/1012.44	c 1012s |      23 |  2924204 |  2388838 |     1780   3181 |        0 |        0
1014.12/1014.47	c 1014s |      23 |  2930488 |  2394438 |     1780   3186 |        0 |        0
1016.12/1016.47	c 1016s |      23 |  2936617 |  2399738 |     1780   3192 |        0 |        0
1018.12/1018.47	c 1018s |      23 |  2943193 |  2405438 |     1780   3198 |        0 |        0
1020.21/1020.50	c 1020s |      23 |  2949597 |  2411038 |     1780   3203 |        0 |        0
1022.21/1022.52	c 1022s |      23 |  2955173 |  2416038 |     1780   3208 |        0 |        0
1024.21/1024.56	c 1024s |      23 |  2961099 |  2421238 |     1780   3214 |        0 |        0
1026.21/1026.59	c 1026s |      23 |  2967757 |  2427038 |     1780   3219 |        0 |        0
1028.31/1028.62	c 1028s |      23 |  2973681 |  2432138 |     1780   3225 |        0 |        0
1030.31/1030.64	c 1030s |      23 |  2979835 |  2437538 |     1780   3230 |        0 |        0
1032.31/1032.67	c 1032s |      23 |  2986166 |  2443138 |     1780   3236 |        0 |        0
1034.40/1034.73	c 1034s |      23 |  2992647 |  2448738 |     1780   3242 |        0 |        0
1036.40/1036.76	c 1036s |      23 |  2998618 |  2454038 |     1780   3247 |        0 |        0
1038.40/1038.78	c 1038s |      23 |  3004665 |  2459138 |     1780   3252 |        0 |        0
1040.41/1040.78	c 1040s |      23 |  3010667 |  2464338 |     1780   3257 |        0 |        0
1042.50/1042.81	c 1042s |      23 |  3016408 |  2469438 |     1780   3263 |        0 |        0
1044.50/1044.81	c 1044s |      23 |  3022576 |  2474838 |     1780   3268 |        0 |        0
1046.50/1046.85	c 1046s |      23 |  3028490 |  2480038 |     1780   3273 |        0 |        0
1048.50/1048.86	c 1048s |      23 |  3033917 |  2484738 |     1780   3278 |        0 |        0
1050.50/1050.86	c 1050s |      23 |  3039972 |  2490038 |     1780   3284 |        0 |        0
1052.59/1052.90	c 1052s |      23 |  3046154 |  2495438 |     1780   3289 |        0 |        0
1054.61/1054.91	c 1054s |      23 |  3052103 |  2500638 |     1780   3294 |        0 |        0
1056.60/1056.92	c 1056s |      23 |  3057737 |  2505638 |     1780   3299 |        0 |        0
1058.60/1058.94	c 1058s |      23 |  3063386 |  2510638 |     1780   3305 |        0 |        0
1060.60/1060.99	c 1060s |      23 |  3069101 |  2515638 |     1780   3310 |        0 |        0
1062.70/1063.02	c 1062s |      23 |  3074894 |  2520838 |     1780   3315 |        0 |        0
1064.70/1065.05	c 1065s |      23 |  3080913 |  2526238 |     1780   3320 |        0 |        0
1066.70/1067.08	c 1067s |      23 |  3087014 |  2531738 |     1780   3326 |        0 |        0
1068.79/1069.10	c 1069s |      23 |  3092816 |  2536938 |     1780   3331 |        0 |        0
1070.79/1071.11	c 1071s |      23 |  3098371 |  2541938 |     1780   3336 |        0 |        0
1072.79/1073.12	c 1073s |      23 |  3104110 |  2547038 |     1780   3341 |        0 |        0
1074.79/1075.12	c 1075s |      23 |  3109886 |  2552238 |     1780   3347 |        0 |        0
1076.79/1077.15	c 1077s |      23 |  3115599 |  2557438 |     1780   3352 |        0 |        0
1078.79/1079.17	c 1079s |      23 |  3121458 |  2562738 |     1780   3357 |        0 |        0
1080.78/1081.18	c 1081s |      23 |  3126667 |  2567438 |     1780   3362 |        0 |        0
1082.88/1083.21	c 1083s |      23 |  3133705 |  2572438 |     1780   3367 |        0 |        0
1084.88/1085.22	c 1085s |      23 |  3140089 |  2577338 |     1780   3372 |        0 |        0
1086.88/1087.26	c 1087s |      23 |  3146077 |  2582138 |     1780   3377 |        0 |        0
1088.98/1089.31	c 1089s |      23 |  3151829 |  2586838 |     1780   3382 |        0 |        0
1090.99/1091.34	c 1091s |      23 |  3157506 |  2591438 |     1780   3387 |        0 |        0
1092.98/1093.35	c 1093s |      23 |  3162605 |  2595638 |     1780   3391 |        0 |        0
1094.98/1095.38	c 1095s |      23 |  3168570 |  2600538 |     1780   3396 |        0 |        0
1096.98/1097.39	c 1097s |      23 |  3173931 |  2605038 |     1780   3400 |        0 |        0
1098.98/1099.39	c 1099s |      23 |  3180552 |  2610038 |     1780   3405 |        0 |        0
1101.08/1101.42	c 1101s |      23 |  3187092 |  2615238 |     1780   3411 |        0 |        0
1103.08/1103.44	c 1103s |      23 |  3192937 |  2620138 |     1780   3416 |        0 |        0
1105.07/1105.49	c 1105s |      23 |  3198788 |  2624938 |     1780   3421 |        0 |        0
1107.17/1107.51	c 1107s |      23 |  3205418 |  2629938 |     1780   3426 |        0 |        0
1109.17/1109.51	c 1109s |      23 |  3211372 |  2634538 |     1780   3430 |        0 |        0
1111.17/1111.51	c 1111s |      23 |  3217002 |  2639038 |     1780   3435 |        0 |        0
1113.17/1113.56	c 1113s |      23 |  3222279 |  2643238 |     1780   3439 |        0 |        0
1115.17/1115.57	c 1115s |      23 |  3227982 |  2647738 |     1780   3444 |        0 |        0
1117.27/1117.62	c 1117s |      23 |  3233422 |  2652138 |     1780   3448 |        0 |        0
1119.27/1119.63	c 1119s |      23 |  3238504 |  2656338 |     1780   3453 |        0 |        0
1121.27/1121.64	c 1121s |      23 |  3244290 |  2661038 |     1780   3457 |        0 |        0
1123.26/1123.67	c 1123s |      23 |  3249791 |  2665538 |     1780   3462 |        0 |        0
1125.26/1125.68	c 1125s |      23 |  3254939 |  2669738 |     1780   3466 |        0 |        0
1127.27/1127.69	c 1127s |      23 |  3260491 |  2674238 |     1780   3471 |        0 |        0
1129.37/1129.73	c 1129s |      23 |  3265881 |  2678938 |     1780   3476 |        0 |        0
1131.37/1131.76	c 1131s |      23 |  3271518 |  2683438 |     1780   3480 |        0 |        0
1133.36/1133.76	c 1133s |      23 |  3276734 |  2687638 |     1780   3484 |        0 |        0
1135.36/1135.78	c 1135s |      23 |  3282500 |  2692438 |     1780   3489 |        0 |        0
1137.46/1137.81	c 1137s |      23 |  3287510 |  2696538 |     1780   3493 |        0 |        0
1139.46/1139.82	c 1139s |      23 |  3292162 |  2700338 |     1780   3497 |        0 |        0
1141.46/1141.86	c 1141s |      23 |  3297153 |  2704338 |     1780   3501 |        0 |        0
1143.45/1143.88	c 1143s |      23 |  3301943 |  2708238 |     1780   3505 |        0 |        0
1145.45/1145.89	c 1145s |      23 |  3307373 |  2712738 |     1780   3510 |        0 |        0
1147.45/1147.89	c 1147s |      23 |  3312604 |  2717138 |     1780   3514 |        0 |        0
1149.55/1149.93	c 1149s |      23 |  3317924 |  2721638 |     1780   3519 |        0 |        0
1151.55/1151.94	c 1151s |      23 |  3323146 |  2725938 |     1780   3523 |        0 |        0
1153.55/1153.95	c 1153s |      23 |  3328526 |  2730538 |     1780   3528 |        0 |        0
1155.55/1155.97	c 1155s |      23 |  3333967 |  2735238 |     1780   3533 |        0 |        0
1157.55/1157.98	c 1157s |      23 |  3339822 |  2740538 |     1780   3538 |        0 |        0
1159.54/1159.99	c 1159s |      23 |  3345643 |  2745738 |     1780   3543 |        0 |        0
1161.64/1162.04	c 1161s |      23 |  3351506 |  2750938 |     1780   3549 |        0 |        0
1163.64/1164.06	c 1164s |      23 |  3357603 |  2755838 |     1780   3554 |        0 |        0
1165.65/1166.06	c 1166s |      23 |  3363695 |  2760738 |     1780   3558 |        0 |        0
1167.64/1168.06	c 1168s |      23 |  3369219 |  2765138 |     1780   3563 |        0 |        0
1169.74/1170.12	c 1170s |      23 |  3374526 |  2769438 |     1780   3567 |        0 |        0
1171.74/1172.14	c 1172s |      23 |  3380144 |  2774138 |     1780   3572 |        0 |        0
1173.74/1174.16	c 1174s |      23 |  3384881 |  2778138 |     1780   3576 |        0 |        0
1175.73/1176.18	c 1176s |      23 |  3389482 |  2781838 |     1780   3580 |        0 |        0
1177.74/1178.20	c 1178s |      23 |  3396113 |  2787338 |     1780   3586 |        0 |        0
1179.83/1180.23	c 1180s |      23 |  3402188 |  2792738 |     1780   3591 |        0 |        0
1181.83/1182.25	c 1182s |      23 |  3408164 |  2798038 |     1780   3596 |        0 |        0
1183.83/1184.29	c 1184s |      23 |  3413927 |  2803138 |     1780   3602 |        0 |        0
1185.93/1186.32	c 1186s |      23 |  3419571 |  2808138 |     1780   3607 |        0 |        0
1187.93/1188.33	c 1188s |      23 |  3425448 |  2813238 |     1780   3612 |        0 |        0
1189.94/1190.36	c 1190s |      23 |  3431601 |  2818638 |     1780   3617 |        0 |        0
1191.93/1192.38	c 1192s |      23 |  3437985 |  2824138 |     1780   3623 |        0 |        0
1193.92/1194.38	c 1194s |      23 |  3443918 |  2829338 |     1780   3628 |        0 |        0
1196.02/1196.41	c 1196s |      23 |  3449511 |  2833938 |     1780   3633 |        0 |        0
1198.02/1198.42	c 1198s |      23 |  3454867 |  2838238 |     1780   3637 |        0 |        0
1200.02/1200.47	c 1200s |      23 |  3460638 |  2843138 |     1780   3643 |        0 |        0
1202.03/1202.48	c 1202s |      23 |  3465631 |  2847338 |     1780   3647 |        0 |        0
1204.02/1204.49	c 1204s |      23 |  3471027 |  2851938 |     1780   3652 |        0 |        0
1206.12/1206.52	c 1206s |      23 |  3476648 |  2856638 |     1780   3656 |        0 |        0
1208.12/1208.55	c 1208s |      23 |  3482053 |  2861038 |     1780   3661 |        0 |        0
1210.12/1210.58	c 1210s |      23 |  3487513 |  2865338 |     1780   3665 |        0 |        0
1212.22/1212.61	c 1212s |      23 |  3493680 |  2870138 |     1780   3670 |        0 |        0
1214.21/1214.63	c 1214s |      23 |  3499373 |  2874738 |     1780   3675 |        0 |        0
1216.21/1216.67	c 1216s |      23 |  3505379 |  2879438 |     1780   3680 |        0 |        0
1218.31/1218.71	c 1218s |      23 |  3511735 |  2884838 |     1780   3685 |        0 |        0
1220.31/1220.72	c 1220s |      23 |  3517668 |  2889438 |     1780   3690 |        0 |        0
1222.31/1222.76	c 1222s |      23 |  3523594 |  2894038 |     1780   3695 |        0 |        0
1224.30/1224.77	c 1224s |      23 |  3529701 |  2899038 |     1780   3700 |        0 |        0
1226.30/1226.78	c 1226s |      23 |  3536472 |  2904038 |     1780   3705 |        0 |        0
1228.41/1228.81	c 1228s |      23 |  3542569 |  2908838 |     1780   3710 |        0 |        0
1230.40/1230.83	c 1230s |      23 |  3548804 |  2913438 |     1780   3714 |        0 |        0
1232.40/1232.86	c 1232s |      23 |  3554633 |  2917738 |     1780   3719 |        0 |        0
1234.40/1234.88	c 1234s |      23 |  3560130 |  2922238 |     1780   3723 |        0 |        0
1236.50/1236.90	c 1236s |      23 |  3566929 |  2927438 |     1780   3729 |        0 |        0
1238.50/1238.93	c 1238s |      23 |  3573295 |  2932438 |     1780   3734 |        0 |        0
1240.50/1240.95	c 1240s |      23 |  3579210 |  2937038 |     1780   3738 |        0 |        0
1242.50/1242.96	c 1242s |      23 |  3585036 |  2941638 |     1780   3743 |        0 |        0
1244.49/1244.98	c 1244s |      23 |  3591064 |  2946238 |     1780   3748 |        0 |        0
1246.59/1247.00	c 1246s |      23 |  3597118 |  2950838 |     1780   3753 |        0 |        0
1248.60/1249.01	c 1248s |      23 |  3603210 |  2955438 |     1780   3757 |        0 |        0
1250.60/1251.04	c 1251s |      23 |  3608726 |  2959738 |     1780   3762 |        0 |        0
1252.60/1253.07	c 1253s |      23 |  3614617 |  2964538 |     1780   3766 |        0 |        0
1254.59/1255.10	c 1255s |      23 |  3620692 |  2969938 |     1780   3772 |        0 |        0
1256.69/1257.11	c 1257s |      23 |  3626643 |  2975238 |     1780   3777 |        0 |        0
1258.69/1259.14	c 1259s |      23 |  3632514 |  2980438 |     1780   3783 |        0 |        0
1260.69/1261.15	c 1261s |      23 |  3639161 |  2985538 |     1780   3788 |        0 |        0
1262.68/1263.20	c 1263s |      23 |  3645730 |  2990638 |     1780   3793 |        0 |        0
1264.78/1265.23	c 1265s |      23 |  3652184 |  2995538 |     1780   3798 |        0 |        0
1266.79/1267.23	c 1267s |      23 |  3658720 |  3000438 |     1780   3803 |        0 |        0
1268.78/1269.25	c 1269s |      23 |  3665134 |  3005238 |     1780   3808 |        0 |        0
1270.78/1271.28	c 1271s |      23 |  3671654 |  3010838 |     1780   3813 |        0 |        0
1272.78/1273.29	c 1273s |      23 |  3677593 |  3015438 |     1780   3818 |        0 |        0
1274.88/1275.30	c 1275s |      23 |  3683978 |  3020238 |     1780   3823 |        0 |        0
1276.87/1277.31	c 1277s |      23 |  3690651 |  3025938 |     1780   3829 |        0 |        0
1278.88/1279.34	c 1279s |      23 |  3697577 |  3030838 |     1780   3834 |        0 |        0
1280.87/1281.35	c 1281s |      23 |  3704155 |  3035838 |     1780   3839 |        0 |        0
1282.87/1283.39	c 1283s |      23 |  3710213 |  3040538 |     1780   3844 |        0 |        0
1284.97/1285.42	c 1285s |      23 |  3716596 |  3045438 |     1780   3849 |        0 |        0
1286.97/1287.45	c 1287s |      23 |  3722141 |  3049738 |     1780   3853 |        0 |        0
1288.97/1289.49	c 1289s |      23 |  3727813 |  3054138 |     1780   3857 |        0 |        0
1290.97/1291.50	c 1291s |      23 |  3733160 |  3058238 |     1780   3862 |        0 |        0
1293.06/1293.54	c 1293s |      23 |  3738581 |  3062438 |     1780   3866 |        0 |        0
1295.06/1295.59	c 1295s |      23 |  3744298 |  3067038 |     1780   3871 |        0 |        0
1297.16/1297.63	c 1297s |      23 |  3750148 |  3071638 |     1780   3875 |        0 |        0
1299.16/1299.64	c 1299s |      23 |  3755528 |  3075938 |     1780   3880 |        0 |        0
1301.16/1301.65	c 1301s |      23 |  3761332 |  3080738 |     1780   3884 |        0 |        0
1303.16/1303.65	c 1303s |      23 |  3767509 |  3085438 |     1780   3889 |        0 |        0
1305.16/1305.65	c 1305s |      23 |  3773650 |  3090338 |     1780   3894 |        0 |        0
1307.16/1307.68	c 1307s |      23 |  3779215 |  3094638 |     1780   3899 |        0 |        0
1309.26/1309.71	c 1309s |      23 |  3785516 |  3099438 |     1780   3903 |        0 |        0
1311.26/1311.73	c 1311s |      23 |  3791014 |  3103638 |     1780   3908 |        0 |        0
1313.25/1313.74	c 1313s |      23 |  3796871 |  3108238 |     1780   3912 |        0 |        0
1315.26/1315.79	c 1315s |      23 |  3801930 |  3112338 |     1780   3917 |        0 |        0
1317.25/1317.80	c 1317s |      23 |  3806928 |  3116238 |     1780   3920 |        0 |        0
1319.35/1319.81	c 1319s |      23 |  3812954 |  3121138 |     1780   3925 |        0 |        0
1321.35/1321.85	c 1321s |      23 |  3819304 |  3126038 |     1780   3930 |        0 |        0
1323.34/1323.86	c 1323s |      23 |  3825161 |  3130638 |     1780   3935 |        0 |        0
1325.34/1325.89	c 1325s |      23 |  3831474 |  3136038 |     1780   3941 |        0 |        0
1327.35/1327.89	c 1327s |      23 |  3837944 |  3141638 |     1780   3946 |        0 |        0
1329.45/1329.93	c 1329s |      23 |  3844768 |  3146838 |     1780   3951 |        0 |        0
1331.44/1331.96	c 1331s |      23 |  3850402 |  3151238 |     1780   3956 |        0 |        0
1333.54/1334.00	c 1333s |      23 |  3856279 |  3155838 |     1780   3960 |        0 |        0
1335.54/1336.00	c 1335s |      23 |  3862011 |  3160338 |     1780   3965 |        0 |        0
1337.53/1338.03	c 1337s |      23 |  3867608 |  3164938 |     1780   3969 |        0 |        0
1339.53/1340.05	c 1340s |      23 |  3873332 |  3169438 |     1780   3974 |        0 |        0
1341.54/1342.08	c 1342s |      23 |  3878828 |  3173838 |     1780   3978 |        0 |        0
1343.63/1344.10	c 1344s |      23 |  3884513 |  3178338 |     1780   3983 |        0 |        0
1345.63/1346.11	c 1346s |      23 |  3890162 |  3182838 |     1780   3988 |        0 |        0
1347.63/1348.15	c 1348s |      23 |  3895789 |  3187338 |     1780   3992 |        0 |        0
1349.63/1350.17	c 1350s |      23 |  3901066 |  3191638 |     1780   3997 |        0 |        0
1351.73/1352.22	c 1352s |      23 |  3906176 |  3195738 |     1780   4001 |        0 |        0
1353.73/1354.26	c 1354s |      23 |  3912505 |  3200238 |     1780   4005 |        0 |        0
1355.72/1356.27	c 1356s |      23 |  3918048 |  3204638 |     1780   4010 |        0 |        0
1357.72/1358.29	c 1358s |      23 |  3923992 |  3209138 |     1780   4014 |        0 |        0
1359.82/1360.34	c 1360s |      23 |  3929070 |  3212938 |     1780   4018 |        0 |        0
1361.82/1362.38	c 1362s |      23 |  3935321 |  3218238 |     1780   4024 |        0 |        0
1363.82/1364.39	c 1364s |      23 |  3941504 |  3222938 |     1780   4028 |        0 |        0
1365.92/1366.41	c 1366s |      23 |  3947172 |  3227238 |     1780   4033 |        0 |        0
1367.93/1368.43	c 1368s |      23 |  3952471 |  3231438 |     1780   4037 |        0 |        0
1369.92/1370.45	c 1370s |      23 |  3957707 |  3235538 |     1780   4041 |        0 |        0
1371.92/1372.48	c 1372s |      23 |  3963282 |  3239838 |     1780   4045 |        0 |        0
1373.92/1374.49	c 1374s |      23 |  3969396 |  3244538 |     1780   4050 |        0 |        0
1376.02/1376.50	c 1376s |      23 |  3974867 |  3248738 |     1780   4054 |        0 |        0
1378.02/1378.52	c 1378s |      23 |  3980078 |  3252738 |     1780   4059 |        0 |        0
1380.03/1380.55	c 1380s |      23 |  3986160 |  3257338 |     1780   4063 |        0 |        0
1382.02/1382.59	c 1382s |      23 |  3991512 |  3261538 |     1780   4067 |        0 |        0
1384.12/1384.61	c 1384s |      23 |  3996226 |  3265338 |     1780   4071 |        0 |        0
1386.12/1386.65	c 1386s |      23 |  4002464 |  3269838 |     1780   4076 |        0 |        0
1388.12/1388.66	c 1388s |      23 |  4007895 |  3274038 |     1780   4080 |        0 |        0
1390.13/1390.67	c 1390s |      23 |  4013880 |  3278438 |     1780   4085 |        0 |        0
1392.13/1392.68	c 1392s |      23 |  4019251 |  3282538 |     1780   4089 |        0 |        0
1394.23/1394.72	c 1394s |      23 |  4023804 |  3286038 |     1780   4092 |        0 |        0
1396.22/1396.74	c 1396s |      23 |  4030563 |  3290538 |     1780   4097 |        0 |        0
1398.22/1398.76	c 1398s |      23 |  4036773 |  3295138 |     1780   4102 |        0 |        0
1400.22/1400.77	c 1400s |      23 |  4042386 |  3299538 |     1780   4106 |        0 |        0
1402.22/1402.78	c 1402s |      23 |  4048171 |  3303938 |     1780   4111 |        0 |        0
1404.33/1404.81	c 1404s |      23 |  4053944 |  3308338 |     1780   4115 |        0 |        0
1406.32/1406.83	c 1406s |      23 |  4060479 |  3313138 |     1780   4120 |        0 |        0
1408.32/1408.85	c 1408s |      23 |  4066906 |  3318138 |     1780   4125 |        0 |        0
1410.32/1410.88	c 1410s |      23 |  4073232 |  3322838 |     1780   4130 |        0 |        0
1412.32/1412.88	c 1412s |      23 |  4078576 |  3327138 |     1780   4135 |        0 |        0
1414.32/1414.89	c 1414s |      23 |  4084244 |  3331438 |     1780   4139 |        0 |        0
1416.33/1416.90	c 1416s |      23 |  4090249 |  3336038 |     1780   4144 |        0 |        0
1418.42/1418.91	c 1418s |      23 |  4095467 |  3340238 |     1780   4148 |        0 |        0
1420.42/1420.94	c 1420s |      23 |  4100882 |  3344438 |     1780   4153 |        0 |        0
1422.42/1422.94	c 1422s |      23 |  4106282 |  3348638 |     1780   4157 |        0 |        0
1424.42/1424.97	c 1424s |      23 |  4113480 |  3353938 |     1959   4162 |        0 |        0
1426.42/1426.98	c 1426s |      23 |  4120088 |  3358838 |     1959   4167 |        0 |        0
1428.53/1429.02	c 1428s |      23 |  4126464 |  3363538 |     1959   4171 |        0 |        0
1430.52/1431.03	c 1430s |      23 |  4132030 |  3367738 |     1959   4175 |        0 |        0
1432.52/1433.05	c 1433s |      23 |  4137271 |  3371938 |     1959   4179 |        0 |        0
1434.62/1435.10	c 1435s |      23 |  4142804 |  3376338 |     1959   4183 |        0 |        0
1434.72/1435.26	c 1435s |      24 |  4143223 |  3376662 |     1959   4184 |        0 |        0
1436.72/1437.28	c 1437s |      24 |  4153065 |  3381462 |     1959   4188 |        0 |        0
1438.72/1439.29	c 1439s |      24 |  4161809 |  3385862 |     1959   4192 |        0 |        0
1440.82/1441.33	c 1441s |      24 |  4167746 |  3390162 |     1959   4196 |        0 |        0
1442.82/1443.36	c 1443s |      24 |  4172125 |  3393662 |     1959   4199 |        0 |        0
1444.81/1445.38	c 1445s |      24 |  4177018 |  3397662 |     1959   4203 |        0 |        0
1446.81/1447.39	c 1447s |      24 |  4182547 |  3401862 |     1959   4207 |        0 |        0
1448.91/1449.45	c 1449s |      24 |  4188746 |  3406262 |     1959   4211 |        0 |        0
1450.91/1451.48	c 1451s |      24 |  4194316 |  3410562 |     1959   4215 |        0 |        0
1452.91/1453.48	c 1453s |      24 |  4198783 |  3414362 |     1959   4219 |        0 |        0
1454.92/1455.49	c 1455s |      24 |  4203792 |  3418262 |     1959   4222 |        0 |        0
1456.91/1457.50	c 1457s |      24 |  4208738 |  3422162 |     1959   4226 |        0 |        0
1459.01/1459.53	c 1459s |      24 |  4214486 |  3425862 |     1959   4229 |        0 |        0
1461.01/1461.57	c 1461s |      24 |  4219894 |  3430262 |     1959   4233 |        0 |        0
1463.01/1463.57	c 1463s |      24 |  4225761 |  3433862 |     1959   4237 |        0 |        0
1465.11/1465.60	c 1465s |      24 |  4230064 |  3437362 |     1959   4240 |        0 |        0
1467.11/1467.61	c 1467s |      24 |  4235375 |  3441262 |     1959   4244 |        0 |        0
1469.11/1469.61	c 1469s |      24 |  4239478 |  3444362 |     1959   4247 |        0 |        0
1471.11/1471.66	c 1471s |      24 |  4244463 |  3448062 |     1959   4250 |        0 |        0
1473.11/1473.68	c 1473s |      24 |  4250002 |  3451962 |     1959   4254 |        0 |        0
1475.21/1475.74	c 1475s |      24 |  4255721 |  3455962 |     1959   4258 |        0 |        0
1477.21/1477.75	c 1477s |      24 |  4261523 |  3460362 |     1959   4262 |        0 |        0
1479.21/1479.75	c 1479s |      24 |  4268869 |  3464862 |     1959   4266 |        0 |        0
1481.21/1481.79	c 1481s |      24 |  4273999 |  3469162 |     1959   4270 |        0 |        0
1483.31/1483.82	c 1483s |      24 |  4279937 |  3473762 |     1959   4274 |        0 |        0
1485.31/1485.82	c 1485s |      24 |  4283942 |  3477162 |     1959   4277 |        0 |        0
1487.30/1487.85	c 1487s |      24 |  4289104 |  3481162 |     1959   4281 |        0 |        0
1489.30/1489.88	c 1489s |      24 |  4295402 |  3485362 |     1959   4285 |        0 |        0
1491.40/1491.90	c 1491s |      24 |  4302232 |  3489762 |     1959   4289 |        0 |        0
1493.41/1493.94	c 1493s |      24 |  4307837 |  3493862 |     1959   4293 |        0 |        0
1495.40/1495.95	c 1495s |      24 |  4312859 |  3497662 |     1959   4296 |        0 |        0
1497.40/1497.96	c 1497s |      24 |  4317764 |  3501462 |     1959   4300 |        0 |        0
1499.40/1499.98	c 1499s |      24 |  4324108 |  3506062 |     1959   4304 |        0 |        0
1501.50/1502.00	c 1501s |      24 |  4329934 |  3510062 |     1959   4308 |        0 |        0
1503.50/1504.07	c 1504s |      24 |  4335239 |  3513762 |     1959   4311 |        0 |        0
1505.51/1506.09	c 1506s |      24 |  4341501 |  3517862 |     1959   4315 |        0 |        0
1507.50/1508.10	c 1508s |      24 |  4348305 |  3522562 |     1959   4320 |        0 |        0
1509.60/1510.10	c 1510s |      24 |  4354100 |  3526762 |     1959   4324 |        0 |        0
1511.60/1512.16	c 1512s |      24 |  4359810 |  3530962 |     1959   4328 |        0 |        0
1513.60/1514.16	c 1514s |      24 |  4365529 |  3534962 |     1959   4331 |        0 |        0
1515.70/1516.20	c 1516s |      24 |  4370576 |  3539162 |     1959   4335 |        0 |        0
1517.70/1518.24	c 1518s |      24 |  4376885 |  3543862 |     1959   4340 |        0 |        0
1519.70/1520.26	c 1520s |      24 |  4383359 |  3548362 |     1959   4344 |        0 |        0
1521.80/1522.32	c 1522s |      24 |  4388561 |  3552362 |     1959   4348 |        0 |        0
1523.80/1524.34	c 1524s |      24 |  4393407 |  3556062 |     1959   4351 |        0 |        0
1525.80/1526.35	c 1526s |      24 |  4399569 |  3560462 |     1959   4355 |        0 |        0
1527.80/1528.36	c 1528s |      24 |  4404908 |  3564162 |     1959   4359 |        0 |        0
1529.80/1530.39	c 1530s |      24 |  4410390 |  3567862 |     1959   4362 |        0 |        0
1531.90/1532.43	c 1532s |      24 |  4416190 |  3571862 |     1959   4366 |        0 |        0
1533.90/1534.47	c 1534s |      24 |  4421170 |  3575762 |     1959   4370 |        0 |        0
1535.90/1536.48	c 1536s |      24 |  4427009 |  3579862 |     1959   4373 |        0 |        0
1538.00/1538.55	c 1538s |      24 |  4431077 |  3583162 |     1959   4376 |        0 |        0
1540.00/1540.57	c 1540s |      24 |  4435492 |  3586562 |     1959   4380 |        0 |        0
1542.00/1542.58	c 1542s |      24 |  4439905 |  3589862 |     1959   4383 |        0 |        0
1544.10/1544.61	c 1544s |      24 |  4446490 |  3594562 |     1959   4387 |        0 |        0
1546.10/1546.65	c 1546s |      24 |  4452113 |  3598762 |     1959   4391 |        0 |        0
1548.19/1548.70	c 1548s |      24 |  4457942 |  3602662 |     1959   4395 |        0 |        0
1550.19/1550.73	c 1550s |      24 |  4466741 |  3607762 |     1959   4399 |        0 |        0
1552.19/1552.76	c 1552s |      24 |  4473851 |  3612362 |     1959   4404 |        0 |        0
1554.19/1554.78	c 1554s |      24 |  4480302 |  3616862 |     1959   4408 |        0 |        0
1556.19/1556.78	c 1556s |      24 |  4485354 |  3620162 |     1959   4411 |        0 |        0
1558.30/1558.81	c 1558s |      24 |  4492776 |  3624562 |     1959   4415 |        0 |        0
1560.29/1560.86	c 1560s |      24 |  4498093 |  3628862 |     1959   4419 |        0 |        0
1562.29/1562.86	c 1562s |      24 |  4502992 |  3632262 |     1959   4422 |        0 |        0
1564.39/1564.90	c 1564s |      24 |  4508133 |  3636062 |     1959   4426 |        0 |        0
1566.39/1566.90	c 1566s |      24 |  4513436 |  3640062 |     1959   4430 |        0 |        0
1568.39/1568.92	c 1568s |      24 |  4517589 |  3643462 |     1959   4433 |        0 |        0
1570.40/1570.95	c 1570s |      24 |  4522263 |  3646962 |     1959   4436 |        0 |        0
1572.39/1572.98	c 1572s |      24 |  4526637 |  3650062 |     1959   4439 |        0 |        0
1574.49/1575.03	c 1574s |      24 |  4532113 |  3653962 |     1959   4443 |        0 |        0
1576.49/1577.04	c 1577s |      24 |  4536952 |  3657462 |     1959   4446 |        0 |        0
1578.49/1579.07	c 1579s |      24 |  4542793 |  3661062 |     1959   4449 |        0 |        0
1580.60/1581.15	c 1581s |      24 |  4548204 |  3664562 |     1959   4453 |        0 |        0
1582.60/1583.18	c 1583s |      24 |  4553784 |  3668262 |     1959   4456 |        0 |        0
1584.60/1585.19	c 1585s |      24 |  4561263 |  3673862 |     1959   4461 |        0 |        0
1586.70/1587.20	c 1587s |      24 |  4568664 |  3678962 |     1959   4466 |        0 |        0
1588.70/1589.23	c 1589s |      24 |  4575576 |  3683862 |     1959   4471 |        0 |        0
1590.70/1591.27	c 1591s |      24 |  4582282 |  3688462 |     1959   4475 |        0 |        0
1592.69/1593.27	c 1593s |      24 |  4588805 |  3692862 |     1959   4479 |        0 |        0
1594.79/1595.32	c 1595s |      24 |  4594608 |  3697162 |     1959   4483 |        0 |        0
1596.80/1597.33	c 1597s |      24 |  4598426 |  3700362 |     1959   4486 |        0 |        0
1598.79/1599.37	c 1599s |      24 |  4603070 |  3703962 |     1959   4489 |        0 |        0
1600.79/1601.39	c 1601s |      24 |  4609155 |  3708462 |     1959   4494 |        0 |        0
1602.89/1603.40	c 1603s |      24 |  4617066 |  3712762 |     1959   4498 |        0 |        0
1604.89/1605.42	c 1605s |      24 |  4624346 |  3717262 |     1959   4502 |        0 |        0
1606.89/1607.45	c 1607s |      24 |  4631065 |  3721962 |     1959   4506 |        0 |        0
1608.90/1609.46	c 1609s |      24 |  4636977 |  3726162 |     1959   4510 |        0 |        0
1610.89/1611.49	c 1611s |      24 |  4641511 |  3729862 |     1959   4514 |        0 |        0
1612.99/1613.52	c 1613s |      24 |  4647347 |  3733562 |     1959   4517 |        0 |        0
1614.99/1615.54	c 1615s |      24 |  4653293 |  3737062 |     1959   4520 |        0 |        0
1616.99/1617.57	c 1617s |      24 |  4658499 |  3740662 |     1959   4524 |        0 |        0
1618.99/1619.57	c 1619s |      24 |  4663249 |  3744062 |     1959   4527 |        0 |        0
1620.99/1621.59	c 1621s |      24 |  4669444 |  3748162 |     1959   4531 |        0 |        0
1623.09/1623.62	c 1623s |      24 |  4675448 |  3753062 |     1959   4535 |        0 |        0
1625.09/1625.64	c 1625s |      24 |  4681151 |  3757762 |     1959   4540 |        0 |        0
1627.09/1627.67	c 1627s |      24 |  4686864 |  3762562 |     1959   4544 |        0 |        0
1629.19/1629.71	c 1629s |      24 |  4691721 |  3766662 |     1959   4548 |        0 |        0
1631.19/1631.76	c 1631s |      24 |  4696358 |  3770762 |     1959   4552 |        0 |        0
1633.19/1633.78	c 1633s |      24 |  4701126 |  3774862 |     1959   4555 |        0 |        0
1635.29/1635.80	c 1635s |      24 |  4705838 |  3778962 |     1959   4559 |        0 |        0
1637.29/1637.85	c 1637s |      24 |  4710083 |  3782762 |     1959   4563 |        0 |        0
1639.28/1639.88	c 1639s |      24 |  4714875 |  3786762 |     1959   4566 |        0 |        0
1641.28/1641.89	c 1641s |      24 |  4720720 |  3791362 |     1959   4571 |        0 |        0
1643.38/1643.91	c 1643s |      24 |  4727497 |  3795862 |     1959   4575 |        0 |        0
1645.38/1645.94	c 1645s |      24 |  4735151 |  3800862 |     1959   4580 |        0 |        0
1647.39/1647.98	c 1647s |      24 |  4742245 |  3805762 |     1959   4584 |        0 |        0
1649.49/1650.02	c 1649s |      24 |  4748377 |  3810362 |     1959   4588 |        0 |        0
1651.48/1652.08	c 1652s |      24 |  4754336 |  3814662 |     1959   4592 |        0 |        0
1653.58/1654.10	c 1654s |      24 |  4760233 |  3819162 |     1959   4597 |        0 |        0
1655.58/1656.12	c 1656s |      24 |  4765816 |  3823462 |     1959   4601 |        0 |        0
1657.58/1658.16	c 1658s |      24 |  4772150 |  3827762 |     1959   4605 |        0 |        0
1659.68/1660.20	c 1660s |      24 |  4778097 |  3832062 |     1959   4609 |        0 |        0
1661.69/1662.21	c 1662s |      24 |  4784911 |  3836762 |     1959   4613 |        0 |        0
1663.68/1664.25	c 1664s |      24 |  4789991 |  3840762 |     1959   4617 |        0 |        0
1665.68/1666.28	c 1666s |      24 |  4795585 |  3844162 |     1959   4620 |        0 |        0
1667.78/1668.30	c 1668s |      24 |  4801450 |  3848862 |     1959   4624 |        0 |        0
1669.78/1670.34	c 1670s |      24 |  4805946 |  3852762 |     1959   4628 |        0 |        0
1671.78/1672.36	c 1672s |      24 |  4810241 |  3856462 |     1959   4631 |        0 |        0
1673.78/1674.38	c 1674s |      24 |  4814885 |  3860362 |     1959   4635 |        0 |        0
1675.78/1676.39	c 1676s |      24 |  4820521 |  3864862 |     1959   4639 |        0 |        0
1677.88/1678.42	c 1678s |      24 |  4825348 |  3868862 |     1959   4643 |        0 |        0
1679.88/1680.44	c 1680s |      24 |  4830401 |  3873062 |     1959   4647 |        0 |        0
1681.88/1682.47	c 1682s |      24 |  4835683 |  3877062 |     1959   4651 |        0 |        0
1683.88/1684.49	c 1684s |      24 |  4839762 |  3880562 |     1959   4654 |        0 |        0
1685.88/1686.49	c 1686s |      24 |  4844398 |  3884362 |     1959   4657 |        0 |        0
1687.88/1688.50	c 1688s |      24 |  4849598 |  3888562 |     1959   4661 |        0 |        0
1689.98/1690.52	c 1690s |      24 |  4855268 |  3892962 |     1959   4665 |        0 |        0
1691.97/1692.52	c 1692s |      24 |  4861155 |  3897662 |     1959   4670 |        0 |        0
1693.97/1694.53	c 1694s |      24 |  4867541 |  3902562 |     1959   4674 |        0 |        0
1695.97/1696.56	c 1696s |      24 |  4873572 |  3907162 |     1959   4679 |        0 |        0
1697.98/1698.58	c 1698s |      24 |  4879162 |  3911862 |     1959   4683 |        0 |        0
1699.97/1700.59	c 1700s |      24 |  4884471 |  3916262 |     1959   4687 |        0 |        0
1702.07/1702.64	c 1702s |      24 |  4889475 |  3920562 |     1959   4691 |        0 |        0
1704.07/1704.65	c 1704s |      24 |  4894963 |  3925062 |     1959   4695 |        0 |        0
1706.07/1706.68	c 1706s |      24 |  4901295 |  3930062 |     1959   4700 |        0 |        0
1708.17/1708.71	c 1708s |      24 |  4907073 |  3934762 |     1959   4704 |        0 |        0
1710.17/1710.71	c 1710s |      24 |  4912291 |  3938962 |     1959   4708 |        0 |        0
1712.18/1712.74	c 1712s |      24 |  4917900 |  3943462 |     1959   4712 |        0 |        0
1714.17/1714.75	c 1714s |      24 |  4924397 |  3948562 |     1959   4717 |        0 |        0
1716.17/1716.78	c 1716s |      24 |  4930699 |  3953262 |     1959   4722 |        0 |        0
1718.17/1718.78	c 1718s |      24 |  4936446 |  3957762 |     1959   4726 |        0 |        0
1720.17/1720.78	c 1720s |      24 |  4941768 |  3961962 |     1959   4730 |        0 |        0
1722.27/1722.81	c 1722s |      24 |  4947343 |  3966362 |     1959   4734 |        0 |        0
1724.27/1724.83	c 1724s |      24 |  4953021 |  3970762 |     1959   4738 |        0 |        0
1726.27/1726.87	c 1726s |      24 |  4957837 |  3974762 |     1959   4742 |        0 |        0
1728.37/1728.90	c 1728s |      24 |  4962990 |  3978962 |     1959   4745 |        0 |        0
1730.37/1730.91	c 1730s |      24 |  4967875 |  3982862 |     1959   4749 |        0 |        0
1732.37/1732.94	c 1732s |      24 |  4972954 |  3987062 |     1959   4753 |        0 |        0
1734.37/1734.97	c 1734s |      24 |  4978439 |  3991162 |     1959   4757 |        0 |        0
1736.37/1736.98	c 1736s |      24 |  4983885 |  3995362 |     1959   4761 |        0 |        0
1738.47/1739.01	c 1738s |      24 |  4988054 |  3998862 |     1959   4764 |        0 |        0
1740.47/1741.03	c 1740s |      24 |  4993812 |  4003162 |     1959   4768 |        0 |        0
1742.47/1743.04	c 1743s |      24 |  4998271 |  4006862 |     1959   4772 |        0 |        0
1744.47/1745.05	c 1745s |      24 |  5002114 |  4010162 |     1959   4775 |        0 |        0
1746.57/1747.11	c 1747s |      24 |  5007061 |  4014162 |     1959   4778 |        0 |        0
1748.57/1749.16	c 1749s |      24 |  5011716 |  4017962 |     1959   4782 |        0 |        0
1750.56/1751.19	c 1751s |      24 |  5016374 |  4021462 |     1959   4785 |        0 |        0
1752.66/1753.23	c 1753s |      24 |  5021167 |  4025262 |     1959   4789 |        0 |        0
1754.66/1755.26	c 1755s |      24 |  5025658 |  4029062 |     1959   4792 |        0 |        0
1756.66/1757.29	c 1757s |      24 |  5031096 |  4033062 |     1959   4796 |        0 |        0
1758.66/1759.29	c 1759s |      24 |  5036476 |  4037062 |     1959   4800 |        0 |        0
1760.76/1761.30	c 1761s |      24 |  5041914 |  4041562 |     1959   4804 |        0 |        0
1762.77/1763.32	c 1763s |      24 |  5047152 |  4045962 |     1959   4808 |        0 |        0
1764.76/1765.37	c 1765s |      24 |  5052054 |  4050162 |     1959   4812 |        0 |        0
1766.76/1767.38	c 1767s |      24 |  5056747 |  4054062 |     1959   4815 |        0 |        0
1768.76/1769.39	c 1769s |      24 |  5061375 |  4057962 |     1959   4819 |        0 |        0
1770.86/1771.42	c 1771s |      24 |  5065908 |  4061862 |     1959   4823 |        0 |        0
1772.86/1773.43	c 1773s |      24 |  5071472 |  4066462 |     1959   4827 |        0 |        0
1774.86/1775.44	c 1775s |      24 |  5076178 |  4070462 |     1959   4831 |        0 |        0
1776.86/1777.46	c 1777s |      24 |  5081572 |  4074762 |     1959   4835 |        0 |        0
1778.86/1779.49	c 1779s |      24 |  5086812 |  4079162 |     1959   4839 |        0 |        0
1780.96/1781.50	c 1781s |      24 |  5092263 |  4083462 |     1959   4843 |        0 |        0
1782.96/1783.52	c 1783s |      24 |  5097182 |  4087562 |     1959   4846 |        0 |        0
1784.96/1785.56	c 1785s |      24 |  5101906 |  4091462 |     1959   4850 |        0 |        0
1786.96/1787.57	c 1787s |      24 |  5107114 |  4095462 |     1959   4854 |        0 |        0
1789.06/1789.60	c 1789s |      24 |  5111919 |  4099462 |     1959   4858 |        0 |        0
1791.06/1791.60	c 1791s |      24 |  5116666 |  4103462 |     1959   4861 |        0 |        0
1793.06/1793.64	c 1793s |      24 |  5121928 |  4107562 |     1959   4865 |        0 |        0
1795.06/1795.66	c 1795s |      24 |  5127292 |  4111962 |     1959   4869 |        0 |        0
1797.06/1797.67	c 1797s |      24 |  5131907 |  4115862 |     1959   4873 |        0 |        0
1799.06/1799.67	c 1799s |      24 |  5136316 |  4119262 |     1959   4876 |        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-4109158-1466341813/watcher-4109158-1466341813 -o /tmp/evaluation-result-4109158-1466341813/solver-4109158-1466341813 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466341813-848 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109158-1466341813.wbo 

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

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


[startup+0 s]
/proc/loadavg: 0.16 0.03 0.01 3/182 881
/proc/meminfo: memFree=31555888/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=323004 CPUtime=0 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 1134 0 0 0 0 0 0 0 20 0 4 0 36227261 330756096 983 33554432000 4194304 16246674 140733583264672 140733583264096 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 81263 993 441 2943 0 78157 0
[pid=881/tid=882] ppid=878 vsize=592316 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 606531584 2037 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=596412 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 610725888 2054 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=601532 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36227261 615968768 2074 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 0.16 0.03 0.01 3/182 881
/proc/meminfo: memFree=31555888/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 28055 0 0 0 5 4 0 0 20 0 4 0 36227261 1247350784 27891 33554432000 4194304 16246674 140733583264672 140733583246592 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 304529 27905 807 2943 0 301423 0
[pid=881/tid=882] ppid=878 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1247350784 27914 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1247350784 27918 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36227261 1247350784 27923 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200461 s]
/proc/loadavg: 0.16 0.03 0.01 3/182 881
/proc/meminfo: memFree=31555888/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 57050 0 0 0 11 8 0 0 20 0 4 0 36227261 1247350784 56885 33554432000 4194304 16246674 140733583264672 140733583246592 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 304529 56896 813 2943 0 301423 0
[pid=881/tid=882] ppid=878 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1247350784 56904 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1247350784 56912 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36227261 1247350784 56923 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300466 s]
/proc/loadavg: 0.16 0.03 0.01 3/182 881
/proc/meminfo: memFree=31555888/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 85410 0 0 0 18 11 0 0 20 0 4 0 36227261 1247350784 85246 33554432000 4194304 16246674 140733583264672 140733583246592 5530837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 304529 85261 813 2943 0 301423 0
[pid=881/tid=882] ppid=878 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1247350784 85271 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1247350784 85275 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36227261 1247350784 85278 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70038 s]
/proc/loadavg: 0.16 0.03 0.01 3/182 881
/proc/meminfo: memFree=31555888/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 197803 0 0 0 45 24 0 0 20 0 4 0 36227261 1247350784 197638 33554432000 4194304 16246674 140733583264672 140733583246592 5587389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 304529 197643 813 2943 0 301423 0
[pid=881/tid=882] ppid=878 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1247350784 197649 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1247350784 197658 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36227261 1247350784 197668 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 0.16 0.03 0.01 3/186 885
/proc/meminfo: memFree=29667680/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1305156 CPUtime=1.48 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 267353 0 0 0 115 33 0 0 20 0 4 0 36227261 1336479744 267166 33554432000 4194304 16246674 140733583264672 140733583246592 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 326289 267166 872 2943 0 323183 0
[pid=881/tid=882] ppid=878 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1336479744 267166 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1336479744 267166 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227261 1336479744 267166 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1305156

[startup+3.10041 s]
/proc/loadavg: 0.16 0.03 0.01 3/186 885
/proc/meminfo: memFree=29494716/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 267601 0 0 0 275 33 0 0 20 0 4 0 36227261 1337528320 267414 33554432000 4194304 16246674 140733583264672 140733583246592 12483399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 326545 267414 872 2943 0 323439 0
[pid=881/tid=882] ppid=878 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1337528320 267414 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1337528320 267414 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227261 1337528320 267414 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 0.31 0.07 0.02 3/186 885
/proc/meminfo: memFree=29492860/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 267647 0 0 0 595 33 0 0 20 0 4 0 36227261 1337528320 267460 33554432000 4194304 16246674 140733583264672 140733583246592 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 326545 267460 873 2943 0 323439 0
[pid=881/tid=882] ppid=878 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1337528320 267460 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1337528320 267460 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227261 1337528320 267460 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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: 0.44 0.10 0.03 3/186 885
/proc/meminfo: memFree=29490896/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 267647 0 0 0 1235 34 0 0 20 0 4 0 36227261 1337528320 267460 33554432000 4194304 16246674 140733583264672 140733583246592 5823516 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 326545 267460 873 2943 0 323439 0
[pid=881/tid=882] ppid=878 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1337528320 267460 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1337528320 267460 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227261 1337528320 267460 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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: 0.79 0.19 0.06 3/186 885
/proc/meminfo: memFree=29485440/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 267922 0 0 0 2515 34 0 0 20 0 4 0 36227261 1338576896 267735 33554432000 4194304 16246674 140733583264672 140733583246592 5672201 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 326801 267735 873 2943 0 323695 0
[pid=881/tid=882] ppid=878 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1338576896 267735 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1338576896 267735 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227261 1338576896 267735 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 1.20 0.33 0.11 3/185 885
/proc/meminfo: memFree=29485796/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 267922 0 0 0 5074 34 0 0 20 0 4 0 36227261 1338576896 267735 33554432000 4194304 16246674 140733583264672 140733583246592 5721512 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 326801 267735 873 2943 0 323695 0
[pid=881/tid=882] ppid=878 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1338576896 267735 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1338576896 267735 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227261 1338576896 267735 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 1.65 0.59 0.21 3/185 886
/proc/meminfo: memFree=29483096/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 267923 0 0 0 10193 34 0 0 20 0 4 0 36227261 1338576896 267736 33554432000 4194304 16246674 140733583264672 140733583247672 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 326801 267736 874 2943 0 323695 0
[pid=881/tid=882] ppid=878 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1338576896 267736 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1338576896 267736 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227261 1338576896 267736 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.13 2.01 1.50 3/185 916
/proc/meminfo: memFree=29460416/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1315396 CPUtime=1301.86 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 270392 0 0 0 130142 44 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 140733583246592 4222022 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 328849 270042 876 2943 0 325743 0
[pid=881/tid=882] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.14 2.03 1.54 3/186 918
/proc/meminfo: memFree=29460432/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1315396 CPUtime=1361.82 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 270437 0 0 0 136138 44 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 140733583247672 5823428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 328849 270042 876 2943 0 325743 0
[pid=881/tid=882] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.14 2.05 1.57 3/184 920
/proc/meminfo: memFree=29461552/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1315396 CPUtime=1421.82 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 270440 0 0 0 142137 45 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 140733583246592 5861736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 328849 270042 876 2943 0 325743 0
[pid=881/tid=882] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.20 2.09 1.61 3/185 922
/proc/meminfo: memFree=29461028/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1315396 CPUtime=1481.81 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 270440 0 0 0 148136 45 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 140733583246592 13950188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 328849 270042 876 2943 0 325743 0
[pid=881/tid=882] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.10 2.08 1.64 3/185 923
/proc/meminfo: memFree=29461036/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1315396 CPUtime=1541.8 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 270440 0 0 0 154135 45 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 140733583246592 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 328849 270042 876 2943 0 325743 0
[pid=881/tid=882] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.04 2.06 1.66 3/185 924
/proc/meminfo: memFree=29460660/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1315396 CPUtime=1601.79 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 270440 0 0 0 160133 46 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 140733583246592 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 328849 270042 876 2943 0 325743 0
[pid=881/tid=882] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.13 2.08 1.69 3/185 925
/proc/meminfo: memFree=29460780/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1315396 CPUtime=1661.78 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 270440 0 0 0 166132 46 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 140733583246592 13191840 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 328849 270042 876 2943 0 325743 0
[pid=881/tid=882] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.11 2.08 1.71 3/185 927
/proc/meminfo: memFree=29460884/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1315396 CPUtime=1721.77 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 270440 0 0 0 172131 46 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 140733583247672 5721571 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 328849 270042 876 2943 0 325743 0
[pid=881/tid=882] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 1.73 3/185 928
/proc/meminfo: memFree=29460140/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1315396 CPUtime=1781.76 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 270440 0 0 0 178130 46 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 140733583246592 13191512 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 328849 270042 876 2943 0 325743 0
[pid=881/tid=882] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.03 2.06 1.73 3/186 931
/proc/meminfo: memFree=29460712/32872528 swapFree=8804/8804
[pid=881] ppid=878 vsize=1315396 CPUtime=1800.05 cores=0,2,4,6
/proc/881/stat : 881 (toysat) R 878 881 832 0 -1 4202496 270440 0 0 0 179959 46 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 140733583246592 5669456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/881/statm: 328849 270042 876 2943 0 325743 0
[pid=881/tid=882] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/882/stat : 882 (toysat) S 878 881 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743906999536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=881/tid=883] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/883/stat : 883 (toysat) S 878 881 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743896509680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=881/tid=884] ppid=878 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/881/task/884/stat : 884 (toysat) S 878 881 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227261 1346965504 270042 33554432000 4194304 16246674 140733583264672 139743886036144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1315396

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 881 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.6
CPU system time (s): 0.468928
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.468928
maximum resident set size= 1080168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270440
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= 480
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.80227 second user time and 7.10492 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-19 15:10:13
IDJOB=4109158
IDBENCH=78681
IDSOLVER=2553
FILE ID=node133/4109158-1466341813
RUNJOBID= node133-1466341813-848
PBS_JOBID= 19922020
Free space on /tmp= 71700 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109158-1466341813/watcher-4109158-1466341813 -o /tmp/evaluation-result-4109158-1466341813/solver-4109158-1466341813 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466341813-848 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109158-1466341813.wbo

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

MD5SUM BENCH= 240e0c6ab93eccdf0e11b05f9485880e
RANDOM SEED=1017338453

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31581968 kB
Buffers:          161536 kB
Cached:           320980 kB
SwapCached:         1408 kB
Active:           200868 kB
Inactive:         338772 kB
Active(anon):      57544 kB
Inactive(anon):     2060 kB
Active(file):     143324 kB
Inactive(file):   336712 kB
Unevictable:        8804 kB
Mlocked:            8804 kB
SwapTotal:      67108856 kB
SwapFree:       67100048 kB
Dirty:             32632 kB
Writeback:             0 kB
AnonPages:         62840 kB
Mapped:            10296 kB
Shmem:                 0 kB
Slab:             610452 kB
SReclaimable:      53988 kB
SUnreclaim:       556464 kB
KernelStack:        1360 kB
PageTables:         6612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1137556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71684 MiB
End job on node133 at 2016-06-19 15:40:14