Trace number 4106778

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_2.opb
MD5SUM3576405369e31b0bc5c7707d6d764dde
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-13
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6148
Sum of products size (including duplicates)12296
Number of different products3074
Sum of products size6148

Solver Data 

0.00/0.00	c 2016-06-18T21:26:36+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-4106778-1466277995.opb"]
0.00/0.01	c use --random-gen="878888669 2562076329 3930847758 4184530296 3836463111 2888133758 974713121 4280424883 3707761322 2985241302 3691670897 3671112896 1219043227 2144485081 3543970778 1633492105 3843825660 2038789568 2754187815 417761348 2696246778 2438288039 3114530655 383015387 2942187997 327773249 1230838820 3381617550 3970852526 2824184335 1687948725 3872624279 2882295166 3510739009 80795435 1183934101 2781940854 3648600412 1547284863 3860969345 2305036543 1608306147 3917183333 804389172 3715211218 1415297575 3496083522 595675775 4259029675 3849889678 1894869323 1537673436 525069098 2084926006 3619674370 4247864187 1739356383 1333998162 3108507511 2006862476 2460238392 1126759173 18375622 126728920 3781142164 1740288247 1809520633 2382043643 1967800161 1642688193 3752638784 928043993 83466450 115311894 2521542651 2326827602 3951832323 1788779812 2493434096 3714509880 4244683453 3693181587 1040417594 1704844162 3693381317 3793200666 584977305 1215262868 3655461280 2134426702 2316085416 2460988201 83649382 3939389898 889073335 3546554750 3716437908 42904585 2110318768 585481686 302840843 2420108873 311446598 608929261 349307294 546261350 3537075851 3688706849 939716404 582400361 3994390755 2718236122 1891363873 1392831866 881880702 2542072006 1958786525 1415778443 1815620589 2870243723 3266868093 4179050425 2223652221 2737435203 2155610481 2499279104 304930390 1876276775 1883977894 4106688747 130436746 4258381752 1179902849 2878982827 1030723194 534690991 3844517674 993457275 819916175 416138447 1456453302 3411687774 1978597801 3720407820 678108259 3385267171 3536278814 1390110470 1436377378 1542390315 1843575260 244570579 2829665999 3847370803 2621488988 2151519948 2792451709 4118163581 2686044605 3423082685 109032489 1086677229 3126240807 1706647058 1594895404 3352025785 3755711576 232485857 313290461 2589800987 420888867 1922576614 1830917193 4054491862 3915566219 3351399251 164871491 4203624025 2383972271 1354262943 3320115724 2297075657 2507605017 2694345075 4105948885 1703323834 155286155 713587950 933732072 3172824471 2247317054 3029349286 29432904 838507309 138374066 2704067941 145431731 1261653616 3275678225 1037503689 2827180254 2246818670 2214345465 2334326843 4202154854 2503309163 3098570261 3358995245 2968355206 2223728417 3408192285 3503630222 4143824556 2965836634 2224646087 355086274 4166028126 891800409 94701576 815454411 115166864 3131901973 4154746795 763093965 1052690674 536291046 2426763849 1561316930 900319553 1432262898 1272810566 384497808 634274235 2829830579 3166868314 206899554 1777612454 4020960094 1294709118 2689699222 646613690 1457778786 1484078353 3644847867 2662181181 3083149154 4068985705 1989232222 1264347639 1250305693 2917484977 366164593 2492743895 2597611683 1521906837 1258759721 255 362436" option to reproduce the execution
0.00/0.03	c #vars 200
0.00/0.03	c #constraints 301
0.09/0.10	c BCD2: Hardening is enabled.
0.09/0.10	c BCD2: BiasedSearch is enabled.
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |     2216      0 |        0 |        0
0.09/0.11	c  0.0s |       0 |      109 |        0 |     2216      0 |        0 |        0
0.09/0.11	c #cpu_time = 0.005s
0.09/0.11	c #wall_clock_time = 0.005s
0.09/0.11	c #decision = 109
0.09/0.11	c #random_decision = 1
0.09/0.11	c #conflict = 0
0.09/0.11	c #restart = 0
0.09/0.11	o -9
0.09/0.11	c BCD2: updating upper bound: 100 -> 90
0.09/0.11	c BCD2: 0 <= obj <= 90
0.09/0.11	c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0
0.09/0.11	c BCD2: #sat=1 #unsat=1 bias=1/2
0.09/0.11	c Solving starts ...
0.09/0.11	c ============================[ Search Statistics ]============================
0.09/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.11	c =============================================================================
0.09/0.11	c  0.0s |       0 |        0 |        0 |     2216      0 |        0 |        0
0.09/0.11	c  0.0s |       0 |       53 |        2 |     2216      0 |        0 |        0
0.09/0.11	c #cpu_time = 0.004s
0.09/0.11	c #wall_clock_time = 0.004s
0.09/0.11	c #decision = 53
0.09/0.11	c #random_decision = 0
0.09/0.11	c #conflict = 2
0.09/0.11	c #restart = 0
0.09/0.11	c BCD2: found a new core of size 50: cost of the new core is >=1
0.09/0.11	c lower bound updated to -99
0.09/0.11	c BCD2: 1 <= obj <= 90
0.09/0.11	c BCD2: #cores=1, #unrelaxed=50, #relaxed=50, #hardened=0
0.09/0.11	c BCD2: #sat=1 #unsat=2 bias=2/3
0.09/0.11	c Solving starts ...
0.09/0.11	c ============================[ Search Statistics ]============================
0.09/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.11	c =============================================================================
0.09/0.11	c  0.0s |       0 |        0 |        0 |     2216      0 |        0 |        0
0.09/0.12	c  0.0s |       0 |       51 |        1 |     2216      0 |        0 |        0
0.09/0.12	c #cpu_time = 0.004s
0.09/0.12	c #wall_clock_time = 0.004s
0.09/0.12	c #decision = 51
0.09/0.12	c #random_decision = 0
0.09/0.12	c #conflict = 1
0.09/0.12	c #restart = 0
0.09/0.12	c BCD2: relaxing 50 and merging with 1 cores into a new core of size 100: cost of the new core is >=2
0.09/0.12	c lower bound updated to -98
0.09/0.12	c BCD2: 2 <= obj <= 90
0.09/0.12	c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0
0.09/0.12	c BCD2: #sat=1 #unsat=3 bias=3/4
0.09/0.12	c Solving starts ...
0.09/0.12	c ============================[ Search Statistics ]============================
0.09/0.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.12	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.12	c =============================================================================
0.09/0.12	c  0.0s |       0 |        0 |        0 |     2216      0 |        1 |        0
0.09/0.16	c  0.0s |       1 |     2663 |      100 |     2438      0 |        1 |        1
0.18/0.25	c  0.1s |       2 |     5786 |      250 |     2682      0 |        1 |        1
0.29/0.38	c  0.3s |       3 |     9843 |      475 |     2951      0 |        1 |        1
0.59/0.60	c  0.5s |       4 |    14680 |      813 |     3247      0 |        1 |        1
0.89/0.94	c  0.8s |       5 |    20470 |     1320 |     3572      0 |        1 |        1
1.29/1.34	c  1.2s |       6 |    22125 |     2081 |     3930      0 |        1 |        1
1.78/1.85	c  1.7s |       7 |    23840 |     3223 |     4323      0 |        1 |        1
2.58/2.65	c  2.5s |       8 |    26297 |     4936 |     4756      1 |        1 |        1
3.68/3.78	c  3.7s |       9 |    29558 |     7506 |     5232      2 |        1 |        1
5.18/5.25	c  5.1s |      10 |    38413 |    11361 |     5756      3 |        1 |        1
7.19/7.26	c  7.1s |      10 |    49205 |    16461 |     5756      5 |        1 |        1
7.49/7.53	c  7.4s |      11 |    50154 |    17144 |     6332      5 |        1 |        1
9.49/9.55	c  9.4s |      11 |    65178 |    21644 |     6332      6 |        1 |        1
11.49/11.56	c 11.4s |      12 |    73477 |    25819 |     6966      7 |        1 |        1
13.58/13.60	c 13.5s |      12 |    83085 |    30019 |     6966      8 |        1 |        1
15.58/15.63	c 15.5s |      12 |    96810 |    34319 |     6966     10 |        1 |        1
17.59/17.65	c 17.5s |      12 |   105801 |    38419 |     6966     11 |        1 |        1
17.88/17.93	c 17.8s |      13 |   106487 |    38832 |     7663     11 |        1 |        1
19.89/19.96	c 19.8s |      13 |   116327 |    42532 |     7663     12 |        1 |        1
21.88/21.96	c 21.8s |      13 |   126075 |    46432 |     7663     13 |        1 |        1
23.98/24.01	c 23.9s |      13 |   134713 |    50332 |     7663     14 |        1 |        1
25.98/26.02	c 25.9s |      13 |   141963 |    54132 |     7663     15 |        1 |        1
27.98/28.03	c 27.9s |      13 |   147959 |    58032 |     8430     16 |        1 |        1
28.18/28.20	c 28.1s |      14 |   148365 |    58352 |     8430     16 |        1 |        1
30.18/30.21	c 30.1s |      14 |   154448 |    61752 |     8430     16 |        1 |        1
32.18/32.23	c 32.1s |      14 |   161469 |    65652 |     8430     17 |        1 |        1
34.19/34.24	c 34.1s |      14 |   168786 |    70352 |     8430     18 |        1 |        1
36.18/36.28	c 36.2s |      14 |   175188 |    75052 |     8430     19 |        1 |        1
38.28/38.35	c 38.2s |      14 |   183726 |    79552 |     8430     21 |        1 |        1
40.28/40.35	c 40.2s |      14 |   193797 |    83652 |     8430     21 |        1 |        1
42.28/42.38	c 42.3s |      15 |   208095 |    87632 |     9273     22 |        1 |        1
44.28/44.38	c 44.3s |      15 |   216133 |    90932 |     9273     23 |        1 |        1
46.38/46.40	c 46.3s |      15 |   221218 |    94332 |     9273     24 |        1 |        1
48.39/48.45	c 48.3s |      15 |   234576 |    97732 |     9273     24 |        1 |        1
50.38/50.47	c 50.4s |      15 |   241467 |   101032 |     9273     25 |        1 |        1
52.38/52.49	c 52.4s |      15 |   245431 |   103832 |     9273     26 |        1 |        1
54.48/54.52	c 54.4s |      15 |   250005 |   107132 |     9273     26 |        1 |        1
56.48/56.53	c 56.4s |      15 |   255237 |   110332 |     9273     27 |        1 |        1
58.48/58.57	c 58.5s |      15 |   259877 |   113332 |     9273     28 |        1 |        1
60.58/60.62	c 60.5s |      15 |   264457 |   116332 |     9273     28 |        1 |        1
62.58/62.66	c 62.5s |      15 |   269208 |   119532 |     9273     29 |        1 |        1
64.58/64.68	c 64.6s |      15 |   274440 |   122632 |     9273     30 |        1 |        1
66.68/66.72	c 66.6s |      15 |   279019 |   125832 |     9273     30 |        1 |        1
68.68/68.74	c 68.6s |      15 |   283335 |   128832 |     9273     31 |        1 |        1
70.38/70.45	c 70.3s |      16 |   286748 |   131552 |    10201     31 |        1 |        1
72.37/72.49	c 72.4s |      16 |   295970 |   134752 |    10201     32 |        1 |        1
74.47/74.50	c 74.4s |      16 |   305309 |   138152 |    10201     33 |        1 |        1
76.47/76.56	c 76.4s |      16 |   310852 |   141552 |    10201     33 |        1 |        1
78.57/78.61	c 78.5s |      16 |   316491 |   144552 |    10201     34 |        1 |        1
80.57/80.67	c 80.5s |      16 |   322676 |   147852 |    10201     34 |        1 |        1
82.59/82.67	c 82.6s |      16 |   327560 |   150952 |    10201     35 |        1 |        1
84.58/84.70	c 84.6s |      16 |   332497 |   154152 |    10201     36 |        1 |        1
86.68/86.72	c 86.6s |      16 |   343326 |   157352 |    10201     36 |        1 |        1
88.68/88.74	c 88.6s |      16 |   350360 |   160752 |    10201     37 |        1 |        1
90.68/90.77	c 90.7s |      16 |   356658 |   163552 |    10201     38 |        1 |        1
92.78/92.80	c 92.7s |      16 |   362207 |   166452 |    10201     38 |        1 |        1
94.78/94.82	c 94.7s |      16 |   367492 |   169352 |    10201     39 |        1 |        1
96.78/96.82	c 96.7s |      16 |   375225 |   172552 |    10201     39 |        1 |        1
98.78/98.84	c 98.7s |      16 |   380150 |   175452 |    10201     40 |        1 |        1
100.78/100.85	c  100s |      16 |   387077 |   178052 |    10201     40 |        1 |        1
102.78/102.87	c  102s |      16 |   390766 |   180952 |    10201     41 |        1 |        1
104.88/104.91	c  104s |      16 |   395510 |   184152 |    10201     41 |        1 |        1
106.87/106.93	c  106s |      16 |   399602 |   187152 |    10201     42 |        1 |        1
108.88/108.96	c  108s |      16 |   404537 |   189952 |    10201     43 |        1 |        1
110.97/111.03	c  110s |      16 |   409206 |   193052 |    10201     43 |        1 |        1
112.97/113.04	c  112s |      16 |   419314 |   195752 |    10201     44 |        1 |        1
114.07/114.11	c  113s |      17 |   425614 |   197432 |    11222     44 |        1 |        1
116.07/116.18	c  116s |      17 |   439287 |   200432 |    11222     44 |        1 |        1
118.07/118.18	c  118s |      17 |   447017 |   203032 |    11222     45 |        1 |        1
120.17/120.21	c  120s |      17 |   466267 |   205732 |    11222     45 |        1 |        1
122.18/122.26	c  122s |      17 |   478263 |   208532 |    11222     46 |        1 |        1
124.17/124.27	c  124s |      17 |   486668 |   211232 |    11222     46 |        1 |        1
126.27/126.37	c  126s |      17 |   492856 |   213732 |    11222     47 |        1 |        1
128.37/128.44	c  128s |      17 |   497280 |   216132 |    11222     47 |        1 |        1
130.37/130.44	c  130s |      17 |   502750 |   218832 |    11222     48 |        1 |        1
132.37/132.47	c  132s |      17 |   506440 |   221532 |    11222     48 |        1 |        1
134.47/134.53	c  134s |      17 |   510319 |   224032 |    11222     49 |        1 |        1
136.47/136.57	c  136s |      17 |   515115 |   226632 |    11222     49 |        1 |        1
138.57/138.66	c  138s |      17 |   523720 |   229332 |    11222     50 |        1 |        1
140.67/140.72	c  140s |      17 |   532446 |   232332 |    11222     50 |        1 |        1
142.67/142.79	c  142s |      17 |   538373 |   234932 |    11222     51 |        1 |        1
144.77/144.81	c  144s |      17 |   543180 |   237932 |    11222     51 |        1 |        1
146.86/146.95	c  146s |      17 |   547047 |   240632 |    11222     52 |        1 |        1
148.86/148.99	c  148s |      17 |   551404 |   243632 |    11222     52 |        1 |        1
151.06/151.11	c  150s |      17 |   556174 |   246332 |    11222     53 |        1 |        1
153.06/153.12	c  152s |      17 |   560309 |   249032 |    11222     53 |        1 |        1
155.07/155.14	c  155s |      17 |   563863 |   251532 |    11222     53 |        1 |        1
157.06/157.18	c  157s |      17 |   569296 |   253932 |    11222     54 |        1 |        1
159.16/159.21	c  159s |      17 |   574851 |   256732 |    11222     54 |        1 |        1
161.16/161.24	c  161s |      17 |   578072 |   259332 |    11222     55 |        1 |        1
163.16/163.27	c  163s |      17 |   582015 |   262232 |    11222     55 |        1 |        1
165.26/165.30	c  165s |      17 |   585591 |   264832 |    11222     56 |        1 |        1
167.27/167.34	c  167s |      17 |   590937 |   267532 |    11222     56 |        1 |        1
169.27/169.36	c  169s |      17 |   594028 |   269632 |    11222     57 |        1 |        1
171.37/171.40	c  171s |      17 |   598328 |   272432 |    11222     57 |        1 |        1
173.36/173.45	c  173s |      17 |   601221 |   274932 |    11222     58 |        1 |        1
175.36/175.47	c  175s |      17 |   606036 |   278032 |    11222     58 |        1 |        1
177.36/177.47	c  177s |      17 |   612358 |   280632 |    11222     59 |        1 |        1
179.46/179.53	c  179s |      17 |   618221 |   283332 |    11222     59 |        1 |        1
181.47/181.59	c  181s |      17 |   621522 |   285932 |    11222     59 |        1 |        1
183.56/183.61	c  183s |      17 |   625783 |   288432 |    11222     60 |        1 |        1
185.56/185.69	c  185s |      17 |   635740 |   291332 |    11222     60 |        1 |        1
187.66/187.71	c  187s |      17 |   642183 |   293732 |    11222     61 |        1 |        1
189.56/189.64	c  189s |      18 |   650702 |   296252 |    12345     61 |        1 |        1
191.66/191.70	c  191s |      18 |   655917 |   298352 |    12345     61 |        1 |        1
193.66/193.76	c  193s |      18 |   658829 |   300552 |    12345     62 |        1 |        1
195.76/195.83	c  195s |      18 |   664992 |   303152 |    12345     62 |        1 |        1
197.76/197.89	c  197s |      18 |   673863 |   305852 |    12345     63 |        1 |        1
199.86/199.95	c  199s |      18 |   682485 |   308752 |    12345     63 |        1 |        1
201.96/202.02	c  201s |      18 |   690391 |   311452 |    12345     64 |        1 |        1
203.96/204.05	c  203s |      18 |   697097 |   314152 |    12345     64 |        1 |        1
205.95/206.06	c  205s |      18 |   701404 |   316752 |    12345     64 |        1 |        1
208.05/208.10	c  207s |      18 |   705297 |   319152 |    12345     65 |        1 |        1
210.06/210.13	c  210s |      18 |   714692 |   321852 |    12345     65 |        1 |        1
212.05/212.16	c  212s |      18 |   726687 |   324252 |    12345     66 |        1 |        1
214.15/214.24	c  214s |      18 |   732716 |   326652 |    12345     66 |        1 |        1
216.15/216.28	c  216s |      18 |   739666 |   329252 |    12345     66 |        1 |        1
218.26/218.32	c  218s |      18 |   742223 |   331252 |    12345     67 |        1 |        1
220.26/220.37	c  220s |      18 |   746455 |   333352 |    12345     67 |        1 |        1
222.27/222.39	c  222s |      18 |   751060 |   335552 |    12345     67 |        1 |        1
224.36/224.48	c  224s |      18 |   755365 |   337852 |    12345     68 |        1 |        1
226.46/226.52	c  226s |      18 |   760118 |   340252 |    12345     68 |        1 |        1
228.56/228.64	c  228s |      18 |   763837 |   342752 |    12345     69 |        1 |        1
230.66/230.70	c  230s |      18 |   769076 |   345352 |    12345     69 |        1 |        1
232.66/232.73	c  232s |      18 |   774496 |   347552 |    12345     69 |        1 |        1
234.66/234.77	c  234s |      18 |   780600 |   349752 |    12345     70 |        1 |        1
236.76/236.81	c  236s |      18 |   784663 |   351952 |    12345     70 |        1 |        1
238.76/238.88	c  238s |      18 |   787892 |   354052 |    12345     70 |        1 |        1
240.96/241.01	c  240s |      18 |   791937 |   356352 |    12345     71 |        1 |        1
242.95/243.03	c  242s |      18 |   795847 |   358852 |    12345     71 |        1 |        1
244.95/245.06	c  244s |      18 |   800485 |   361252 |    12345     71 |        1 |        1
247.05/247.12	c  247s |      18 |   803215 |   363352 |    12345     72 |        1 |        1
249.05/249.13	c  249s |      18 |   807418 |   365652 |    12345     72 |        1 |        1
251.05/251.18	c  251s |      18 |   810118 |   367952 |    12345     73 |        1 |        1
253.06/253.18	c  253s |      18 |   812407 |   369752 |    12345     73 |        1 |        1
255.05/255.20	c  255s |      18 |   813763 |   370852 |    12345     73 |        1 |        1
257.25/257.30	c  257s |      18 |   818427 |   374052 |    12345     74 |        1 |        1
259.25/259.33	c  259s |      18 |   823071 |   377152 |    12345     74 |        1 |        1
261.25/261.39	c  261s |      18 |   827331 |   380152 |    12345     74 |        1 |        1
263.35/263.45	c  263s |      18 |   830883 |   382552 |    12345     75 |        1 |        1
265.35/265.48	c  265s |      18 |   842152 |   385352 |    12345     75 |        1 |        1
267.45/267.53	c  267s |      18 |   848926 |   388052 |    12345     76 |        1 |        1
269.55/269.61	c  269s |      18 |   853935 |   390852 |    12345     76 |        1 |        1
271.55/271.64	c  271s |      18 |   860433 |   393252 |    12345     77 |        1 |        1
273.65/273.72	c  273s |      18 |   865335 |   395952 |    12345     77 |        1 |        1
275.65/275.74	c  275s |      18 |   868004 |   398352 |    12345     77 |        1 |        1
277.64/277.76	c  277s |      18 |   871179 |   400752 |    12345     78 |        1 |        1
279.64/279.78	c  279s |      18 |   874796 |   402852 |    12345     78 |        1 |        1
281.65/281.79	c  281s |      18 |   879804 |   405452 |    12345     79 |        1 |        1
283.76/283.84	c  283s |      18 |   883266 |   408152 |    12345     79 |        1 |        1
285.85/285.91	c  285s |      18 |   888300 |   411152 |    12345     79 |        1 |        1
287.85/287.94	c  287s |      18 |   893570 |   413952 |    12345     80 |        1 |        1
289.95/290.02	c  289s |      18 |   896691 |   416852 |    12345     80 |        1 |        1
291.95/292.04	c  291s |      18 |   906462 |   419152 |    12345     81 |        1 |        1
293.95/294.08	c  293s |      18 |   915512 |   421852 |    12345     81 |        1 |        1
296.05/296.13	c  296s |      18 |   921491 |   424252 |    12345     82 |        1 |        1
298.05/298.18	c  298s |      18 |   925806 |   427052 |    12345     82 |        1 |        1
300.14/300.25	c  300s |      18 |   929347 |   429552 |    12345     82 |        1 |        1
302.24/302.32	c  302s |      18 |   933250 |   431552 |    12345     83 |        1 |        1
304.24/304.39	c  304s |      18 |   938496 |   434452 |    12345     83 |        1 |        1
306.34/306.45	c  306s |      18 |   941577 |   436852 |    12345     84 |        1 |        1
308.44/308.52	c  308s |      18 |   944758 |   439552 |    12345     84 |        1 |        1
310.44/310.53	c  310s |      18 |   949877 |   442052 |    13580     84 |        1 |        1
312.54/312.60	c  312s |      18 |   956993 |   444452 |    13580     85 |        1 |        1
312.54/312.62	c  312s |      19 |   957172 |   444482 |    13580     85 |        1 |        1
314.55/314.65	c  314s |      19 |   964030 |   446782 |    13580     85 |        1 |        1
316.54/316.67	c  316s |      19 |   968564 |   449182 |    13580     85 |        1 |        1
318.64/318.73	c  318s |      19 |   972815 |   451182 |    13580     86 |        1 |        1
320.74/320.83	c  320s |      19 |   976755 |   453382 |    13580     86 |        1 |        1
322.84/322.91	c  322s |      19 |   982139 |   455782 |    13580     86 |        1 |        1
324.84/324.93	c  324s |      19 |   985286 |   457982 |    13580     87 |        1 |        1
326.84/326.96	c  326s |      19 |   989224 |   460182 |    13580     87 |        1 |        1
328.84/328.98	c  328s |      19 |   996470 |   462182 |    13580     87 |        1 |        1
330.94/331.02	c  330s |      19 |  1008852 |   464882 |    13580     88 |        1 |        1
332.94/333.02	c  332s |      19 |  1022513 |   467982 |    13580     88 |        1 |        1
334.94/335.03	c  334s |      19 |  1033310 |   470882 |    13580     88 |        1 |        1
336.94/337.07	c  336s |      19 |  1044175 |   473782 |    13580     89 |        1 |        1
339.04/339.11	c  338s |      19 |  1053549 |   476582 |    13580     89 |        1 |        1
341.04/341.14	c  341s |      19 |  1058687 |   478982 |    13580     90 |        1 |        1
343.14/343.20	c  343s |      19 |  1067002 |   481382 |    13580     90 |        1 |        1
345.13/345.24	c  345s |      19 |  1084099 |   484382 |    13580     90 |        1 |        1
347.13/347.28	c  347s |      19 |  1092345 |   486782 |    13580     91 |        1 |        1
349.23/349.35	c  349s |      19 |  1101604 |   489482 |    13580     91 |        1 |        1
351.23/351.38	c  351s |      19 |  1106102 |   491882 |    13580     91 |        1 |        1
353.23/353.39	c  353s |      19 |  1108455 |   493682 |    13580     92 |        1 |        1
355.34/355.41	c  355s |      19 |  1111117 |   495582 |    13580     92 |        1 |        1
357.33/357.44	c  357s |      19 |  1115639 |   498082 |    13580     92 |        1 |        1
359.33/359.49	c  359s |      19 |  1118224 |   500482 |    13580     93 |        1 |        1
361.44/361.54	c  361s |      19 |  1123049 |   503082 |    13580     93 |        1 |        1
363.54/363.64	c  363s |      19 |  1128938 |   505482 |    13580     93 |        1 |        1
365.64/365.70	c  365s |      19 |  1131536 |   507582 |    13580     94 |        1 |        1
368.44/368.51	c  368s |      19 |  1133782 |   509582 |    13580     94 |        1 |        1
370.43/370.58	c  370s |      19 |  1141311 |   512082 |    13580     94 |        1 |        1
372.52/372.60	c  372s |      19 |  1150152 |   514282 |    13580     95 |        1 |        1
374.52/374.67	c  374s |      19 |  1155367 |   516782 |    13580     95 |        1 |        1
376.52/376.68	c  376s |      19 |  1158768 |   518982 |    13580     95 |        1 |        1
378.62/378.72	c  378s |      19 |  1163889 |   521382 |    13580     96 |        1 |        1
380.63/380.76	c  380s |      19 |  1166222 |   523482 |    13580     96 |        1 |        1
382.62/382.78	c  382s |      19 |  1170150 |   525682 |    13580     96 |        1 |        1
384.72/384.83	c  384s |      19 |  1173297 |   528082 |    13580     97 |        1 |        1
386.72/386.89	c  386s |      19 |  1176304 |   530582 |    13580     97 |        1 |        1
388.82/388.97	c  388s |      19 |  1179966 |   532882 |    13580     97 |        1 |        1
390.92/391.01	c  390s |      19 |  1181805 |   533982 |    13580     98 |        1 |        1
392.91/393.06	c  392s |      19 |  1185710 |   535982 |    13580     98 |        1 |        1
394.92/395.08	c  394s |      19 |  1190753 |   538682 |    13580     98 |        1 |        1
396.91/397.10	c  396s |      19 |  1193790 |   540982 |    13580     99 |        1 |        1
399.01/399.15	c  399s |      19 |  1199649 |   543582 |    13580     99 |        1 |        1
401.11/401.20	c  401s |      19 |  1204558 |   546082 |    13580     99 |        1 |        1
403.11/403.23	c  403s |      19 |  1207507 |   548382 |    13580    100 |        1 |        1
405.21/405.30	c  405s |      19 |  1210738 |   550982 |    13580    100 |        1 |        1
407.21/407.35	c  407s |      19 |  1215291 |   553582 |    13580    100 |        1 |        1
409.22/409.36	c  409s |      19 |  1222560 |   555882 |    13580    101 |        1 |        1
411.32/411.42	c  411s |      19 |  1226710 |   558582 |    13580    101 |        1 |        1
413.31/413.44	c  413s |      19 |  1229658 |   561082 |    13580    101 |        1 |        1
415.31/415.45	c  415s |      19 |  1233382 |   563582 |    13580    102 |        1 |        1
417.41/417.54	c  417s |      19 |  1236711 |   566182 |    13580    102 |        1 |        1
419.51/419.61	c  419s |      19 |  1241282 |   568582 |    13580    103 |        1 |        1
421.51/421.64	c  421s |      19 |  1244201 |   570982 |    13580    103 |        1 |        1
423.51/423.69	c  423s |      19 |  1247761 |   573182 |    13580    103 |        1 |        1
425.61/425.73	c  425s |      19 |  1251285 |   575682 |    13580    104 |        1 |        1
427.61/427.77	c  427s |      19 |  1257942 |   578382 |    13580    104 |        1 |        1
429.80/429.91	c  429s |      19 |  1263519 |   580882 |    13580    104 |        1 |        1
431.80/431.98	c  431s |      19 |  1276677 |   583482 |    13580    105 |        1 |        1
433.90/434.05	c  433s |      19 |  1283782 |   586282 |    13580    105 |        1 |        1
436.00/436.10	c  435s |      19 |  1286921 |   588682 |    13580    105 |        1 |        1
438.00/438.12	c  437s |      19 |  1291070 |   590982 |    13580    106 |        1 |        1
440.01/440.17	c  440s |      19 |  1296064 |   593382 |    13580    106 |        1 |        1
442.00/442.18	c  442s |      19 |  1300823 |   595582 |    13580    106 |        1 |        1
444.10/444.26	c  444s |      19 |  1303626 |   597682 |    13580    107 |        1 |        1
446.10/446.28	c  446s |      19 |  1306774 |   599982 |    13580    107 |        1 |        1
448.20/448.30	c  448s |      19 |  1309442 |   602282 |    13580    107 |        1 |        1
450.19/450.30	c  450s |      19 |  1313057 |   604482 |    13580    108 |        1 |        1
452.19/452.35	c  452s |      19 |  1315977 |   606882 |    13580    108 |        1 |        1
454.30/454.42	c  454s |      19 |  1318258 |   608982 |    13580    108 |        1 |        1
456.29/456.48	c  456s |      19 |  1319995 |   609882 |    13580    109 |        1 |        1
458.39/458.51	c  458s |      19 |  1323615 |   612582 |    13580    109 |        1 |        1
460.39/460.56	c  460s |      19 |  1328292 |   615182 |    13580    109 |        1 |        1
462.49/462.62	c  462s |      19 |  1332004 |   617582 |    13580    110 |        1 |        1
464.49/464.67	c  464s |      19 |  1336200 |   620182 |    13580    110 |        1 |        1
466.59/466.70	c  466s |      19 |  1340165 |   622882 |    13580    110 |        1 |        1
468.59/468.74	c  468s |      19 |  1343154 |   625482 |    13580    111 |        1 |        1
470.58/470.79	c  470s |      19 |  1347691 |   628182 |    13580    111 |        1 |        1
472.68/472.83	c  472s |      19 |  1350647 |   630682 |    13580    112 |        1 |        1
474.68/474.84	c  474s |      19 |  1354652 |   633382 |    13580    112 |        1 |        1
476.68/476.89	c  476s |      19 |  1358357 |   635882 |    13580    112 |        1 |        1
478.78/478.96	c  478s |      19 |  1361244 |   638282 |    13580    113 |        1 |        1
480.78/480.99	c  480s |      19 |  1365065 |   640882 |    13580    113 |        1 |        1
482.89/483.04	c  482s |      19 |  1369293 |   643182 |    13580    113 |        1 |        1
484.88/485.04	c  484s |      19 |  1371925 |   645282 |    13580    114 |        1 |        1
486.88/487.05	c  486s |      19 |  1375855 |   647682 |    13580    114 |        1 |        1
488.88/489.08	c  488s |      19 |  1378796 |   649982 |    13580    114 |        1 |        1
490.88/491.09	c  490s |      19 |  1382712 |   652182 |    13580    115 |        1 |        1
492.98/493.17	c  493s |      19 |  1385485 |   654482 |    13580    115 |        1 |        1
495.07/495.24	c  495s |      19 |  1387716 |   656282 |    13580    115 |        1 |        1
497.08/497.28	c  497s |      19 |  1391814 |   658382 |    13580    116 |        1 |        1
499.17/499.32	c  499s |      19 |  1396338 |   661282 |    13580    116 |        1 |        1
501.17/501.34	c  501s |      19 |  1401984 |   663982 |    14939    116 |        1 |        1
503.17/503.34	c  503s |      19 |  1407795 |   666582 |    14939    117 |        1 |        1
503.37/503.50	c  503s |      20 |  1408539 |   666827 |    14939    117 |        1 |        1
505.37/505.53	c  505s |      20 |  1421316 |   669327 |    14939    117 |        1 |        1
507.37/507.54	c  507s |      20 |  1427882 |   671827 |    14939    117 |        1 |        1
509.37/509.57	c  509s |      20 |  1438463 |   674127 |    14939    118 |        1 |        1
511.47/511.65	c  511s |      20 |  1444483 |   677027 |    14939    118 |        1 |        1
513.57/513.73	c  513s |      20 |  1449466 |   679627 |    14939    118 |        1 |        1
515.57/515.74	c  515s |      20 |  1454251 |   682127 |    14939    119 |        1 |        1
517.56/517.75	c  517s |      20 |  1461958 |   684727 |    14939    119 |        1 |        1
519.56/519.78	c  519s |      20 |  1465705 |   687127 |    14939    119 |        1 |        1
521.66/521.81	c  521s |      20 |  1470183 |   689527 |    14939    120 |        1 |        1
523.66/523.88	c  523s |      20 |  1476109 |   692227 |    14939    120 |        1 |        1
525.77/525.97	c  525s |      20 |  1479169 |   694827 |    14939    120 |        1 |        1
527.86/528.01	c  527s |      20 |  1482708 |   697127 |    14939    121 |        1 |        1
529.86/530.06	c  529s |      20 |  1485017 |   699027 |    14939    121 |        1 |        1
531.96/532.13	c  532s |      20 |  1488203 |   701427 |    14939    121 |        1 |        1
533.96/534.14	c  534s |      20 |  1491026 |   703627 |    14939    121 |        1 |        1
536.06/536.20	c  536s |      20 |  1493451 |   705827 |    14939    122 |        1 |        1
538.06/538.23	c  538s |      20 |  1496644 |   708627 |    14939    122 |        1 |        1
540.06/540.26	c  540s |      20 |  1499822 |   711227 |    14939    122 |        1 |        1
542.05/542.28	c  542s |      20 |  1504392 |   713627 |    14939    123 |        1 |        1
544.15/544.33	c  544s |      20 |  1510622 |   716227 |    14939    123 |        1 |        1
546.15/546.35	c  546s |      20 |  1516475 |   718027 |    14939    123 |        1 |        1
548.25/548.41	c  548s |      20 |  1534016 |   720127 |    14939    124 |        1 |        1
550.25/550.48	c  550s |      20 |  1542691 |   723027 |    14939    124 |        1 |        1
552.35/552.52	c  552s |      20 |  1550083 |   725527 |    14939    124 |        1 |        1
554.35/554.56	c  554s |      20 |  1560216 |   728227 |    14939    125 |        1 |        1
556.45/556.61	c  556s |      20 |  1565437 |   730427 |    14939    125 |        1 |        1
558.45/558.64	c  558s |      20 |  1574279 |   733327 |    14939    125 |        1 |        1
560.44/560.69	c  560s |      20 |  1586286 |   735927 |    14939    126 |        1 |        1
562.54/562.77	c  562s |      20 |  1597948 |   738827 |    14939    126 |        1 |        1
564.54/564.78	c  564s |      20 |  1606537 |   741427 |    14939    126 |        1 |        1
566.64/566.87	c  566s |      20 |  1615235 |   743927 |    14939    127 |        1 |        1
568.65/568.89	c  568s |      20 |  1619809 |   746427 |    14939    127 |        1 |        1
570.64/570.90	c  570s |      20 |  1627148 |   748727 |    14939    127 |        1 |        1
572.74/572.95	c  572s |      20 |  1632941 |   751227 |    14939    128 |        1 |        1
574.74/574.98	c  574s |      20 |  1636268 |   753727 |    14939    128 |        1 |        1
576.84/577.00	c  576s |      20 |  1639071 |   756027 |    14939    128 |        1 |        1
578.84/579.06	c  578s |      20 |  1641724 |   758527 |    14939    129 |        1 |        1
580.83/581.09	c  580s |      20 |  1646685 |   760627 |    14939    129 |        1 |        1
582.94/583.11	c  582s |      20 |  1655978 |   763227 |    14939    129 |        1 |        1
584.93/585.13	c  585s |      20 |  1660057 |   765627 |    14939    130 |        1 |        1
586.93/587.19	c  587s |      20 |  1663546 |   767927 |    14939    130 |        1 |        1
589.03/589.21	c  589s |      20 |  1667713 |   770327 |    14939    130 |        1 |        1
591.03/591.24	c  591s |      20 |  1671205 |   772727 |    14939    131 |        1 |        1
593.03/593.28	c  593s |      20 |  1676935 |   775127 |    14939    131 |        1 |        1
595.13/595.35	c  595s |      20 |  1682433 |   777827 |    14939    131 |        1 |        1
597.13/597.40	c  597s |      20 |  1686078 |   780227 |    14939    132 |        1 |        1
599.22/599.41	c  599s |      20 |  1698476 |   782727 |    14939    132 |        1 |        1
601.22/601.44	c  601s |      20 |  1705164 |   785327 |    14939    132 |        1 |        1
603.22/603.49	c  603s |      20 |  1711659 |   787727 |    14939    133 |        1 |        1
605.32/605.52	c  605s |      20 |  1717437 |   790327 |    14939    133 |        1 |        1
607.32/607.54	c  607s |      20 |  1720957 |   792627 |    14939    133 |        1 |        1
609.33/609.57	c  609s |      20 |  1725861 |   794827 |    14939    134 |        1 |        1
611.42/611.64	c  611s |      20 |  1729260 |   796927 |    14939    134 |        1 |        1
613.42/613.67	c  613s |      20 |  1736963 |   799627 |    14939    134 |        1 |        1
615.52/615.72	c  615s |      20 |  1742011 |   801527 |    14939    134 |        1 |        1
617.52/617.74	c  617s |      20 |  1748562 |   803827 |    14939    135 |        1 |        1
619.51/619.79	c  619s |      20 |  1752355 |   806527 |    14939    135 |        1 |        1
621.61/621.81	c  621s |      20 |  1759277 |   808927 |    14939    135 |        1 |        1
623.62/623.85	c  623s |      20 |  1763785 |   811027 |    14939    136 |        1 |        1
625.61/625.87	c  625s |      20 |  1767999 |   813227 |    14939    136 |        1 |        1
627.71/627.90	c  627s |      20 |  1770397 |   815427 |    14939    136 |        1 |        1
629.81/630.00	c  629s |      20 |  1775730 |   817427 |    14939    137 |        1 |        1
631.91/632.10	c  631s |      20 |  1779824 |   819727 |    14939    137 |        1 |        1
633.91/634.15	c  634s |      20 |  1782541 |   822227 |    14939    137 |        1 |        1
635.91/636.16	c  636s |      20 |  1786159 |   824427 |    14939    137 |        1 |        1
637.91/638.16	c  638s |      20 |  1788697 |   826827 |    14939    138 |        1 |        1
640.01/640.24	c  640s |      20 |  1791725 |   829427 |    14939    138 |        1 |        1
642.10/642.35	c  642s |      20 |  1796068 |   831827 |    14939    138 |        1 |        1
644.10/644.36	c  644s |      20 |  1800408 |   834027 |    14939    139 |        1 |        1
646.20/646.44	c  646s |      20 |  1806991 |   836727 |    14939    139 |        1 |        1
648.92/649.11	c  648s |      20 |  1810983 |   838327 |    14939    139 |        1 |        1
650.91/651.17	c  651s |      20 |  1815945 |   840427 |    14939    140 |        1 |        1
653.01/653.21	c  653s |      20 |  1819688 |   843427 |    14939    140 |        1 |        1
655.01/655.22	c  655s |      20 |  1822991 |   846027 |    14939    140 |        1 |        1
657.01/657.27	c  657s |      20 |  1826141 |   848327 |    14939    141 |        1 |        1
659.11/659.31	c  659s |      20 |  1830794 |   850627 |    14939    141 |        1 |        1
661.10/661.34	c  661s |      20 |  1839364 |   853027 |    14939    141 |        1 |        1
663.21/663.46	c  663s |      20 |  1845842 |   855227 |    14939    142 |        1 |        1
665.20/665.49	c  665s |      20 |  1848552 |   857427 |    14939    142 |        1 |        1
667.30/667.55	c  667s |      20 |  1854916 |   859727 |    14939    142 |        1 |        1
669.40/669.62	c  669s |      20 |  1859522 |   862027 |    14939    142 |        1 |        1
671.40/671.68	c  671s |      20 |  1861570 |   863427 |    14939    143 |        1 |        1
673.50/673.71	c  673s |      20 |  1868093 |   866127 |    14939    143 |        1 |        1
675.49/675.79	c  675s |      20 |  1872101 |   868727 |    14939    143 |        1 |        1
677.59/677.84	c  677s |      20 |  1874862 |   870627 |    14939    144 |        1 |        1
679.70/679.91	c  679s |      20 |  1895094 |   873527 |    14939    144 |        1 |        1
681.69/681.98	c  681s |      20 |  1899699 |   876227 |    14939    144 |        1 |        1
683.79/684.04	c  683s |      20 |  1906718 |   878727 |    14939    145 |        1 |        1
685.89/686.10	c  685s |      20 |  1910858 |   881027 |    14939    145 |        1 |        1
687.89/688.12	c  687s |      20 |  1915194 |   883427 |    14939    145 |        1 |        1
689.89/690.17	c  690s |      20 |  1919181 |   886027 |    14939    146 |        1 |        1
691.98/692.20	c  692s |      20 |  1922720 |   888627 |    14939    146 |        1 |        1
693.99/694.25	c  694s |      20 |  1925456 |   891227 |    14939    146 |        1 |        1
695.98/696.30	c  696s |      20 |  1928963 |   893727 |    14939    147 |        1 |        1
698.18/698.40	c  698s |      20 |  1933908 |   896327 |    14939    147 |        1 |        1
700.18/700.43	c  700s |      20 |  1937818 |   897927 |    14939    147 |        1 |        1
702.38/702.65	c  702s |      20 |  1941938 |   900327 |    14939    148 |        1 |        1
704.48/704.71	c  704s |      20 |  1945165 |   902527 |    14939    148 |        1 |        1
706.48/706.77	c  706s |      20 |  1947671 |   904627 |    14939    148 |        1 |        1
708.58/708.84	c  708s |      20 |  1950554 |   907027 |    14939    148 |        1 |        1
710.68/710.91	c  710s |      20 |  1953377 |   909627 |    14939    149 |        1 |        1
712.69/712.92	c  712s |      20 |  1955964 |   912027 |    14939    149 |        1 |        1
714.68/714.94	c  714s |      20 |  1959209 |   914227 |    14939    149 |        1 |        1
716.78/717.01	c  716s |      20 |  1965783 |   916527 |    14939    150 |        1 |        1
719.08/719.32	c  719s |      20 |  1967877 |   918427 |    14939    150 |        1 |        1
721.08/721.37	c  721s |      20 |  1971058 |   920827 |    14939    150 |        1 |        1
723.08/723.38	c  723s |      20 |  1974355 |   922627 |    14939    150 |        1 |        1
725.18/725.41	c  725s |      20 |  1985101 |   925727 |    14939    151 |        1 |        1
727.18/727.46	c  727s |      20 |  1990788 |   928727 |    14939    151 |        1 |        1
729.18/729.47	c  729s |      20 |  1994773 |   931427 |    14939    152 |        1 |        1
731.17/731.50	c  731s |      20 |  1998603 |   934227 |    14939    152 |        1 |        1
733.27/733.51	c  733s |      20 |  2002577 |   937327 |    14939    152 |        1 |        1
735.27/735.56	c  735s |      20 |  2005400 |   939827 |    14939    153 |        1 |        1
737.27/737.58	c  737s |      20 |  2009455 |   942827 |    14939    153 |        1 |        1
739.37/739.64	c  739s |      20 |  2013096 |   945427 |    14939    153 |        1 |        1
741.36/741.68	c  741s |      20 |  2016857 |   948327 |    14939    154 |        1 |        1
743.47/743.73	c  743s |      20 |  2020829 |   951227 |    14939    154 |        1 |        1
745.46/745.74	c  745s |      20 |  2024687 |   953827 |    14939    155 |        1 |        1
747.46/747.74	c  747s |      20 |  2029119 |   956927 |    14939    155 |        1 |        1
749.56/749.84	c  749s |      20 |  2032377 |   959727 |    14939    155 |        1 |        1
751.56/751.89	c  751s |      20 |  2036608 |   962427 |    14939    156 |        1 |        1
753.66/753.94	c  753s |      20 |  2041581 |   965527 |    14939    156 |        1 |        1
755.76/756.02	c  755s |      20 |  2044907 |   968327 |    14939    156 |        1 |        1
757.76/758.07	c  757s |      20 |  2052716 |   970927 |    14939    157 |        1 |        1
759.86/760.11	c  759s |      20 |  2063144 |   973727 |    14939    157 |        1 |        1
761.85/762.14	c  762s |      20 |  2066979 |   976027 |    14939    158 |        1 |        1
763.85/764.19	c  764s |      20 |  2070480 |   978327 |    14939    158 |        1 |        1
765.95/766.26	c  766s |      20 |  2075366 |   980927 |    14939    158 |        1 |        1
767.95/768.29	c  768s |      20 |  2078839 |   983127 |    14939    158 |        1 |        1
770.05/770.31	c  770s |      20 |  2081344 |   985027 |    14939    159 |        1 |        1
772.06/772.34	c  772s |      20 |  2086815 |   987627 |    14939    159 |        1 |        1
774.05/774.35	c  774s |      20 |  2089610 |   990127 |    14939    159 |        1 |        1
776.15/776.40	c  776s |      20 |  2092525 |   992727 |    14939    160 |        1 |        1
778.15/778.43	c  778s |      20 |  2095425 |   995227 |    16433    160 |        1 |        1
780.15/780.47	c  780s |      20 |  2099263 |   997127 |    16433    160 |        1 |        1
782.25/782.54	c  782s |      20 |  2104188 |   999727 |    16433    160 |        1 |        1
782.85/783.16	c  783s |      21 |  2105382 |  1000345 |    16433    161 |        1 |        1
784.85/785.17	c  785s |      21 |  2113523 |  1002345 |    16433    161 |        1 |        1
786.95/787.23	c  787s |      21 |  2121981 |  1004945 |    16433    161 |        1 |        1
788.96/789.25	c  789s |      21 |  2133444 |  1007545 |    16433    161 |        1 |        1
791.05/791.30	c  791s |      21 |  2143106 |  1009845 |    16433    162 |        1 |        1
793.05/793.32	c  793s |      21 |  2147892 |  1012345 |    16433    162 |        1 |        1
795.16/795.41	c  795s |      21 |  2154097 |  1014845 |    16433    162 |        1 |        1
797.26/797.60	c  797s |      21 |  2159395 |  1016645 |    16433    163 |        1 |        1
799.35/799.64	c  799s |      21 |  2164095 |  1019045 |    16433    163 |        1 |        1
801.35/801.67	c  801s |      21 |  2176630 |  1021245 |    16433    163 |        1 |        1
803.45/803.70	c  803s |      21 |  2181325 |  1023645 |    16433    163 |        1 |        1
805.45/805.70	c  805s |      21 |  2185859 |  1025745 |    16433    164 |        1 |        1
807.45/807.77	c  807s |      21 |  2188681 |  1028245 |    16433    164 |        1 |        1
809.55/809.86	c  809s |      21 |  2192180 |  1030445 |    16433    164 |        1 |        1
811.65/811.97	c  811s |      21 |  2195380 |  1032445 |    16433    164 |        1 |        1
813.75/814.05	c  813s |      21 |  2200458 |  1034345 |    16433    165 |        1 |        1
815.74/816.05	c  815s |      21 |  2206389 |  1036845 |    16433    165 |        1 |        1
817.84/818.12	c  818s |      21 |  2211733 |  1039045 |    16433    165 |        1 |        1
819.84/820.14	c  820s |      21 |  2214792 |  1041045 |    16433    165 |        1 |        1
821.84/822.17	c  822s |      21 |  2217365 |  1043045 |    16433    166 |        1 |        1
823.94/824.22	c  824s |      21 |  2220978 |  1045445 |    16433    166 |        1 |        1
826.04/826.32	c  826s |      21 |  2223844 |  1047645 |    16433    166 |        1 |        1
829.03/829.32	c  829s |      21 |  2225405 |  1048845 |    16433    166 |        1 |        1
831.34/831.62	c  831s |      21 |  2230022 |  1050945 |    16433    167 |        1 |        1
833.43/833.70	c  833s |      21 |  2234994 |  1053245 |    16433    167 |        1 |        1
835.43/835.79	c  835s |      21 |  2243133 |  1055645 |    16433    167 |        1 |        1
837.53/837.82	c  837s |      21 |  2251040 |  1057845 |    16433    167 |        1 |        1
839.53/839.88	c  839s |      21 |  2253156 |  1059845 |    16433    168 |        1 |        1
841.62/841.93	c  841s |      21 |  2256640 |  1062145 |    16433    168 |        1 |        1
843.62/843.99	c  843s |      21 |  2259929 |  1064345 |    16433    168 |        1 |        1
845.82/846.19	c  846s |      21 |  2262174 |  1066445 |    16433    169 |        1 |        1
847.93/848.23	c  848s |      21 |  2269351 |  1068945 |    16433    169 |        1 |        1
849.92/850.30	c  850s |      21 |  2278304 |  1071345 |    16433    169 |        1 |        1
852.02/852.36	c  852s |      21 |  2281977 |  1073445 |    16433    169 |        1 |        1
854.02/854.38	c  854s |      21 |  2285084 |  1075645 |    16433    170 |        1 |        1
856.12/856.40	c  856s |      21 |  2289516 |  1077845 |    16433    170 |        1 |        1
858.12/858.45	c  858s |      21 |  2292573 |  1079945 |    16433    170 |        1 |        1
860.22/860.53	c  860s |      21 |  2297246 |  1080945 |    16433    170 |        1 |        1
862.42/862.75	c  862s |      21 |  2302856 |  1083045 |    16433    171 |        1 |        1
864.42/864.76	c  864s |      21 |  2305175 |  1085045 |    16433    171 |        1 |        1
866.52/866.82	c  866s |      21 |  2309003 |  1087545 |    16433    171 |        1 |        1
868.52/868.84	c  868s |      21 |  2312164 |  1090245 |    16433    171 |        1 |        1
870.51/870.87	c  870s |      21 |  2315372 |  1092645 |    16433    172 |        1 |        1
872.51/872.88	c  872s |      21 |  2318438 |  1095045 |    16433    172 |        1 |        1
874.61/874.95	c  874s |      21 |  2322180 |  1097345 |    16433    172 |        1 |        1
876.71/877.05	c  876s |      21 |  2325465 |  1099445 |    16433    172 |        1 |        1
878.72/879.07	c  878s |      21 |  2328040 |  1101245 |    16433    173 |        1 |        1
880.81/881.14	c  881s |      21 |  2330245 |  1102545 |    16433    173 |        1 |        1
882.81/883.17	c  883s |      21 |  2334197 |  1104745 |    16433    173 |        1 |        1
884.81/885.17	c  885s |      21 |  2338104 |  1106845 |    16433    173 |        1 |        1
886.81/887.19	c  887s |      21 |  2340514 |  1108845 |    16433    174 |        1 |        1
889.80/890.13	c  890s |      21 |  2344457 |  1111345 |    16433    174 |        1 |        1
891.81/892.14	c  892s |      21 |  2347840 |  1113845 |    16433    174 |        1 |        1
893.90/894.22	c  894s |      21 |  2350600 |  1116245 |    16433    175 |        1 |        1
895.91/896.27	c  896s |      21 |  2355949 |  1118445 |    16433    175 |        1 |        1
897.91/898.28	c  898s |      21 |  2361818 |  1120845 |    16433    175 |        1 |        1
899.91/900.30	c  900s |      21 |  2365763 |  1122945 |    16433    175 |        1 |        1
902.01/902.35	c  902s |      21 |  2369294 |  1124945 |    16433    176 |        1 |        1
904.01/904.36	c  904s |      21 |  2371659 |  1127045 |    16433    176 |        1 |        1
906.01/906.36	c  906s |      21 |  2375837 |  1129245 |    16433    176 |        1 |        1
908.01/908.39	c  908s |      21 |  2380060 |  1131545 |    16433    176 |        1 |        1
910.10/910.40	c  910s |      21 |  2384365 |  1133745 |    16433    177 |        1 |        1
912.10/912.49	c  912s |      21 |  2387231 |  1136145 |    16433    177 |        1 |        1
914.80/915.10	c  914s |      21 |  2389667 |  1137945 |    16433    177 |        1 |        1
916.80/917.16	c  917s |      21 |  2393291 |  1140145 |    16433    177 |        1 |        1
918.80/919.17	c  919s |      21 |  2396266 |  1142145 |    16433    178 |        1 |        1
920.90/921.21	c  921s |      21 |  2398805 |  1144245 |    16433    178 |        1 |        1
922.90/923.21	c  923s |      21 |  2401664 |  1146345 |    16433    178 |        1 |        1
924.91/925.23	c  925s |      21 |  2403869 |  1148345 |    16433    178 |        1 |        1
927.89/928.21	c  928s |      21 |  2405761 |  1149845 |    16433    179 |        1 |        1
929.89/930.29	c  930s |      21 |  2410703 |  1152045 |    16433    179 |        1 |        1
931.99/932.37	c  932s |      21 |  2417111 |  1154645 |    16433    179 |        1 |        1
934.09/934.44	c  934s |      21 |  2422861 |  1157245 |    16433    179 |        1 |        1
936.09/936.49	c  936s |      21 |  2427630 |  1160245 |    16433    180 |        1 |        1
938.19/938.50	c  938s |      21 |  2438658 |  1162645 |    16433    180 |        1 |        1
940.19/940.56	c  940s |      21 |  2444159 |  1164845 |    16433    180 |        1 |        1
942.49/942.85	c  942s |      21 |  2449914 |  1167045 |    16433    181 |        1 |        1
944.59/944.91	c  944s |      21 |  2455543 |  1169445 |    16433    181 |        1 |        1
946.58/946.93	c  946s |      21 |  2459270 |  1171845 |    16433    181 |        1 |        1
948.58/948.95	c  948s |      21 |  2463527 |  1173945 |    16433    181 |        1 |        1
950.58/950.98	c  950s |      21 |  2471676 |  1176245 |    16433    182 |        1 |        1
952.68/953.00	c  952s |      21 |  2478391 |  1178845 |    16433    182 |        1 |        1
954.68/955.07	c  954s |      21 |  2487692 |  1181145 |    16433    182 |        1 |        1
957.18/957.54	c  957s |      21 |  2491502 |  1182845 |    16433    183 |        1 |        1
959.18/959.58	c  959s |      21 |  2498005 |  1185045 |    16433    183 |        1 |        1
961.28/961.62	c  961s |      21 |  2503244 |  1187345 |    16433    183 |        1 |        1
963.29/963.69	c  963s |      21 |  2508137 |  1190045 |    16433    183 |        1 |        1
965.28/965.69	c  965s |      21 |  2511822 |  1192245 |    16433    184 |        1 |        1
967.38/967.70	c  967s |      21 |  2514302 |  1194645 |    16433    184 |        1 |        1
969.38/969.75	c  969s |      21 |  2518332 |  1196945 |    16433    184 |        1 |        1
971.48/971.80	c  971s |      21 |  2521958 |  1199245 |    16433    185 |        1 |        1
973.48/973.82	c  973s |      21 |  2524889 |  1201645 |    16433    185 |        1 |        1
975.58/975.91	c  975s |      21 |  2527513 |  1204145 |    16433    185 |        1 |        1
977.58/977.96	c  977s |      21 |  2531755 |  1206545 |    16433    185 |        1 |        1
979.58/979.97	c  979s |      21 |  2534452 |  1208145 |    16433    186 |        1 |        1
981.67/982.06	c  981s |      21 |  2541107 |  1210645 |    16433    186 |        1 |        1
983.67/984.08	c  983s |      21 |  2543817 |  1213045 |    16433    186 |        1 |        1
985.77/986.12	c  986s |      21 |  2547526 |  1215345 |    16433    186 |        1 |        1
988.07/988.42	c  988s |      21 |  2550210 |  1217345 |    16433    187 |        1 |        1
990.07/990.47	c  990s |      21 |  2559589 |  1219845 |    16433    187 |        1 |        1
992.17/992.53	c  992s |      21 |  2566875 |  1222245 |    16433    187 |        1 |        1
994.27/994.60	c  994s |      21 |  2571462 |  1224345 |    16433    188 |        1 |        1
996.27/996.65	c  996s |      21 |  2587499 |  1226845 |    16433    188 |        1 |        1
998.36/998.71	c  998s |      21 |  2596500 |  1229145 |    16433    188 |        1 |        1
1000.36/1000.78	c 1000s |      21 |  2601231 |  1231345 |    16433    188 |        1 |        1
1002.46/1002.80	c 1002s |      21 |  2608498 |  1233245 |    16433    189 |        1 |        1
1004.46/1004.84	c 1004s |      21 |  2614819 |  1235445 |    16433    189 |        1 |        1
1006.56/1006.92	c 1006s |      21 |  2617226 |  1237545 |    16433    189 |        1 |        1
1008.56/1008.92	c 1008s |      21 |  2619302 |  1239045 |    16433    189 |        1 |        1
1010.56/1010.99	c 1010s |      21 |  2628274 |  1241245 |    16433    190 |        1 |        1
1012.66/1013.05	c 1012s |      21 |  2635525 |  1243745 |    16433    190 |        1 |        1
1014.76/1015.10	c 1014s |      21 |  2645267 |  1246245 |    16433    190 |        1 |        1
1016.76/1017.13	c 1017s |      21 |  2653356 |  1248645 |    16433    190 |        1 |        1
1019.16/1019.57	c 1019s |      21 |  2656872 |  1250545 |    16433    191 |        1 |        1
1021.26/1021.61	c 1021s |      21 |  2659983 |  1253045 |    16433    191 |        1 |        1
1023.26/1023.68	c 1023s |      21 |  2668196 |  1255645 |    16433    191 |        1 |        1
1025.36/1025.70	c 1025s |      21 |  2672791 |  1257745 |    16433    192 |        1 |        1
1027.36/1027.71	c 1027s |      21 |  2679122 |  1260045 |    16433    192 |        1 |        1
1029.66/1030.05	c 1029s |      21 |  2683400 |  1262145 |    16433    192 |        1 |        1
1031.76/1032.11	c 1031s |      21 |  2690447 |  1264045 |    16433    192 |        1 |        1
1033.95/1034.33	c 1034s |      21 |  2700521 |  1265945 |    16433    193 |        1 |        1
1035.96/1036.39	c 1036s |      21 |  2715419 |  1268745 |    16433    193 |        1 |        1
1038.06/1038.43	c 1038s |      21 |  2725828 |  1271045 |    16433    193 |        1 |        1
1040.05/1040.48	c 1040s |      21 |  2733562 |  1273245 |    16433    193 |        1 |        1
1042.05/1042.49	c 1042s |      21 |  2742627 |  1275745 |    16433    194 |        1 |        1
1044.15/1044.55	c 1044s |      21 |  2750633 |  1278145 |    16433    194 |        1 |        1
1046.15/1046.60	c 1046s |      21 |  2759251 |  1280545 |    16433    194 |        1 |        1
1048.35/1048.72	c 1048s |      21 |  2768265 |  1282745 |    16433    195 |        1 |        1
1050.35/1050.78	c 1050s |      21 |  2771535 |  1285145 |    16433    195 |        1 |        1
1053.25/1053.61	c 1053s |      21 |  2780742 |  1286745 |    16433    195 |        1 |        1
1055.25/1055.64	c 1055s |      21 |  2785366 |  1289045 |    16433    195 |        1 |        1
1057.25/1057.65	c 1057s |      21 |  2789147 |  1291145 |    16433    196 |        1 |        1
1059.25/1059.69	c 1059s |      21 |  2791314 |  1293245 |    16433    196 |        1 |        1
1061.35/1061.75	c 1061s |      21 |  2795217 |  1295545 |    16433    196 |        1 |        1
1063.36/1063.76	c 1063s |      21 |  2798540 |  1297545 |    16433    196 |        1 |        1
1066.15/1066.58	c 1066s |      21 |  2799701 |  1298645 |    16433    196 |        1 |        1
1068.25/1068.62	c 1068s |      21 |  2802294 |  1300545 |    16433    197 |        1 |        1
1070.25/1070.62	c 1070s |      21 |  2808005 |  1302845 |    16433    197 |        1 |        1
1072.25/1072.62	c 1072s |      21 |  2812051 |  1305045 |    16433    197 |        1 |        1
1074.35/1074.80	c 1074s |      21 |  2817336 |  1307145 |    16433    198 |        1 |        1
1076.75/1077.18	c 1077s |      21 |  2819194 |  1308845 |    16433    198 |        1 |        1
1078.86/1079.23	c 1079s |      21 |  2825347 |  1311445 |    16433    198 |        1 |        1
1080.85/1081.26	c 1081s |      21 |  2827883 |  1313745 |    16433    198 |        1 |        1
1082.95/1083.31	c 1083s |      21 |  2831082 |  1315845 |    16433    199 |        1 |        1
1084.95/1085.33	c 1085s |      21 |  2834002 |  1317845 |    16433    199 |        1 |        1
1087.05/1087.40	c 1087s |      21 |  2838396 |  1320445 |    16433    199 |        1 |        1
1089.05/1089.40	c 1089s |      21 |  2843678 |  1322845 |    16433    199 |        1 |        1
1091.35/1091.78	c 1091s |      21 |  2846273 |  1324645 |    16433    200 |        1 |        1
1093.45/1093.83	c 1093s |      21 |  2855044 |  1327145 |    16433    200 |        1 |        1
1095.45/1095.85	c 1095s |      21 |  2858406 |  1329245 |    16433    200 |        1 |        1
1097.55/1097.93	c 1097s |      21 |  2861302 |  1331445 |    16433    200 |        1 |        1
1099.54/1099.93	c 1099s |      21 |  2864430 |  1333545 |    16433    201 |        1 |        1
1101.54/1101.95	c 1101s |      21 |  2869595 |  1335445 |    16433    201 |        1 |        1
1103.64/1104.02	c 1103s |      21 |  2877323 |  1338045 |    16433    201 |        1 |        1
1105.64/1106.03	c 1105s |      21 |  2884831 |  1340145 |    16433    201 |        1 |        1
1107.75/1108.11	c 1107s |      21 |  2887059 |  1342145 |    16433    202 |        1 |        1
1109.75/1110.14	c 1110s |      21 |  2891051 |  1344345 |    16433    202 |        1 |        1
1111.76/1112.18	c 1112s |      21 |  2894680 |  1346545 |    16433    202 |        1 |        1
1113.85/1114.23	c 1114s |      21 |  2900283 |  1348645 |    16433    202 |        1 |        1
1115.95/1116.31	c 1116s |      21 |  2907006 |  1350945 |    16433    203 |        1 |        1
1118.05/1118.40	c 1118s |      21 |  2909414 |  1353245 |    16433    203 |        1 |        1
1120.05/1120.43	c 1120s |      21 |  2914861 |  1355245 |    16433    203 |        1 |        1
1122.15/1122.50	c 1122s |      21 |  2917986 |  1356645 |    16433    203 |        1 |        1
1124.15/1124.53	c 1124s |      21 |  2923051 |  1358845 |    16433    204 |        1 |        1
1126.15/1126.56	c 1126s |      21 |  2925345 |  1360945 |    16433    204 |        1 |        1
1128.14/1128.58	c 1128s |      21 |  2927778 |  1362645 |    16433    204 |        1 |        1
1130.24/1130.64	c 1130s |      21 |  2930325 |  1364845 |    16433    204 |        1 |        1
1132.24/1132.69	c 1132s |      21 |  2934387 |  1366945 |    16433    205 |        1 |        1
1134.34/1134.72	c 1134s |      21 |  2936955 |  1368945 |    16433    205 |        1 |        1
1136.34/1136.73	c 1136s |      21 |  2939316 |  1371245 |    16433    205 |        1 |        1
1138.34/1138.77	c 1138s |      21 |  2941604 |  1373445 |    16433    205 |        1 |        1
1140.35/1140.80	c 1140s |      21 |  2944690 |  1375545 |    16433    206 |        1 |        1
1142.55/1142.92	c 1142s |      21 |  2946778 |  1377245 |    16433    206 |        1 |        1
1144.54/1144.98	c 1144s |      21 |  2949391 |  1379445 |    16433    206 |        1 |        1
1146.54/1146.98	c 1146s |      21 |  2951586 |  1381445 |    16433    206 |        1 |        1
1148.54/1149.00	c 1148s |      21 |  2953662 |  1383345 |    16433    207 |        1 |        1
1150.64/1151.03	c 1150s |      21 |  2960595 |  1385445 |    16433    207 |        1 |        1
1152.64/1153.07	c 1152s |      21 |  2962864 |  1387545 |    16433    207 |        1 |        1
1154.75/1155.15	c 1155s |      21 |  2965130 |  1389745 |    16433    207 |        1 |        1
1156.74/1157.18	c 1157s |      21 |  2967300 |  1391745 |    16433    208 |        1 |        1
1158.84/1159.26	c 1159s |      21 |  2971613 |  1393945 |    16433    208 |        1 |        1
1160.94/1161.32	c 1161s |      21 |  2973953 |  1396045 |    16433    208 |        1 |        1
1163.04/1163.40	c 1163s |      21 |  2976215 |  1398145 |    16433    208 |        1 |        1
1165.04/1165.45	c 1165s |      21 |  2979023 |  1400145 |    16433    209 |        1 |        1
1167.14/1167.52	c 1167s |      21 |  2979738 |  1400845 |    16433    209 |        1 |        1
1169.74/1170.17	c 1170s |      21 |  2981416 |  1402345 |    16433    209 |        1 |        1
1171.83/1172.20	c 1172s |      21 |  2984138 |  1403545 |    16433    209 |        1 |        1
1173.83/1174.25	c 1174s |      21 |  2990452 |  1406245 |    16433    209 |        1 |        1
1175.83/1176.28	c 1176s |      21 |  2993607 |  1408545 |    16433    210 |        1 |        1
1177.93/1178.34	c 1178s |      21 |  2996705 |  1410945 |    16433    210 |        1 |        1
1179.94/1180.39	c 1180s |      21 |  3002448 |  1413545 |    16433    210 |        1 |        1
1182.03/1182.42	c 1182s |      21 |  3005873 |  1415645 |    16433    211 |        1 |        1
1184.03/1184.42	c 1184s |      21 |  3010484 |  1418845 |    16433    211 |        1 |        1
1186.03/1186.49	c 1186s |      21 |  3015481 |  1421745 |    16433    211 |        1 |        1
1188.13/1188.52	c 1188s |      21 |  3018919 |  1424245 |    16433    212 |        1 |        1
1190.13/1190.54	c 1190s |      21 |  3021797 |  1426945 |    16433    212 |        1 |        1
1192.14/1192.55	c 1192s |      21 |  3024994 |  1429645 |    16433    212 |        1 |        1
1194.24/1194.63	c 1194s |      21 |  3032198 |  1432045 |    16433    213 |        1 |        1
1196.23/1196.66	c 1196s |      21 |  3038946 |  1434645 |    16433    213 |        1 |        1
1198.23/1198.69	c 1198s |      21 |  3046275 |  1437245 |    16433    213 |        1 |        1
1200.43/1200.87	c 1200s |      21 |  3052563 |  1439945 |    16433    214 |        1 |        1
1202.53/1202.96	c 1202s |      21 |  3054957 |  1441945 |    16433    214 |        1 |        1
1204.53/1204.97	c 1204s |      21 |  3063513 |  1444545 |    16433    214 |        1 |        1
1206.63/1207.01	c 1206s |      21 |  3066035 |  1446845 |    16433    214 |        1 |        1
1208.73/1209.15	c 1209s |      21 |  3067865 |  1448545 |    16433    215 |        1 |        1
1210.83/1211.22	c 1211s |      21 |  3070521 |  1451045 |    16433    215 |        1 |        1
1212.93/1213.31	c 1213s |      21 |  3073055 |  1453445 |    16433    215 |        1 |        1
1214.93/1215.36	c 1215s |      21 |  3075726 |  1455645 |    16433    215 |        1 |        1
1217.03/1217.40	c 1217s |      21 |  3078164 |  1457845 |    16433    216 |        1 |        1
1219.12/1219.52	c 1219s |      21 |  3080295 |  1459445 |    16433    216 |        1 |        1
1221.12/1221.57	c 1221s |      21 |  3088827 |  1461945 |    16433    216 |        1 |        1
1223.22/1223.63	c 1223s |      21 |  3097983 |  1464545 |    16433    216 |        1 |        1
1225.22/1225.65	c 1225s |      21 |  3102968 |  1467145 |    16433    217 |        1 |        1
1227.23/1227.68	c 1227s |      21 |  3109084 |  1470045 |    16433    217 |        1 |        1
1229.22/1229.69	c 1229s |      21 |  3115491 |  1472645 |    16433    217 |        1 |        1
1231.32/1231.76	c 1231s |      21 |  3117799 |  1474745 |    16433    218 |        1 |        1
1233.43/1233.81	c 1233s |      21 |  3122987 |  1477045 |    16433    218 |        1 |        1
1235.43/1235.85	c 1235s |      21 |  3137374 |  1479445 |    16433    218 |        1 |        1
1237.53/1237.95	c 1237s |      21 |  3143011 |  1481445 |    16433    218 |        1 |        1
1239.63/1240.03	c 1239s |      21 |  3147420 |  1483045 |    16433    219 |        1 |        1
1241.64/1242.03	c 1241s |      21 |  3152675 |  1485145 |    16433    219 |        1 |        1
1243.63/1244.05	c 1243s |      21 |  3165720 |  1487545 |    16433    219 |        1 |        1
1245.73/1246.12	c 1246s |      21 |  3172929 |  1489745 |    16433    220 |        1 |        1
1247.73/1248.15	c 1248s |      21 |  3177144 |  1492245 |    18077    220 |        1 |        1
1249.83/1250.20	c 1250s |      21 |  3182368 |  1494545 |    18077    220 |        1 |        1
1251.83/1252.29	c 1252s |      21 |  3184496 |  1496545 |    18077    220 |        1 |        1
1253.92/1254.32	c 1254s |      21 |  3185759 |  1497745 |    18077    220 |        1 |        1
1255.93/1256.36	c 1256s |      21 |  3189160 |  1500045 |    18077    221 |        1 |        1
1256.93/1257.40	c 1257s |      22 |  3190441 |  1500622 |    18077    221 |        1 |        1
1259.02/1259.44	c 1259s |      22 |  3194122 |  1502722 |    18077    221 |        1 |        1
1261.02/1261.47	c 1261s |      22 |  3196689 |  1505022 |    18077    221 |        1 |        1
1263.12/1263.51	c 1263s |      22 |  3199693 |  1507222 |    18077    221 |        1 |        1
1265.12/1265.56	c 1265s |      22 |  3202065 |  1508322 |    18077    221 |        1 |        1
1267.22/1267.62	c 1267s |      22 |  3207057 |  1510022 |    18077    222 |        1 |        1
1269.22/1269.63	c 1269s |      22 |  3212345 |  1512422 |    18077    222 |        1 |        1
1271.42/1271.82	c 1271s |      22 |  3216303 |  1514522 |    18077    222 |        1 |        1
1273.43/1273.87	c 1273s |      22 |  3219814 |  1516722 |    18077    222 |        1 |        1
1275.42/1275.87	c 1275s |      22 |  3222447 |  1518722 |    18077    223 |        1 |        1
1277.52/1277.96	c 1277s |      22 |  3228550 |  1521222 |    18077    223 |        1 |        1
1279.52/1279.97	c 1279s |      22 |  3231134 |  1523322 |    18077    223 |        1 |        1
1281.52/1281.98	c 1281s |      22 |  3234802 |  1525522 |    18077    223 |        1 |        1
1283.62/1284.01	c 1283s |      22 |  3237289 |  1527622 |    18077    224 |        1 |        1
1286.42/1286.84	c 1286s |      22 |  3238624 |  1528622 |    18077    224 |        1 |        1
1288.42/1288.89	c 1288s |      22 |  3243287 |  1531722 |    18077    224 |        1 |        1
1290.52/1290.96	c 1290s |      22 |  3246498 |  1534222 |    18077    224 |        1 |        1
1292.52/1292.96	c 1292s |      22 |  3248800 |  1536422 |    18077    225 |        1 |        1
1294.61/1295.06	c 1294s |      22 |  3254319 |  1539022 |    18077    225 |        1 |        1
1296.71/1297.12	c 1296s |      22 |  3257036 |  1541622 |    18077    225 |        1 |        1
1298.72/1299.15	c 1299s |      22 |  3260389 |  1543922 |    18077    225 |        1 |        1
1300.81/1301.20	c 1301s |      22 |  3263605 |  1546222 |    18077    226 |        1 |        1
1302.81/1303.22	c 1303s |      22 |  3267963 |  1548522 |    18077    226 |        1 |        1
1304.91/1305.31	c 1305s |      22 |  3271225 |  1551322 |    18077    226 |        1 |        1
1306.91/1307.31	c 1307s |      22 |  3273744 |  1553522 |    18077    226 |        1 |        1
1308.91/1309.39	c 1309s |      22 |  3276669 |  1555622 |    18077    227 |        1 |        1
1310.92/1311.39	c 1311s |      22 |  3282922 |  1557922 |    18077    227 |        1 |        1
1313.02/1313.41	c 1313s |      22 |  3288043 |  1559622 |    18077    227 |        1 |        1
1315.01/1315.49	c 1315s |      22 |  3291268 |  1561822 |    18077    227 |        1 |        1
1317.12/1317.57	c 1317s |      22 |  3293495 |  1563922 |    18077    228 |        1 |        1
1319.22/1319.60	c 1319s |      22 |  3296268 |  1566422 |    18077    228 |        1 |        1
1321.32/1321.78	c 1321s |      22 |  3298950 |  1568822 |    18077    228 |        1 |        1
1323.42/1323.80	c 1323s |      22 |  3301896 |  1571422 |    18077    228 |        1 |        1
1325.42/1325.89	c 1325s |      22 |  3304401 |  1573722 |    18077    229 |        1 |        1
1327.52/1327.99	c 1327s |      22 |  3307999 |  1575322 |    18077    229 |        1 |        1
1329.62/1330.05	c 1329s |      22 |  3318158 |  1577722 |    18077    229 |        1 |        1
1331.61/1332.08	c 1331s |      22 |  3324323 |  1579922 |    18077    229 |        1 |        1
1333.71/1334.15	c 1334s |      22 |  3328001 |  1581922 |    18077    229 |        1 |        1
1335.81/1336.20	c 1336s |      22 |  3331221 |  1584022 |    18077    230 |        1 |        1
1337.81/1338.24	c 1338s |      22 |  3338429 |  1586422 |    18077    230 |        1 |        1
1339.91/1340.37	c 1340s |      22 |  3344085 |  1588522 |    18077    230 |        1 |        1
1341.91/1342.39	c 1342s |      22 |  3351581 |  1590522 |    18077    230 |        1 |        1
1344.01/1344.45	c 1344s |      22 |  3357324 |  1592322 |    18077    231 |        1 |        1
1346.02/1346.48	c 1346s |      22 |  3361919 |  1594522 |    18077    231 |        1 |        1
1348.01/1348.49	c 1348s |      22 |  3367368 |  1596522 |    18077    231 |        1 |        1
1350.11/1350.51	c 1350s |      22 |  3371988 |  1598622 |    18077    231 |        1 |        1
1352.11/1352.53	c 1352s |      22 |  3374166 |  1600622 |    18077    232 |        1 |        1
1354.21/1354.62	c 1354s |      22 |  3378917 |  1602422 |    18077    232 |        1 |        1
1356.31/1356.71	c 1356s |      22 |  3386092 |  1604722 |    18077    232 |        1 |        1
1358.31/1358.76	c 1358s |      22 |  3389265 |  1606822 |    18077    232 |        1 |        1
1360.31/1360.80	c 1360s |      22 |  3397446 |  1608922 |    18077    232 |        1 |        1
1362.41/1362.84	c 1362s |      22 |  3407483 |  1611222 |    18077    233 |        1 |        1
1364.50/1364.92	c 1364s |      22 |  3410573 |  1613622 |    18077    233 |        1 |        1
1366.50/1366.95	c 1366s |      22 |  3414929 |  1615722 |    18077    233 |        1 |        1
1368.60/1369.00	c 1368s |      22 |  3418907 |  1617822 |    18077    233 |        1 |        1
1370.60/1371.08	c 1370s |      22 |  3424747 |  1619922 |    18077    234 |        1 |        1
1372.70/1373.16	c 1373s |      22 |  3428407 |  1622122 |    18077    234 |        1 |        1
1374.80/1375.23	c 1375s |      22 |  3430465 |  1624022 |    18077    234 |        1 |        1
1376.81/1377.28	c 1377s |      22 |  3432581 |  1625922 |    18077    234 |        1 |        1
1379.70/1380.12	c 1380s |      22 |  3433747 |  1626922 |    18077    234 |        1 |        1
1381.70/1382.15	c 1382s |      22 |  3436085 |  1628922 |    18077    235 |        1 |        1
1383.80/1384.23	c 1384s |      22 |  3439136 |  1631222 |    18077    235 |        1 |        1
1385.91/1386.31	c 1386s |      22 |  3442733 |  1633522 |    18077    235 |        1 |        1
1387.91/1388.37	c 1388s |      22 |  3448718 |  1635522 |    18077    235 |        1 |        1
1389.91/1390.38	c 1390s |      22 |  3458763 |  1637722 |    18077    236 |        1 |        1
1392.01/1392.43	c 1392s |      22 |  3463357 |  1639922 |    18077    236 |        1 |        1
1394.11/1394.53	c 1394s |      22 |  3469115 |  1642022 |    18077    236 |        1 |        1
1396.20/1396.63	c 1396s |      22 |  3474349 |  1644222 |    18077    236 |        1 |        1
1398.20/1398.68	c 1398s |      22 |  3476469 |  1646022 |    18077    237 |        1 |        1
1400.30/1400.70	c 1400s |      22 |  3483700 |  1648422 |    18077    237 |        1 |        1
1402.30/1402.75	c 1402s |      22 |  3488255 |  1650622 |    18077    237 |        1 |        1
1404.31/1404.78	c 1404s |      22 |  3494541 |  1652722 |    18077    237 |        1 |        1
1406.40/1406.85	c 1406s |      22 |  3497260 |  1654822 |    18077    237 |        1 |        1
1408.40/1408.87	c 1408s |      22 |  3499551 |  1656822 |    18077    238 |        1 |        1
1410.50/1410.94	c 1410s |      22 |  3507007 |  1659222 |    18077    238 |        1 |        1
1412.50/1412.98	c 1412s |      22 |  3514273 |  1661722 |    18077    238 |        1 |        1
1414.50/1414.98	c 1414s |      22 |  3520470 |  1663822 |    18077    238 |        1 |        1
1416.50/1416.99	c 1416s |      22 |  3522583 |  1665722 |    18077    239 |        1 |        1
1418.60/1419.00	c 1418s |      22 |  3525086 |  1668122 |    18077    239 |        1 |        1
1420.59/1421.06	c 1420s |      22 |  3528713 |  1670222 |    18077    239 |        1 |        1
1422.69/1423.15	c 1423s |      22 |  3534269 |  1672122 |    18077    239 |        1 |        1
1424.79/1425.21	c 1425s |      22 |  3537614 |  1673822 |    18077    240 |        1 |        1
1426.79/1427.21	c 1427s |      22 |  3539631 |  1675622 |    18077    240 |        1 |        1
1429.50/1429.90	c 1429s |      22 |  3541250 |  1676522 |    18077    240 |        1 |        1
1431.50/1431.91	c 1431s |      22 |  3546068 |  1678722 |    18077    240 |        1 |        1
1433.50/1433.96	c 1433s |      22 |  3550518 |  1680822 |    18077    240 |        1 |        1
1435.50/1435.99	c 1435s |      22 |  3553553 |  1683022 |    18077    241 |        1 |        1
1437.60/1438.01	c 1437s |      22 |  3556036 |  1685122 |    18077    241 |        1 |        1
1439.60/1440.09	c 1439s |      22 |  3559500 |  1687422 |    18077    241 |        1 |        1
1441.70/1442.15	c 1442s |      22 |  3561835 |  1689522 |    18077    241 |        1 |        1
1443.90/1444.38	c 1444s |      22 |  3564027 |  1691522 |    18077    242 |        1 |        1
1446.00/1446.47	c 1446s |      22 |  3566205 |  1693222 |    18077    242 |        1 |        1
1448.09/1448.53	c 1448s |      22 |  3569833 |  1695522 |    18077    242 |        1 |        1
1450.19/1450.61	c 1450s |      22 |  3572234 |  1697722 |    18077    242 |        1 |        1
1453.39/1453.80	c 1453s |      22 |  3573623 |  1699022 |    18077    242 |        1 |        1
1455.39/1455.82	c 1455s |      22 |  3578325 |  1700822 |    18077    243 |        1 |        1
1457.39/1457.87	c 1457s |      22 |  3582196 |  1703322 |    18077    243 |        1 |        1
1459.40/1459.88	c 1459s |      22 |  3584935 |  1705722 |    18077    243 |        1 |        1
1461.39/1461.90	c 1461s |      22 |  3587802 |  1708022 |    18077    243 |        1 |        1
1463.49/1463.90	c 1463s |      22 |  3592327 |  1710222 |    18077    244 |        1 |        1
1465.49/1465.97	c 1465s |      22 |  3597391 |  1712822 |    18077    244 |        1 |        1
1467.59/1468.05	c 1467s |      22 |  3600794 |  1715022 |    18077    244 |        1 |        1
1469.69/1470.11	c 1469s |      22 |  3605209 |  1717222 |    18077    244 |        1 |        1
1471.79/1472.23	c 1472s |      22 |  3607428 |  1718922 |    18077    245 |        1 |        1
1473.79/1474.28	c 1474s |      22 |  3610684 |  1720922 |    18077    245 |        1 |        1
1475.89/1476.36	c 1476s |      22 |  3615721 |  1723422 |    18077    245 |        1 |        1
1477.89/1478.38	c 1478s |      22 |  3618334 |  1725722 |    18077    245 |        1 |        1
1479.98/1480.45	c 1480s |      22 |  3619961 |  1726822 |    18077    245 |        1 |        1
1482.08/1482.52	c 1482s |      22 |  3634150 |  1729022 |    18077    246 |        1 |        1
1484.18/1484.60	c 1484s |      22 |  3641377 |  1731522 |    18077    246 |        1 |        1
1486.19/1486.63	c 1486s |      22 |  3648285 |  1733722 |    18077    246 |        1 |        1
1488.29/1488.70	c 1488s |      22 |  3653779 |  1735922 |    18077    246 |        1 |        1
1490.29/1490.75	c 1490s |      22 |  3655583 |  1737622 |    18077    247 |        1 |        1
1492.40/1492.80	c 1492s |      22 |  3660210 |  1740022 |    18077    247 |        1 |        1
1494.39/1494.88	c 1494s |      22 |  3664867 |  1742322 |    18077    247 |        1 |        1
1496.39/1496.88	c 1496s |      22 |  3668316 |  1744522 |    18077    247 |        1 |        1
1498.49/1498.90	c 1498s |      22 |  3670618 |  1746522 |    18077    248 |        1 |        1
1500.49/1500.95	c 1500s |      22 |  3674142 |  1748822 |    18077    248 |        1 |        1
1502.59/1503.03	c 1502s |      22 |  3677370 |  1750422 |    18077    248 |        1 |        1
1504.59/1505.07	c 1504s |      22 |  3680985 |  1752822 |    18077    248 |        1 |        1
1506.60/1507.09	c 1506s |      22 |  3684075 |  1755322 |    18077    248 |        1 |        1
1508.69/1509.17	c 1509s |      22 |  3687651 |  1757522 |    18077    249 |        1 |        1
1510.69/1511.19	c 1511s |      22 |  3690791 |  1759922 |    18077    249 |        1 |        1
1513.19/1513.70	c 1513s |      22 |  3692832 |  1761522 |    18077    249 |        1 |        1
1515.28/1515.72	c 1515s |      22 |  3698001 |  1763922 |    18077    249 |        1 |        1
1517.28/1517.72	c 1517s |      22 |  3702164 |  1766222 |    18077    250 |        1 |        1
1519.28/1519.72	c 1519s |      22 |  3707326 |  1768722 |    18077    250 |        1 |        1
1521.38/1521.81	c 1521s |      22 |  3712366 |  1771322 |    18077    250 |        1 |        1
1523.48/1523.96	c 1523s |      22 |  3715411 |  1773722 |    18077    251 |        1 |        1
1525.58/1526.05	c 1525s |      22 |  3718773 |  1776122 |    18077    251 |        1 |        1
1527.68/1528.12	c 1527s |      22 |  3721171 |  1778422 |    18077    251 |        1 |        1
1529.69/1530.12	c 1530s |      22 |  3724107 |  1780722 |    18077    251 |        1 |        1
1531.78/1532.21	c 1532s |      22 |  3726522 |  1782922 |    18077    252 |        1 |        1
1533.78/1534.28	c 1534s |      22 |  3730616 |  1785222 |    18077    252 |        1 |        1
1535.78/1536.29	c 1536s |      22 |  3733707 |  1787322 |    18077    252 |        1 |        1
1537.88/1538.38	c 1538s |      22 |  3737670 |  1789522 |    18077    252 |        1 |        1
1539.88/1540.38	c 1540s |      22 |  3740380 |  1791822 |    18077    252 |        1 |        1
1541.98/1542.47	c 1542s |      22 |  3744565 |  1794122 |    18077    253 |        1 |        1
1544.09/1544.54	c 1544s |      22 |  3747509 |  1796722 |    18077    253 |        1 |        1
1546.08/1546.60	c 1546s |      22 |  3750109 |  1799122 |    18077    253 |        1 |        1
1548.28/1548.70	c 1548s |      22 |  3753213 |  1801022 |    18077    253 |        1 |        1
1550.28/1550.76	c 1550s |      22 |  3755521 |  1802922 |    18077    254 |        1 |        1
1552.28/1552.77	c 1552s |      22 |  3758103 |  1805422 |    18077    254 |        1 |        1
1554.37/1554.82	c 1554s |      22 |  3761007 |  1807822 |    18077    254 |        1 |        1
1556.37/1556.90	c 1556s |      22 |  3763770 |  1810122 |    18077    254 |        1 |        1
1558.47/1558.99	c 1558s |      22 |  3766637 |  1811722 |    18077    255 |        1 |        1
1560.58/1561.02	c 1560s |      22 |  3774435 |  1814122 |    18077    255 |        1 |        1
1562.57/1563.09	c 1562s |      22 |  3777410 |  1816422 |    18077    255 |        1 |        1
1564.67/1565.12	c 1564s |      22 |  3780315 |  1818822 |    18077    255 |        1 |        1
1566.77/1567.23	c 1567s |      22 |  3782548 |  1820922 |    18077    256 |        1 |        1
1568.77/1569.23	c 1569s |      22 |  3785143 |  1823422 |    18077    256 |        1 |        1
1570.87/1571.30	c 1571s |      22 |  3787883 |  1825822 |    18077    256 |        1 |        1
1572.87/1573.32	c 1573s |      22 |  3790524 |  1828422 |    18077    256 |        1 |        1
1574.88/1575.39	c 1575s |      22 |  3793301 |  1830822 |    18077    257 |        1 |        1
1576.98/1577.46	c 1577s |      22 |  3795945 |  1833222 |    18077    257 |        1 |        1
1579.07/1579.52	c 1579s |      22 |  3798609 |  1835622 |    18077    257 |        1 |        1
1581.07/1581.59	c 1581s |      22 |  3801064 |  1837422 |    18077    257 |        1 |        1
1583.17/1583.62	c 1583s |      22 |  3806991 |  1839522 |    18077    258 |        1 |        1
1585.17/1585.66	c 1585s |      22 |  3811973 |  1842122 |    18077    258 |        1 |        1
1587.27/1587.70	c 1587s |      22 |  3814716 |  1844622 |    18077    258 |        1 |        1
1589.27/1589.74	c 1589s |      22 |  3817221 |  1846822 |    18077    259 |        1 |        1
1591.27/1591.79	c 1591s |      22 |  3820156 |  1849522 |    18077    259 |        1 |        1
1593.37/1593.87	c 1593s |      22 |  3823242 |  1851922 |    18077    259 |        1 |        1
1595.47/1595.93	c 1595s |      22 |  3826354 |  1854222 |    18077    259 |        1 |        1
1597.47/1597.96	c 1597s |      22 |  3828588 |  1856322 |    18077    260 |        1 |        1
1599.67/1600.13	c 1600s |      22 |  3830733 |  1858122 |    18077    260 |        1 |        1
1601.67/1602.18	c 1602s |      22 |  3835813 |  1860422 |    18077    260 |        1 |        1
1603.77/1604.23	c 1604s |      22 |  3841980 |  1862822 |    18077    260 |        1 |        1
1605.77/1606.28	c 1606s |      22 |  3847025 |  1864922 |    18077    260 |        1 |        1
1607.78/1608.28	c 1608s |      22 |  3848398 |  1866222 |    18077    261 |        1 |        1
1609.87/1610.33	c 1610s |      22 |  3851358 |  1868622 |    18077    261 |        1 |        1
1611.87/1612.38	c 1612s |      22 |  3855419 |  1870822 |    18077    261 |        1 |        1
1613.97/1614.46	c 1614s |      22 |  3859751 |  1872922 |    18077    261 |        1 |        1
1616.07/1616.51	c 1616s |      22 |  3863029 |  1875022 |    18077    262 |        1 |        1
1618.07/1618.55	c 1618s |      22 |  3865654 |  1877422 |    18077    262 |        1 |        1
1620.07/1620.58	c 1620s |      22 |  3868043 |  1879422 |    18077    262 |        1 |        1
1622.18/1622.60	c 1622s |      22 |  3872676 |  1881622 |    18077    262 |        1 |        1
1624.17/1624.68	c 1624s |      22 |  3874653 |  1883522 |    18077    263 |        1 |        1
1626.77/1627.23	c 1627s |      22 |  3878042 |  1885722 |    18077    263 |        1 |        1
1628.77/1629.27	c 1629s |      22 |  3880856 |  1886522 |    18077    263 |        1 |        1
1630.76/1631.28	c 1631s |      22 |  3886518 |  1888522 |    18077    263 |        1 |        1
1632.86/1633.35	c 1633s |      22 |  3889406 |  1890522 |    18077    263 |        1 |        1
1634.86/1635.36	c 1635s |      22 |  3893076 |  1892622 |    18077    264 |        1 |        1
1636.86/1637.37	c 1637s |      22 |  3896435 |  1894822 |    18077    264 |        1 |        1
1638.86/1639.39	c 1639s |      22 |  3899201 |  1897222 |    18077    264 |        1 |        1
1641.37/1641.83	c 1641s |      22 |  3901408 |  1898722 |    18077    264 |        1 |        1
1643.37/1643.84	c 1643s |      22 |  3909964 |  1901122 |    18077    264 |        1 |        1
1645.47/1645.90	c 1645s |      22 |  3917288 |  1902722 |    18077    265 |        1 |        1
1647.37/1647.90	c 1647s |      22 |  3927320 |  1905322 |    18077    265 |        1 |        1
1649.47/1649.97	c 1649s |      22 |  3937208 |  1907722 |    18077    265 |        1 |        1
1651.57/1652.05	c 1651s |      22 |  3943241 |  1910022 |    18077    265 |        1 |        1
1653.67/1654.12	c 1654s |      22 |  3953505 |  1912122 |    18077    266 |        1 |        1
1655.67/1656.18	c 1656s |      22 |  3957929 |  1914522 |    18077    266 |        1 |        1
1657.77/1658.22	c 1658s |      22 |  3960808 |  1916722 |    18077    266 |        1 |        1
1659.76/1660.25	c 1660s |      22 |  3964241 |  1918822 |    18077    266 |        1 |        1
1661.86/1662.34	c 1662s |      22 |  3967751 |  1920622 |    18077    267 |        1 |        1
1663.97/1664.41	c 1664s |      22 |  3971607 |  1922922 |    18077    267 |        1 |        1
1665.96/1666.43	c 1666s |      22 |  3974186 |  1925122 |    18077    267 |        1 |        1
1667.96/1668.45	c 1668s |      22 |  3976413 |  1927222 |    18077    267 |        1 |        1
1670.06/1670.50	c 1670s |      22 |  3978556 |  1929122 |    18077    268 |        1 |        1
1672.06/1672.58	c 1672s |      22 |  3980829 |  1931322 |    18077    268 |        1 |        1
1674.16/1674.65	c 1674s |      22 |  3982779 |  1932222 |    18077    268 |        1 |        1
1676.26/1676.71	c 1676s |      22 |  3986002 |  1934722 |    18077    268 |        1 |        1
1678.27/1678.78	c 1678s |      22 |  3988998 |  1937322 |    18077    268 |        1 |        1
1680.37/1680.81	c 1680s |      22 |  3992210 |  1939522 |    18077    269 |        1 |        1
1682.36/1682.84	c 1682s |      22 |  3995766 |  1941922 |    18077    269 |        1 |        1
1684.46/1684.92	c 1684s |      22 |  3998461 |  1944122 |    18077    269 |        1 |        1
1686.56/1687.04	c 1686s |      22 |  4001179 |  1946222 |    18077    269 |        1 |        1
1688.56/1689.06	c 1688s |      22 |  4003819 |  1947822 |    18077    270 |        1 |        1
1690.95/1691.43	c 1691s |      22 |  4005475 |  1949222 |    18077    270 |        1 |        1
1692.95/1693.46	c 1693s |      22 |  4008312 |  1951222 |    18077    270 |        1 |        1
1695.05/1695.54	c 1695s |      22 |  4010300 |  1953122 |    18077    270 |        1 |        1
1697.05/1697.57	c 1697s |      22 |  4012452 |  1955022 |    18077    270 |        1 |        1
1699.06/1699.59	c 1699s |      22 |  4014450 |  1956822 |    18077    271 |        1 |        1
1701.15/1701.62	c 1701s |      22 |  4016715 |  1958922 |    18077    271 |        1 |        1
1703.35/1703.87	c 1703s |      22 |  4017180 |  1959122 |    18077    271 |        1 |        1
1705.45/1705.91	c 1705s |      22 |  4022639 |  1961222 |    18077    271 |        1 |        1
1707.45/1707.97	c 1707s |      22 |  4026311 |  1963422 |    18077    271 |        1 |        1
1709.45/1709.98	c 1709s |      22 |  4028375 |  1965322 |    18077    271 |        1 |        1
1711.45/1711.98	c 1711s |      22 |  4030717 |  1967422 |    18077    272 |        1 |        1
1713.55/1714.06	c 1713s |      22 |  4034259 |  1969822 |    18077    272 |        1 |        1
1715.56/1716.08	c 1715s |      22 |  4036986 |  1971922 |    18077    272 |        1 |        1
1717.65/1718.16	c 1718s |      22 |  4039661 |  1973922 |    18077    272 |        1 |        1
1719.66/1720.19	c 1720s |      22 |  4042022 |  1975622 |    18077    273 |        1 |        1
1722.65/1723.15	c 1723s |      22 |  4043985 |  1977222 |    18077    273 |        1 |        1
1724.65/1725.19	c 1725s |      22 |  4046525 |  1979422 |    18077    273 |        1 |        1
1727.25/1727.74	c 1727s |      22 |  4048351 |  1981022 |    18077    273 |        1 |        1
1729.25/1729.79	c 1729s |      22 |  4051495 |  1983522 |    18077    273 |        1 |        1
1731.35/1731.82	c 1731s |      22 |  4053904 |  1985722 |    18077    274 |        1 |        1
1733.35/1733.83	c 1733s |      22 |  4057356 |  1988322 |    18077    274 |        1 |        1
1735.36/1735.85	c 1735s |      22 |  4063801 |  1990722 |    18077    274 |        1 |        1
1737.45/1737.92	c 1737s |      22 |  4067197 |  1992822 |    18077    275 |        1 |        1
1739.45/1739.99	c 1739s |      22 |  4072079 |  1995222 |    18077    275 |        1 |        1
1741.55/1742.06	c 1741s |      22 |  4077471 |  1997722 |    18077    275 |        1 |        1
1743.65/1744.16	c 1744s |      22 |  4080187 |  2000222 |    18077    275 |        1 |        1
1745.75/1746.22	c 1746s |      22 |  4084943 |  2002422 |    18077    276 |        1 |        1
1747.85/1748.30	c 1748s |      22 |  4087699 |  2004822 |    18077    276 |        1 |        1
1749.85/1750.35	c 1750s |      22 |  4090897 |  2006822 |    18077    276 |        1 |        1
1751.85/1752.38	c 1752s |      22 |  4093417 |  2009022 |    18077    276 |        1 |        1
1753.94/1754.43	c 1754s |      22 |  4096356 |  2011222 |    18077    277 |        1 |        1
1755.94/1756.46	c 1756s |      22 |  4098496 |  2012822 |    18077    277 |        1 |        1
1758.04/1758.55	c 1758s |      22 |  4101435 |  2015122 |    18077    277 |        1 |        1
1760.05/1760.57	c 1760s |      22 |  4103557 |  2016922 |    18077    277 |        1 |        1
1762.05/1762.57	c 1762s |      22 |  4106585 |  2019422 |    18077    277 |        1 |        1
1764.15/1764.60	c 1764s |      22 |  4110142 |  2021822 |    18077    278 |        1 |        1
1766.16/1766.63	c 1766s |      22 |  4114050 |  2024322 |    18077    278 |        1 |        1
1768.15/1768.64	c 1768s |      22 |  4116815 |  2026522 |    18077    278 |        1 |        1
1770.25/1770.71	c 1770s |      22 |  4120767 |  2028522 |    18077    278 |        1 |        1
1772.25/1772.75	c 1772s |      22 |  4123853 |  2030522 |    18077    279 |        1 |        1
1774.25/1774.76	c 1774s |      22 |  4126919 |  2032622 |    18077    279 |        1 |        1
1776.35/1776.85	c 1776s |      22 |  4129737 |  2034822 |    18077    279 |        1 |        1
1778.35/1778.85	c 1778s |      22 |  4132972 |  2036922 |    18077    279 |        1 |        1
1780.34/1780.87	c 1780s |      22 |  4135757 |  2038822 |    18077    280 |        1 |        1
1782.44/1782.94	c 1782s |      22 |  4137527 |  2040422 |    18077    280 |        1 |        1
1784.44/1784.94	c 1784s |      22 |  4142113 |  2042922 |    18077    280 |        1 |        1
1786.44/1786.95	c 1786s |      22 |  4145972 |  2045422 |    18077    280 |        1 |        1
1788.44/1788.97	c 1788s |      22 |  4148673 |  2047522 |    18077    280 |        1 |        1
1790.54/1791.02	c 1790s |      22 |  4151242 |  2049622 |    18077    281 |        1 |        1
1792.55/1793.02	c 1792s |      22 |  4154674 |  2051922 |    18077    281 |        1 |        1
1794.54/1795.07	c 1794s |      22 |  4157911 |  2053222 |    18077    281 |        1 |        1
1796.54/1797.09	c 1796s |      22 |  4161144 |  2055522 |    18077    281 |        1 |        1
1798.64/1799.18	c 1799s |      22 |  4163738 |  2057722 |    18077    282 |        1 |        1

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-4106778-1466277995/watcher-4106778-1466277995 -o /tmp/evaluation-result-4106778-1466277995/solver-4106778-1466277995 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106778-1466277995.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.07 2.13 2.19 4/179 27277
/proc/meminfo: memFree=28925372/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=602556 CPUtime=0 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 2227 0 0 0 0 0 0 0 20 0 4 0 29845285 617017344 2077 33554432000 4194304 16246674 140733671910432 140733671909856 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 151407 2086 441 2943 0 148301 0
[pid=27277/tid=27278] ppid=27274 vsize=619964 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 634843136 2145 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=625084 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 640086016 2163 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=628156 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29845285 643231744 2178 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.07 2.13 2.19 4/179 27277
/proc/meminfo: memFree=28925372/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1222212 CPUtime=0.09 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 21808 0 0 0 6 3 0 0 20 0 4 0 29845285 1251545088 21605 33554432000 4194304 16246674 140733671910432 140733671909744 6170999 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 305553 21605 838 2943 0 302447 0
[pid=27277/tid=27278] ppid=27274 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1251545088 21605 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1251545088 21605 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1251545088 21605 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1222212

