Trace number 4105601

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.06 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_4.opb
MD5SUMd78f5121f87a7bad7fc74d5d3eacc32f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables71
Total number of constraints17
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint1
Maximum length of a constraint70
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1881
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5644
Number of bits of the biggest sum of numbers13
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-18T14:23:18+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","--pb","--search=bcd2","HOME/instance-4105601-1466252598.opb"]
0.00/0.01	c use --random-gen="336090267 1175145579 2934971633 1227814716 2160222145 1179746185 2847802862 2821223178 3304140233 2590934287 3496729645 2086382036 1195996638 75577167 2605234032 801877051 3426032339 412431795 2738066039 345125474 3652491103 1413640863 2054705666 690044805 117772072 106379117 2857649759 777181606 1016185134 2339091841 2709355253 3764671446 2269369283 3735682971 2549449275 2831582725 3539457377 3820001868 2716170362 1164954856 3769409091 1556442852 3628012045 3088805025 70445198 3445540846 4239381282 1131284813 901067990 2655944735 2704363995 2045169867 365751283 164684376 2882415888 3594808748 669496272 122068174 3085676834 1551604964 3032269207 1555141691 977670169 3259963015 3566949131 2616785038 2839141249 1462231783 937826001 2338173219 422917975 2473361976 3627789840 474333070 1236943068 978810346 3303945733 1386973 3918412656 2161670269 919044317 902991930 993598039 2996969366 3064536051 1034057420 1312919411 68856120 914493825 1568590584 309685310 1817244319 3963182589 2835474397 3830795477 2945733047 976479315 3288233366 2080176317 3628735755 4148685850 181507527 1544507985 3522403514 3737237151 4215818804 2145291170 629186007 1096071209 3192589334 1128507634 2801922425 952849907 2294493038 185277086 3942386489 377144008 860729738 4054844953 3236321107 2251480350 2394983564 3144814007 2879347743 3434203479 1916276388 2692490039 649055792 3140284968 2709316791 3321054047 3251297232 1102104755 111905571 1226446116 2678773228 2550381439 4282737104 3011733635 2442048676 1320279605 2643194439 2038798449 2561902416 1124767388 1981674105 3408246588 2518577459 2882609256 702444451 107690161 263670434 4220858500 3967049639 1971599381 3206316937 2151658230 2684364416 1129112202 319226362 1169906396 2484797384 2365982353 2159680356 2199088223 2301622069 2087966115 1679695108 1518497837 2791928833 3470971747 960178340 3558351256 39776956 954060727 850422287 3546691244 1404315496 1580610461 2072051899 1561580542 3571051369 2657349814 748916795 895862791 1976205532 1101585954 868591014 3638556811 2565376876 775487341 1560972383 4246941912 1942373449 3119143340 2226008382 3162937427 1874955217 2642608761 3587072858 3774667200 3620168123 3373460614 2775902388 1486156582 1528200680 600659266 2013833417 2332033810 1461023952 4211550327 1738574489 1824207473 508365194 498407102 2751542446 3905712948 607327178 3238576980 2350037868 3538642578 1848119334 1394213579 1815979578 2164054853 1270908480 1510315786 2596630358 1974399757 1588535579 862076437 680516438 2692949894 448831008 898925891 2874375929 3030439675 378933957 2239125042 2453487181 2093765081 4179947946 2972999085 4112385895 649920599 1544612618 1969067065 561640083 205023731 663009443 1138886092 3730665248 927449037 413500275 1953834226 2217284208 255 362436" option to reproduce the execution
0.00/0.01	c #vars 71
0.00/0.01	c #constraints 17
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       29      0 |        1 |        0
0.00/0.04	c  0.0s |       1 |      150 |      100 |       29      1 |        1 |        0
0.00/0.08	c  0.1s |       2 |      336 |      250 |       32      5 |        1 |        0
0.08/0.16	c  0.1s |       3 |      593 |      475 |       36     10 |        1 |        0
0.19/0.27	c  0.2s |       4 |      965 |      813 |       40     19 |        1 |        0
0.39/0.43	c  0.4s |       5 |     1521 |     1320 |       44     30 |        1 |        0
0.59/0.67	c  0.6s |       6 |     2347 |     2081 |       54     47 |        1 |        0
0.99/1.01	c  1.0s |       7 |     3559 |     3223 |       60     71 |        1 |        0
1.49/1.55	c  1.5s |       8 |     5346 |     4936 |       66    106 |        1 |        0
1.99/2.05	c  2.0s |       9 |     8019 |     7506 |       73    154 |        1 |        0
2.79/2.82	c  2.8s |      10 |    11991 |    11361 |       81    224 |        1 |        0
3.89/3.92	c  3.9s |      11 |    17929 |    17144 |       90    322 |        1 |        0
5.50/5.55	c  5.5s |      12 |    26704 |    25819 |      100    456 |        1 |        0
7.49/7.55	c  7.5s |      12 |    37311 |    36319 |      100    609 |        1 |        0
7.99/8.00	c  8.0s |      13 |    39852 |    38832 |      111    647 |        1 |        0
9.90/10.00	c 10.0s |      13 |    50931 |    49732 |      111    797 |        1 |        0
11.49/11.55	c 11.5s |      14 |    59715 |    58352 |      123    914 |        1 |        0
13.49/13.57	c 13.6s |      14 |    70721 |    69152 |      123   1053 |        1 |        0
15.50/15.58	c 15.6s |      14 |    82165 |    80452 |      123   1205 |        1 |        0
16.79/16.87	c 16.9s |      15 |    89451 |    87632 |      136   1299 |        1 |        0
18.79/18.88	c 18.9s |      15 |   100743 |    98732 |      136   1432 |        1 |        0
20.78/20.88	c 20.9s |      15 |   111717 |   109532 |      136   1562 |        1 |        0
22.78/22.88	c 22.9s |      15 |   122871 |   120532 |      136   1696 |        1 |        0
24.78/24.85	c 24.8s |      16 |   134033 |   131552 |      150   1831 |        1 |        0
26.78/26.86	c 26.8s |      16 |   144884 |   142152 |      150   1946 |        1 |        0
28.78/28.88	c 28.9s |      16 |   156540 |   153552 |      150   2074 |        1 |        0
30.79/30.89	c 30.9s |      16 |   167545 |   164352 |      150   2192 |        1 |        0
32.88/32.91	c 32.9s |      16 |   178816 |   175452 |      150   2319 |        1 |        0
34.88/34.92	c 34.9s |      16 |   189985 |   186452 |      150   2444 |        1 |        0
36.88/36.91	c 36.9s |      17 |   201087 |   197432 |      165   2569 |        1 |        0
38.88/38.92	c 38.9s |      17 |   211893 |   207932 |      165   2676 |        1 |        0
40.88/40.93	c 40.9s |      17 |   222901 |   218732 |      165   2786 |        1 |        0
42.88/42.94	c 42.9s |      17 |   233978 |   229632 |      165   2899 |        1 |        0
44.88/44.96	c 44.9s |      17 |   244858 |   240332 |      165   3010 |        1 |        0
46.88/46.97	c 47.0s |      17 |   255918 |   251132 |      165   3122 |        1 |        0
48.88/48.98	c 49.0s |      17 |   267358 |   262332 |      165   3239 |        1 |        0
50.88/50.99	c 51.0s |      17 |   278786 |   273532 |      165   3356 |        1 |        0
52.98/53.00	c 53.0s |      17 |   289938 |   284432 |      165   3469 |        1 |        0
54.98/55.01	c 55.0s |      17 |   300709 |   294932 |      182   3574 |        1 |        0
55.18/55.26	c 55.2s |      18 |   302068 |   296252 |      182   3587 |        1 |        0
57.18/57.27	c 57.3s |      18 |   312524 |   306452 |      182   3681 |        1 |        0
59.18/59.28	c 59.3s |      18 |   323504 |   317152 |      182   3783 |        1 |        0
61.17/61.29	c 61.3s |      18 |   334546 |   327952 |      182   3884 |        1 |        0
63.27/63.31	c 63.3s |      18 |   345955 |   339052 |      182   3990 |        1 |        0
65.27/65.32	c 65.3s |      18 |   356819 |   349652 |      182   4090 |        1 |        0
67.27/67.33	c 67.3s |      18 |   367920 |   360452 |      182   4192 |        1 |        0
69.28/69.35	c 69.3s |      18 |   379191 |   371452 |      182   4297 |        1 |        0
71.27/71.36	c 71.3s |      18 |   390408 |   382452 |      182   4403 |        1 |        0
73.28/73.37	c 73.4s |      18 |   401758 |   393652 |      182   4513 |        1 |        0
75.28/75.38	c 75.4s |      18 |   413228 |   404952 |      182   4623 |        1 |        0
77.28/77.39	c 77.4s |      18 |   423894 |   415352 |      182   4722 |        1 |        0
79.38/79.40	c 79.4s |      18 |   434767 |   426052 |      182   4824 |        1 |        0
81.39/81.42	c 81.4s |      18 |   445852 |   436952 |      182   4928 |        1 |        0
82.68/82.76	c 82.7s |      19 |   453456 |   444482 |      201   4998 |        1 |        0
84.69/84.76	c 84.7s |      19 |   464185 |   454882 |      201   5087 |        1 |        0
86.68/86.77	c 86.8s |      19 |   475046 |   465582 |      201   5179 |        1 |        0
88.68/88.78	c 88.8s |      19 |   485868 |   476282 |      201   5274 |        1 |        0
90.78/90.80	c 90.8s |      19 |   496844 |   486982 |      201   5367 |        1 |        0
92.78/92.81	c 92.8s |      19 |   507695 |   497582 |      201   5459 |        1 |        0
94.78/94.83	c 94.8s |      19 |   518951 |   508582 |      201   5555 |        1 |        0
96.78/96.83	c 96.8s |      19 |   530375 |   519782 |      201   5655 |        1 |        0
98.78/98.85	c 98.8s |      19 |   541545 |   530782 |      201   5753 |        1 |        0
100.78/100.86	c  100s |      19 |   552276 |   541382 |      201   5847 |        1 |        0
102.78/102.87	c  102s |      19 |   563339 |   552282 |      201   5944 |        1 |        0
104.78/104.88	c  104s |      19 |   573973 |   562682 |      201   6035 |        1 |        0
106.78/106.88	c  106s |      19 |   584937 |   573482 |      201   6130 |        1 |        0
108.78/108.89	c  108s |      19 |   596299 |   584482 |      201   6226 |        1 |        0
110.87/110.90	c  110s |      19 |   607282 |   595182 |      201   6320 |        1 |        0
112.87/112.91	c  112s |      19 |   618449 |   606082 |      201   6416 |        1 |        0
114.87/114.92	c  114s |      19 |   629886 |   617282 |      201   6515 |        1 |        0
116.87/116.93	c  116s |      19 |   640989 |   628182 |      201   6611 |        1 |        0
118.88/118.95	c  118s |      19 |   652375 |   639382 |      201   6712 |        1 |        0
120.87/120.96	c  120s |      19 |   663926 |   650782 |      201   6816 |        1 |        0
122.87/122.97	c  122s |      19 |   674925 |   661582 |      201   6910 |        1 |        0
123.87/123.96	c  123s |      20 |   680264 |   666827 |      222   6953 |        1 |        0
125.87/125.98	c  125s |      20 |   690891 |   677227 |      222   7036 |        1 |        0
127.87/127.98	c  127s |      20 |   701559 |   687727 |      222   7120 |        1 |        0
129.97/130.00	c  129s |      20 |   712425 |   698427 |      222   7206 |        1 |        0
131.87/132.00	c  131s |      20 |   722903 |   708727 |      222   7287 |        1 |        0
133.97/134.01	c  133s |      20 |   733744 |   719327 |      222   7371 |        1 |        0
135.97/136.01	c  135s |      20 |   745197 |   730527 |      222   7460 |        1 |        0
137.97/138.02	c  138s |      20 |   756701 |   741927 |      222   7552 |        1 |        0
139.97/140.03	c  140s |      20 |   768023 |   753027 |      222   7641 |        1 |        0
141.97/142.03	c  142s |      20 |   779032 |   763827 |      222   7728 |        1 |        0
143.97/144.04	c  144s |      20 |   789890 |   774527 |      222   7813 |        1 |        0
145.97/146.05	c  146s |      20 |   800831 |   785327 |      222   7900 |        1 |        0
147.97/148.07	c  148s |      20 |   811865 |   796227 |      222   7989 |        1 |        0
149.97/150.07	c  150s |      20 |   822926 |   807127 |      222   8076 |        1 |        0
151.96/152.07	c  152s |      20 |   833658 |   817727 |      222   8162 |        1 |        0
153.97/154.09	c  154s |      20 |   844689 |   828627 |      222   8251 |        1 |        0
156.06/156.10	c  156s |      20 |   855604 |   839427 |      222   8340 |        1 |        0
158.06/158.11	c  158s |      20 |   867149 |   850827 |      222   8432 |        1 |        0
160.06/160.12	c  160s |      20 |   878376 |   861927 |      222   8523 |        1 |        0
162.06/162.13	c  162s |      20 |   889362 |   872827 |      222   8613 |        1 |        0
164.06/164.14	c  164s |      20 |   900679 |   884027 |      222   8707 |        1 |        0
166.07/166.15	c  166s |      20 |   912233 |   895427 |      222   8802 |        1 |        0
168.06/168.16	c  168s |      20 |   923636 |   906727 |      222   8897 |        1 |        0
170.06/170.16	c  170s |      20 |   934876 |   917827 |      222   8989 |        1 |        0
172.06/172.17	c  172s |      20 |   946527 |   929027 |      222   9079 |        1 |        0
174.06/174.18	c  174s |      20 |   958285 |   940427 |      222   9171 |        1 |        0
176.07/176.19	c  176s |      20 |   969620 |   951527 |      222   9259 |        1 |        0
178.16/178.21	c  178s |      20 |   980290 |   962027 |      222   9342 |        1 |        0
180.16/180.23	c  180s |      20 |   991824 |   973327 |      222   9434 |        1 |        0
182.16/182.23	c  182s |      20 |  1002792 |   984127 |      222   9521 |        1 |        0
184.16/184.25	c  184s |      20 |  1013955 |   995127 |      245   9609 |        1 |        0
185.06/185.17	c  185s |      21 |  1019241 |  1000345 |      245   9648 |        1 |        0
187.06/187.19	c  187s |      21 |  1029785 |  1010645 |      245   9722 |        1 |        0
189.06/189.20	c  189s |      21 |  1039942 |  1020645 |      245   9794 |        1 |        0
191.16/191.21	c  191s |      21 |  1050389 |  1030945 |      245   9869 |        1 |        0
193.16/193.22	c  193s |      21 |  1061031 |  1041445 |      245   9946 |        1 |        0
195.16/195.24	c  195s |      21 |  1072040 |  1052345 |      245  10025 |        1 |        0
197.16/197.24	c  197s |      21 |  1083258 |  1063445 |      245  10105 |        1 |        0
199.17/199.25	c  199s |      21 |  1094392 |  1074445 |      245  10187 |        1 |        0
201.16/201.25	c  201s |      21 |  1104816 |  1084645 |      245  10261 |        1 |        0
203.16/203.27	c  203s |      21 |  1115412 |  1095045 |      245  10336 |        1 |        0
205.16/205.28	c  205s |      21 |  1126590 |  1106145 |      245  10418 |        1 |        0
207.16/207.29	c  207s |      21 |  1136764 |  1116145 |      245  10491 |        1 |        0
209.26/209.30	c  209s |      21 |  1147117 |  1126345 |      245  10565 |        1 |        0
211.27/211.32	c  211s |      21 |  1157551 |  1136645 |      245  10640 |        1 |        0
213.26/213.32	c  213s |      21 |  1167787 |  1146745 |      245  10714 |        1 |        0
215.26/215.32	c  215s |      21 |  1178241 |  1157045 |      245  10790 |        1 |        0
217.26/217.33	c  217s |      21 |  1188594 |  1167245 |      245  10864 |        1 |        0
219.26/219.35	c  219s |      21 |  1199556 |  1178045 |      245  10944 |        1 |        0
221.26/221.37	c  221s |      21 |  1210173 |  1188545 |      245  11021 |        1 |        0
223.26/223.37	c  223s |      21 |  1221030 |  1199245 |      245  11100 |        1 |        0
225.26/225.38	c  225s |      21 |  1232088 |  1210045 |      245  11179 |        1 |        0
227.26/227.39	c  227s |      21 |  1243177 |  1220845 |      245  11259 |        1 |        0
229.36/229.41	c  229s |      21 |  1254233 |  1231645 |      245  11339 |        1 |        0
231.35/231.41	c  231s |      21 |  1264915 |  1242145 |      245  11417 |        1 |        0
233.35/233.43	c  233s |      21 |  1275933 |  1252945 |      245  11497 |        1 |        0
235.36/235.43	c  235s |      21 |  1286863 |  1263745 |      245  11578 |        1 |        0
237.35/237.43	c  237s |      21 |  1297853 |  1274645 |      245  11660 |        1 |        0
239.35/239.45	c  239s |      21 |  1308452 |  1285145 |      245  11738 |        1 |        0
241.35/241.46	c  241s |      21 |  1319856 |  1296445 |      245  11823 |        1 |        0
243.35/243.47	c  243s |      21 |  1331355 |  1307845 |      245  11909 |        1 |        0
245.36/245.48	c  245s |      21 |  1342119 |  1318545 |      245  11990 |        1 |        0
247.46/247.50	c  247s |      21 |  1353214 |  1329545 |      245  12073 |        1 |        0
249.45/249.52	c  249s |      21 |  1364853 |  1341045 |      245  12161 |        1 |        0
251.45/251.53	c  251s |      21 |  1376031 |  1352045 |      245  12243 |        1 |        0
253.45/253.54	c  253s |      21 |  1387101 |  1362845 |      245  12322 |        1 |        0
255.45/255.55	c  255s |      21 |  1397992 |  1373545 |      245  12401 |        1 |        0
257.46/257.55	c  257s |      21 |  1409307 |  1384645 |      245  12484 |        1 |        0
259.45/259.56	c  259s |      21 |  1420303 |  1395445 |      245  12564 |        1 |        0
261.45/261.57	c  261s |      21 |  1431384 |  1406345 |      245  12644 |        1 |        0
263.45/263.58	c  263s |      21 |  1442405 |  1417145 |      245  12723 |        1 |        0
265.55/265.60	c  265s |      21 |  1453342 |  1427945 |      245  12803 |        1 |        0
267.55/267.61	c  267s |      21 |  1464151 |  1438645 |      245  12882 |        1 |        0
269.55/269.62	c  269s |      21 |  1474874 |  1449245 |      245  12960 |        1 |        0
271.54/271.64	c  271s |      21 |  1486013 |  1460245 |      245  13042 |        1 |        0
273.54/273.65	c  273s |      21 |  1497423 |  1471545 |      245  13128 |        1 |        0
275.54/275.65	c  275s |      21 |  1509129 |  1483145 |      245  13219 |        1 |        0
277.54/277.67	c  277s |      21 |  1519786 |  1493645 |      270  13293 |        1 |        0
278.94/279.00	c  278s |      22 |  1526876 |  1500622 |      270  13340 |        1 |        0
280.94/281.01	c  280s |      22 |  1537334 |  1510922 |      270  13408 |        1 |        0
282.94/283.03	c  283s |      22 |  1547900 |  1521322 |      270  13478 |        1 |        0
284.94/285.05	c  285s |      22 |  1559190 |  1532422 |      270  13553 |        1 |        0
286.93/287.06	c  287s |      22 |  1570125 |  1543222 |      270  13626 |        1 |        0
288.93/289.07	c  289s |      22 |  1580847 |  1553822 |      270  13697 |        1 |        0
290.93/291.08	c  291s |      22 |  1591440 |  1564222 |      270  13766 |        1 |        0
292.93/293.09	c  293s |      22 |  1601989 |  1574622 |      270  13835 |        1 |        0
295.03/295.10	c  295s |      22 |  1612577 |  1584922 |      270  13904 |        1 |        0
297.04/297.12	c  297s |      22 |  1623025 |  1595222 |      270  13972 |        1 |        0
299.03/299.14	c  299s |      22 |  1633446 |  1605422 |      270  14040 |        1 |        0
301.03/301.14	c  301s |      22 |  1644157 |  1615922 |      270  14110 |        1 |        0
303.03/303.16	c  303s |      22 |  1655063 |  1626622 |      270  14182 |        1 |        0
305.03/305.16	c  305s |      22 |  1665916 |  1637322 |      270  14255 |        1 |        0
307.03/307.18	c  307s |      22 |  1677160 |  1648422 |      270  14332 |        1 |        0
309.04/309.19	c  309s |      22 |  1688249 |  1659322 |      270  14405 |        1 |        0
311.03/311.19	c  311s |      22 |  1699340 |  1670222 |      270  14478 |        1 |        0
313.13/313.20	c  313s |      22 |  1710824 |  1681522 |      270  14555 |        1 |        0
315.13/315.22	c  315s |      22 |  1722728 |  1693222 |      270  14635 |        1 |        0
317.13/317.23	c  317s |      22 |  1734491 |  1704822 |      270  14714 |        1 |        0
319.13/319.25	c  319s |      22 |  1746055 |  1716222 |      270  14792 |        1 |        0
321.13/321.26	c  321s |      22 |  1757383 |  1727422 |      270  14869 |        1 |        0
323.13/323.27	c  323s |      22 |  1768938 |  1738822 |      270  14948 |        1 |        0
325.13/325.28	c  325s |      22 |  1779843 |  1749522 |      270  15020 |        1 |        0
327.13/327.29	c  327s |      22 |  1790560 |  1760022 |      270  15091 |        1 |        0
329.23/329.30	c  329s |      22 |  1801343 |  1770622 |      270  15163 |        1 |        0
331.23/331.31	c  331s |      22 |  1812371 |  1781522 |      270  15237 |        1 |        0
333.23/333.31	c  333s |      22 |  1823149 |  1792122 |      270  15310 |        1 |        0
335.22/335.32	c  335s |      22 |  1833924 |  1802722 |      270  15382 |        1 |        0
337.22/337.33	c  337s |      22 |  1844624 |  1813222 |      270  15454 |        1 |        0
339.22/339.34	c  339s |      22 |  1855446 |  1823822 |      270  15527 |        1 |        0
341.22/341.35	c  341s |      22 |  1865897 |  1834122 |      270  15597 |        1 |        0
343.23/343.36	c  343s |      22 |  1877377 |  1845422 |      270  15674 |        1 |        0
345.22/345.37	c  345s |      22 |  1889535 |  1857422 |      270  15751 |        1 |        0
347.22/347.38	c  347s |      22 |  1901785 |  1869422 |      270  15830 |        1 |        0
349.32/349.40	c  349s |      22 |  1913261 |  1880722 |      270  15904 |        1 |        0
351.32/351.41	c  351s |      22 |  1924403 |  1891722 |      270  15977 |        1 |        0
353.32/353.42	c  353s |      22 |  1935927 |  1903022 |      270  16052 |        1 |        0
355.32/355.43	c  355s |      22 |  1947884 |  1914822 |      270  16130 |        1 |        0
357.32/357.44	c  357s |      22 |  1959292 |  1926022 |      270  16204 |        1 |        0
359.32/359.46	c  359s |      22 |  1970677 |  1937222 |      270  16278 |        1 |        0
361.31/361.47	c  361s |      22 |  1982026 |  1948422 |      270  16353 |        1 |        0
363.31/363.49	c  363s |      22 |  1993525 |  1959822 |      270  16430 |        1 |        0
365.31/365.50	c  365s |      22 |  2004713 |  1970822 |      270  16504 |        1 |        0
367.42/367.51	c  367s |      22 |  2015745 |  1981622 |      270  16576 |        1 |        0
369.41/369.52	c  369s |      22 |  2026865 |  1992522 |      270  16649 |        1 |        0
371.41/371.54	c  371s |      22 |  2038194 |  2003722 |      270  16726 |        1 |        0
373.41/373.55	c  373s |      22 |  2049763 |  2015122 |      270  16801 |        1 |        0
375.41/375.56	c  375s |      22 |  2060605 |  2025822 |      270  16872 |        1 |        0
377.41/377.57	c  377s |      22 |  2071392 |  2036522 |      270  16942 |        1 |        0
379.41/379.58	c  379s |      22 |  2082188 |  2047222 |      270  17014 |        1 |        0
381.51/381.60	c  381s |      22 |  2093375 |  2058222 |      270  17088 |        1 |        0
383.50/383.61	c  383s |      22 |  2104147 |  2068922 |      270  17159 |        1 |        0
385.50/385.62	c  385s |      22 |  2114696 |  2079322 |      270  17229 |        1 |        0
387.50/387.63	c  387s |      22 |  2126013 |  2090422 |      270  17303 |        1 |        0
389.50/389.63	c  389s |      22 |  2137413 |  2101722 |      270  17379 |        1 |        0
391.52/391.64	c  391s |      22 |  2148752 |  2112922 |      270  17454 |        1 |        0
393.51/393.66	c  393s |      22 |  2159985 |  2124022 |      270  17531 |        1 |        0
395.51/395.66	c  395s |      22 |  2170860 |  2134822 |      270  17604 |        1 |        0
397.51/397.67	c  397s |      22 |  2181362 |  2145222 |      270  17675 |        1 |        0
399.51/399.68	c  399s |      22 |  2192003 |  2155722 |      270  17746 |        1 |        0
401.51/401.69	c  401s |      22 |  2202780 |  2166322 |      270  17818 |        1 |        0
403.50/403.69	c  403s |      22 |  2214089 |  2177322 |      270  17892 |        1 |        0
405.60/405.70	c  405s |      22 |  2225046 |  2188122 |      270  17965 |        1 |        0
407.60/407.71	c  407s |      22 |  2236189 |  2199122 |      270  18041 |        1 |        0
409.60/409.72	c  409s |      22 |  2247115 |  2209922 |      270  18115 |        1 |        0
411.60/411.73	c  411s |      22 |  2258387 |  2221022 |      270  18192 |        1 |        0
413.60/413.73	c  413s |      22 |  2269691 |  2232022 |      270  18268 |        1 |        0
415.59/415.75	c  415s |      22 |  2280519 |  2242722 |      297  18336 |        1 |        0
417.19/417.34	c  417s |      23 |  2288920 |  2251038 |      297  18387 |        1 |        0
419.19/419.34	c  419s |      23 |  2299670 |  2261638 |      297  18452 |        1 |        0
421.20/421.36	c  421s |      23 |  2310752 |  2272538 |      297  18519 |        1 |        0
423.19/423.37	c  423s |      23 |  2321958 |  2283638 |      297  18587 |        1 |        0
425.18/425.38	c  425s |      23 |  2332827 |  2294338 |      297  18653 |        1 |        0
427.18/427.39	c  427s |      23 |  2344045 |  2305438 |      297  18721 |        1 |        0
429.28/429.41	c  429s |      23 |  2355465 |  2316538 |      297  18790 |        1 |        0
431.28/431.41	c  431s |      23 |  2366997 |  2327838 |      297  18860 |        1 |        0
433.29/433.42	c  433s |      23 |  2378555 |  2339238 |      297  18932 |        1 |        0
435.28/435.43	c  435s |      23 |  2390251 |  2350738 |      297  19006 |        1 |        0
437.28/437.45	c  437s |      23 |  2401183 |  2361538 |      297  19072 |        1 |        0
439.28/439.45	c  439s |      23 |  2411807 |  2372038 |      297  19136 |        1 |        0
441.28/441.45	c  441s |      23 |  2422807 |  2382938 |      297  19203 |        1 |        0
443.29/443.47	c  443s |      23 |  2434302 |  2394238 |      297  19274 |        1 |        0
445.28/445.47	c  445s |      23 |  2445031 |  2404738 |      297  19338 |        1 |        0
447.28/447.48	c  447s |      23 |  2455885 |  2415438 |      297  19404 |        1 |        0
449.28/449.49	c  449s |      23 |  2466844 |  2426238 |      297  19471 |        1 |        0
451.38/451.51	c  451s |      23 |  2478136 |  2437338 |      297  19540 |        1 |        0
453.37/453.52	c  453s |      23 |  2489342 |  2448438 |      297  19609 |        1 |        0
455.38/455.54	c  455s |      23 |  2500541 |  2459338 |      297  19677 |        1 |        0
457.37/457.55	c  457s |      23 |  2511862 |  2470538 |      297  19746 |        1 |        0
459.37/459.57	c  459s |      23 |  2522980 |  2481538 |      297  19815 |        1 |        0
461.37/461.58	c  461s |      23 |  2534426 |  2492838 |      297  19886 |        1 |        0
463.46/463.60	c  463s |      23 |  2546255 |  2504538 |      297  19960 |        1 |        0
465.47/465.61	c  465s |      23 |  2557477 |  2515638 |      297  20030 |        1 |        0
467.48/467.62	c  467s |      23 |  2568212 |  2526238 |      297  20095 |        1 |        0
469.47/469.63	c  469s |      23 |  2578905 |  2536838 |      297  20161 |        1 |        0
471.47/471.64	c  471s |      23 |  2589815 |  2547638 |      297  20229 |        1 |        0
473.47/473.65	c  473s |      23 |  2601127 |  2558838 |      297  20300 |        1 |        0
475.47/475.65	c  475s |      23 |  2611427 |  2569038 |      297  20363 |        1 |        0
477.47/477.65	c  477s |      23 |  2621951 |  2579438 |      297  20427 |        1 |        0
479.47/479.66	c  479s |      23 |  2633071 |  2590438 |      297  20496 |        1 |        0
481.47/481.66	c  481s |      23 |  2643617 |  2600838 |      297  20561 |        1 |        0
483.46/483.67	c  483s |      23 |  2654667 |  2611638 |      297  20628 |        1 |        0
485.46/485.67	c  485s |      23 |  2665460 |  2622238 |      297  20694 |        1 |        0
487.46/487.67	c  487s |      23 |  2676453 |  2633038 |      297  20762 |        1 |        0
489.47/489.68	c  489s |      23 |  2687008 |  2643538 |      297  20828 |        1 |        0
491.46/491.68	c  491s |      23 |  2697974 |  2654438 |      297  20896 |        1 |        0
493.46/493.69	c  493s |      23 |  2709398 |  2665738 |      297  20968 |        1 |        0
495.55/495.70	c  495s |      23 |  2720621 |  2676838 |      297  21037 |        1 |        0
497.55/497.70	c  497s |      23 |  2731941 |  2688038 |      297  21109 |        1 |        0
499.55/499.71	c  499s |      23 |  2742871 |  2698838 |      297  21175 |        1 |        0
501.56/501.72	c  501s |      23 |  2753917 |  2709738 |      297  21243 |        1 |        0
503.55/503.73	c  503s |      23 |  2765051 |  2720638 |      297  21311 |        1 |        0
505.55/505.73	c  505s |      23 |  2776171 |  2731538 |      297  21379 |        1 |        0
507.55/507.75	c  507s |      23 |  2787461 |  2742638 |      297  21448 |        1 |        0
509.55/509.75	c  509s |      23 |  2798985 |  2754038 |      297  21521 |        1 |        0
511.55/511.75	c  511s |      23 |  2810039 |  2764938 |      297  21589 |        1 |        0
513.55/513.76	c  513s |      23 |  2821193 |  2775938 |      297  21658 |        1 |        0
515.54/515.76	c  515s |      23 |  2832499 |  2787138 |      297  21728 |        1 |        0
517.54/517.76	c  517s |      23 |  2843932 |  2798438 |      297  21799 |        1 |        0
519.54/519.76	c  519s |      23 |  2855003 |  2809438 |      297  21869 |        1 |        0
521.54/521.76	c  521s |      23 |  2866172 |  2820538 |      297  21939 |        1 |        0
523.54/523.77	c  523s |      23 |  2877770 |  2832038 |      297  22012 |        1 |        0
525.54/525.78	c  525s |      23 |  2889481 |  2843638 |      297  22087 |        1 |        0
527.53/527.78	c  527s |      23 |  2900807 |  2854838 |      297  22159 |        1 |        0
529.53/529.78	c  529s |      23 |  2912531 |  2866438 |      297  22233 |        1 |        0
531.63/531.80	c  531s |      23 |  2923980 |  2877738 |      297  22303 |        1 |        0
533.63/533.81	c  533s |      23 |  2935323 |  2888938 |      297  22374 |        1 |        0
535.64/535.82	c  535s |      23 |  2946348 |  2899838 |      297  22443 |        1 |        0
537.63/537.83	c  537s |      23 |  2957473 |  2910838 |      297  22513 |        1 |        0
539.63/539.85	c  539s |      23 |  2968547 |  2921738 |      297  22582 |        1 |        0
541.63/541.86	c  541s |      23 |  2978866 |  2931738 |      297  22642 |        1 |        0
543.63/543.88	c  543s |      23 |  2989087 |  2941738 |      297  22704 |        1 |        0
545.63/545.89	c  545s |      23 |  2999048 |  2951438 |      297  22763 |        1 |        0
547.63/547.90	c  547s |      23 |  3009430 |  2961538 |      297  22825 |        1 |        0
549.73/549.91	c  549s |      23 |  3020116 |  2972038 |      297  22890 |        1 |        0
551.73/551.92	c  551s |      23 |  3030163 |  2981838 |      297  22950 |        1 |        0
553.72/553.94	c  553s |      23 |  3040479 |  2991838 |      297  23010 |        1 |        0
555.72/555.95	c  555s |      23 |  3050987 |  3002138 |      297  23074 |        1 |        0
557.72/557.96	c  557s |      23 |  3061048 |  3012038 |      297  23135 |        1 |        0
559.73/559.97	c  559s |      23 |  3071225 |  3021938 |      297  23195 |        1 |        0
561.72/561.98	c  561s |      23 |  3081687 |  3032138 |      297  23258 |        1 |        0
563.72/564.00	c  563s |      23 |  3092168 |  3042338 |      297  23322 |        1 |        0
565.82/566.01	c  565s |      23 |  3103161 |  3053138 |      297  23388 |        1 |        0
567.82/568.02	c  568s |      23 |  3114357 |  3064238 |      297  23457 |        1 |        0
569.82/570.03	c  570s |      23 |  3124783 |  3074538 |      297  23522 |        1 |        0
571.83/572.03	c  572s |      23 |  3135013 |  3084638 |      297  23584 |        1 |        0
573.82/574.04	c  574s |      23 |  3145215 |  3094538 |      297  23644 |        1 |        0
575.82/576.05	c  576s |      23 |  3155560 |  3104638 |      297  23706 |        1 |        0
577.82/578.07	c  578s |      23 |  3166661 |  3115538 |      297  23773 |        1 |        0
579.82/580.07	c  580s |      23 |  3177264 |  3125938 |      297  23837 |        1 |        0
581.82/582.09	c  582s |      23 |  3187335 |  3135838 |      297  23897 |        1 |        0
583.82/584.10	c  584s |      23 |  3197550 |  3145838 |      297  23959 |        1 |        0
585.91/586.10	c  586s |      23 |  3207809 |  3155838 |      297  24020 |        1 |        0
587.91/588.12	c  588s |      23 |  3218456 |  3166238 |      297  24085 |        1 |        0
589.91/590.13	c  590s |      23 |  3229444 |  3177038 |      297  24151 |        1 |        0
591.91/592.15	c  592s |      23 |  3240771 |  3188138 |      297  24219 |        1 |        0
593.92/594.16	c  594s |      23 |  3252078 |  3199238 |      297  24289 |        1 |        0
595.91/596.17	c  596s |      23 |  3262841 |  3209838 |      297  24355 |        1 |        0
597.91/598.18	c  598s |      23 |  3272947 |  3219838 |      297  24417 |        1 |        0
599.91/600.18	c  600s |      23 |  3283605 |  3230338 |      297  24481 |        1 |        0
601.91/602.19	c  602s |      23 |  3294049 |  3240638 |      297  24545 |        1 |        0
603.91/604.19	c  604s |      23 |  3304125 |  3250538 |      297  24606 |        1 |        0
605.91/606.19	c  606s |      23 |  3314375 |  3260638 |      297  24669 |        1 |        0
608.00/608.20	c  608s |      23 |  3324907 |  3271038 |      297  24735 |        1 |        0
610.00/610.22	c  610s |      23 |  3335698 |  3281738 |      297  24803 |        1 |        0
612.00/612.23	c  612s |      23 |  3346503 |  3292438 |      297  24870 |        1 |        0
614.00/614.25	c  614s |      23 |  3357232 |  3303038 |      297  24937 |        1 |        0
616.00/616.26	c  616s |      23 |  3367926 |  3313638 |      297  25004 |        1 |        0
618.01/618.27	c  618s |      23 |  3378554 |  3324038 |      297  25070 |        1 |        0
620.00/620.29	c  620s |      23 |  3389364 |  3334738 |      297  25137 |        1 |        0
622.10/622.30	c  622s |      23 |  3400102 |  3345338 |      297  25204 |        1 |        0
624.10/624.31	c  624s |      23 |  3410757 |  3355838 |      327  25269 |        1 |        0
626.10/626.32	c  626s |      23 |  3421256 |  3366238 |      327  25330 |        1 |        0
628.01/628.21	c  628s |      24 |  3431787 |  3376662 |      327  25389 |        1 |        0
630.00/630.22	c  630s |      24 |  3444125 |  3388662 |      327  25455 |        1 |        0
632.00/632.23	c  632s |      24 |  3456044 |  3400162 |      327  25518 |        1 |        0
633.99/634.23	c  634s |      24 |  3467723 |  3411462 |      327  25580 |        1 |        0
635.99/636.23	c  636s |      24 |  3479371 |  3422762 |      327  25642 |        1 |        0
637.99/638.23	c  638s |      24 |  3491274 |  3434262 |      327  25706 |        1 |        0
640.00/640.25	c  640s |      24 |  3503187 |  3445962 |      327  25770 |        1 |        0
641.99/642.26	c  642s |      24 |  3515073 |  3457562 |      327  25835 |        1 |        0
643.99/644.27	c  644s |      24 |  3526735 |  3468962 |      327  25898 |        1 |        0
645.99/646.28	c  646s |      24 |  3538731 |  3480562 |      327  25962 |        1 |        0
648.09/648.30	c  648s |      24 |  3550789 |  3492262 |      327  26027 |        1 |        0
650.09/650.31	c  650s |      24 |  3562956 |  3504162 |      327  26093 |        1 |        0
652.10/652.31	c  652s |      24 |  3574981 |  3515962 |      327  26158 |        1 |        0
654.08/654.32	c  654s |      24 |  3587150 |  3527762 |      327  26224 |        1 |        0
656.08/656.32	c  656s |      24 |  3598887 |  3539262 |      327  26288 |        1 |        0
658.08/658.32	c  658s |      24 |  3610855 |  3550962 |      327  26354 |        1 |        0
660.08/660.34	c  660s |      24 |  3622466 |  3562462 |      327  26417 |        1 |        0
662.09/662.34	c  662s |      24 |  3633922 |  3573662 |      327  26479 |        1 |        0
664.08/664.36	c  664s |      24 |  3645261 |  3584862 |      327  26542 |        1 |        0
666.08/666.38	c  666s |      24 |  3656900 |  3596062 |      327  26604 |        1 |        0
668.09/668.39	c  668s |      24 |  3668346 |  3607262 |      327  26666 |        1 |        0
670.19/670.40	c  670s |      24 |  3679607 |  3618262 |      327  26727 |        1 |        0
672.18/672.41	c  672s |      24 |  3691145 |  3629562 |      327  26790 |        1 |        0
674.19/674.42	c  674s |      24 |  3702670 |  3640762 |      327  26852 |        1 |        0
676.18/676.44	c  676s |      24 |  3713979 |  3651862 |      327  26914 |        1 |        0
678.18/678.45	c  678s |      24 |  3724919 |  3662562 |      327  26973 |        1 |        0
680.18/680.45	c  680s |      24 |  3735875 |  3673362 |      327  27033 |        1 |        0
682.18/682.47	c  682s |      24 |  3747646 |  3684962 |      327  27098 |        1 |        0
684.17/684.48	c  684s |      24 |  3759131 |  3696262 |      327  27162 |        1 |        0
686.18/686.48	c  686s |      24 |  3770778 |  3707662 |      327  27226 |        1 |        0
688.17/688.49	c  688s |      24 |  3782065 |  3718762 |      327  27288 |        1 |        0
690.27/690.50	c  690s |      24 |  3793400 |  3729962 |      327  27351 |        1 |        0
692.27/692.52	c  692s |      24 |  3804443 |  3740862 |      327  27413 |        1 |        0
694.27/694.52	c  694s |      24 |  3815607 |  3751862 |      327  27474 |        1 |        0
696.27/696.54	c  696s |      24 |  3827130 |  3763162 |      327  27538 |        1 |        0
698.27/698.55	c  698s |      24 |  3838085 |  3773962 |      327  27598 |        1 |        0
700.27/700.56	c  700s |      24 |  3849141 |  3784862 |      327  27659 |        1 |        0
702.27/702.56	c  702s |      24 |  3859961 |  3795562 |      327  27718 |        1 |        0
704.26/704.57	c  704s |      24 |  3870788 |  3806262 |      327  27778 |        1 |        0
706.26/706.58	c  706s |      24 |  3881424 |  3816762 |      327  27836 |        1 |        0
708.27/708.59	c  708s |      24 |  3892703 |  3827862 |      327  27898 |        1 |        0
710.26/710.60	c  710s |      24 |  3903580 |  3838562 |      327  27957 |        1 |        0
712.36/712.61	c  712s |      24 |  3914071 |  3848962 |      327  28016 |        1 |        0
714.35/714.61	c  714s |      24 |  3924792 |  3859562 |      327  28075 |        1 |        0
716.35/716.63	c  716s |      24 |  3936118 |  3870662 |      327  28137 |        1 |        0
718.35/718.64	c  718s |      24 |  3947281 |  3881662 |      327  28199 |        1 |        0
720.36/720.66	c  720s |      24 |  3958401 |  3892662 |      327  28261 |        1 |        0
722.35/722.66	c  722s |      24 |  3969653 |  3903762 |      327  28324 |        1 |        0
724.35/724.67	c  724s |      24 |  3980688 |  3914662 |      327  28385 |        1 |        0
726.35/726.67	c  726s |      24 |  3992039 |  3925862 |      327  28449 |        1 |        0
728.35/728.68	c  728s |      24 |  4003184 |  3936862 |      327  28511 |        1 |        0
730.35/730.69	c  730s |      24 |  4014304 |  3947862 |      327  28574 |        1 |        0
732.35/732.69	c  732s |      24 |  4025546 |  3958962 |      327  28638 |        1 |        0
734.45/734.71	c  734s |      24 |  4036578 |  3969762 |      327  28698 |        1 |        0
736.44/736.72	c  736s |      24 |  4048168 |  3981162 |      327  28762 |        1 |        0
738.44/738.74	c  738s |      24 |  4059293 |  3992062 |      327  28823 |        1 |        0
740.44/740.75	c  740s |      24 |  4070793 |  4003262 |      327  28886 |        1 |        0
742.45/742.75	c  742s |      24 |  4082108 |  4014362 |      327  28948 |        1 |        0
744.45/744.75	c  744s |      24 |  4093331 |  4025362 |      327  29010 |        1 |        0
746.45/746.76	c  746s |      24 |  4104343 |  4036162 |      327  29071 |        1 |        0
748.45/748.76	c  748s |      24 |  4115652 |  4047262 |      327  29134 |        1 |        0
750.45/750.76	c  750s |      24 |  4126920 |  4058362 |      327  29197 |        1 |        0
752.45/752.78	c  752s |      24 |  4138428 |  4069662 |      327  29261 |        1 |        0
754.55/754.80	c  754s |      24 |  4149831 |  4080862 |      327  29326 |        1 |        0
756.55/756.81	c  756s |      24 |  4161502 |  4092262 |      327  29389 |        1 |        0
758.54/758.82	c  758s |      24 |  4172675 |  4103262 |      327  29449 |        1 |        0
760.54/760.82	c  760s |      24 |  4183773 |  4114162 |      327  29509 |        1 |        0
762.54/762.84	c  762s |      24 |  4194751 |  4124862 |      327  29569 |        1 |        0
764.54/764.86	c  764s |      24 |  4206303 |  4136062 |      327  29631 |        1 |        0
766.55/766.86	c  766s |      24 |  4217443 |  4146962 |      327  29691 |        1 |        0
768.54/768.88	c  768s |      24 |  4228703 |  4157962 |      327  29752 |        1 |        0
770.54/770.88	c  770s |      24 |  4240033 |  4169062 |      327  29814 |        1 |        0
772.64/772.90	c  772s |      24 |  4251012 |  4179762 |      327  29874 |        1 |        0
774.63/774.92	c  774s |      24 |  4262018 |  4190562 |      327  29934 |        1 |        0
776.63/776.94	c  776s |      24 |  4273014 |  4201362 |      327  29995 |        1 |        0
778.64/778.94	c  778s |      24 |  4283910 |  4211962 |      327  30054 |        1 |        0
780.63/780.95	c  780s |      24 |  4294821 |  4222662 |      327  30114 |        1 |        0
782.63/782.97	c  782s |      24 |  4306121 |  4233762 |      327  30176 |        1 |        0
784.63/784.97	c  784s |      24 |  4316889 |  4244262 |      327  30235 |        1 |        0
786.63/786.98	c  786s |      24 |  4327716 |  4254862 |      327  30294 |        1 |        0
788.63/788.99	c  788s |      24 |  4338549 |  4265362 |      327  30353 |        1 |        0
790.63/790.99	c  790s |      24 |  4349426 |  4276062 |      327  30413 |        1 |        0
792.63/792.99	c  792s |      24 |  4359800 |  4286162 |      327  30469 |        1 |        0
794.73/795.00	c  794s |      24 |  4370533 |  4296662 |      327  30528 |        1 |        0
796.72/797.02	c  797s |      24 |  4381278 |  4307162 |      327  30587 |        1 |        0
798.72/799.03	c  799s |      24 |  4392012 |  4317662 |      327  30647 |        1 |        0
800.72/801.05	c  801s |      24 |  4402816 |  4328262 |      327  30707 |        1 |        0
802.73/803.05	c  803s |      24 |  4413420 |  4338562 |      327  30765 |        1 |        0
804.72/805.06	c  805s |      24 |  4423919 |  4348762 |      327  30822 |        1 |        0
806.72/807.07	c  807s |      24 |  4434796 |  4359262 |      327  30881 |        1 |        0
808.72/809.07	c  809s |      24 |  4445557 |  4369762 |      327  30941 |        1 |        0
810.72/811.07	c  811s |      24 |  4456543 |  4380562 |      327  31002 |        1 |        0
812.72/813.08	c  813s |      24 |  4467733 |  4391462 |      327  31064 |        1 |        0
814.72/815.08	c  815s |      24 |  4478186 |  4401562 |      327  31120 |        1 |        0
816.81/817.10	c  817s |      24 |  4488764 |  4411762 |      327  31178 |        1 |        0
818.81/819.10	c  819s |      24 |  4499556 |  4422162 |      327  31236 |        1 |        0
820.81/821.10	c  821s |      24 |  4510294 |  4432662 |      327  31296 |        1 |        0
822.82/823.10	c  823s |      24 |  4520836 |  4442962 |      327  31354 |        1 |        0
824.82/825.10	c  825s |      24 |  4531257 |  4453162 |      327  31411 |        1 |        0
826.81/827.12	c  827s |      24 |  4542207 |  4463862 |      327  31472 |        1 |        0
828.81/829.13	c  829s |      24 |  4552987 |  4474462 |      327  31532 |        1 |        0
830.81/831.14	c  831s |      24 |  4563851 |  4485062 |      327  31593 |        1 |        0
832.81/833.16	c  833s |      24 |  4574694 |  4495762 |      327  31654 |        1 |        0
834.81/835.17	c  835s |      24 |  4585492 |  4506462 |      327  31716 |        1 |        0
836.81/837.19	c  837s |      24 |  4596331 |  4516962 |      327  31775 |        1 |        0
838.80/839.20	c  839s |      24 |  4607229 |  4527562 |      327  31834 |        1 |        0
840.90/841.20	c  841s |      24 |  4618008 |  4538062 |      327  31894 |        1 |        0
842.90/843.21	c  843s |      24 |  4629040 |  4548862 |      327  31955 |        1 |        0
844.90/845.22	c  845s |      24 |  4639908 |  4559562 |      327  32016 |        1 |        0
846.90/847.24	c  847s |      24 |  4650746 |  4570162 |      327  32076 |        1 |        0
848.91/849.24	c  849s |      24 |  4661643 |  4580862 |      327  32137 |        1 |        0
850.90/851.25	c  851s |      24 |  4672485 |  4591462 |      327  32198 |        1 |        0
852.90/853.25	c  853s |      24 |  4683483 |  4602162 |      327  32260 |        1 |        0
854.91/855.25	c  855s |      24 |  4694046 |  4612462 |      327  32317 |        1 |        0
856.90/857.27	c  857s |      24 |  4704489 |  4622662 |      327  32374 |        1 |        0
858.91/859.28	c  859s |      24 |  4714970 |  4632962 |      327  32431 |        1 |        0
860.90/861.29	c  861s |      24 |  4725017 |  4642862 |      327  32486 |        1 |        0
863.00/863.30	c  863s |      24 |  4734939 |  4652562 |      327  32540 |        1 |        0
865.00/865.31	c  865s |      24 |  4744830 |  4662262 |      327  32595 |        1 |        0
867.00/867.31	c  867s |      24 |  4755069 |  4672262 |      327  32651 |        1 |        0
869.00/869.33	c  869s |      24 |  4765624 |  4682562 |      327  32709 |        1 |        0
871.01/871.34	c  871s |      24 |  4775848 |  4692662 |      327  32765 |        1 |        0
873.00/873.35	c  873s |      24 |  4786450 |  4703062 |      327  32824 |        1 |        0
875.00/875.37	c  875s |      24 |  4796951 |  4713362 |      327  32883 |        1 |        0
877.00/877.38	c  877s |      24 |  4807487 |  4723662 |      327  32941 |        1 |        0
879.00/879.38	c  879s |      24 |  4817947 |  4733962 |      327  32999 |        1 |        0
881.10/881.40	c  881s |      24 |  4828449 |  4744262 |      327  33057 |        1 |        0
883.10/883.42	c  883s |      24 |  4839206 |  4754862 |      327  33117 |        1 |        0
885.09/885.42	c  885s |      24 |  4849382 |  4764862 |      327  33173 |        1 |        0
887.09/887.43	c  887s |      24 |  4859613 |  4774962 |      327  33230 |        1 |        0
889.09/889.45	c  889s |      24 |  4869812 |  4785062 |      327  33287 |        1 |        0
891.09/891.46	c  891s |      24 |  4880030 |  4795162 |      327  33344 |        1 |        0
893.09/893.47	c  893s |      24 |  4890249 |  4805262 |      327  33401 |        1 |        0
895.09/895.48	c  895s |      24 |  4900636 |  4815462 |      327  33459 |        1 |        0
897.09/897.48	c  897s |      24 |  4911258 |  4825962 |      327  33519 |        1 |        0
899.19/899.50	c  899s |      24 |  4922197 |  4836762 |      327  33580 |        1 |        0
901.19/901.52	c  901s |      24 |  4932613 |  4847062 |      327  33638 |        1 |        0
903.19/903.52	c  903s |      24 |  4943262 |  4857562 |      327  33698 |        1 |        0
905.18/905.53	c  905s |      24 |  4953643 |  4867762 |      327  33756 |        1 |        0
907.19/907.53	c  907s |      24 |  4964033 |  4877962 |      327  33814 |        1 |        0
909.18/909.54	c  909s |      24 |  4974682 |  4888362 |      327  33873 |        1 |        0
911.18/911.55	c  911s |      24 |  4985181 |  4898562 |      327  33931 |        1 |        0
913.18/913.55	c  913s |      24 |  4995598 |  4908762 |      327  33988 |        1 |        0
915.18/915.57	c  915s |      24 |  5006167 |  4919162 |      327  34047 |        1 |        0
917.19/917.58	c  917s |      24 |  5016634 |  4929362 |      327  34104 |        1 |        0
919.18/919.59	c  919s |      24 |  5027088 |  4939662 |      327  34162 |        1 |        0
921.28/921.61	c  921s |      24 |  5037465 |  4949862 |      327  34219 |        1 |        0
923.28/923.62	c  923s |      24 |  5048229 |  4960362 |      327  34279 |        1 |        0
925.28/925.63	c  925s |      24 |  5058704 |  4970662 |      327  34337 |        1 |        0
927.28/927.63	c  927s |      24 |  5069254 |  4981062 |      327  34396 |        1 |        0
929.28/929.65	c  929s |      24 |  5080041 |  4991662 |      327  34456 |        1 |        0
931.28/931.65	c  931s |      24 |  5090754 |  5002162 |      327  34516 |        1 |        0
933.28/933.66	c  933s |      24 |  5101618 |  5012862 |      327  34578 |        1 |        0
935.28/935.67	c  935s |      24 |  5112262 |  5023362 |      327  34638 |        1 |        0
937.28/937.69	c  937s |      24 |  5122999 |  5033962 |      360  34696 |        1 |        0
939.38/939.70	c  939s |      24 |  5134020 |  5044862 |      360  34753 |        1 |        0
941.38/941.71	c  941s |      24 |  5144636 |  5055362 |      360  34809 |        1 |        0
943.17/943.57	c  943s |      25 |  5154515 |  5065098 |      360  34861 |        1 |        0
945.17/945.59	c  945s |      25 |  5164111 |  5074498 |      360  34909 |        1 |        0
947.17/947.59	c  947s |      25 |  5173931 |  5084198 |      360  34959 |        1 |        0
949.27/949.61	c  949s |      25 |  5183925 |  5093898 |      360  35009 |        1 |        0
951.28/951.61	c  951s |      25 |  5194030 |  5103798 |      360  35060 |        1 |        0
953.27/953.63	c  953s |      25 |  5204647 |  5114098 |      360  35114 |        1 |        0
955.27/955.64	c  955s |      25 |  5214664 |  5123798 |      360  35163 |        1 |        0
957.27/957.66	c  957s |      25 |  5224751 |  5133698 |      360  35214 |        1 |        0
959.27/959.67	c  959s |      25 |  5234544 |  5143298 |      360  35264 |        1 |        0
961.27/961.69	c  961s |      25 |  5244490 |  5153098 |      360  35315 |        1 |        0
963.28/963.69	c  963s |      25 |  5254428 |  5162798 |      360  35365 |        1 |        0
965.37/965.70	c  965s |      25 |  5264694 |  5172798 |      360  35417 |        1 |        0
967.37/967.71	c  967s |      25 |  5275458 |  5183198 |      360  35471 |        1 |        0
969.37/969.72	c  969s |      25 |  5286247 |  5193798 |      360  35526 |        1 |        0
971.37/971.74	c  971s |      25 |  5296854 |  5204198 |      360  35581 |        1 |        0
973.37/973.75	c  973s |      25 |  5306876 |  5213998 |      360  35632 |        1 |        0
975.37/975.77	c  975s |      25 |  5317217 |  5224098 |      360  35685 |        1 |        0
977.37/977.78	c  977s |      25 |  5326811 |  5233498 |      360  35734 |        1 |        0
979.37/979.79	c  979s |      25 |  5336140 |  5242698 |      360  35781 |        1 |        0
981.47/981.80	c  981s |      25 |  5345737 |  5252198 |      360  35831 |        1 |        0
983.47/983.82	c  983s |      25 |  5355626 |  5261898 |      360  35882 |        1 |        0
985.47/985.84	c  985s |      25 |  5364899 |  5270998 |      360  35929 |        1 |        0
987.47/987.85	c  987s |      25 |  5374241 |  5280198 |      360  35976 |        1 |        0
989.47/989.86	c  989s |      25 |  5383732 |  5289498 |      360  36024 |        1 |        0
991.46/991.87	c  991s |      25 |  5393282 |  5298898 |      360  36073 |        1 |        0
993.46/993.88	c  993s |      25 |  5402652 |  5308098 |      360  36121 |        1 |        0
995.46/995.88	c  995s |      25 |  5412451 |  5317698 |      360  36171 |        1 |        0
997.56/997.90	c  997s |      25 |  5422156 |  5327198 |      360  36220 |        1 |        0
999.57/999.92	c  999s |      25 |  5432028 |  5336898 |      360  36271 |        1 |        0
1001.56/1001.94	c 1001s |      25 |  5441799 |  5346498 |      360  36320 |        1 |        0
1003.56/1003.94	c 1003s |      25 |  5451674 |  5356198 |      360  36370 |        1 |        0
1005.56/1005.94	c 1005s |      25 |  5461759 |  5366098 |      360  36422 |        1 |        0
1007.56/1007.96	c 1007s |      25 |  5472428 |  5376598 |      360  36477 |        1 |        0
1009.57/1009.97	c 1009s |      25 |  5483059 |  5387098 |      360  36532 |        1 |        0
1011.56/1011.97	c 1011s |      25 |  5493117 |  5396998 |      360  36584 |        1 |        0
1013.56/1013.97	c 1013s |      25 |  5502854 |  5406498 |      360  36633 |        1 |        0
1015.56/1015.99	c 1015s |      25 |  5512610 |  5416098 |      360  36683 |        1 |        0
1017.66/1018.01	c 1017s |      25 |  5522607 |  5425898 |      360  36735 |        1 |        0
1019.66/1020.02	c 1020s |      25 |  5532574 |  5435598 |      360  36786 |        1 |        0
1021.66/1022.02	c 1022s |      25 |  5542513 |  5445298 |      360  36837 |        1 |        0
1023.66/1024.03	c 1024s |      25 |  5552615 |  5455098 |      360  36888 |        1 |        0
1025.66/1026.03	c 1026s |      25 |  5562930 |  5465098 |      360  36939 |        1 |        0
1027.66/1028.05	c 1028s |      25 |  5573422 |  5475298 |      360  36992 |        1 |        0
1029.66/1030.06	c 1030s |      25 |  5583792 |  5485398 |      360  37045 |        1 |        0
1031.66/1032.07	c 1032s |      25 |  5595003 |  5496298 |      360  37102 |        1 |        0
1033.66/1034.09	c 1034s |      25 |  5605632 |  5506598 |      360  37156 |        1 |        0
1035.76/1036.11	c 1036s |      25 |  5615224 |  5515998 |      360  37205 |        1 |        0
1037.75/1038.12	c 1038s |      25 |  5625408 |  5525998 |      360  37256 |        1 |        0
1039.75/1040.14	c 1040s |      25 |  5635476 |  5535898 |      360  37308 |        1 |        0
1041.76/1042.15	c 1042s |      25 |  5645193 |  5545398 |      360  37357 |        1 |        0
1043.76/1044.16	c 1044s |      25 |  5655118 |  5555098 |      360  37407 |        1 |        0
1045.77/1046.17	c 1046s |      25 |  5665295 |  5564998 |      360  37459 |        1 |        0
1047.76/1048.19	c 1048s |      25 |  5676015 |  5575398 |      360  37514 |        1 |        0
1049.76/1050.19	c 1050s |      25 |  5686839 |  5585898 |      360  37569 |        1 |        0
1051.86/1052.21	c 1052s |      25 |  5697652 |  5596398 |      360  37624 |        1 |        0
1053.86/1054.21	c 1054s |      25 |  5707806 |  5606398 |      360  37677 |        1 |        0
1055.86/1056.22	c 1056s |      25 |  5718137 |  5616598 |      360  37730 |        1 |        0
1057.86/1058.23	c 1058s |      25 |  5728630 |  5626998 |      360  37785 |        1 |        0
1059.86/1060.24	c 1060s |      25 |  5739234 |  5637498 |      360  37841 |        1 |        0
1061.86/1062.24	c 1062s |      25 |  5749771 |  5647798 |      360  37895 |        1 |        0
1063.86/1064.26	c 1064s |      25 |  5761001 |  5658698 |      360  37952 |        1 |        0
1065.86/1066.27	c 1066s |      25 |  5772387 |  5669898 |      360  38011 |        1 |        0
1067.86/1068.29	c 1068s |      25 |  5783479 |  5680798 |      360  38068 |        1 |        0
1069.96/1070.31	c 1070s |      25 |  5794278 |  5691398 |      360  38124 |        1 |        0
1071.96/1072.32	c 1072s |      25 |  5805150 |  5702098 |      360  38181 |        1 |        0
1073.95/1074.33	c 1074s |      25 |  5815765 |  5712598 |      360  38237 |        1 |        0
1075.95/1076.35	c 1076s |      25 |  5826363 |  5722998 |      360  38292 |        1 |        0
1077.95/1078.35	c 1078s |      25 |  5836684 |  5733098 |      360  38346 |        1 |        0
1079.96/1080.37	c 1080s |      25 |  5847280 |  5743498 |      360  38401 |        1 |        0
1081.95/1082.39	c 1082s |      25 |  5857568 |  5753698 |      360  38455 |        1 |        0
1084.05/1084.40	c 1084s |      25 |  5867490 |  5763398 |      360  38505 |        1 |        0
1086.05/1086.41	c 1086s |      25 |  5877831 |  5773498 |      360  38558 |        1 |        0
1088.05/1088.42	c 1088s |      25 |  5888265 |  5783698 |      360  38611 |        1 |        0
1090.05/1090.43	c 1090s |      25 |  5898466 |  5793798 |      360  38664 |        1 |        0
1092.06/1092.44	c 1092s |      25 |  5908929 |  5804098 |      360  38717 |        1 |        0
1094.05/1094.44	c 1094s |      25 |  5919065 |  5813998 |      360  38768 |        1 |        0
1096.05/1096.46	c 1096s |      25 |  5929379 |  5824098 |      360  38821 |        1 |        0
1098.05/1098.47	c 1098s |      25 |  5940068 |  5834498 |      360  38876 |        1 |        0
1100.05/1100.47	c 1100s |      25 |  5950178 |  5844398 |      360  38928 |        1 |        0
1102.05/1102.49	c 1102s |      25 |  5960122 |  5854098 |      360  38978 |        1 |        0
1104.05/1104.49	c 1104s |      25 |  5970307 |  5864098 |      360  39030 |        1 |        0
1106.15/1106.51	c 1106s |      25 |  5980649 |  5874198 |      360  39083 |        1 |        0
1108.15/1108.51	c 1108s |      25 |  5990887 |  5884198 |      360  39135 |        1 |        0
1110.15/1110.52	c 1110s |      25 |  6001000 |  5894198 |      360  39188 |        1 |        0
1112.15/1112.53	c 1112s |      25 |  6011711 |  5904698 |      360  39242 |        1 |        0
1114.14/1114.54	c 1114s |      25 |  6022230 |  5914998 |      360  39297 |        1 |        0
1116.15/1116.55	c 1116s |      25 |  6033077 |  5925698 |      360  39354 |        1 |        0
1118.14/1118.55	c 1118s |      25 |  6043304 |  5935798 |      360  39407 |        1 |        0
1120.14/1120.56	c 1120s |      25 |  6053866 |  5946198 |      360  39462 |        1 |        0
1122.14/1122.58	c 1122s |      25 |  6064531 |  5956698 |      360  39518 |        1 |        0
1124.15/1124.59	c 1124s |      25 |  6075056 |  5967098 |      360  39572 |        1 |        0
1126.16/1126.59	c 1126s |      25 |  6085840 |  5977698 |      360  39629 |        1 |        0
1128.25/1128.61	c 1128s |      25 |  6096538 |  5988198 |      360  39684 |        1 |        0
1130.25/1130.62	c 1130s |      25 |  6107318 |  5998798 |      360  39741 |        1 |        0
1132.25/1132.62	c 1132s |      25 |  6118405 |  6009698 |      360  39800 |        1 |        0
1134.25/1134.64	c 1134s |      25 |  6129146 |  6020198 |      360  39856 |        1 |        0
1136.25/1136.64	c 1136s |      25 |  6138911 |  6029898 |      360  39906 |        1 |        0
1138.25/1138.66	c 1138s |      25 |  6148326 |  6039198 |      360  39954 |        1 |        0
1140.25/1140.68	c 1140s |      25 |  6157979 |  6048698 |      360  40003 |        1 |        0
1142.25/1142.68	c 1142s |      25 |  6167748 |  6058298 |      360  40053 |        1 |        0
1144.35/1144.70	c 1144s |      25 |  6177575 |  6067998 |      360  40103 |        1 |        0
1146.34/1146.72	c 1146s |      25 |  6187821 |  6078098 |      360  40156 |        1 |        0
1148.34/1148.74	c 1148s |      25 |  6197652 |  6087798 |      360  40206 |        1 |        0
1150.35/1150.74	c 1150s |      25 |  6207462 |  6097498 |      360  40257 |        1 |        0
1152.34/1152.74	c 1152s |      25 |  6217671 |  6107598 |      360  40311 |        1 |        0
1154.34/1154.76	c 1154s |      25 |  6228018 |  6117798 |      360  40365 |        1 |        0
1156.34/1156.78	c 1156s |      25 |  6238585 |  6128198 |      360  40419 |        1 |        0
1158.34/1158.79	c 1158s |      25 |  6249212 |  6138698 |      360  40474 |        1 |        0
1160.44/1160.81	c 1160s |      25 |  6259593 |  6148898 |      360  40528 |        1 |        0
1162.45/1162.82	c 1162s |      25 |  6269703 |  6158898 |      360  40581 |        1 |        0
1164.44/1164.83	c 1164s |      25 |  6279769 |  6168698 |      360  40631 |        1 |        0
1166.44/1166.83	c 1166s |      25 |  6289863 |  6178598 |      360  40683 |        1 |        0
1168.44/1168.84	c 1168s |      25 |  6300119 |  6188698 |      360  40736 |        1 |        0
1170.44/1170.84	c 1170s |      25 |  6310243 |  6198598 |      360  40787 |        1 |        0
1172.44/1172.85	c 1172s |      25 |  6320015 |  6208098 |      360  40837 |        1 |        0
1174.44/1174.85	c 1174s |      25 |  6329812 |  6217698 |      360  40887 |        1 |        0
1176.44/1176.86	c 1176s |      25 |  6339368 |  6227098 |      360  40936 |        1 |        0
1178.43/1178.87	c 1178s |      25 |  6348829 |  6236398 |      360  40985 |        1 |        0
1180.43/1180.87	c 1180s |      25 |  6358603 |  6245998 |      360  41035 |        1 |        0
1182.43/1182.89	c 1182s |      25 |  6369328 |  6256498 |      360  41091 |        1 |        0
1184.44/1184.89	c 1184s |      25 |  6380206 |  6267198 |      360  41147 |        1 |        0
1186.54/1186.91	c 1186s |      25 |  6390432 |  6277298 |      360  41200 |        1 |        0
1188.53/1188.92	c 1188s |      25 |  6400923 |  6287598 |      360  41254 |        1 |        0
1190.53/1190.93	c 1190s |      25 |  6411255 |  6297798 |      360  41308 |        1 |        0
1192.53/1192.93	c 1192s |      25 |  6421732 |  6308098 |      360  41362 |        1 |        0
1194.54/1194.93	c 1194s |      25 |  6432334 |  6318598 |      360  41417 |        1 |        0
1196.55/1196.93	c 1196s |      25 |  6442498 |  6328598 |      360  41469 |        1 |        0
1198.54/1198.93	c 1198s |      25 |  6452724 |  6338698 |      360  41522 |        1 |        0
1200.54/1200.95	c 1200s |      25 |  6462831 |  6348698 |      360  41574 |        1 |        0
1202.54/1202.96	c 1202s |      25 |  6472968 |  6358698 |      360  41627 |        1 |        0
1204.54/1204.96	c 1204s |      25 |  6483284 |  6368898 |      360  41681 |        1 |        0
1206.54/1206.97	c 1206s |      25 |  6493338 |  6378798 |      360  41733 |        1 |        0
1208.54/1208.97	c 1208s |      25 |  6503934 |  6389198 |      360  41788 |        1 |        0
1210.54/1210.99	c 1210s |      25 |  6514189 |  6399298 |      360  41842 |        1 |        0
1212.64/1213.00	c 1212s |      25 |  6524446 |  6409398 |      360  41895 |        1 |        0
1214.64/1215.01	c 1214s |      25 |  6534802 |  6419598 |      360  41950 |        1 |        0
1216.64/1217.01	c 1216s |      25 |  6544722 |  6429398 |      360  42002 |        1 |        0
1218.63/1219.01	c 1218s |      25 |  6554581 |  6439098 |      360  42053 |        1 |        0
1220.64/1221.02	c 1221s |      25 |  6564538 |  6448798 |      360  42103 |        1 |        0
1222.63/1223.02	c 1223s |      25 |  6574381 |  6458498 |      360  42154 |        1 |        0
1224.63/1225.04	c 1225s |      25 |  6584489 |  6468398 |      360  42207 |        1 |        0
1226.63/1227.05	c 1227s |      25 |  6594382 |  6478098 |      360  42258 |        1 |        0
1228.63/1229.07	c 1229s |      25 |  6604564 |  6488198 |      360  42311 |        1 |        0
1230.64/1231.08	c 1231s |      25 |  6614601 |  6498098 |      360  42364 |        1 |        0
1232.63/1233.09	c 1233s |      25 |  6624741 |  6508098 |      360  42417 |        1 |        0
1234.63/1235.09	c 1235s |      25 |  6634941 |  6518098 |      360  42471 |        1 |        0
1236.73/1237.10	c 1237s |      25 |  6644683 |  6527698 |      360  42521 |        1 |        0
1238.73/1239.11	c 1239s |      25 |  6654260 |  6537098 |      360  42569 |        1 |        0
1240.73/1241.12	c 1241s |      25 |  6664238 |  6546898 |      360  42620 |        1 |        0
1242.74/1243.13	c 1243s |      25 |  6674599 |  6557098 |      360  42673 |        1 |        0
1244.73/1245.13	c 1245s |      25 |  6684699 |  6566898 |      360  42725 |        1 |        0
1246.73/1247.15	c 1247s |      25 |  6694851 |  6576798 |      360  42776 |        1 |        0
1248.73/1249.15	c 1249s |      25 |  6704733 |  6586398 |      360  42826 |        1 |        0
1250.73/1251.16	c 1251s |      25 |  6714932 |  6596398 |      360  42879 |        1 |        0
1252.73/1253.17	c 1253s |      25 |  6725270 |  6606498 |      360  42932 |        1 |        0
1254.73/1255.17	c 1255s |      25 |  6735462 |  6616498 |      360  42984 |        1 |        0
1256.73/1257.20	c 1257s |      25 |  6745992 |  6626798 |      360  43039 |        1 |        0
1258.83/1259.20	c 1259s |      25 |  6756841 |  6637398 |      360  43095 |        1 |        0
1260.82/1261.21	c 1261s |      25 |  6767265 |  6647598 |      360  43149 |        1 |        0
1262.82/1263.22	c 1263s |      25 |  6777520 |  6657698 |      360  43203 |        1 |        0
1264.82/1265.23	c 1265s |      25 |  6787682 |  6667698 |      360  43255 |        1 |        0
1266.83/1267.23	c 1267s |      25 |  6797811 |  6677698 |      360  43308 |        1 |        0
1268.82/1269.24	c 1269s |      25 |  6807867 |  6687598 |      360  43360 |        1 |        0
1270.82/1271.25	c 1271s |      25 |  6818231 |  6697698 |      360  43413 |        1 |        0
1272.82/1273.26	c 1273s |      25 |  6828656 |  6707998 |      360  43468 |        1 |        0
1274.82/1275.27	c 1275s |      25 |  6838565 |  6717598 |      360  43518 |        1 |        0
1276.83/1277.29	c 1277s |      25 |  6848988 |  6727798 |      360  43571 |        1 |        0
1278.93/1279.31	c 1279s |      25 |  6859504 |  6738098 |      360  43626 |        1 |        0
1280.92/1281.31	c 1281s |      25 |  6870464 |  6748798 |      360  43682 |        1 |        0
1282.92/1283.33	c 1283s |      25 |  6881400 |  6759498 |      360  43739 |        1 |        0
1284.92/1285.34	c 1285s |      25 |  6892145 |  6770098 |      360  43794 |        1 |        0
1286.92/1287.35	c 1287s |      25 |  6902787 |  6780598 |      360  43850 |        1 |        0
1288.92/1289.37	c 1289s |      25 |  6913759 |  6791398 |      360  43907 |        1 |        0
1290.92/1291.39	c 1291s |      25 |  6924533 |  6801998 |      360  43964 |        1 |        0
1292.92/1293.39	c 1293s |      25 |  6934852 |  6812098 |      360  44017 |        1 |        0
1295.02/1295.40	c 1295s |      25 |  6945267 |  6822298 |      360  44071 |        1 |        0
1297.02/1297.42	c 1297s |      25 |  6955312 |  6832098 |      360  44123 |        1 |        0
1299.02/1299.42	c 1299s |      25 |  6965133 |  6841798 |      360  44174 |        1 |        0
1301.02/1301.44	c 1301s |      25 |  6975024 |  6851598 |      360  44225 |        1 |        0
1303.01/1303.46	c 1303s |      25 |  6984932 |  6861298 |      360  44275 |        1 |        0
1305.01/1305.46	c 1305s |      25 |  6994593 |  6870798 |      360  44325 |        1 |        0
1307.01/1307.48	c 1307s |      25 |  7004755 |  6880798 |      360  44377 |        1 |        0
1309.01/1309.49	c 1309s |      25 |  7014929 |  6890898 |      360  44431 |        1 |        0
1311.01/1311.50	c 1311s |      25 |  7025281 |  6901198 |      360  44485 |        1 |        0
1313.03/1313.50	c 1313s |      25 |  7035500 |  6911198 |      360  44537 |        1 |        0
1315.12/1315.50	c 1315s |      25 |  7045834 |  6921298 |      360  44590 |        1 |        0
1317.12/1317.52	c 1317s |      25 |  7056149 |  6931398 |      360  44643 |        1 |        0
1319.12/1319.53	c 1319s |      25 |  7066468 |  6941498 |      360  44696 |        1 |        0
1321.12/1321.54	c 1321s |      25 |  7077025 |  6951798 |      360  44751 |        1 |        0
1323.12/1323.56	c 1323s |      25 |  7087070 |  6961598 |      360  44802 |        1 |        0
1325.12/1325.57	c 1325s |      25 |  7097059 |  6971398 |      360  44853 |        1 |        0
1327.12/1327.58	c 1327s |      25 |  7107078 |  6981198 |      360  44904 |        1 |        0
1329.12/1329.58	c 1329s |      25 |  7117263 |  6991198 |      360  44957 |        1 |        0
1331.12/1331.59	c 1331s |      25 |  7127569 |  7001298 |      360  45010 |        1 |        0
1333.22/1333.60	c 1333s |      25 |  7137788 |  7011298 |      360  45062 |        1 |        0
1335.22/1335.62	c 1335s |      25 |  7148213 |  7021498 |      360  45116 |        1 |        0
1337.22/1337.64	c 1337s |      25 |  7158701 |  7031798 |      360  45171 |        1 |        0
1339.21/1339.64	c 1339s |      25 |  7169430 |  7042298 |      360  45227 |        1 |        0
1341.21/1341.66	c 1341s |      25 |  7180005 |  7052598 |      360  45281 |        1 |        0
1343.21/1343.66	c 1343s |      25 |  7189842 |  7062198 |      360  45332 |        1 |        0
1345.21/1345.67	c 1345s |      25 |  7199836 |  7071998 |      360  45383 |        1 |        0
1347.22/1347.68	c 1347s |      25 |  7210306 |  7082298 |      360  45436 |        1 |        0
1349.21/1349.69	c 1349s |      25 |  7220542 |  7092398 |      360  45490 |        1 |        0
1351.31/1351.71	c 1351s |      25 |  7231262 |  7102998 |      360  45546 |        1 |        0
1353.31/1353.72	c 1353s |      25 |  7241661 |  7113198 |      360  45600 |        1 |        0
1355.31/1355.73	c 1355s |      25 |  7252031 |  7123298 |      360  45653 |        1 |        0
1357.31/1357.74	c 1357s |      25 |  7262470 |  7133498 |      360  45707 |        1 |        0
1359.31/1359.76	c 1359s |      25 |  7273093 |  7143898 |      360  45762 |        1 |        0
1361.31/1361.77	c 1361s |      25 |  7283834 |  7154498 |      360  45819 |        1 |        0
1363.31/1363.77	c 1363s |      25 |  7294431 |  7164898 |      360  45874 |        1 |        0
1365.31/1365.78	c 1365s |      25 |  7304934 |  7175198 |      360  45928 |        1 |        0
1367.41/1367.80	c 1367s |      25 |  7315483 |  7185498 |      360  45982 |        1 |        0
1369.40/1369.81	c 1369s |      25 |  7326249 |  7195998 |      360  46038 |        1 |        0
1371.41/1371.83	c 1371s |      25 |  7336790 |  7206398 |      360  46093 |        1 |        0
1373.40/1373.84	c 1373s |      25 |  7347366 |  7216798 |      360  46149 |        1 |        0
1375.40/1375.85	c 1375s |      25 |  7358460 |  7227698 |      360  46206 |        1 |        0
1377.40/1377.87	c 1377s |      25 |  7368928 |  7237998 |      360  46260 |        1 |        0
1379.40/1379.87	c 1379s |      25 |  7379222 |  7248198 |      360  46314 |        1 |        0
1381.40/1381.88	c 1381s |      25 |  7389468 |  7258298 |      360  46368 |        1 |        0
1383.41/1383.88	c 1383s |      25 |  7399706 |  7268398 |      360  46421 |        1 |        0
1385.40/1385.89	c 1385s |      25 |  7410167 |  7278698 |      360  46476 |        1 |        0
1387.40/1387.89	c 1387s |      25 |  7420956 |  7289298 |      360  46533 |        1 |        0
1389.40/1389.89	c 1389s |      25 |  7431481 |  7299598 |      360  46588 |        1 |        0
1391.50/1391.90	c 1391s |      25 |  7442190 |  7310098 |      360  46644 |        1 |        0
1393.50/1393.92	c 1393s |      25 |  7452926 |  7320698 |      360  46701 |        1 |        0
1395.51/1395.93	c 1395s |      25 |  7463601 |  7331198 |      360  46757 |        1 |        0
1397.50/1397.93	c 1397s |      25 |  7473862 |  7341298 |      360  46811 |        1 |        0
1399.50/1399.93	c 1399s |      25 |  7484453 |  7351698 |      360  46866 |        1 |        0
1401.50/1401.94	c 1401s |      25 |  7495466 |  7362498 |      360  46924 |        1 |        0
1403.50/1403.95	c 1403s |      25 |  7506199 |  7373098 |      360  46981 |        1 |        0
1405.51/1405.95	c 1405s |      25 |  7516726 |  7383498 |      360  47037 |        1 |        0
1407.50/1407.97	c 1407s |      25 |  7527126 |  7393698 |      360  47091 |        1 |        0
1409.50/1409.97	c 1409s |      25 |  7537002 |  7403498 |      360  47143 |        1 |        0
1411.50/1411.97	c 1411s |      25 |  7546763 |  7413198 |      360  47194 |        1 |        0
1413.51/1413.98	c 1413s |      25 |  7556450 |  7422698 |      360  47244 |        1 |        0
1415.51/1415.99	c 1415s |      25 |  7565878 |  7431998 |      360  47293 |        1 |        0
1417.61/1418.01	c 1417s |      25 |  7575852 |  7441798 |      360  47344 |        1 |        0
1419.60/1420.03	c 1420s |      25 |  7585642 |  7451398 |      360  47394 |        1 |        0
1421.60/1422.03	c 1422s |      25 |  7595943 |  7461498 |      360  47448 |        1 |        0
1423.60/1424.04	c 1424s |      25 |  7606235 |  7471598 |      360  47501 |        1 |        0
1425.60/1426.05	c 1426s |      25 |  7616622 |  7481798 |      360  47554 |        1 |        0
1427.60/1428.05	c 1428s |      25 |  7626885 |  7491898 |      360  47607 |        1 |        0
1429.61/1430.06	c 1430s |      25 |  7637220 |  7502098 |      360  47661 |        1 |        0
1431.60/1432.06	c 1432s |      25 |  7647704 |  7512398 |      360  47716 |        1 |        0
1433.60/1434.08	c 1434s |      25 |  7658436 |  7522898 |      360  47772 |        1 |        0
1435.60/1436.09	c 1436s |      25 |  7668793 |  7533098 |      360  47825 |        1 |        0
1437.60/1438.09	c 1438s |      25 |  7678893 |  7542998 |      360  47877 |        1 |        0
1439.70/1440.11	c 1440s |      25 |  7689290 |  7553198 |      397  47927 |        1 |        0
1441.71/1442.12	c 1442s |      25 |  7699644 |  7563298 |      397  47975 |        1 |        0
1443.70/1444.13	c 1444s |      25 |  7709986 |  7573398 |      397  48023 |        1 |        0
1445.70/1446.15	c 1446s |      25 |  7720275 |  7583498 |      397  48071 |        1 |        0
1447.70/1448.16	c 1448s |      25 |  7730861 |  7593898 |      397  48122 |        1 |        0
1448.50/1448.94	c 1448s |      26 |  7734766 |  7597752 |      397  48140 |        1 |        0
1450.50/1450.95	c 1450s |      26 |  7744972 |  7607752 |      397  48188 |        1 |        0
1452.50/1452.96	c 1452s |      26 |  7754759 |  7617352 |      397  48233 |        1 |        0
1454.50/1454.97	c 1454s |      26 |  7764827 |  7627152 |      397  48280 |        1 |        0
1456.50/1456.98	c 1456s |      26 |  7775313 |  7637452 |      397  48328 |        1 |        0
1458.50/1458.98	c 1458s |      26 |  7785822 |  7647752 |      397  48377 |        1 |        0
1460.50/1460.99	c 1460s |      26 |  7796217 |  7657952 |      397  48425 |        1 |        0
1462.60/1463.00	c 1462s |      26 |  7806096 |  7667652 |      397  48471 |        1 |        0
1464.59/1465.02	c 1465s |      26 |  7816148 |  7677552 |      397  48518 |        1 |        0
1466.59/1467.03	c 1467s |      26 |  7826470 |  7687752 |      397  48566 |        1 |        0
1468.59/1469.03	c 1469s |      26 |  7836652 |  7697652 |      397  48613 |        1 |        0
1470.59/1471.03	c 1471s |      26 |  7846946 |  7707752 |      397  48661 |        1 |        0
1472.60/1473.04	c 1473s |      26 |  7857301 |  7717852 |      397  48709 |        1 |        0
1474.59/1475.05	c 1475s |      26 |  7867593 |  7727952 |      397  48758 |        1 |        0
1476.59/1477.07	c 1477s |      26 |  7877870 |  7738052 |      397  48807 |        1 |        0
1478.59/1479.08	c 1479s |      26 |  7888386 |  7748352 |      397  48856 |        1 |        0
1480.69/1481.10	c 1481s |      26 |  7898739 |  7758552 |      397  48905 |        1 |        0
1482.69/1483.11	c 1483s |      26 |  7909274 |  7768952 |      397  48955 |        1 |        0
1484.70/1485.12	c 1485s |      26 |  7919148 |  7778652 |      397  49002 |        1 |        0
1486.69/1487.14	c 1487s |      26 |  7928506 |  7787852 |      397  49045 |        1 |        0
1488.69/1489.14	c 1489s |      26 |  7937766 |  7796952 |      397  49089 |        1 |        0
1490.69/1491.16	c 1491s |      26 |  7947768 |  7806852 |      397  49136 |        1 |        0
1492.69/1493.17	c 1493s |      26 |  7957678 |  7816652 |      397  49183 |        1 |        0
1494.69/1495.17	c 1495s |      26 |  7967812 |  7826652 |      397  49230 |        1 |        0
1496.69/1497.18	c 1497s |      26 |  7978818 |  7837452 |      397  49280 |        1 |        0
1498.69/1499.19	c 1499s |      26 |  7989737 |  7848152 |      397  49330 |        1 |        0
1500.78/1501.21	c 1501s |      26 |  8000044 |  7858252 |      397  49377 |        1 |        0
1502.78/1503.22	c 1503s |      26 |  8010159 |  7868152 |      397  49423 |        1 |        0
1504.78/1505.24	c 1505s |      26 |  8020383 |  7878152 |      397  49469 |        1 |        0
1506.78/1507.25	c 1507s |      26 |  8030641 |  7888252 |      397  49516 |        1 |        0
1508.80/1509.26	c 1509s |      26 |  8040713 |  7898152 |      397  49563 |        1 |        0
1510.79/1511.27	c 1511s |      26 |  8050600 |  7907852 |      397  49608 |        1 |        0
1512.79/1513.29	c 1513s |      26 |  8060999 |  7918052 |      397  49656 |        1 |        0
1514.89/1515.30	c 1515s |      26 |  8071295 |  7928152 |      397  49703 |        1 |        0
1516.89/1517.32	c 1517s |      26 |  8081611 |  7938252 |      397  49751 |        1 |        0
1518.89/1519.33	c 1519s |      26 |  8092112 |  7948552 |      397  49799 |        1 |        0
1520.89/1521.34	c 1521s |      26 |  8101978 |  7958252 |      397  49845 |        1 |        0
1522.89/1523.34	c 1523s |      26 |  8112482 |  7968552 |      397  49893 |        1 |        0
1524.89/1525.34	c 1525s |      26 |  8122875 |  7978752 |      397  49941 |        1 |        0
1526.89/1527.36	c 1527s |      26 |  8132976 |  7988652 |      397  49987 |        1 |        0
1528.89/1529.36	c 1529s |      26 |  8142862 |  7998352 |      397  50033 |        1 |        0
1530.89/1531.37	c 1531s |      26 |  8152857 |  8008152 |      397  50079 |        1 |        0
1532.89/1533.39	c 1533s |      26 |  8162989 |  8018052 |      397  50125 |        1 |        0
1534.98/1535.40	c 1535s |      26 |  8173368 |  8028252 |      397  50174 |        1 |        0
1536.98/1537.40	c 1537s |      26 |  8183745 |  8038452 |      397  50222 |        1 |        0
1538.98/1539.41	c 1539s |      26 |  8194297 |  8048752 |      397  50271 |        1 |        0
1540.98/1541.43	c 1541s |      26 |  8204527 |  8058752 |      397  50318 |        1 |        0
1542.99/1543.43	c 1543s |      26 |  8214902 |  8068852 |      397  50366 |        1 |        0
1544.98/1545.44	c 1545s |      26 |  8225292 |  8079052 |      397  50414 |        1 |        0
1546.98/1547.45	c 1547s |      26 |  8235558 |  8089052 |      397  50461 |        1 |        0
1548.98/1549.46	c 1549s |      26 |  8245754 |  8099052 |      397  50508 |        1 |        0
1550.98/1551.48	c 1551s |      26 |  8256047 |  8109152 |      397  50556 |        1 |        0
1552.98/1553.49	c 1553s |      26 |  8266545 |  8119452 |      397  50605 |        1 |        0
1554.98/1555.49	c 1555s |      26 |  8277009 |  8129652 |      397  50653 |        1 |        0
1557.08/1557.50	c 1557s |      26 |  8287497 |  8139952 |      397  50703 |        1 |        0
1559.08/1559.51	c 1559s |      26 |  8298337 |  8150652 |      397  50754 |        1 |        0
1561.08/1561.53	c 1561s |      26 |  8309251 |  8161352 |      397  50805 |        1 |        0
1563.08/1563.54	c 1563s |      26 |  8319898 |  8171852 |      397  50855 |        1 |        0
1565.08/1565.56	c 1565s |      26 |  8329852 |  8181652 |      397  50901 |        1 |        0
1567.09/1567.57	c 1567s |      26 |  8340599 |  8192252 |      397  50951 |        1 |        0
1569.08/1569.59	c 1569s |      26 |  8351280 |  8202752 |      397  51000 |        1 |        0
1571.18/1571.61	c 1571s |      26 |  8361827 |  8213152 |      397  51049 |        1 |        0
1573.18/1573.62	c 1573s |      26 |  8372235 |  8223352 |      397  51097 |        1 |        0
1575.18/1575.63	c 1575s |      26 |  8382541 |  8233452 |      397  51144 |        1 |        0
1577.18/1577.64	c 1577s |      26 |  8393309 |  8243952 |      397  51194 |        1 |        0
1579.19/1579.66	c 1579s |      26 |  8404205 |  8254652 |      397  51245 |        1 |        0
1581.18/1581.67	c 1581s |      26 |  8414849 |  8265052 |      397  51294 |        1 |        0
1583.18/1583.68	c 1583s |      26 |  8425571 |  8275452 |      397  51344 |        1 |        0
1585.28/1585.71	c 1585s |      26 |  8435985 |  8285652 |      397  51393 |        1 |        0
1587.28/1587.72	c 1587s |      26 |  8446369 |  8295852 |      397  51441 |        1 |        0
1589.28/1589.72	c 1589s |      26 |  8457210 |  8306452 |      397  51492 |        1 |        0
1591.28/1591.74	c 1591s |      26 |  8467590 |  8316652 |      397  51541 |        1 |        0
1593.28/1593.75	c 1593s |      26 |  8477583 |  8326452 |      397  51588 |        1 |        0
1595.27/1595.76	c 1595s |      26 |  8487566 |  8336252 |      397  51634 |        1 |        0
1597.27/1597.78	c 1597s |      26 |  8497583 |  8346152 |      397  51681 |        1 |        0
1599.27/1599.79	c 1599s |      26 |  8508054 |  8356452 |      397  51731 |        1 |        0
1601.28/1601.79	c 1601s |      26 |  8518120 |  8366352 |      397  51778 |        1 |        0
1603.38/1603.81	c 1603s |      26 |  8528437 |  8376452 |      397  51825 |        1 |        0
1605.37/1605.81	c 1605s |      26 |  8538970 |  8386852 |      397  51875 |        1 |        0
1607.37/1607.83	c 1607s |      26 |  8549782 |  8397552 |      397  51926 |        1 |        0
1609.37/1609.83	c 1609s |      26 |  8559991 |  8407652 |      397  51974 |        1 |        0
1611.37/1611.85	c 1611s |      26 |  8570288 |  8417852 |      397  52022 |        1 |        0
1613.38/1613.87	c 1613s |      26 |  8580352 |  8427752 |      397  52069 |        1 |        0
1615.37/1615.88	c 1615s |      26 |  8590585 |  8437852 |      397  52117 |        1 |        0
1617.47/1617.90	c 1617s |      26 |  8601292 |  8448452 |      397  52168 |        1 |        0
1619.47/1619.91	c 1619s |      26 |  8611766 |  8458752 |      397  52216 |        1 |        0
1621.47/1621.91	c 1621s |      26 |  8622047 |  8468852 |      397  52264 |        1 |        0
1623.47/1623.92	c 1623s |      26 |  8632584 |  8479252 |      397  52314 |        1 |        0
1625.47/1625.94	c 1625s |      26 |  8643187 |  8489652 |      397  52364 |        1 |        0
1627.47/1627.95	c 1627s |      26 |  8653319 |  8499652 |      397  52411 |        1 |        0
1629.47/1629.96	c 1629s |      26 |  8663642 |  8509852 |      397  52460 |        1 |        0
1631.47/1631.97	c 1631s |      26 |  8674349 |  8520352 |      397  52511 |        1 |        0
1633.46/1633.98	c 1633s |      26 |  8684584 |  8530452 |      397  52559 |        1 |        0
1635.46/1635.98	c 1635s |      26 |  8695054 |  8540752 |      397  52608 |        1 |        0
1637.47/1637.98	c 1637s |      26 |  8705115 |  8550652 |      397  52656 |        1 |        0
1639.56/1640.00	c 1639s |      26 |  8715848 |  8561152 |      397  52706 |        1 |        0
1641.56/1642.01	c 1641s |      26 |  8726351 |  8571452 |      397  52755 |        1 |        0
1643.56/1644.01	c 1643s |      26 |  8737342 |  8582252 |      397  52808 |        1 |        0
1645.56/1646.02	c 1646s |      26 |  8747890 |  8592552 |      397  52857 |        1 |        0
1647.56/1648.03	c 1648s |      26 |  8758466 |  8602952 |      397  52907 |        1 |        0
1649.57/1650.04	c 1650s |      26 |  8768815 |  8613152 |      397  52955 |        1 |        0
1651.56/1652.05	c 1652s |      26 |  8779143 |  8623352 |      397  53005 |        1 |        0
1653.57/1654.05	c 1654s |      26 |  8789376 |  8633452 |      397  53053 |        1 |        0
1655.57/1656.07	c 1656s |      26 |  8799868 |  8643852 |      397  53103 |        1 |        0
1657.57/1658.07	c 1658s |      26 |  8810475 |  8654352 |      397  53153 |        1 |        0
1659.58/1660.08	c 1660s |      26 |  8820867 |  8664652 |      397  53203 |        1 |        0
1661.57/1662.09	c 1662s |      26 |  8830940 |  8674652 |      397  53251 |        1 |        0
1663.67/1664.10	c 1664s |      26 |  8841468 |  8685052 |      397  53301 |        1 |        0
1665.67/1666.11	c 1666s |      26 |  8851842 |  8695352 |      397  53351 |        1 |        0
1667.67/1668.12	c 1668s |      26 |  8862099 |  8705552 |      397  53401 |        1 |        0
1669.67/1670.13	c 1670s |      26 |  8872440 |  8715752 |      397  53449 |        1 |        0
1671.67/1672.13	c 1672s |      26 |  8882502 |  8725652 |      397  53497 |        1 |        0
1673.67/1674.13	c 1674s |      26 |  8892391 |  8735452 |      397  53544 |        1 |        0
1675.67/1676.14	c 1676s |      26 |  8902977 |  8745852 |      397  53594 |        1 |        0
1677.66/1678.15	c 1678s |      26 |  8913365 |  8756052 |      397  53643 |        1 |        0
1679.66/1680.16	c 1680s |      26 |  8923932 |  8766452 |      397  53694 |        1 |        0
1681.66/1682.17	c 1682s |      26 |  8934236 |  8776652 |      397  53743 |        1 |        0
1683.67/1684.18	c 1684s |      26 |  8944458 |  8786752 |      397  53791 |        1 |        0
1685.66/1686.19	c 1686s |      26 |  8954051 |  8796252 |      397  53836 |        1 |        0
1687.76/1688.21	c 1688s |      26 |  8963765 |  8805752 |      397  53881 |        1 |        0
1689.76/1690.23	c 1690s |      26 |  8974292 |  8816052 |      397  53930 |        1 |        0
1691.76/1692.24	c 1692s |      26 |  8984858 |  8826352 |      397  53979 |        1 |        0
1693.76/1694.24	c 1694s |      26 |  8995223 |  8836452 |      397  54027 |        1 |        0
1695.77/1696.25	c 1696s |      26 |  9005725 |  8846752 |      397  54076 |        1 |        0
1697.76/1698.27	c 1698s |      26 |  9015855 |  8856752 |      397  54124 |        1 |        0
1699.76/1700.28	c 1700s |      26 |  9026299 |  8866952 |      397  54172 |        1 |        0
1701.76/1702.28	c 1702s |      26 |  9036552 |  8876952 |      397  54220 |        1 |        0
1703.76/1704.30	c 1704s |      26 |  9047077 |  8887252 |      397  54269 |        1 |        0
1705.86/1706.31	c 1706s |      26 |  9057531 |  8897552 |      397  54319 |        1 |        0
1707.86/1708.32	c 1708s |      26 |  9068344 |  8908152 |      397  54370 |        1 |        0
1709.86/1710.32	c 1710s |      26 |  9078914 |  8918452 |      397  54419 |        1 |        0
1711.86/1712.33	c 1712s |      26 |  9089680 |  8929052 |      397  54470 |        1 |        0
1713.86/1714.34	c 1714s |      26 |  9100040 |  8939252 |      397  54519 |        1 |        0
1715.86/1716.35	c 1716s |      26 |  9110471 |  8949452 |      397  54568 |        1 |        0
1717.86/1718.36	c 1718s |      26 |  9120821 |  8959652 |      397  54618 |        1 |        0
1719.86/1720.37	c 1720s |      26 |  9131447 |  8970052 |      397  54668 |        1 |        0
1721.86/1722.37	c 1722s |      26 |  9142167 |  8980552 |      397  54720 |        1 |        0
1723.86/1724.39	c 1724s |      26 |  9152874 |  8991052 |      397  54771 |        1 |        0
1725.85/1726.39	c 1726s |      26 |  9163515 |  9001452 |      397  54821 |        1 |        0
1727.95/1728.41	c 1728s |      26 |  9174397 |  9012152 |      397  54873 |        1 |        0
1729.96/1730.42	c 1730s |      26 |  9184971 |  9022452 |      397  54923 |        1 |        0
1731.95/1732.43	c 1732s |      26 |  9195049 |  9032252 |      397  54969 |        1 |        0
1733.95/1734.44	c 1734s |      26 |  9205358 |  9042352 |      397  55017 |        1 |        0
1735.95/1736.45	c 1736s |      26 |  9215170 |  9051952 |      397  55063 |        1 |        0
1737.95/1738.47	c 1738s |      26 |  9225101 |  9061652 |      397  55109 |        1 |        0
1739.95/1740.47	c 1740s |      26 |  9235193 |  9071352 |      397  55155 |        1 |        0
1741.96/1742.48	c 1742s |      26 |  9245284 |  9081252 |      397  55202 |        1 |        0
1744.05/1744.50	c 1744s |      26 |  9255759 |  9091552 |      397  55251 |        1 |        0
1746.05/1746.51	c 1746s |      26 |  9266220 |  9101752 |      397  55300 |        1 |        0
1748.05/1748.51	c 1748s |      26 |  9276459 |  9111552 |      397  55346 |        1 |        0
1750.05/1750.52	c 1750s |      26 |  9286718 |  9121552 |      397  55394 |        1 |        0
1752.05/1752.53	c 1752s |      26 |  9297116 |  9131752 |      397  55443 |        1 |        0
1754.05/1754.54	c 1754s |      26 |  9307584 |  9141952 |      397  55492 |        1 |        0
1756.05/1756.55	c 1756s |      26 |  9318507 |  9152652 |      397  55544 |        1 |        0
1758.05/1758.57	c 1758s |      26 |  9328971 |  9162852 |      397  55593 |        1 |        0
1760.04/1760.58	c 1760s |      26 |  9338788 |  9172352 |      397  55638 |        1 |        0
1762.15/1762.60	c 1762s |      26 |  9348561 |  9181952 |      397  55684 |        1 |        0
1764.15/1764.61	c 1764s |      26 |  9357860 |  9191052 |      397  55727 |        1 |        0
1766.16/1766.62	c 1766s |      26 |  9367467 |  9200452 |      397  55772 |        1 |        0
1768.15/1768.64	c 1768s |      26 |  9377220 |  9209852 |      397  55817 |        1 |        0
1770.15/1770.65	c 1770s |      26 |  9386832 |  9219152 |      397  55861 |        1 |        0
1772.15/1772.67	c 1772s |      26 |  9396491 |  9228552 |      397  55906 |        1 |        0
1774.15/1774.69	c 1774s |      26 |  9406218 |  9238052 |      397  55952 |        1 |        0
1776.16/1776.69	c 1776s |      26 |  9416409 |  9247952 |      397  56000 |        1 |        0
1778.26/1778.71	c 1778s |      26 |  9427040 |  9258352 |      397  56050 |        1 |        0
1780.25/1780.71	c 1780s |      26 |  9436897 |  9267952 |      397  56096 |        1 |        0
1782.25/1782.73	c 1782s |      26 |  9446689 |  9277552 |      397  56141 |        1 |        0
1784.25/1784.73	c 1784s |      26 |  9456228 |  9286852 |      397  56186 |        1 |        0
1786.25/1786.75	c 1786s |      26 |  9466139 |  9296452 |      397  56231 |        1 |        0
1788.26/1788.76	c 1788s |      26 |  9476060 |  9306052 |      397  56277 |        1 |        0
1790.25/1790.76	c 1790s |      26 |  9486319 |  9316052 |      397  56325 |        1 |        0
1792.25/1792.78	c 1792s |      26 |  9496367 |  9325952 |      397  56373 |        1 |        0
1794.25/1794.79	c 1794s |      26 |  9506791 |  9336252 |      397  56422 |        1 |        0
1796.35/1796.80	c 1796s |      26 |  9517457 |  9346752 |      397  56473 |        1 |        0
1798.35/1798.81	c 1798s |      26 |  9527894 |  9356952 |      397  56521 |        1 |        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-4105601-1466252598/watcher-4105601-1466252598 -o /tmp/evaluation-result-4105601-1466252598/solver-4105601-1466252598 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105601-1466252598.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.14 2.14 2.09 3/179 5696
/proc/meminfo: memFree=30180216/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=560572 CPUtime=0 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 2058 0 0 0 0 0 0 0 20 0 4 0 27309912 574025728 2930 33554432000 4194304 16246674 140735898613120 140735898612544 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 140655 2941 441 2943 0 137549 0
[pid=5696/tid=5697] ppid=5693 vsize=605628 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 620163072 3107 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=609724 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 624357376 3124 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=613820 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27309912 628551680 3140 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10021 s]
/proc/loadavg: 2.14 2.14 2.09 3/179 5696
/proc/meminfo: memFree=30180216/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 19098 0 0 0 6 2 0 0 20 0 4 0 27309912 1247350784 19958 33554432000 4194304 16246674 140735898613120 140735898612544 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 304529 19967 750 2943 0 301423 0
[pid=5696/tid=5697] ppid=5693 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1247350784 19971 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1247350784 19972 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27309912 1247350784 19974 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200509 s]
/proc/loadavg: 2.14 2.14 2.09 3/179 5696
/proc/meminfo: memFree=30180216/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 33879 0 0 0 15 4 0 0 20 0 4 0 27309912 1247350784 34739 33554432000 4194304 16246674 140735898613120 140735898612544 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 304529 34740 750 2943 0 301423 0
[pid=5696/tid=5697] ppid=5693 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1247350784 34744 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1247350784 34747 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27309912 1247350784 34750 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300477 s]
/proc/loadavg: 2.14 2.14 2.09 3/179 5696
/proc/meminfo: memFree=30180216/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 48378 0 0 0 22 6 0 0 20 0 4 0 27309912 1247350784 49238 33554432000 4194304 16246674 140735898613120 140735898612544 13759916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 304529 49245 750 2943 0 301423 0
[pid=5696/tid=5697] ppid=5693 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1247350784 49250 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1247350784 49252 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27309912 1247350784 49254 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.7004 s]
/proc/loadavg: 2.14 2.14 2.09 3/179 5696
/proc/meminfo: memFree=30180216/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 109234 0 0 0 54 15 0 0 20 0 4 0 27309912 1247350784 110095 33554432000 4194304 16246674 140735898613120 140735898595008 5676613 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 304529 110098 750 2943 0 301423 0
[pid=5696/tid=5697] ppid=5693 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1247350784 110101 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1247350784 110104 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27309912 1247350784 110107 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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: 2.21 2.15 2.10 3/183 5700
/proc/meminfo: memFree=29484812/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 237422 0 0 0 116 33 0 0 20 0 4 0 27309912 1247350784 238282 33554432000 4194304 16246674 140735898613120 140735898595008 5712452 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 304529 238293 751 2943 0 301423 0
[pid=5696/tid=5697] ppid=5693 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1247350784 238297 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1247350784 238302 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27309912 1247350784 238307 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.1004 s]
/proc/loadavg: 2.21 2.15 2.10 3/183 5700
/proc/meminfo: memFree=29195520/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 267377 0 0 0 272 37 0 0 20 0 4 0 27309912 1337528320 268214 33554432000 4194304 16246674 140735898613120 140735898596120 6837644 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 326545 268214 824 2943 0 323439 0
[pid=5696/tid=5697] ppid=5693 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1337528320 268214 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1337528320 268214 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27309912 1337528320 268214 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30039 s]
/proc/loadavg: 2.19 2.15 2.10 3/183 5700
/proc/meminfo: memFree=29107364/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 267448 0 0 0 592 37 0 0 20 0 4 0 27309912 1337528320 268285 33554432000 4194304 16246674 140735898613120 140735898595008 5823194 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 326545 268285 824 2943 0 323439 0
[pid=5696/tid=5697] ppid=5693 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1337528320 268285 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1337528320 268285 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27309912 1337528320 268285 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.18 2.14 2.09 3/183 5700
/proc/meminfo: memFree=29107536/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 267458 0 0 0 1232 37 0 0 20 0 4 0 27309912 1337528320 268295 33554432000 4194304 16246674 140735898613120 140735898595008 13780640 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 326545 268295 824 2943 0 323439 0
[pid=5696/tid=5697] ppid=5693 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1337528320 268295 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1337528320 268295 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27309912 1337528320 268295 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.22 2.16 2.10 3/182 5700
/proc/meminfo: memFree=29107668/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 267460 0 0 0 2511 37 0 0 20 0 4 0 27309912 1337528320 268297 33554432000 4194304 16246674 140735898613120 140735898595008 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 326545 268297 824 2943 0 323439 0
[pid=5696/tid=5697] ppid=5693 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1337528320 268297 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1337528320 268297 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27309912 1337528320 268297 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.27 2.17 2.10 3/183 5701
/proc/meminfo: memFree=29107512/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 267534 0 0 0 5071 37 0 0 20 0 4 0 27309912 1337528320 268371 33554432000 4194304 16246674 140735898613120 140735898595008 5600076 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 326545 268371 824 2943 0 323439 0
[pid=5696/tid=5697] ppid=5693 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1337528320 268371 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1337528320 268371 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27309912 1337528320 268371 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.26 2.19 2.11 3/183 5702
/proc/meminfo: memFree=29107116/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 267534 0 0 0 10190 38 0 0 20 0 4 0 27309912 1337528320 268371 33554432000 4194304 16246674 140735898613120 140735898596120 5723375 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 326545 268371 824 2943 0 323439 0
[pid=5696/tid=5697] ppid=5693 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1337528320 268371 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1337528320 268371 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27309912 1337528320 268371 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.15 2.15 2.13 3/183 5781
/proc/meminfo: memFree=29108800/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1307204 CPUtime=1361.91 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 267971 0 0 0 136140 51 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140735898595008 6021690 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 326801 268506 828 2943 0 323695 0
[pid=5696/tid=5697] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.27 2.18 2.14 3/183 5782
/proc/meminfo: memFree=29108552/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1307204 CPUtime=1421.91 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 267971 0 0 0 142139 52 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140735898596120 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 326801 268506 828 2943 0 323695 0
[pid=5696/tid=5697] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.22 2.18 2.14 3/183 5783
/proc/meminfo: memFree=29108556/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1307204 CPUtime=1481.89 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 267971 0 0 0 148137 52 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140735898595008 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 326801 268506 828 2943 0 323695 0
[pid=5696/tid=5697] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.12 2.16 2.13 3/183 5784
/proc/meminfo: memFree=29108400/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1307204 CPUtime=1541.89 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 267971 0 0 0 154136 53 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140735898595008 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 326801 268506 828 2943 0 323695 0
[pid=5696/tid=5697] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.14 2.16 2.13 3/183 5786
/proc/meminfo: memFree=29108272/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1307204 CPUtime=1601.87 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 267971 0 0 0 160133 54 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140735898595008 13809229 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 326801 268506 828 2943 0 323695 0
[pid=5696/tid=5697] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.09 2.14 2.13 3/184 5790
/proc/meminfo: memFree=29108176/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1307204 CPUtime=1661.87 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 267971 0 0 0 166132 55 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140735898596120 12483411 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 326801 268506 828 2943 0 323695 0
[pid=5696/tid=5697] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.10 2.13 2.12 3/183 5791
/proc/meminfo: memFree=29108304/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1307204 CPUtime=1721.86 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 267971 0 0 0 172131 55 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140735898595008 5589407 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 326801 268506 828 2943 0 323695 0
[pid=5696/tid=5697] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268506 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.10 2.12 2.11 4/183 5792
/proc/meminfo: memFree=29107812/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1307204 CPUtime=1781.85 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 268053 0 0 0 178129 56 0 0 20 0 4 0 27309912 1338576896 268588 33554432000 4194304 16246674 140735898613120 140735898595008 6022628 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 326801 268588 828 2943 0 323695 0
[pid=5696/tid=5697] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268588 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268588 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268588 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.07 2.11 2.11 3/183 5793
/proc/meminfo: memFree=29107568/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1307204 CPUtime=1800.05 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 268053 0 0 0 179949 56 0 0 20 0 4 0 27309912 1338576896 268588 33554432000 4194304 16246674 140735898613120 140735898595008 13192052 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 326801 268588 828 2943 0 323695 0
[pid=5696/tid=5697] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268588 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268588 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268588 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1307204

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

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