[startup+0.200504 s]
/proc/loadavg: 2.07 2.13 2.19 4/179 27277
/proc/meminfo: memFree=28925372/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1222212 CPUtime=0.18 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 38892 0 0 0 13 5 0 0 20 0 4 0 29845285 1251545088 38690 33554432000 4194304 16246674 140733671910432 140733671909744 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 305553 38704 910 2943 0 302447 0
[pid=27277/tid=27278] ppid=27274 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1251545088 38711 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1251545088 38717 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1251545088 38723 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1222212

[startup+0.300497 s]
/proc/loadavg: 2.07 2.13 2.19 4/179 27277
/proc/meminfo: memFree=28925372/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1222212 CPUtime=0.29 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 63149 0 0 0 20 9 0 0 20 0 4 0 29845285 1251545088 62946 33554432000 4194304 16246674 140733671910432 140733671909744 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 305553 62962 910 2943 0 302447 0
[pid=27277/tid=27278] ppid=27274 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1251545088 62968 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1251545088 62973 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1251545088 62984 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1222212

[startup+0.700361 s]
/proc/loadavg: 2.07 2.13 2.19 4/179 27277
/proc/meminfo: memFree=28925372/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1222212 CPUtime=0.69 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 160621 0 0 0 48 21 0 0 20 0 4 0 29845285 1251545088 160419 33554432000 4194304 16246674 140733671910432 140733671909744 5677277 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 305553 160426 910 2943 0 302447 0
[pid=27277/tid=27278] ppid=27274 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1251545088 160428 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1251545088 160433 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1251545088 160437 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50037 s]
/proc/loadavg: 2.07 2.13 2.19 4/183 27281
/proc/meminfo: memFree=27907936/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 266307 0 0 0 113 36 0 0 20 0 4 0 29845285 1332285440 266104 33554432000 4194304 16246674 140733671910432 140733671892352 12477709 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 325265 266104 913 2943 0 322159 0
[pid=27277/tid=27278] ppid=27274 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1332285440 266104 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1332285440 266104 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1332285440 266104 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10037 s]
/proc/loadavg: 2.15 2.14 2.19 4/183 27281
/proc/meminfo: memFree=27855608/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1307204 CPUtime=3.08 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 268001 0 0 0 272 36 0 0 20 0 4 0 29845285 1338576896 267798 33554432000 4194304 16246674 140733671910432 140733671892352 5661652 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 326801 267798 918 2943 0 323695 0
[pid=27277/tid=27278] ppid=27274 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1338576896 267798 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1338576896 267798 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1338576896 267798 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.15 2.14 2.19 4/183 27281
/proc/meminfo: memFree=27855612/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1314372 CPUtime=6.29 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 269642 0 0 0 592 37 0 0 20 0 4 0 29845285 1345916928 269439 33554432000 4194304 16246674 140733671910432 140733671893432 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 328593 269439 921 2943 0 325487 0
[pid=27277/tid=27278] ppid=27274 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1345916928 269439 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1345916928 269439 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1345916928 269439 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.12 2.14 2.19 3/183 27281
/proc/meminfo: memFree=27848340/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1314372 CPUtime=12.69 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 269796 0 0 0 1232 37 0 0 20 0 4 0 29845285 1345916928 269593 33554432000 4194304 16246674 140733671910432 140733671892352 13191293 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 328593 269593 921 2943 0 325487 0
[pid=27277/tid=27278] ppid=27274 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1345916928 269593 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1345916928 269593 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1345916928 269593 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.18 2.15 2.19 4/183 27281
/proc/meminfo: memFree=27834612/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1328708 CPUtime=25.48 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 273380 0 0 0 2511 37 0 0 20 0 4 0 29845285 1360596992 273177 33554432000 4194304 16246674 140733671910432 140733671892352 5717473 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 332177 273177 921 2943 0 329071 0
[pid=27277/tid=27278] ppid=27274 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1360596992 273177 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1360596992 273177 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1360596992 273177 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1328708

[startup+51.1005 s]
/proc/loadavg: 2.27 2.17 2.19 4/183 27281
/proc/meminfo: memFree=27834192/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1328708 CPUtime=51.08 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 273380 0 0 0 5071 37 0 0 20 0 4 0 29845285 1360596992 273177 33554432000 4194304 16246674 140733671910432 140733671892352 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 332177 273177 921 2943 0 329071 0
[pid=27277/tid=27278] ppid=27274 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1360596992 273177 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1360596992 273177 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1360596992 273177 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1328708

[startup+102.301 s]
/proc/loadavg: 2.38 2.20 2.20 3/183 27282
/proc/meminfo: memFree=27831772/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1330756 CPUtime=102.28 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 273892 0 0 0 10190 38 0 0 20 0 4 0 29845285 1362694144 273689 33554432000 4194304 16246674 140733671910432 140733671892352 13950184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 332689 273689 921 2943 0 329583 0
[pid=27277/tid=27278] ppid=27274 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1362694144 273689 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1362694144 273689 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1362694144 273689 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1330756


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

/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1353284

[startup+1362.3 s]
/proc/loadavg: 2.25 2.24 2.21 3/183 27313
/proc/meminfo: memFree=27801684/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1353284 CPUtime=1361.91 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 279898 0 0 0 136133 58 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140733671892352 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 338321 279579 923 2943 0 335215 0
[pid=27277/tid=27278] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1353284