[startup+1800.5 s]
/proc/loadavg: 2.07 2.11 2.11 3/183 5793
/proc/meminfo: memFree=29107568/32872528 swapFree=526336/559040
[pid=5696] ppid=5693 vsize=1307204 CPUtime=1800.05 cores=0,2,4,6
/proc/5696/stat : 5696 (toysat) R 5693 5696 28898 0 -1 4202496 268053 0 0 0 179949 56 0 0 20 0 4 0 27309912 1338576896 268588 33554432000 4194304 16246674 140735898613120 140735898595008 13192052 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5696/statm: 326801 268588 828 2943 0 323695 0
[pid=5696/tid=5697] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5697/stat : 5697 (toysat) S 5693 5696 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268588 33554432000 4194304 16246674 140735898613120 140360416210160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5696/tid=5698] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5698/stat : 5698 (toysat) S 5693 5696 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268588 33554432000 4194304 16246674 140735898613120 140360336518384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5696/tid=5699] ppid=5693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5696/task/5699/stat : 5699 (toysat) S 5693 5696 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27309912 1338576896 268588 33554432000 4194304 16246674 140735898613120 140360326044848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.5
CPU system time (s): 0.560914
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.560914
maximum resident set size= 1074352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268053
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= 321
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.74228 second user time and 6.78097 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 14:23:18
IDJOB=4105601
IDBENCH=2922
IDSOLVER=2542
FILE ID=node106/4105601-1466252598
RUNJOBID= node106-1466241787-28914
PBS_JOBID= 19918214
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105601-1466252598/watcher-4105601-1466252598 -o /tmp/evaluation-result-4105601-1466252598/solver-4105601-1466252598 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105601-1466252598.opb

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

MD5SUM BENCH= d78f5121f87a7bad7fc74d5d3eacc32f
RANDOM SEED=100855953

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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.38
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.073
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:        30180868 kB
Buffers:           97808 kB
Cached:           212944 kB
SwapCached:         1868 kB
Active:          1167040 kB
Inactive:         219396 kB
Active(anon):    1074852 kB
Inactive(anon):     3048 kB
Active(file):      92188 kB
Inactive(file):   216348 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       1710088 kB
Mapped:            10696 kB
Shmem:                 0 kB
Slab:             612084 kB
SReclaimable:      55864 kB
SUnreclaim:       556220 kB
KernelStack:        1520 kB
PageTables:         6900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1777172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    796672 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= 71668 MiB
End job on node106 at 2016-06-18 14:53:19