[startup+1422.3 s]
/proc/loadavg: 2.23 2.23 2.20 3/184 27366
/proc/meminfo: memFree=27813808/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1353284 CPUtime=1421.9 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 279898 0 0 0 142131 59 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140733671892352 5822848 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 338321 279579 923 2943 0 335215 0
[pid=27277/tid=27278] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1353284

[startup+1482.3 s]
/proc/loadavg: 2.18 2.22 2.20 3/183 27368
/proc/meminfo: memFree=27795444/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1353284 CPUtime=1481.88 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 279898 0 0 0 148128 60 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140733671892352 12477957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 338321 279579 923 2943 0 335215 0
[pid=27277/tid=27278] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1353284

[startup+1542.31 s]
/proc/loadavg: 2.23 2.22 2.20 4/183 27369
/proc/meminfo: memFree=27791444/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1353284 CPUtime=1541.89 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 279898 0 0 0 154128 61 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140733671892352 5824098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 338321 279579 923 2943 0 335215 0
[pid=27277/tid=27278] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1353284

[startup+1602.3 s]
/proc/loadavg: 2.21 2.21 2.19 3/183 27370
/proc/meminfo: memFree=27782796/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1353284 CPUtime=1601.87 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 279898 0 0 0 160125 62 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140733671892352 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 338321 279579 923 2943 0 335215 0
[pid=27277/tid=27278] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1353284

[startup+1662.3 s]
/proc/loadavg: 2.21 2.22 2.19 3/183 27371
/proc/meminfo: memFree=27782760/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1353284 CPUtime=1661.86 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 279898 0 0 0 166123 63 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140733671892352 12477776 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 338321 279579 923 2943 0 335215 0
[pid=27277/tid=27278] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1353284

[startup+1722.3 s]
/proc/loadavg: 2.35 2.25 2.20 3/183 27372
/proc/meminfo: memFree=27782856/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1353284 CPUtime=1721.85 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 279898 0 0 0 172121 64 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140733671909528 13950549 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 338321 279579 923 2943 0 335215 0
[pid=27277/tid=27278] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1353284

[startup+1782.3 s]
/proc/loadavg: 2.33 2.25 2.20 3/182 27373
/proc/meminfo: memFree=27772220/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1353284 CPUtime=1781.84 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 279898 0 0 0 178119 65 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140733671908224 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 338321 279579 923 2943 0 335215 0
[pid=27277/tid=27278] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1353284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.23 2.23 2.19 3/183 27374
/proc/meminfo: memFree=27772336/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1353284 CPUtime=1800.04 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 279898 0 0 0 179939 65 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140733671892352 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 338321 279579 923 2943 0 335215 0
[pid=27277/tid=27278] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1353284

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

[startup+1800.5 s]
/proc/loadavg: 2.23 2.23 2.19 3/183 27374
/proc/meminfo: memFree=27772336/32872528 swapFree=1499884/1696108
[pid=27277] ppid=27274 vsize=1353284 CPUtime=1800.04 cores=1,3,5,7
/proc/27277/stat : 27277 (toysat) R 27274 27277 24910 0 -1 4202496 279898 0 0 0 179939 65 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140733671892352 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27277/statm: 338321 279579 923 2943 0 335215 0
[pid=27277/tid=27278] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27278/stat : 27278 (toysat) S 27274 27277 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397627026672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27277/tid=27279] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27279/stat : 27279 (toysat) S 27274 27277 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397616536816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27277/tid=27280] ppid=27274 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/27277/task/27280/stat : 27280 (toysat) S 27274 27277 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29845285 1385762816 279579 33554432000 4194304 16246674 140733671910432 140397606063280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1353284

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.4
CPU system time (s): 0.6559
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 1353284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.6559
maximum resident set size= 1118316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279898
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= 388
involuntary context switches= 1984

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43933 second user time and 7.08192 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 21:26:35
IDJOB=4106778
IDBENCH=48252
IDSOLVER=2542
FILE ID=node137/4106778-1466277995
RUNJOBID= node137-1466264772-24927
PBS_JOBID= 19918225
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106778-1466277995/watcher-4106778-1466277995 -o /tmp/evaluation-result-4106778-1466277995/solver-4106778-1466277995 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106778-1466277995.opb

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

MD5SUM BENCH= 3576405369e31b0bc5c7707d6d764dde
RANDOM SEED=1017735059

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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:        28925908 kB
Buffers:          158520 kB
Cached:           259484 kB
SwapCached:         1268 kB
Active:          1244644 kB
Inactive:         262240 kB
Active(anon):    1090348 kB
Inactive(anon):     1028 kB
Active(file):     154296 kB
Inactive(file):   261212 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100008 kB
Dirty:             16368 kB
Writeback:             4 kB
AnonPages:       2784388 kB
Mapped:            10552 kB
Shmem:                 0 kB
Slab:             607880 kB
SReclaimable:      51784 kB
SUnreclaim:       556096 kB
KernelStack:        1464 kB
PageTables:         9532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2926704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    749568 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= 71672 MiB
End job on node137 at 2016-06-18 21:56:36