Trace number 4106214

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb
MD5SUM1d88cb7e119c66203d260e6c8e2ab364
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.18897
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables216
Total number of constraints17
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)648
Sum of products size (including duplicates)1296
Number of different products648
Sum of products size1296

Solver Data 

0.00/0.00	c 2016-06-18T18:34:57+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-4106214-1466267697.opb"]
0.00/0.01	c use --random-gen="2557615584 502647761 1978286041 3493105873 1412173414 331300297 2121330736 3086070736 2090058765 3873322294 4030054749 985712086 2348201534 3765290387 3290596405 755452943 3476467803 2653225935 2145845610 4072925708 229818790 239034036 967435196 2506093119 1614894159 2743930513 2332768176 2683745097 944851410 1903448790 313305910 3553103470 1476332615 1646744118 2194938893 2010565298 730676653 2002606622 3295075053 1531356704 832711382 112346137 3068353513 784870949 2006228865 4064563374 507200897 3379317496 3374227662 3312155055 4260887750 2787206979 922433839 2494192803 2584194424 2320421521 3867713907 3203472803 4017291353 428300786 593439568 2595673736 4274516780 3038298079 4230432576 1684397596 4230934588 2733729527 1739244146 3762039778 666758917 881363346 4235543672 1987103186 3825707502 812248863 399696801 2875123877 1837774551 1647560102 1925217266 4034130956 4273299700 2851573449 1041252486 2411902039 2270509668 3956327283 2313406182 2815228735 948212982 2814928732 4093568673 3172763857 2244887043 2858326906 1074374381 18499718 1940658676 2716871065 1187345381 372226870 1250074174 542956484 1788077988 2682697235 2039666351 1453817600 3547677111 639416017 1072462933 1363115616 3679197008 1157521100 3176736381 3596909750 810542245 2286293251 2641983035 3164664972 1110743490 708298534 2895602007 835904473 505386241 2271513943 3681799884 3893946652 3718904579 3505616397 1225799338 3061028066 127524247 889555107 4206479950 1687196450 1852540268 4083944180 4106979890 3888010178 469938806 2408901074 2904471983 3213111095 3423849996 1440193155 1591886701 1514724442 1432241369 459802766 1897985923 1969248953 62223819 1100650744 2830906352 1125643791 1783060373 3549754009 3566133527 2849565221 2309181062 833103833 1151611108 4110299768 321406280 1369696672 1425890036 655901546 1283532350 4127952434 1302255112 2950651579 1984048665 2699495352 495986591 1433414447 2440021326 1165163671 4113913609 2112469133 3164784598 1551212861 899990054 418978470 1658507342 2533293370 2037772053 2293839666 881911623 3029537143 1112475795 3315902607 2138567562 96871941 541438699 299428830 3018356296 2521305938 2908219747 1782231156 1101853550 1746151957 2274092996 2445424551 3234501285 83201524 273801406 875206032 3848915598 2951332781 2262547978 1394775513 4071387522 1943583505 512175210 1075486956 729072219 2791240448 1960558471 1807958605 1938861229 2886982939 3760647977 2159671274 1796524638 752333193 876644456 2083354615 2577651804 890589250 3488158002 4109593420 1513131872 820493341 2757482343 3094667479 3111364652 3678255396 3978036947 3377635959 2637246742 1305506991 2371394597 2792436033 1242178836 297922464 3310398030 3125106126 615730649 1507430287 2282405328 853191318 2410105392 3857401123 1014820949 1080950325 255 362436" option to reproduce the execution
0.00/0.01	c #vars 216
0.00/0.01	c #constraints 17
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      944      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      112 |      100 |      944      0 |        0 |        0
0.09/0.10	c  0.1s |       2 |      279 |      250 |     1039      0 |        0 |        0
0.09/0.16	c  0.1s |       3 |      516 |      475 |     1143      0 |        0 |        0
0.19/0.27	c  0.2s |       4 |      871 |      813 |     1258      0 |        0 |        0
0.39/0.40	c  0.4s |       5 |     1397 |     1320 |     1384      0 |        0 |        0
0.59/0.62	c  0.6s |       6 |     2220 |     2081 |     1676      1 |        0 |        0
0.99/1.03	c  1.0s |       7 |     3570 |     3223 |     1844      2 |        0 |        0
1.49/1.52	c  1.5s |       7 |     5351 |     4847 |     1844      3 |        0 |        0
1.49/1.52	c #cpu_time = 1.485s
1.49/1.52	c #wall_clock_time = 1.485s
1.49/1.52	c #decision = 5351
1.49/1.52	c #random_decision = 21
1.49/1.52	c #conflict = 4847
1.49/1.52	c #restart = 7
1.49/1.52	o 363
1.49/1.52	c BCD2: updating upper bound: 511 -> 362
1.49/1.52	c BCD2: 0 <= obj <= 362
1.49/1.52	c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0
1.49/1.52	c BCD2: #sat=1 #unsat=1 bias=1/2
1.49/1.52	c Solving starts ...
1.49/1.52	c ============================[ Search Statistics ]============================
1.49/1.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.49/1.52	c       |         |          |          |    Limit     GC | Var      | Constra 
1.49/1.52	c =============================================================================
1.49/1.52	c  0.0s |       0 |        0 |        0 |     1844      0 |        0 |        0
1.49/1.52	c  0.0s |       0 |        7 |        0 |     1844      0 |        0 |        0
1.49/1.52	c #cpu_time = 0.004s
1.49/1.52	c #wall_clock_time = 0.004s
1.49/1.52	c #decision = 7
1.49/1.52	c #random_decision = 0
1.49/1.52	c #conflict = 0
1.49/1.52	c #restart = 0
1.49/1.52	c BCD2: found a new core of size 8: cost of the new core is >=2
1.49/1.52	c lower bound updated to 2
1.49/1.52	c BCD2: 2 <= obj <= 362
1.49/1.52	c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0
1.49/1.52	c BCD2: #sat=1 #unsat=2 bias=2/3
1.49/1.52	c Solving starts ...
1.49/1.52	c ============================[ Search Statistics ]============================
1.49/1.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.49/1.52	c       |         |          |          |    Limit     GC | Var      | Constra 
1.49/1.52	c =============================================================================
1.49/1.52	c  0.0s |       0 |        0 |        0 |     1844      0 |        0 |        0
1.49/1.55	c  0.0s |       1 |      159 |      100 |     2029      0 |        0 |        0
1.69/1.70	c  0.2s |       2 |      400 |      250 |     2029      0 |        0 |        0
1.89/1.96	c  0.4s |       3 |      722 |      475 |     2029      0 |        0 |        0
1.99/2.07	c  0.6s |       4 |     1202 |      813 |     2029      1 |        0 |        0
2.39/2.49	c  1.0s |       5 |     1749 |     1320 |     2029      1 |        0 |        0
2.59/2.65	c  1.1s |       6 |     2591 |     2081 |     2029      2 |        0 |        0
3.19/3.20	c  1.7s |       7 |     4050 |     3223 |     2232      2 |        0 |        0
3.89/3.92	c  2.4s |       8 |     6062 |     4936 |     2232      4 |        0 |        0
4.99/5.03	c  3.5s |       9 |     8843 |     7506 |     2456      6 |        0 |        0
6.09/6.11	c  4.6s |      10 |    13067 |    11361 |     2456      8 |        0 |        0
8.09/8.12	c  6.6s |      10 |    19097 |    16661 |     2702     11 |        0 |        0
8.19/8.29	c  6.8s |      11 |    19596 |    17144 |     2702     11 |        0 |        0
10.28/10.32	c  8.8s |      11 |    25935 |    23344 |     2973     15 |        0 |        0
11.09/11.16	c  9.6s |      12 |    28460 |    25819 |     2973     17 |        0 |        0
13.08/13.16	c 11.6s |      12 |    30799 |    27819 |     2973     18 |        0 |        0
15.08/15.17	c 13.6s |      12 |    35394 |    32219 |     2973     20 |        0 |        0
17.09/17.18	c 15.7s |      12 |    40363 |    37119 |     3271     23 |        0 |        0
17.89/17.93	c 16.4s |      13 |    42101 |    38832 |     3271     23 |        0 |        0
19.90/19.97	c 18.4s |      13 |    48036 |    44032 |     3271     26 |        0 |        0
22.00/22.00	c 20.5s |      13 |    53677 |    49032 |     3271     29 |        0 |        0
23.99/24.01	c 22.5s |      13 |    59332 |    54532 |     3599     32 |        0 |        0
25.30/25.37	c 23.8s |      14 |    63211 |    58352 |     3599     34 |        0 |        0
27.29/27.37	c 25.8s |      14 |    71168 |    65752 |     3599     37 |        0 |        0
29.29/29.38	c 27.9s |      14 |    77898 |    72152 |     3599     40 |        0 |        0
31.39/31.40	c 29.9s |      14 |    84082 |    78152 |     3599     43 |        0 |        0
33.39/33.42	c 31.9s |      14 |    89898 |    83652 |     3959     45 |        0 |        0
34.69/34.72	c 33.2s |      15 |    94080 |    87632 |     3959     47 |        0 |        0
36.79/36.83	c 35.3s |      15 |    97016 |    90332 |     3959     49 |        0 |        0
38.79/38.86	c 37.3s |      15 |    99506 |    92632 |     3959     50 |        0 |        0
40.80/40.89	c 39.4s |      15 |   103269 |    96232 |     3959     51 |        0 |        0
42.90/42.92	c 41.4s |      15 |   107197 |   100032 |     3959     53 |        0 |        0
44.89/44.93	c 43.4s |      15 |   110213 |   102932 |     3959     54 |        0 |        0
46.89/46.98	c 45.5s |      15 |   114364 |   106832 |     3959     56 |        0 |        0
48.99/49.00	c 47.5s |      15 |   119031 |   111232 |     3959     58 |        0 |        0
50.99/51.00	c 49.5s |      15 |   124410 |   116432 |     3959     60 |        0 |        0
52.99/53.01	c 51.5s |      15 |   128500 |   120132 |     3959     62 |        0 |        0
54.99/55.01	c 53.5s |      15 |   133745 |   125232 |     3959     64 |        0 |        0
56.99/57.02	c 55.5s |      15 |   139060 |   130432 |     4355     66 |        0 |        0
57.59/57.66	c 56.1s |      16 |   140257 |   131552 |     4355     66 |        0 |        0
59.58/59.68	c 58.2s |      16 |   146234 |   137152 |     4355     69 |        0 |        0
61.59/61.70	c 60.2s |      16 |   151779 |   142552 |     4355     71 |        0 |        0
63.68/63.70	c 62.2s |      16 |   157130 |   147452 |     4355     73 |        0 |        0
65.68/65.71	c 64.2s |      16 |   162438 |   152352 |     4355     75 |        0 |        0
67.68/67.72	c 66.2s |      16 |   167960 |   157752 |     4355     77 |        0 |        0
69.68/69.75	c 68.2s |      16 |   173926 |   163452 |     4355     79 |        0 |        0
71.68/71.75	c 70.2s |      16 |   178915 |   168052 |     4355     81 |        0 |        0
73.69/73.75	c 72.2s |      16 |   183953 |   172652 |     4355     83 |        0 |        0
75.68/75.79	c 74.3s |      16 |   189153 |   177752 |     4355     85 |        0 |        0
77.78/77.82	c 76.3s |      16 |   193801 |   182252 |     4355     87 |        0 |        0
79.78/79.83	c 78.3s |      16 |   198894 |   187152 |     4355     89 |        0 |        0
81.78/81.84	c 80.3s |      16 |   203822 |   191852 |     4791     91 |        0 |        0
83.78/83.88	c 82.4s |      16 |   208768 |   196652 |     4791     93 |        0 |        0
84.08/84.18	c 82.7s |      17 |   209577 |   197432 |     4791     93 |        0 |        0
86.08/86.18	c 84.7s |      17 |   216754 |   204332 |     4791     96 |        0 |        0
88.18/88.20	c 86.7s |      17 |   222938 |   210332 |     4791     98 |        0 |        0
90.18/90.21	c 88.7s |      17 |   229186 |   216432 |     4791    100 |        0 |        0
92.18/92.23	c 90.7s |      17 |   235529 |   222632 |     4791    103 |        0 |        0
94.17/94.23	c 92.7s |      17 |   241876 |   228832 |     4791    105 |        0 |        0
96.17/96.24	c 94.7s |      17 |   247791 |   234632 |     4791    107 |        0 |        0
98.17/98.26	c 96.7s |      17 |   253598 |   240332 |     4791    109 |        0 |        0
100.18/100.26	c 98.7s |      17 |   259897 |   246532 |     4791    112 |        0 |        0
102.17/102.29	c  100s |      17 |   266776 |   253232 |     4791    114 |        0 |        0
104.27/104.33	c  102s |      17 |   272027 |   258232 |     4791    116 |        0 |        0
106.27/106.36	c  104s |      17 |   277243 |   263232 |     4791    118 |        0 |        0
108.27/108.38	c  106s |      17 |   281741 |   267632 |     4791    120 |        0 |        0
110.27/110.39	c  108s |      17 |   287178 |   272932 |     4791    122 |        0 |        0
112.37/112.43	c  110s |      17 |   292295 |   277932 |     4791    123 |        0 |        0
114.38/114.46	c  112s |      17 |   297130 |   282632 |     4791    125 |        0 |        0
116.47/116.50	c  114s |      17 |   302360 |   287632 |     4791    127 |        0 |        0
118.47/118.51	c  116s |      17 |   307564 |   292732 |     5271    129 |        0 |        0
120.07/120.14	c  118s |      18 |   311213 |   296252 |     5271    130 |        0 |        0
122.08/122.18	c  120s |      18 |   317955 |   302552 |     5271    132 |        0 |        0
124.07/124.20	c  122s |      18 |   324183 |   308652 |     5271    134 |        0 |        0
126.18/126.20	c  124s |      18 |   330026 |   314352 |     5271    136 |        0 |        0
128.18/128.22	c  126s |      18 |   335934 |   320152 |     5271    138 |        0 |        0
130.18/130.26	c  128s |      18 |   341092 |   325252 |     5271    140 |        0 |        0
132.17/132.29	c  130s |      18 |   347099 |   331152 |     5271    142 |        0 |        0
134.28/134.30	c  132s |      18 |   353124 |   336952 |     5271    144 |        0 |        0
136.27/136.32	c  134s |      18 |   358101 |   341652 |     5271    146 |        0 |        0
138.27/138.38	c  136s |      18 |   363158 |   346552 |     5271    147 |        0 |        0
140.27/140.39	c  138s |      18 |   367989 |   351252 |     5271    149 |        0 |        0
142.37/142.43	c  140s |      18 |   372705 |   355852 |     5271    150 |        0 |        0
144.37/144.46	c  142s |      18 |   376563 |   359552 |     5271    152 |        0 |        0
146.38/146.46	c  144s |      18 |   381592 |   364452 |     5271    153 |        0 |        0
148.37/148.46	c  146s |      18 |   386215 |   368952 |     5271    155 |        0 |        0
150.47/150.50	c  148s |      18 |   391264 |   373852 |     5271    156 |        0 |        0
152.47/152.52	c  150s |      18 |   396212 |   378652 |     5271    158 |        0 |        0
154.47/154.56	c  153s |      18 |   401155 |   383452 |     5271    159 |        0 |        0
156.57/156.66	c  155s |      18 |   405872 |   388052 |     5271    161 |        0 |        0
158.67/158.70	c  157s |      18 |   410251 |   392252 |     5271    162 |        0 |        0
160.68/160.70	c  159s |      18 |   413863 |   395652 |     5271    164 |        0 |        0
162.67/162.74	c  161s |      18 |   418902 |   400452 |     5271    165 |        0 |        0
164.67/164.75	c  163s |      18 |   423302 |   404752 |     5271    167 |        0 |        0
166.67/166.79	c  165s |      18 |   427680 |   408952 |     5271    168 |        0 |        0
168.77/168.80	c  167s |      18 |   431612 |   412852 |     5271    169 |        0 |        0
170.77/170.83	c  169s |      18 |   435672 |   416852 |     5271    171 |        0 |        0
172.77/172.84	c  171s |      18 |   440668 |   421752 |     5271    172 |        0 |        0
174.76/174.85	c  173s |      18 |   445338 |   426252 |     5271    174 |        0 |        0
176.76/176.87	c  175s |      18 |   449698 |   430552 |     5271    175 |        0 |        0
178.86/178.91	c  177s |      18 |   454773 |   435452 |     5271    177 |        0 |        0
180.86/180.95	c  179s |      18 |   459994 |   440552 |     5799    178 |        0 |        0
182.57/182.68	c  181s |      19 |   464065 |   444482 |     5799    179 |        0 |        0
184.66/184.73	c  183s |      19 |   467307 |   447382 |     5799    180 |        0 |        0
186.76/186.84	c  185s |      19 |   471019 |   450282 |     5799    181 |        0 |        0
188.76/188.87	c  187s |      19 |   473910 |   452982 |     5799    182 |        0 |        0
190.76/190.89	c  189s |      19 |   477188 |   455782 |     5799    183 |        0 |        0
192.86/192.93	c  191s |      19 |   481401 |   459682 |     5799    184 |        0 |        0
194.86/194.94	c  193s |      19 |   485709 |   463782 |     5799    186 |        0 |        0
196.87/196.99	c  195s |      19 |   489981 |   467982 |     5799    187 |        0 |        0
198.96/199.02	c  197s |      19 |   493853 |   471482 |     5799    188 |        0 |        0
200.96/201.05	c  199s |      19 |   497843 |   475182 |     5799    189 |        0 |        0
202.96/203.08	c  201s |      19 |   502105 |   479182 |     5799    191 |        0 |        0
205.06/205.11	c  203s |      19 |   506266 |   483182 |     5799    192 |        0 |        0
207.06/207.12	c  205s |      19 |   510535 |   486882 |     5799    193 |        0 |        0
209.06/209.15	c  207s |      19 |   514227 |   489882 |     5799    194 |        0 |        0
211.06/211.19	c  209s |      19 |   517651 |   492982 |     5799    195 |        0 |        0
213.16/213.21	c  211s |      19 |   521607 |   496582 |     5799    196 |        0 |        0
215.16/215.24	c  213s |      19 |   526574 |   501382 |     5799    198 |        0 |        0
217.16/217.29	c  215s |      19 |   531271 |   505982 |     5799    199 |        0 |        0
219.26/219.30	c  217s |      19 |   535599 |   510182 |     5799    201 |        0 |        0
221.26/221.32	c  219s |      19 |   539990 |   514382 |     5799    202 |        0 |        0
223.26/223.33	c  221s |      19 |   543990 |   517882 |     5799    203 |        0 |        0
225.25/225.38	c  223s |      19 |   548507 |   522182 |     5799    205 |        0 |        0
227.35/227.40	c  225s |      19 |   553204 |   526782 |     5799    206 |        0 |        0
229.35/229.41	c  227s |      19 |   557708 |   531082 |     5799    207 |        0 |        0
231.35/231.43	c  229s |      19 |   562195 |   535482 |     5799    209 |        0 |        0
233.35/233.44	c  231s |      19 |   567157 |   540382 |     5799    210 |        0 |        0
235.36/235.48	c  233s |      19 |   572010 |   545082 |     5799    212 |        0 |        0
237.45/237.50	c  235s |      19 |   576694 |   549482 |     5799    213 |        0 |        0
239.45/239.53	c  238s |      19 |   581263 |   553882 |     5799    215 |        0 |        0
241.45/241.53	c  240s |      19 |   585379 |   557782 |     5799    216 |        0 |        0
243.45/243.57	c  242s |      19 |   589754 |   561482 |     5799    217 |        0 |        0
245.45/245.59	c  244s |      19 |   593850 |   565082 |     5799    218 |        0 |        0
247.46/247.60	c  246s |      19 |   597937 |   568982 |     5799    220 |        0 |        0
249.55/249.60	c  248s |      19 |   601997 |   572982 |     5799    221 |        0 |        0
251.55/251.62	c  250s |      19 |   606718 |   576582 |     5799    222 |        0 |        0
253.55/253.64	c  252s |      19 |   610358 |   579982 |     5799    223 |        0 |        0
255.55/255.66	c  254s |      19 |   614345 |   583482 |     5799    224 |        0 |        0
257.55/257.67	c  256s |      19 |   618831 |   587882 |     5799    226 |        0 |        0
259.55/259.67	c  258s |      19 |   623662 |   592582 |     5799    227 |        0 |        0
261.65/261.73	c  260s |      19 |   627840 |   596682 |     5799    228 |        0 |        0
263.65/263.75	c  262s |      19 |   632838 |   601582 |     5799    230 |        0 |        0
265.65/265.79	c  264s |      19 |   637040 |   605682 |     5799    231 |        0 |        0
267.75/267.81	c  266s |      19 |   641394 |   609782 |     5799    233 |        0 |        0
269.75/269.82	c  268s |      19 |   646116 |   613982 |     5799    234 |        0 |        0
271.75/271.83	c  270s |      19 |   650160 |   617782 |     5799    235 |        0 |        0
273.75/273.85	c  272s |      19 |   654680 |   622082 |     5799    237 |        0 |        0
275.75/275.89	c  274s |      19 |   659246 |   626382 |     5799    238 |        0 |        0
277.84/277.91	c  276s |      19 |   662582 |   629682 |     5799    239 |        0 |        0
279.84/279.94	c  278s |      19 |   666876 |   633582 |     5799    240 |        0 |        0
281.84/281.97	c  280s |      19 |   671530 |   637782 |     5799    242 |        0 |        0
283.94/284.02	c  282s |      19 |   676384 |   642482 |     5799    243 |        0 |        0
285.95/286.03	c  284s |      19 |   680407 |   646182 |     5799    244 |        0 |        0
287.94/288.08	c  286s |      19 |   684505 |   649882 |     5799    246 |        0 |        0
290.04/290.12	c  288s |      19 |   688730 |   653882 |     5799    247 |        0 |        0
292.04/292.15	c  290s |      19 |   691699 |   656682 |     5799    248 |        0 |        0
294.04/294.15	c  292s |      19 |   696540 |   661382 |     6379    249 |        0 |        0
296.04/296.16	c  294s |      19 |   700568 |   665282 |     6379    250 |        0 |        0
296.95/297.05	c  295s |      20 |   702294 |   666827 |     6379    251 |        0 |        0
298.94/299.07	c  297s |      20 |   709457 |   673427 |     6379    253 |        0 |        0
301.05/301.12	c  299s |      20 |   715236 |   679027 |     6379    254 |        0 |        0
303.05/303.15	c  301s |      20 |   719356 |   682227 |     6379    255 |        0 |        0
305.05/305.15	c  303s |      20 |   723885 |   686627 |     6379    256 |        0 |        0
307.05/307.18	c  305s |      20 |   728208 |   690827 |     6379    258 |        0 |        0
309.05/309.20	c  307s |      20 |   732867 |   695427 |     6379    259 |        0 |        0
311.15/311.22	c  309s |      20 |   737197 |   699727 |     6379    260 |        0 |        0
313.15/313.23	c  311s |      20 |   741630 |   703927 |     6379    262 |        0 |        0
315.15/315.28	c  313s |      20 |   746870 |   708927 |     6379    263 |        0 |        0
317.15/317.28	c  315s |      20 |   751437 |   713327 |     6379    264 |        0 |        0
319.25/319.30	c  317s |      20 |   756334 |   718027 |     6379    266 |        0 |        0
321.25/321.32	c  319s |      20 |   761399 |   723027 |     6379    267 |        0 |        0
323.24/323.34	c  321s |      20 |   765899 |   727427 |     6379    269 |        0 |        0
325.24/325.36	c  323s |      20 |   770857 |   732227 |     6379    270 |        0 |        0
327.34/327.40	c  325s |      20 |   775230 |   736427 |     6379    271 |        0 |        0
329.34/329.42	c  327s |      20 |   779469 |   740627 |     6379    272 |        0 |        0
331.34/331.45	c  329s |      20 |   783811 |   744927 |     6379    274 |        0 |        0
333.35/333.46	c  331s |      20 |   788746 |   749627 |     6379    275 |        0 |        0
335.45/335.52	c  333s |      20 |   793089 |   753927 |     6379    276 |        0 |        0
337.44/337.54	c  336s |      20 |   797456 |   758227 |     6379    278 |        0 |        0
339.44/339.58	c  338s |      20 |   802332 |   762827 |     6379    279 |        0 |        0
341.54/341.61	c  340s |      20 |   806853 |   767227 |     6379    280 |        0 |        0
343.54/343.62	c  342s |      20 |   812160 |   772327 |     6379    282 |        0 |        0
345.54/345.64	c  344s |      20 |   817133 |   776927 |     6379    283 |        0 |        0
347.55/347.66	c  346s |      20 |   822489 |   782027 |     6379    285 |        0 |        0
349.54/349.68	c  348s |      20 |   827231 |   786227 |     6379    286 |        0 |        0
351.64/351.71	c  350s |      20 |   831384 |   790127 |     6379    287 |        0 |        0
353.64/353.73	c  352s |      20 |   836458 |   794927 |     6379    288 |        0 |        0
355.63/355.74	c  354s |      20 |   841600 |   799827 |     6379    290 |        0 |        0
357.63/357.77	c  356s |      20 |   846998 |   805027 |     6379    291 |        0 |        0
359.64/359.78	c  358s |      20 |   851997 |   809827 |     6379    293 |        0 |        0
361.63/361.79	c  360s |      20 |   856307 |   813827 |     6379    294 |        0 |        0
363.63/363.79	c  362s |      20 |   861750 |   819127 |     6379    296 |        0 |        0
365.73/365.81	c  364s |      20 |   867289 |   824527 |     6379    297 |        0 |        0
367.73/367.81	c  366s |      20 |   872264 |   829327 |     6379    299 |        0 |        0
369.73/369.82	c  368s |      20 |   877484 |   834327 |     6379    300 |        0 |        0
371.74/371.88	c  370s |      20 |   881998 |   838727 |     6379    301 |        0 |        0
373.74/373.88	c  372s |      20 |   886112 |   842727 |     6379    303 |        0 |        0
375.74/375.88	c  374s |      20 |   891075 |   847527 |     6379    304 |        0 |        0
377.84/377.90	c  376s |      20 |   896248 |   852527 |     6379    306 |        0 |        0
379.84/379.93	c  378s |      20 |   901005 |   857127 |     6379    307 |        0 |        0
381.84/381.95	c  380s |      20 |   906212 |   862127 |     6379    308 |        0 |        0
383.84/383.95	c  382s |      20 |   910698 |   866427 |     6379    310 |        0 |        0
385.84/385.98	c  384s |      20 |   915826 |   871427 |     6379    311 |        0 |        0
387.93/388.02	c  386s |      20 |   920601 |   876027 |     6379    313 |        0 |        0
389.93/390.03	c  388s |      20 |   925293 |   880527 |     6379    314 |        0 |        0
392.03/392.11	c  390s |      20 |   930227 |   885227 |     6379    315 |        0 |        0
394.03/394.13	c  392s |      20 |   935540 |   890327 |     6379    317 |        0 |        0
396.04/396.16	c  394s |      20 |   940676 |   895327 |     6379    318 |        0 |        0
398.03/398.18	c  396s |      20 |   945580 |   899927 |     6379    320 |        0 |        0
400.13/400.25	c  398s |      20 |   950572 |   904627 |     6379    321 |        0 |        0
402.13/402.29	c  400s |      20 |   955743 |   909527 |     6379    322 |        0 |        0
404.23/404.34	c  402s |      20 |   961225 |   914527 |     6379    324 |        0 |        0
406.23/406.36	c  404s |      20 |   965538 |   918627 |     6379    325 |        0 |        0
408.23/408.37	c  406s |      20 |   970351 |   923027 |     6379    326 |        0 |        0
410.23/410.38	c  408s |      20 |   974763 |   927227 |     6379    328 |        0 |        0
412.33/412.44	c  410s |      20 |   979644 |   931627 |     6379    329 |        0 |        0
414.33/414.46	c  412s |      20 |   984908 |   936727 |     6379    331 |        0 |        0
416.33/416.47	c  414s |      20 |   990400 |   942027 |     6379    332 |        0 |        0
418.43/418.50	c  416s |      20 |   995381 |   946827 |     6379    334 |        0 |        0
420.43/420.53	c  419s |      20 |  1000286 |   951527 |     6379    335 |        0 |        0
422.43/422.54	c  421s |      20 |  1005582 |   956627 |     6379    336 |        0 |        0
424.42/424.56	c  423s |      20 |  1010797 |   961727 |     6379    338 |        0 |        0
426.42/426.57	c  425s |      20 |  1015821 |   966627 |     6379    339 |        0 |        0
428.52/428.60	c  427s |      20 |  1020808 |   971427 |     6379    341 |        0 |        0
430.52/430.63	c  429s |      20 |  1025888 |   976327 |     6379    342 |        0 |        0
432.52/432.65	c  431s |      20 |  1030697 |   981027 |     6379    344 |        0 |        0
434.53/434.67	c  433s |      20 |  1035092 |   985227 |     6379    345 |        0 |        0
436.63/436.71	c  435s |      20 |  1039628 |   989627 |     7017    346 |        0 |        0
438.62/438.76	c  437s |      20 |  1044209 |   993927 |     7017    347 |        0 |        0
440.72/440.81	c  439s |      20 |  1048938 |   998427 |     7017    348 |        0 |        0
441.52/441.63	c  440s |      21 |  1050943 |  1000345 |     7017    349 |        0 |        0
443.52/443.64	c  442s |      21 |  1057690 |  1006745 |     7017    351 |        0 |        0
445.53/445.65	c  444s |      21 |  1063646 |  1012545 |     7017    352 |        0 |        0
447.52/447.65	c  446s |      21 |  1069176 |  1017945 |     7017    354 |        0 |        0
449.52/449.65	c  448s |      21 |  1074681 |  1023345 |     7017    355 |        0 |        0
451.62/451.75	c  450s |      21 |  1079646 |  1028245 |     7017    357 |        0 |        0
453.62/453.76	c  452s |      21 |  1084753 |  1033245 |     7017    358 |        0 |        0
455.62/455.78	c  454s |      21 |  1089943 |  1038245 |     7017    359 |        0 |        0
457.72/457.81	c  456s |      21 |  1095773 |  1043845 |     7017    361 |        0 |        0
459.72/459.82	c  458s |      21 |  1101810 |  1049745 |     7017    362 |        0 |        0
461.72/461.83	c  460s |      21 |  1107608 |  1055445 |     7017    364 |        0 |        0
463.72/463.83	c  462s |      21 |  1112261 |  1060045 |     7017    365 |        0 |        0
465.72/465.85	c  464s |      21 |  1116711 |  1064345 |     7017    366 |        0 |        0
467.72/467.89	c  466s |      21 |  1121181 |  1068745 |     7017    367 |        0 |        0
469.82/469.92	c  468s |      21 |  1125612 |  1073045 |     7017    369 |        0 |        0
471.83/471.94	c  470s |      21 |  1129892 |  1077245 |     7017    370 |        0 |        0
473.82/473.94	c  472s |      21 |  1135249 |  1082445 |     7017    371 |        0 |        0
475.82/475.96	c  474s |      21 |  1140419 |  1087445 |     7017    373 |        0 |        0
477.82/477.99	c  476s |      21 |  1145445 |  1092345 |     7017    374 |        0 |        0
479.92/480.00	c  478s |      21 |  1150520 |  1097345 |     7017    375 |        0 |        0
481.92/482.02	c  480s |      21 |  1155202 |  1101845 |     7017    376 |        0 |        0
483.93/484.04	c  482s |      21 |  1160926 |  1107445 |     7017    378 |        0 |        0
485.92/486.06	c  484s |      21 |  1166746 |  1113145 |     7017    380 |        0 |        0
488.02/488.10	c  486s |      21 |  1172629 |  1118945 |     7017    381 |        0 |        0
490.02/490.13	c  488s |      21 |  1176891 |  1123145 |     7017    382 |        0 |        0
492.02/492.15	c  490s |      21 |  1182592 |  1128745 |     7017    384 |        0 |        0
494.02/494.15	c  492s |      21 |  1188298 |  1134345 |     7017    385 |        0 |        0
496.02/496.16	c  494s |      21 |  1193794 |  1139745 |     7017    387 |        0 |        0
498.12/498.20	c  496s |      21 |  1199163 |  1145045 |     7017    388 |        0 |        0
500.12/500.22	c  498s |      21 |  1204404 |  1150145 |     7017    390 |        0 |        0
502.12/502.23	c  500s |      21 |  1209821 |  1155445 |     7017    391 |        0 |        0
504.12/504.26	c  502s |      21 |  1215378 |  1160845 |     7017    392 |        0 |        0
506.12/506.29	c  504s |      21 |  1220757 |  1166145 |     7017    394 |        0 |        0
508.22/508.33	c  506s |      21 |  1225578 |  1170845 |     7017    395 |        0 |        0
510.22/510.35	c  508s |      21 |  1230220 |  1175345 |     7017    396 |        0 |        0
512.22/512.38	c  510s |      21 |  1235827 |  1180745 |     7017    398 |        0 |        0
514.31/514.41	c  512s |      21 |  1240822 |  1185645 |     7017    399 |        0 |        0
516.31/516.43	c  514s |      21 |  1244803 |  1189545 |     7017    400 |        0 |        0
518.31/518.46	c  516s |      21 |  1251990 |  1196545 |     7017    402 |        0 |        0
520.32/520.47	c  518s |      21 |  1257787 |  1202245 |     7017    403 |        0 |        0
522.31/522.48	c  520s |      21 |  1263163 |  1207545 |     7017    405 |        0 |        0
524.31/524.48	c  522s |      21 |  1267884 |  1212145 |     7017    406 |        0 |        0
526.31/526.48	c  524s |      21 |  1273502 |  1217645 |     7017    408 |        0 |        0
528.41/528.50	c  526s |      21 |  1279213 |  1223145 |     7017    409 |        0 |        0
530.41/530.51	c  528s |      21 |  1283661 |  1227445 |     7017    410 |        0 |        0
532.42/532.52	c  531s |      21 |  1288692 |  1232345 |     7017    411 |        0 |        0
534.41/534.56	c  533s |      21 |  1293690 |  1237145 |     7017    413 |        0 |        0
536.41/536.59	c  535s |      21 |  1298423 |  1241645 |     7017    414 |        0 |        0
538.51/538.60	c  537s |      21 |  1302844 |  1245945 |     7017    415 |        0 |        0
540.51/540.64	c  539s |      21 |  1307426 |  1250445 |     7017    416 |        0 |        0
542.51/542.65	c  541s |      21 |  1311857 |  1254745 |     7017    417 |        0 |        0
544.61/544.70	c  543s |      21 |  1316499 |  1259245 |     7017    418 |        0 |        0
546.61/546.72	c  545s |      21 |  1320945 |  1263545 |     7017    420 |        0 |        0
548.61/548.72	c  547s |      21 |  1325412 |  1267845 |     7017    421 |        0 |        0
550.61/550.75	c  549s |      21 |  1330450 |  1272745 |     7017    422 |        0 |        0
552.61/552.76	c  551s |      21 |  1335832 |  1277945 |     7017    423 |        0 |        0
554.61/554.80	c  553s |      21 |  1340922 |  1282945 |     7017    425 |        0 |        0
556.71/556.82	c  555s |      21 |  1345323 |  1287245 |     7017    426 |        0 |        0
558.71/558.85	c  557s |      21 |  1350501 |  1292345 |     7017    427 |        0 |        0
560.70/560.87	c  559s |      21 |  1355295 |  1297045 |     7017    428 |        0 |        0
562.80/562.90	c  561s |      21 |  1360148 |  1301745 |     7017    430 |        0 |        0
564.80/564.92	c  563s |      21 |  1364885 |  1306345 |     7017    431 |        0 |        0
566.80/566.96	c  565s |      21 |  1369647 |  1310945 |     7017    432 |        0 |        0
568.80/568.97	c  567s |      21 |  1373829 |  1315045 |     7017    433 |        0 |        0
570.91/571.01	c  569s |      21 |  1378694 |  1319745 |     7017    434 |        0 |        0
572.90/573.03	c  571s |      21 |  1383111 |  1324045 |     7017    436 |        0 |        0
574.90/575.06	c  573s |      21 |  1388037 |  1328845 |     7017    437 |        0 |        0
577.00/577.10	c  575s |      21 |  1392206 |  1332945 |     7017    438 |        0 |        0
579.00/579.14	c  577s |      21 |  1398274 |  1338745 |     7017    439 |        0 |        0
581.00/581.17	c  579s |      21 |  1403112 |  1343445 |     7017    441 |        0 |        0
583.10/583.20	c  581s |      21 |  1407592 |  1347845 |     7017    442 |        0 |        0
585.11/585.21	c  583s |      21 |  1411794 |  1351945 |     7017    443 |        0 |        0
587.10/587.24	c  585s |      21 |  1417027 |  1357045 |     7017    444 |        0 |        0
589.10/589.27	c  587s |      21 |  1421831 |  1361745 |     7017    445 |        0 |        0
591.10/591.27	c  589s |      21 |  1427342 |  1367145 |     7017    447 |        0 |        0
593.10/593.29	c  591s |      21 |  1432240 |  1371945 |     7017    448 |        0 |        0
595.20/595.30	c  593s |      21 |  1436857 |  1376445 |     7017    449 |        0 |        0
597.21/597.34	c  595s |      21 |  1441651 |  1381145 |     7017    451 |        0 |        0
599.20/599.36	c  597s |      21 |  1446522 |  1385945 |     7017    452 |        0 |        0
601.20/601.37	c  599s |      21 |  1451281 |  1390645 |     7017    453 |        0 |        0
603.20/603.38	c  601s |      21 |  1456372 |  1395645 |     7017    454 |        0 |        0
605.20/605.38	c  603s |      21 |  1461339 |  1400545 |     7017    456 |        0 |        0
607.20/607.39	c  605s |      21 |  1468011 |  1407045 |     7017    457 |        0 |        0
609.20/609.40	c  607s |      21 |  1473398 |  1412345 |     7017    459 |        0 |        0
611.30/611.42	c  609s |      21 |  1478269 |  1417145 |     7017    460 |        0 |        0
613.30/613.45	c  611s |      21 |  1483201 |  1422045 |     7017    461 |        0 |        0
615.30/615.47	c  613s |      21 |  1488251 |  1427045 |     7017    463 |        0 |        0
617.30/617.49	c  615s |      21 |  1492999 |  1431745 |     7017    464 |        0 |        0
619.30/619.49	c  617s |      21 |  1497335 |  1436045 |     7017    465 |        0 |        0
621.40/621.51	c  619s |      21 |  1502393 |  1441045 |     7017    466 |        0 |        0
623.39/623.52	c  621s |      21 |  1507980 |  1446545 |     7017    468 |        0 |        0
625.39/625.52	c  624s |      21 |  1512808 |  1451245 |     7017    469 |        0 |        0
627.39/627.53	c  626s |      21 |  1518614 |  1456945 |     7017    470 |        0 |        0
629.39/629.55	c  628s |      21 |  1523839 |  1462045 |     7017    472 |        0 |        0
631.40/631.58	c  630s |      21 |  1529657 |  1467745 |     7017    473 |        0 |        0
633.39/633.59	c  632s |      21 |  1534976 |  1472945 |     7017    474 |        0 |        0
635.49/635.60	c  634s |      21 |  1539695 |  1477545 |     7017    476 |        0 |        0
637.49/637.62	c  636s |      21 |  1545399 |  1483145 |     7017    477 |        0 |        0
639.49/639.62	c  638s |      21 |  1551189 |  1488845 |     7719    478 |        0 |        0
641.49/641.66	c  640s |      21 |  1556264 |  1493845 |     7719    480 |        0 |        0
643.50/643.68	c  642s |      21 |  1561725 |  1499245 |     7719    481 |        0 |        0
644.09/644.25	c  642s |      22 |  1563119 |  1500622 |     7719    481 |        0 |        0
646.09/646.25	c  644s |      22 |  1569517 |  1506722 |     7719    483 |        0 |        0
648.10/648.27	c  646s |      22 |  1574688 |  1511722 |     7719    484 |        0 |        0
650.10/650.28	c  648s |      22 |  1579656 |  1516522 |     7719    485 |        0 |        0
652.10/652.28	c  650s |      22 |  1584550 |  1521222 |     7719    486 |        0 |        0
654.10/654.29	c  652s |      22 |  1589596 |  1526122 |     7719    487 |        0 |        0
656.20/656.31	c  654s |      22 |  1594549 |  1530922 |     7719    488 |        0 |        0
658.20/658.32	c  656s |      22 |  1599055 |  1535322 |     7719    490 |        0 |        0
660.19/660.32	c  658s |      22 |  1603771 |  1539822 |     7719    491 |        0 |        0
662.20/662.34	c  660s |      22 |  1608359 |  1544222 |     7719    492 |        0 |        0
664.19/664.36	c  662s |      22 |  1613268 |  1548822 |     7719    493 |        0 |        0
666.19/666.37	c  664s |      22 |  1617896 |  1553222 |     7719    494 |        0 |        0
668.29/668.40	c  666s |      22 |  1622178 |  1557322 |     7719    495 |        0 |        0
670.29/670.43	c  668s |      22 |  1626789 |  1561822 |     7719    496 |        0 |        0
672.29/672.47	c  670s |      22 |  1632183 |  1567022 |     7719    497 |        0 |        0
674.30/674.47	c  672s |      22 |  1637094 |  1571722 |     7719    498 |        0 |        0
676.40/676.51	c  674s |      22 |  1641736 |  1576222 |     7719    499 |        0 |        0
678.39/678.52	c  676s |      22 |  1646582 |  1580922 |     7719    500 |        0 |        0
680.39/680.57	c  679s |      22 |  1651255 |  1585422 |     7719    502 |        0 |        0
682.39/682.58	c  681s |      22 |  1656268 |  1590322 |     7719    503 |        0 |        0
684.39/684.58	c  683s |      22 |  1660795 |  1594622 |     7719    504 |        0 |        0
686.49/686.60	c  685s |      22 |  1664906 |  1598522 |     7719    505 |        0 |        0
688.50/688.62	c  687s |      22 |  1668823 |  1602222 |     7719    506 |        0 |        0
690.49/690.68	c  689s |      22 |  1673116 |  1606322 |     7719    507 |        0 |        0
692.59/692.71	c  691s |      22 |  1678186 |  1611022 |     7719    508 |        0 |        0
694.59/694.71	c  693s |      22 |  1682705 |  1615322 |     7719    509 |        0 |        0
696.59/696.72	c  695s |      22 |  1687048 |  1619522 |     7719    510 |        0 |        0
698.59/698.73	c  697s |      22 |  1691186 |  1623522 |     7719    511 |        0 |        0
700.60/700.77	c  699s |      22 |  1695947 |  1628122 |     7719    512 |        0 |        0
702.59/702.79	c  701s |      22 |  1700729 |  1632722 |     7719    513 |        0 |        0
704.69/704.82	c  703s |      22 |  1705110 |  1637022 |     7719    514 |        0 |        0
706.69/706.85	c  705s |      22 |  1709486 |  1641322 |     7719    515 |        0 |        0
708.69/708.88	c  707s |      22 |  1713385 |  1645022 |     7719    516 |        0 |        0
710.79/710.90	c  709s |      22 |  1717472 |  1648922 |     7719    517 |        0 |        0
712.79/712.98	c  711s |      22 |  1721858 |  1653122 |     7719    518 |        0 |        0
714.78/714.99	c  713s |      22 |  1726083 |  1657122 |     7719    519 |        0 |        0
716.88/717.03	c  715s |      22 |  1730169 |  1661022 |     7719    520 |        0 |        0
718.88/719.08	c  717s |      22 |  1733969 |  1664622 |     7719    521 |        0 |        0
720.88/721.08	c  719s |      22 |  1738756 |  1668922 |     7719    522 |        0 |        0
722.98/723.11	c  721s |      22 |  1742874 |  1672722 |     7719    523 |        0 |        0
724.98/725.13	c  723s |      22 |  1748093 |  1677722 |     7719    524 |        0 |        0
726.98/727.16	c  725s |      22 |  1752568 |  1682022 |     7719    525 |        0 |        0
728.98/729.18	c  727s |      22 |  1757420 |  1686722 |     7719    526 |        0 |        0
731.07/731.24	c  729s |      22 |  1762230 |  1691322 |     7719    527 |        0 |        0
733.07/733.29	c  731s |      22 |  1766615 |  1695422 |     7719    528 |        0 |        0
735.17/735.33	c  733s |      22 |  1770419 |  1699122 |     7719    529 |        0 |        0
737.17/737.33	c  735s |      22 |  1774804 |  1703422 |     7719    530 |        0 |        0
739.18/739.37	c  737s |      22 |  1779129 |  1707622 |     7719    531 |        0 |        0
741.17/741.39	c  739s |      22 |  1783543 |  1711922 |     7719    532 |        0 |        0
743.17/743.39	c  741s |      22 |  1787845 |  1716122 |     7719    533 |        0 |        0
745.27/745.41	c  743s |      22 |  1792020 |  1720222 |     7719    534 |        0 |        0
747.27/747.42	c  745s |      22 |  1796793 |  1724722 |     7719    535 |        0 |        0
749.27/749.46	c  747s |      22 |  1801309 |  1729122 |     7719    536 |        0 |        0
751.27/751.47	c  749s |      22 |  1805163 |  1732922 |     7719    537 |        0 |        0
753.27/753.49	c  751s |      22 |  1809162 |  1736622 |     7719    538 |        0 |        0
755.36/755.50	c  753s |      22 |  1813429 |  1740522 |     7719    539 |        0 |        0
757.36/757.51	c  755s |      22 |  1817608 |  1744422 |     7719    540 |        0 |        0
759.36/759.51	c  757s |      22 |  1821850 |  1748422 |     7719    541 |        0 |        0
761.36/761.58	c  760s |      22 |  1825554 |  1751822 |     7719    542 |        0 |        0
763.46/763.61	c  762s |      22 |  1829290 |  1755322 |     7719    542 |        0 |        0
765.46/765.63	c  764s |      22 |  1833488 |  1759322 |     7719    543 |        0 |        0
767.45/767.63	c  766s |      22 |  1837655 |  1763422 |     7719    544 |        0 |        0
769.45/769.65	c  768s |      22 |  1841842 |  1767322 |     7719    545 |        0 |        0
771.45/771.66	c  770s |      22 |  1845876 |  1771122 |     7719    546 |        0 |        0
773.45/773.68	c  772s |      22 |  1850547 |  1775622 |     7719    547 |        0 |        0
775.46/775.70	c  774s |      22 |  1855346 |  1780222 |     7719    548 |        0 |        0
777.55/777.70	c  776s |      22 |  1859886 |  1784622 |     7719    549 |        0 |        0
779.55/779.74	c  778s |      22 |  1864558 |  1789122 |     7719    551 |        0 |        0
781.55/781.78	c  780s |      22 |  1869280 |  1793522 |     7719    552 |        0 |        0
783.65/783.81	c  782s |      22 |  1874175 |  1797822 |     7719    553 |        0 |        0
785.64/785.83	c  784s |      22 |  1878594 |  1802022 |     7719    554 |        0 |        0
787.64/787.85	c  786s |      22 |  1882716 |  1806022 |     7719    555 |        0 |        0
789.65/789.85	c  788s |      22 |  1886865 |  1810022 |     7719    556 |        0 |        0
791.64/791.89	c  790s |      22 |  1891371 |  1814322 |     7719    557 |        0 |        0
793.74/793.93	c  792s |      22 |  1895683 |  1818522 |     7719    558 |        0 |        0
795.74/795.95	c  794s |      22 |  1900318 |  1823022 |     7719    559 |        0 |        0
797.74/797.99	c  796s |      22 |  1905081 |  1827622 |     7719    560 |        0 |        0
799.74/799.99	c  798s |      22 |  1909710 |  1832122 |     7719    561 |        0 |        0
801.84/802.04	c  800s |      22 |  1914460 |  1836722 |     7719    562 |        0 |        0
803.83/804.06	c  802s |      22 |  1918779 |  1840922 |     7719    563 |        0 |        0
805.83/806.06	c  804s |      22 |  1923424 |  1845422 |     7719    564 |        0 |        0
807.93/808.15	c  806s |      22 |  1927941 |  1849822 |     7719    565 |        0 |        0
810.03/810.22	c  808s |      22 |  1932416 |  1854222 |     7719    566 |        0 |        0
812.03/812.27	c  810s |      22 |  1937265 |  1858922 |     7719    567 |        0 |        0
814.03/814.28	c  812s |      22 |  1940991 |  1862422 |     7719    568 |        0 |        0
816.03/816.30	c  814s |      22 |  1944781 |  1866022 |     7719    569 |        0 |        0
818.13/818.31	c  816s |      22 |  1949042 |  1870122 |     7719    570 |        0 |        0
820.13/820.34	c  818s |      22 |  1953129 |  1874022 |     7719    571 |        0 |        0
822.13/822.35	c  820s |      22 |  1957799 |  1878422 |     7719    572 |        0 |        0
824.13/824.38	c  822s |      22 |  1962326 |  1882822 |     7719    573 |        0 |        0
826.12/826.39	c  824s |      22 |  1967263 |  1887622 |     7719    574 |        0 |        0
828.23/828.47	c  826s |      22 |  1971894 |  1891822 |     7719    575 |        0 |        0
830.33/830.55	c  829s |      22 |  1976228 |  1895822 |     7719    576 |        0 |        0
832.32/832.58	c  831s |      22 |  1980536 |  1899922 |     7719    577 |        0 |        0
834.32/834.59	c  833s |      22 |  1984865 |  1904022 |     7719    578 |        0 |        0
836.43/836.63	c  835s |      22 |  1989088 |  1908022 |     7719    579 |        0 |        0
838.43/838.65	c  837s |      22 |  1993839 |  1912522 |     7719    580 |        0 |        0
840.43/840.68	c  839s |      22 |  1997718 |  1916222 |     7719    581 |        0 |        0
842.53/842.73	c  841s |      22 |  2001836 |  1920222 |     7719    582 |        0 |        0
844.52/844.79	c  843s |      22 |  2006504 |  1924722 |     7719    583 |        0 |        0
846.62/846.81	c  845s |      22 |  2010930 |  1929022 |     7719    584 |        0 |        0
848.62/848.87	c  847s |      22 |  2014507 |  1932422 |     7719    585 |        0 |        0
850.62/850.88	c  849s |      22 |  2018296 |  1936122 |     7719    586 |        0 |        0
852.72/852.90	c  851s |      22 |  2022975 |  1940522 |     7719    587 |        0 |        0
854.72/854.93	c  853s |      22 |  2027091 |  1944222 |     7719    588 |        0 |        0
856.73/856.94	c  855s |      22 |  2030870 |  1947922 |     7719    589 |        0 |        0
858.72/858.94	c  857s |      22 |  2035292 |  1952122 |     7719    590 |        0 |        0
860.72/860.95	c  859s |      22 |  2039249 |  1955922 |     7719    591 |        0 |        0
862.72/862.98	c  861s |      22 |  2043723 |  1960222 |     7719    592 |        0 |        0
864.72/864.98	c  863s |      22 |  2047777 |  1964022 |     7719    593 |        0 |        0
866.82/867.00	c  865s |      22 |  2051203 |  1967222 |     7719    594 |        0 |        0
868.82/869.06	c  867s |      22 |  2055359 |  1971222 |     7719    595 |        0 |        0
870.91/871.10	c  869s |      22 |  2059325 |  1975122 |     7719    595 |        0 |        0
872.91/873.14	c  871s |      22 |  2063506 |  1979022 |     7719    596 |        0 |        0
874.91/875.16	c  873s |      22 |  2067540 |  1982922 |     7719    597 |        0 |        0
877.01/877.20	c  875s |      22 |  2071657 |  1986822 |     7719    598 |        0 |        0
879.01/879.23	c  877s |      22 |  2075590 |  1990322 |     7719    599 |        0 |        0
881.02/881.29	c  879s |      22 |  2079417 |  1994022 |     7719    600 |        0 |        0
883.01/883.30	c  881s |      22 |  2082174 |  1996622 |     7719    601 |        0 |        0
885.11/885.30	c  883s |      22 |  2085645 |  1999822 |     7719    601 |        0 |        0
887.11/887.35	c  885s |      22 |  2089643 |  2003722 |     7719    602 |        0 |        0
889.11/889.37	c  887s |      22 |  2094091 |  2008122 |     7719    603 |        0 |        0
891.21/891.40	c  889s |      22 |  2097784 |  2011622 |     7719    604 |        0 |        0
893.21/893.42	c  891s |      22 |  2101045 |  2014522 |     7719    605 |        0 |        0
895.21/895.44	c  893s |      22 |  2104601 |  2017822 |     7719    606 |        0 |        0
897.20/897.45	c  895s |      22 |  2108607 |  2021622 |     7719    607 |        0 |        0
899.20/899.47	c  897s |      22 |  2112364 |  2025122 |     7719    608 |        0 |        0
901.30/901.50	c  899s |      22 |  2116266 |  2028922 |     7719    609 |        0 |        0
903.30/903.54	c  902s |      22 |  2120351 |  2032722 |     7719    609 |        0 |        0
905.30/905.57	c  904s |      22 |  2124018 |  2036122 |     7719    610 |        0 |        0
907.30/907.60	c  906s |      22 |  2127544 |  2039422 |     7719    611 |        0 |        0
909.40/909.63	c  908s |      22 |  2131516 |  2043222 |     7719    612 |        0 |        0
911.40/911.65	c  910s |      22 |  2134949 |  2046422 |     7719    613 |        0 |        0
913.40/913.67	c  912s |      22 |  2139467 |  2050822 |     7719    614 |        0 |        0
915.39/915.68	c  914s |      22 |  2143353 |  2054522 |     7719    615 |        0 |        0
917.49/917.72	c  916s |      22 |  2147127 |  2058022 |     7719    616 |        0 |        0
919.50/919.76	c  918s |      22 |  2151341 |  2062022 |     7719    617 |        0 |        0
921.60/921.87	c  920s |      22 |  2155594 |  2066222 |     7719    618 |        0 |        0
923.59/923.89	c  922s |      22 |  2160527 |  2071022 |     7719    619 |        0 |        0
925.59/925.89	c  924s |      22 |  2165007 |  2075422 |     7719    620 |        0 |        0
927.59/927.89	c  926s |      22 |  2169300 |  2079322 |     7719    621 |        0 |        0
929.68/929.93	c  928s |      22 |  2173326 |  2083022 |     7719    622 |        0 |        0
931.68/931.99	c  930s |      22 |  2177255 |  2086522 |     7719    623 |        0 |        0
933.69/934.00	c  932s |      22 |  2180697 |  2089522 |     7719    623 |        0 |        0
935.78/936.00	c  934s |      22 |  2184569 |  2093222 |     7719    624 |        0 |        0
937.78/938.07	c  936s |      22 |  2188276 |  2096722 |     7719    625 |        0 |        0
939.88/940.11	c  938s |      22 |  2191542 |  2099822 |     7719    626 |        0 |        0
941.88/942.11	c  940s |      22 |  2195888 |  2104022 |     7719    627 |        0 |        0
943.88/944.15	c  942s |      22 |  2200090 |  2108122 |     7719    628 |        0 |        0
945.88/946.18	c  944s |      22 |  2203800 |  2111822 |     7719    629 |        0 |        0
947.98/948.21	c  946s |      22 |  2208168 |  2116122 |     7719    630 |        0 |        0
949.97/950.24	c  948s |      22 |  2212019 |  2119922 |     7719    631 |        0 |        0
951.97/952.26	c  950s |      22 |  2216719 |  2124322 |     7719    632 |        0 |        0
953.97/954.28	c  952s |      22 |  2220978 |  2128322 |     7719    633 |        0 |        0
956.07/956.31	c  954s |      22 |  2224898 |  2132122 |     7719    634 |        0 |        0
958.07/958.33	c  956s |      22 |  2228729 |  2135822 |     7719    635 |        0 |        0
960.07/960.35	c  958s |      22 |  2232816 |  2139822 |     7719    635 |        0 |        0
962.06/962.39	c  960s |      22 |  2236586 |  2143522 |     7719    636 |        0 |        0
964.16/964.43	c  962s |      22 |  2240478 |  2147322 |     7719    637 |        0 |        0
966.16/966.49	c  964s |      22 |  2244291 |  2151022 |     7719    638 |        0 |        0
968.26/968.51	c  966s |      22 |  2248314 |  2154922 |     7719    639 |        0 |        0
970.26/970.55	c  969s |      22 |  2252208 |  2158622 |     7719    640 |        0 |        0
972.27/972.58	c  971s |      22 |  2256168 |  2162122 |     7719    641 |        0 |        0
974.26/974.58	c  973s |      22 |  2259750 |  2165422 |     7719    642 |        0 |        0
976.35/976.62	c  975s |      22 |  2263182 |  2168822 |     7719    643 |        0 |        0
978.35/978.65	c  977s |      22 |  2266621 |  2172222 |     7719    643 |        0 |        0
980.35/980.68	c  979s |      22 |  2270301 |  2175722 |     7719    644 |        0 |        0
982.45/982.73	c  981s |      22 |  2273494 |  2178622 |     7719    645 |        0 |        0
984.45/984.74	c  983s |      22 |  2277735 |  2182622 |     7719    646 |        0 |        0
986.45/986.74	c  985s |      22 |  2281270 |  2185922 |     7719    647 |        0 |        0
988.45/988.75	c  987s |      22 |  2284238 |  2188722 |     7719    647 |        0 |        0
990.55/990.81	c  989s |      22 |  2287650 |  2192022 |     7719    648 |        0 |        0
992.54/992.87	c  991s |      22 |  2291186 |  2195422 |     7719    649 |        0 |        0
994.64/994.94	c  993s |      22 |  2294097 |  2198222 |     7719    650 |        0 |        0
996.64/996.99	c  995s |      22 |  2297140 |  2201022 |     7719    650 |        0 |        0
998.74/999.02	c  997s |      22 |  2300474 |  2204122 |     7719    651 |        0 |        0
1000.75/1001.05	c  999s |      22 |  2304094 |  2207322 |     7719    652 |        0 |        0
1002.74/1003.07	c 1001s |      22 |  2308133 |  2210922 |     7719    653 |        0 |        0
1004.74/1005.08	c 1003s |      22 |  2311658 |  2214022 |     7719    653 |        0 |        0
1006.84/1007.11	c 1005s |      22 |  2315014 |  2217222 |     7719    654 |        0 |        0
1008.84/1009.12	c 1007s |      22 |  2318675 |  2220822 |     7719    655 |        0 |        0
1010.84/1011.16	c 1009s |      22 |  2322836 |  2224922 |     7719    656 |        0 |        0
1012.94/1013.21	c 1011s |      22 |  2326631 |  2228522 |     7719    657 |        0 |        0
1014.93/1015.21	c 1013s |      22 |  2330166 |  2231922 |     8491    658 |        0 |        0
1016.93/1017.24	c 1015s |      22 |  2334273 |  2235922 |     8491    659 |        0 |        0
1018.93/1019.29	c 1017s |      22 |  2338833 |  2240322 |     8491    660 |        0 |        0
1020.93/1021.29	c 1019s |      22 |  2342958 |  2244222 |     8491    660 |        0 |        0
1023.03/1023.34	c 1021s |      22 |  2346751 |  2247922 |     8491    661 |        0 |        0
1024.43/1024.78	c 1023s |      23 |  2349960 |  2251038 |     8491    662 |        0 |        0
1026.52/1026.82	c 1025s |      23 |  2355983 |  2256738 |     8491    663 |        0 |        0
1028.52/1028.84	c 1027s |      23 |  2360866 |  2261338 |     8491    664 |        0 |        0
1030.53/1030.88	c 1029s |      23 |  2365637 |  2265738 |     8491    665 |        0 |        0
1032.63/1032.91	c 1031s |      23 |  2371455 |  2271238 |     8491    666 |        0 |        0
1034.62/1034.91	c 1033s |      23 |  2375861 |  2275538 |     8491    667 |        0 |        0
1036.62/1036.99	c 1035s |      23 |  2380167 |  2279338 |     8491    668 |        0 |        0
1038.62/1038.99	c 1037s |      23 |  2384835 |  2283738 |     8491    669 |        0 |        0
1040.73/1041.02	c 1039s |      23 |  2388339 |  2287038 |     8491    670 |        0 |        0
1042.73/1043.08	c 1041s |      23 |  2392700 |  2291038 |     8491    671 |        0 |        0
1044.73/1045.10	c 1043s |      23 |  2397160 |  2295238 |     8491    672 |        0 |        0
1046.82/1047.11	c 1045s |      23 |  2401161 |  2298938 |     8491    672 |        0 |        0
1048.82/1049.13	c 1047s |      23 |  2405727 |  2303238 |     8491    673 |        0 |        0
1050.82/1051.19	c 1049s |      23 |  2409922 |  2306938 |     8491    674 |        0 |        0
1052.92/1053.22	c 1051s |      23 |  2414502 |  2311138 |     8491    675 |        0 |        0
1054.92/1055.22	c 1053s |      23 |  2417921 |  2314338 |     8491    676 |        0 |        0
1056.93/1057.23	c 1055s |      23 |  2423060 |  2319138 |     8491    677 |        0 |        0
1058.92/1059.23	c 1057s |      23 |  2426777 |  2322538 |     8491    678 |        0 |        0
1060.92/1061.24	c 1059s |      23 |  2431841 |  2327138 |     8491    679 |        0 |        0
1063.02/1063.30	c 1061s |      23 |  2435782 |  2330938 |     8491    680 |        0 |        0
1065.01/1065.34	c 1063s |      23 |  2438970 |  2333938 |     8491    680 |        0 |        0
1067.01/1067.38	c 1065s |      23 |  2443935 |  2338538 |     8491    681 |        0 |        0
1069.11/1069.40	c 1067s |      23 |  2447483 |  2341938 |     8491    682 |        0 |        0
1071.12/1071.42	c 1069s |      23 |  2451304 |  2345638 |     8491    683 |        0 |        0
1073.11/1073.45	c 1071s |      23 |  2454883 |  2349038 |     8491    684 |        0 |        0
1075.11/1075.49	c 1073s |      23 |  2459194 |  2353238 |     8491    684 |        0 |        0
1077.11/1077.49	c 1075s |      23 |  2462349 |  2356238 |     8491    685 |        0 |        0
1079.21/1079.50	c 1077s |      23 |  2467857 |  2361238 |     8491    686 |        0 |        0
1081.20/1081.51	c 1079s |      23 |  2472392 |  2365438 |     8491    687 |        0 |        0
1083.21/1083.53	c 1082s |      23 |  2476906 |  2369638 |     8491    688 |        0 |        0
1085.20/1085.57	c 1084s |      23 |  2481484 |  2373938 |     8491    689 |        0 |        0
1087.30/1087.63	c 1086s |      23 |  2485155 |  2377338 |     8491    690 |        0 |        0
1089.30/1089.69	c 1088s |      23 |  2489343 |  2381238 |     8491    691 |        0 |        0
1091.40/1091.72	c 1090s |      23 |  2493024 |  2384438 |     8491    691 |        0 |        0
1093.40/1093.77	c 1092s |      23 |  2498103 |  2389138 |     8491    692 |        0 |        0
1095.49/1095.80	c 1094s |      23 |  2502651 |  2393438 |     8491    693 |        0 |        0
1097.50/1097.82	c 1096s |      23 |  2506807 |  2397138 |     8491    694 |        0 |        0
1099.49/1099.87	c 1098s |      23 |  2510535 |  2400338 |     8491    695 |        0 |        0
1101.49/1101.89	c 1100s |      23 |  2514333 |  2403738 |     8491    696 |        0 |        0
1103.69/1104.04	c 1102s |      23 |  2518754 |  2407938 |     8491    697 |        0 |        0
1105.68/1106.07	c 1104s |      23 |  2522667 |  2411338 |     8491    697 |        0 |        0
1107.78/1108.13	c 1106s |      23 |  2525979 |  2414438 |     8491    698 |        0 |        0
1109.78/1110.14	c 1108s |      23 |  2531792 |  2419838 |     8491    699 |        0 |        0
1111.79/1112.14	c 1110s |      23 |  2536157 |  2423838 |     8491    700 |        0 |        0
1113.78/1114.14	c 1112s |      23 |  2539791 |  2427138 |     8491    701 |        0 |        0
1115.88/1116.25	c 1114s |      23 |  2543602 |  2430638 |     8491    702 |        0 |        0
1117.88/1118.29	c 1116s |      23 |  2547465 |  2434038 |     8491    702 |        0 |        0
1119.98/1120.31	c 1118s |      23 |  2551176 |  2437338 |     8491    703 |        0 |        0
1121.98/1122.35	c 1120s |      23 |  2554159 |  2439838 |     8491    704 |        0 |        0
1123.99/1124.35	c 1122s |      23 |  2558011 |  2442938 |     8491    704 |        0 |        0
1126.08/1126.41	c 1124s |      23 |  2561605 |  2446438 |     8491    705 |        0 |        0
1128.07/1128.43	c 1126s |      23 |  2565320 |  2449038 |     8491    706 |        0 |        0
1130.07/1130.49	c 1128s |      23 |  2568328 |  2451438 |     8491    706 |        0 |        0
1132.17/1132.53	c 1131s |      23 |  2572593 |  2455338 |     8491    707 |        0 |        0
1134.17/1134.56	c 1133s |      23 |  2576072 |  2458638 |     8491    708 |        0 |        0
1136.17/1136.59	c 1135s |      23 |  2579272 |  2461538 |     8491    708 |        0 |        0
1138.17/1138.60	c 1137s |      23 |  2581172 |  2463238 |     8491    709 |        0 |        0
1140.27/1140.61	c 1139s |      23 |  2583009 |  2465038 |     8491    709 |        0 |        0
1142.27/1142.64	c 1141s |      23 |  2585871 |  2467738 |     8491    710 |        0 |        0
1144.27/1144.68	c 1143s |      23 |  2590290 |  2471838 |     8491    711 |        0 |        0
1146.26/1146.69	c 1145s |      23 |  2594230 |  2475438 |     8491    711 |        0 |        0
1148.36/1148.70	c 1147s |      23 |  2597451 |  2478438 |     8491    712 |        0 |        0
1150.37/1150.72	c 1149s |      23 |  2601753 |  2482338 |     8491    713 |        0 |        0
1152.37/1152.76	c 1151s |      23 |  2604699 |  2484938 |     8491    714 |        0 |        0
1154.47/1154.81	c 1153s |      23 |  2609687 |  2489738 |     8491    715 |        0 |        0
1156.46/1156.87	c 1155s |      23 |  2613332 |  2492638 |     8491    715 |        0 |        0
1158.46/1158.89	c 1157s |      23 |  2617750 |  2496838 |     8491    716 |        0 |        0
1160.56/1160.92	c 1159s |      23 |  2621747 |  2500438 |     8491    717 |        0 |        0
1162.56/1162.96	c 1161s |      23 |  2624844 |  2503138 |     8491    718 |        0 |        0
1164.67/1165.02	c 1163s |      23 |  2628457 |  2506538 |     8491    718 |        0 |        0
1166.65/1167.03	c 1165s |      23 |  2631902 |  2509838 |     8491    719 |        0 |        0
1168.65/1169.04	c 1167s |      23 |  2635944 |  2513638 |     8491    720 |        0 |        0
1170.65/1171.05	c 1169s |      23 |  2639571 |  2516738 |     8491    721 |        0 |        0
1172.65/1173.07	c 1171s |      23 |  2642854 |  2519838 |     8491    721 |        0 |        0
1174.75/1175.12	c 1173s |      23 |  2646390 |  2523038 |     8491    722 |        0 |        0
1176.76/1177.16	c 1175s |      23 |  2649081 |  2525638 |     8491    723 |        0 |        0
1178.75/1179.17	c 1177s |      23 |  2651991 |  2528338 |     8491    723 |        0 |        0
1180.85/1181.22	c 1179s |      23 |  2655844 |  2531538 |     8491    724 |        0 |        0
1182.85/1183.24	c 1181s |      23 |  2659035 |  2534538 |     8491    725 |        0 |        0
1184.85/1185.27	c 1183s |      23 |  2662265 |  2537638 |     8491    725 |        0 |        0
1186.95/1187.31	c 1185s |      23 |  2665450 |  2540738 |     8491    726 |        0 |        0
1188.95/1189.35	c 1187s |      23 |  2668374 |  2543638 |     8491    727 |        0 |        0
1191.05/1191.44	c 1189s |      23 |  2671528 |  2546738 |     8491    727 |        0 |        0
1193.05/1193.50	c 1191s |      23 |  2674252 |  2549438 |     8491    728 |        0 |        0
1195.14/1195.59	c 1194s |      23 |  2677338 |  2552438 |     8491    729 |        0 |        0
1197.14/1197.59	c 1196s |      23 |  2680522 |  2555438 |     8491    729 |        0 |        0
1199.24/1199.62	c 1198s |      23 |  2684406 |  2559138 |     8491    730 |        0 |        0
1201.24/1201.65	c 1200s |      23 |  2688014 |  2562638 |     8491    731 |        0 |        0
1203.24/1203.67	c 1202s |      23 |  2691794 |  2566238 |     8491    732 |        0 |        0
1205.34/1205.72	c 1204s |      23 |  2695327 |  2569538 |     8491    732 |        0 |        0
1207.33/1207.77	c 1206s |      23 |  2698719 |  2572738 |     8491    733 |        0 |        0
1209.33/1209.77	c 1208s |      23 |  2702251 |  2576138 |     8491    734 |        0 |        0
1211.43/1211.83	c 1210s |      23 |  2705335 |  2579138 |     8491    734 |        0 |        0
1213.43/1213.88	c 1212s |      23 |  2708474 |  2582238 |     8491    735 |        0 |        0
1215.53/1215.91	c 1214s |      23 |  2711797 |  2585438 |     8491    736 |        0 |        0
1217.53/1217.95	c 1216s |      23 |  2716398 |  2589738 |     8491    737 |        0 |        0
1219.54/1219.95	c 1218s |      23 |  2718935 |  2592038 |     8491    737 |        0 |        0
1221.63/1222.04	c 1220s |      23 |  2722347 |  2595138 |     8491    738 |        0 |        0
1223.63/1224.05	c 1222s |      23 |  2725067 |  2597538 |     8491    739 |        0 |        0
1225.73/1226.11	c 1224s |      23 |  2728665 |  2601038 |     8491    739 |        0 |        0
1227.73/1228.15	c 1226s |      23 |  2731931 |  2604138 |     8491    740 |        0 |        0
1229.73/1230.18	c 1228s |      23 |  2735317 |  2607338 |     8491    741 |        0 |        0
1231.83/1232.20	c 1230s |      23 |  2738868 |  2610538 |     8491    741 |        0 |        0
1233.83/1234.30	c 1232s |      23 |  2742363 |  2613738 |     8491    742 |        0 |        0
1235.92/1236.32	c 1234s |      23 |  2745615 |  2616838 |     8491    743 |        0 |        0
1237.92/1238.35	c 1236s |      23 |  2748913 |  2620038 |     8491    744 |        0 |        0
1240.02/1240.46	c 1238s |      23 |  2752719 |  2623638 |     8491    744 |        0 |        0
1242.12/1242.52	c 1241s |      23 |  2755567 |  2626338 |     8491    745 |        0 |        0
1244.12/1244.58	c 1243s |      23 |  2758570 |  2629238 |     8491    746 |        0 |        0
1246.22/1246.62	c 1245s |      23 |  2761350 |  2631938 |     8491    746 |        0 |        0
1248.22/1248.64	c 1247s |      23 |  2764211 |  2634438 |     8491    747 |        0 |        0
1250.22/1250.65	c 1249s |      23 |  2770148 |  2640138 |     8491    748 |        0 |        0
1252.21/1252.68	c 1251s |      23 |  2775022 |  2644538 |     8491    749 |        0 |        0
1254.31/1254.74	c 1253s |      23 |  2779568 |  2648738 |     8491    750 |        0 |        0
1256.31/1256.78	c 1255s |      23 |  2785080 |  2654038 |     8491    751 |        0 |        0
1258.41/1258.82	c 1257s |      23 |  2789852 |  2658338 |     8491    752 |        0 |        0
1260.41/1260.84	c 1259s |      23 |  2793234 |  2661438 |     8491    753 |        0 |        0
1262.42/1262.85	c 1261s |      23 |  2796663 |  2664238 |     8491    753 |        0 |        0
1264.51/1264.95	c 1263s |      23 |  2800693 |  2667738 |     8491    754 |        0 |        0
1266.51/1266.96	c 1265s |      23 |  2803563 |  2670338 |     8491    755 |        0 |        0
1268.51/1268.96	c 1267s |      23 |  2807195 |  2673638 |     8491    755 |        0 |        0
1270.51/1270.98	c 1269s |      23 |  2811646 |  2677838 |     8491    756 |        0 |        0
1272.51/1272.98	c 1271s |      23 |  2816046 |  2682038 |     8491    757 |        0 |        0
1274.51/1275.00	c 1273s |      23 |  2819555 |  2685438 |     8491    758 |        0 |        0
1276.60/1277.02	c 1275s |      23 |  2823379 |  2689138 |     8491    759 |        0 |        0
1278.60/1279.03	c 1277s |      23 |  2827053 |  2692638 |     8491    760 |        0 |        0
1280.60/1281.08	c 1279s |      23 |  2831014 |  2696438 |     8491    760 |        0 |        0
1282.70/1283.12	c 1281s |      23 |  2834208 |  2699438 |     8491    761 |        0 |        0
1284.70/1285.16	c 1283s |      23 |  2837363 |  2702438 |     8491    762 |        0 |        0
1286.70/1287.17	c 1285s |      23 |  2841339 |  2706238 |     8491    763 |        0 |        0
1288.69/1289.19	c 1287s |      23 |  2845187 |  2709938 |     8491    763 |        0 |        0
1290.79/1291.26	c 1289s |      23 |  2848823 |  2713438 |     8491    764 |        0 |        0
1292.89/1293.34	c 1291s |      23 |  2851866 |  2716338 |     8491    765 |        0 |        0
1294.99/1295.40	c 1293s |      23 |  2855305 |  2719538 |     8491    766 |        0 |        0
1296.99/1297.42	c 1295s |      23 |  2859249 |  2723338 |     8491    766 |        0 |        0
1298.99/1299.45	c 1297s |      23 |  2862710 |  2726638 |     8491    767 |        0 |        0
1300.99/1301.48	c 1299s |      23 |  2866321 |  2729938 |     8491    768 |        0 |        0
1302.98/1303.48	c 1301s |      23 |  2870421 |  2733938 |     8491    769 |        0 |        0
1305.08/1305.52	c 1303s |      23 |  2874335 |  2737538 |     8491    769 |        0 |        0
1307.08/1307.55	c 1306s |      23 |  2878159 |  2741238 |     8491    770 |        0 |        0
1309.09/1309.58	c 1308s |      23 |  2881939 |  2744738 |     8491    771 |        0 |        0
1311.09/1311.59	c 1310s |      23 |  2886043 |  2748438 |     8491    772 |        0 |        0
1313.19/1313.61	c 1312s |      23 |  2889509 |  2751738 |     8491    773 |        0 |        0
1315.19/1315.67	c 1314s |      23 |  2893091 |  2755138 |     8491    773 |        0 |        0
1317.28/1317.71	c 1316s |      23 |  2897338 |  2759238 |     8491    774 |        0 |        0
1319.28/1319.73	c 1318s |      23 |  2901172 |  2762738 |     8491    775 |        0 |        0
1321.28/1321.73	c 1320s |      23 |  2904987 |  2766038 |     8491    776 |        0 |        0
1323.28/1323.75	c 1322s |      23 |  2909263 |  2769938 |     8491    777 |        0 |        0
1325.28/1325.79	c 1324s |      23 |  2914462 |  2774838 |     8491    778 |        0 |        0
1327.38/1327.82	c 1326s |      23 |  2918812 |  2779038 |     8491    779 |        0 |        0
1329.38/1329.86	c 1328s |      23 |  2923040 |  2783038 |     8491    780 |        0 |        0
1331.48/1331.90	c 1330s |      23 |  2927531 |  2787138 |     8491    780 |        0 |        0
1333.48/1333.94	c 1332s |      23 |  2931917 |  2791238 |     8491    781 |        0 |        0
1335.47/1335.95	c 1334s |      23 |  2936279 |  2795338 |     8491    782 |        0 |        0
1337.47/1337.98	c 1336s |      23 |  2939284 |  2798038 |     8491    783 |        0 |        0
1339.57/1340.00	c 1338s |      23 |  2942939 |  2801538 |     8491    784 |        0 |        0
1341.58/1342.06	c 1340s |      23 |  2946677 |  2805138 |     8491    784 |        0 |        0
1343.57/1344.07	c 1342s |      23 |  2949930 |  2808238 |     8491    785 |        0 |        0
1345.56/1346.08	c 1344s |      23 |  2954278 |  2812438 |     8491    786 |        0 |        0
1347.66/1348.10	c 1346s |      23 |  2958316 |  2816238 |     8491    787 |        0 |        0
1349.66/1350.14	c 1348s |      23 |  2961167 |  2818938 |     8491    787 |        0 |        0
1351.66/1352.20	c 1350s |      23 |  2964170 |  2821738 |     8491    788 |        0 |        0
1353.77/1354.26	c 1352s |      23 |  2967403 |  2824838 |     8491    789 |        0 |        0
1355.76/1356.29	c 1354s |      23 |  2971016 |  2828238 |     8491    790 |        0 |        0
1357.86/1358.32	c 1356s |      23 |  2975606 |  2832538 |     8491    790 |        0 |        0
1359.86/1360.34	c 1358s |      23 |  2979837 |  2836638 |     8491    791 |        0 |        0
1361.86/1362.34	c 1360s |      23 |  2984119 |  2840738 |     8491    792 |        0 |        0
1363.86/1364.36	c 1362s |      23 |  2988294 |  2844738 |     8491    793 |        0 |        0
1365.86/1366.39	c 1364s |      23 |  2992407 |  2848638 |     8491    794 |        0 |        0
1367.85/1368.39	c 1366s |      23 |  2997073 |  2853138 |     8491    795 |        0 |        0
1369.95/1370.43	c 1368s |      23 |  3000816 |  2856738 |     8491    796 |        0 |        0
1371.95/1372.45	c 1370s |      23 |  3004493 |  2860138 |     8491    797 |        0 |        0
1373.95/1374.46	c 1372s |      23 |  3008103 |  2863638 |     8491    797 |        0 |        0
1375.95/1376.48	c 1374s |      23 |  3011797 |  2867238 |     8491    798 |        0 |        0
1377.95/1378.49	c 1376s |      23 |  3015483 |  2870738 |     8491    799 |        0 |        0
1380.05/1380.53	c 1379s |      23 |  3019057 |  2874138 |     8491    800 |        0 |        0
1382.05/1382.57	c 1381s |      23 |  3022737 |  2877638 |     8491    800 |        0 |        0
1384.15/1384.61	c 1383s |      23 |  3026347 |  2881138 |     8491    801 |        0 |        0
1386.15/1386.66	c 1385s |      23 |  3030060 |  2884738 |     8491    802 |        0 |        0
1388.15/1388.68	c 1387s |      23 |  3033759 |  2888238 |     8491    803 |        0 |        0
1390.14/1390.69	c 1389s |      23 |  3037435 |  2891738 |     8491    804 |        0 |        0
1392.15/1392.69	c 1391s |      23 |  3041314 |  2895438 |     8491    804 |        0 |        0
1394.24/1394.76	c 1393s |      23 |  3045975 |  2899938 |     8491    805 |        0 |        0
1396.24/1396.79	c 1395s |      23 |  3050398 |  2904238 |     8491    806 |        0 |        0
1398.34/1398.82	c 1397s |      23 |  3054342 |  2908038 |     8491    807 |        0 |        0
1400.44/1400.91	c 1399s |      23 |  3058608 |  2912138 |     8491    808 |        0 |        0
1402.44/1402.94	c 1401s |      23 |  3062657 |  2916038 |     8491    809 |        0 |        0
1404.44/1404.98	c 1403s |      23 |  3066772 |  2919938 |     8491    810 |        0 |        0
1406.45/1406.98	c 1405s |      23 |  3070850 |  2923838 |     8491    811 |        0 |        0
1408.54/1409.05	c 1407s |      23 |  3074412 |  2927238 |     8491    811 |        0 |        0
1410.54/1411.06	c 1409s |      23 |  3078207 |  2930838 |     8491    812 |        0 |        0
1412.54/1413.06	c 1411s |      23 |  3082054 |  2934538 |     8491    813 |        0 |        0
1414.54/1415.10	c 1413s |      23 |  3086147 |  2938438 |     8491    814 |        0 |        0
1416.64/1417.11	c 1415s |      23 |  3089629 |  2941738 |     8491    815 |        0 |        0
1418.64/1419.12	c 1417s |      23 |  3093443 |  2945338 |     8491    815 |        0 |        0
1420.64/1421.15	c 1419s |      23 |  3097718 |  2949438 |     8491    816 |        0 |        0
1422.64/1423.15	c 1421s |      23 |  3101906 |  2953338 |     8491    817 |        0 |        0
1424.74/1425.20	c 1423s |      23 |  3106012 |  2957238 |     8491    818 |        0 |        0
1426.74/1427.20	c 1425s |      23 |  3109822 |  2960838 |     8491    819 |        0 |        0
1428.74/1429.23	c 1427s |      23 |  3113655 |  2964138 |     8491    820 |        0 |        0
1430.75/1431.29	c 1429s |      23 |  3117751 |  2967638 |     8491    820 |        0 |        0
1432.85/1433.33	c 1431s |      23 |  3122262 |  2971738 |     8491    821 |        0 |        0
1434.84/1435.33	c 1433s |      23 |  3126569 |  2975738 |     8491    822 |        0 |        0
1436.84/1437.35	c 1435s |      23 |  3130975 |  2979938 |     8491    823 |        0 |        0
1438.84/1439.38	c 1437s |      23 |  3135120 |  2983938 |     8491    824 |        0 |        0
1440.94/1441.41	c 1439s |      23 |  3138992 |  2987638 |     8491    825 |        0 |        0
1442.94/1443.42	c 1441s |      23 |  3143350 |  2991838 |     8491    826 |        0 |        0
1444.95/1445.43	c 1443s |      23 |  3147584 |  2995938 |     8491    827 |        0 |        0
1446.94/1447.45	c 1445s |      23 |  3151325 |  2999538 |     8491    827 |        0 |        0
1448.94/1449.47	c 1447s |      23 |  3155676 |  3003638 |     8491    828 |        0 |        0
1451.04/1451.53	c 1450s |      23 |  3159918 |  3007738 |     8491    829 |        0 |        0
1453.04/1453.55	c 1452s |      23 |  3164225 |  3011838 |     8491    830 |        0 |        0
1455.04/1455.57	c 1454s |      23 |  3168202 |  3015638 |     8491    831 |        0 |        0
1457.15/1457.62	c 1456s |      23 |  3172494 |  3019738 |     8491    832 |        0 |        0
1459.14/1459.67	c 1458s |      23 |  3177039 |  3024038 |     8491    833 |        0 |        0
1461.24/1461.70	c 1460s |      23 |  3181595 |  3028438 |     8491    834 |        0 |        0
1463.24/1463.72	c 1462s |      23 |  3185543 |  3032238 |     8491    835 |        0 |        0
1465.24/1465.74	c 1464s |      23 |  3189594 |  3036138 |     8491    836 |        0 |        0
1467.24/1467.78	c 1466s |      23 |  3194223 |  3040538 |     8491    836 |        0 |        0
1469.34/1469.80	c 1468s |      23 |  3198362 |  3044538 |     8491    837 |        0 |        0
1471.24/1471.80	c 1470s |      23 |  3202345 |  3048338 |     8491    838 |        0 |        0
1473.34/1473.80	c 1472s |      23 |  3206738 |  3052538 |     8491    839 |        0 |        0
1475.33/1475.87	c 1474s |      23 |  3210940 |  3056538 |     8491    840 |        0 |        0
1477.43/1477.90	c 1476s |      23 |  3215417 |  3060838 |     8491    841 |        0 |        0
1479.43/1479.93	c 1478s |      23 |  3219594 |  3064738 |     8491    842 |        0 |        0
1481.43/1481.99	c 1480s |      23 |  3224085 |  3069038 |     8491    843 |        0 |        0
1483.54/1484.01	c 1482s |      23 |  3227787 |  3072538 |     8491    844 |        0 |        0
1485.53/1486.09	c 1484s |      23 |  3232192 |  3076738 |     8491    845 |        0 |        0
1487.63/1488.13	c 1486s |      23 |  3236857 |  3081238 |     8491    846 |        0 |        0
1489.63/1490.13	c 1488s |      23 |  3241601 |  3085838 |     8491    847 |        0 |        0
1491.63/1492.17	c 1490s |      23 |  3245383 |  3089438 |     8491    847 |        0 |        0
1493.63/1494.18	c 1492s |      23 |  3249543 |  3093438 |     8491    848 |        0 |        0
1495.64/1496.18	c 1494s |      23 |  3254092 |  3097838 |     8491    849 |        0 |        0
1497.63/1498.19	c 1496s |      23 |  3258248 |  3101838 |     8491    850 |        0 |        0
1499.63/1500.19	c 1498s |      23 |  3262414 |  3105838 |     8491    851 |        0 |        0
1501.63/1502.19	c 1500s |      23 |  3266277 |  3109538 |     8491    852 |        0 |        0
1503.73/1504.21	c 1502s |      23 |  3270066 |  3113238 |     8491    853 |        0 |        0
1505.73/1506.27	c 1504s |      23 |  3274222 |  3117138 |     8491    853 |        0 |        0
1507.83/1508.34	c 1506s |      23 |  3277917 |  3120538 |     8491    854 |        0 |        0
1509.83/1510.36	c 1508s |      23 |  3281709 |  3124138 |     8491    855 |        0 |        0
1511.83/1512.36	c 1510s |      23 |  3285839 |  3128038 |     8491    856 |        0 |        0
1513.83/1514.37	c 1512s |      23 |  3289800 |  3131838 |     8491    857 |        0 |        0
1515.93/1516.46	c 1514s |      23 |  3293556 |  3135438 |     8491    858 |        0 |        0
1517.93/1518.48	c 1516s |      23 |  3297697 |  3139438 |     8491    858 |        0 |        0
1519.93/1520.48	c 1518s |      23 |  3301540 |  3143138 |     8491    859 |        0 |        0
1521.93/1522.49	c 1520s |      23 |  3306650 |  3148138 |     8491    860 |        0 |        0
1524.02/1524.50	c 1522s |      23 |  3310979 |  3152338 |     8491    861 |        0 |        0
1526.02/1526.52	c 1525s |      23 |  3314766 |  3156038 |     8491    862 |        0 |        0
1528.02/1528.57	c 1527s |      23 |  3318451 |  3159638 |     8491    863 |        0 |        0
1530.02/1530.59	c 1529s |      23 |  3323453 |  3164438 |     8491    864 |        0 |        0
1532.12/1532.62	c 1531s |      23 |  3327330 |  3168238 |     8491    865 |        0 |        0
1534.13/1534.65	c 1533s |      23 |  3331086 |  3171838 |     8491    866 |        0 |        0
1536.12/1536.68	c 1535s |      23 |  3335065 |  3175638 |     8491    866 |        0 |        0
1538.22/1538.72	c 1537s |      23 |  3338966 |  3179138 |     8491    867 |        0 |        0
1540.22/1540.72	c 1539s |      23 |  3342543 |  3182538 |     8491    868 |        0 |        0
1542.22/1542.74	c 1541s |      23 |  3345944 |  3185638 |     8491    869 |        0 |        0
1544.32/1544.80	c 1543s |      23 |  3349143 |  3188638 |     8491    869 |        0 |        0
1546.32/1546.84	c 1545s |      23 |  3353021 |  3192338 |     8491    870 |        0 |        0
1548.33/1548.88	c 1547s |      23 |  3356506 |  3195738 |     8491    871 |        0 |        0
1550.42/1550.91	c 1549s |      23 |  3360247 |  3199238 |     8491    872 |        0 |        0
1552.42/1552.92	c 1551s |      23 |  3363724 |  3202538 |     8491    872 |        0 |        0
1554.42/1554.93	c 1553s |      23 |  3367404 |  3205838 |     8491    873 |        0 |        0
1556.42/1556.93	c 1555s |      23 |  3370441 |  3208738 |     8491    874 |        0 |        0
1558.42/1558.94	c 1557s |      23 |  3373482 |  3211638 |     8491    874 |        0 |        0
1560.42/1560.98	c 1559s |      23 |  3376428 |  3214338 |     8491    875 |        0 |        0
1562.52/1563.04	c 1561s |      23 |  3379362 |  3216838 |     8491    875 |        0 |        0
1564.52/1565.04	c 1563s |      23 |  3381667 |  3219038 |     8491    876 |        0 |        0
1566.51/1567.05	c 1565s |      23 |  3385043 |  3222238 |     8491    877 |        0 |        0
1568.51/1569.07	c 1567s |      23 |  3388392 |  3225438 |     8491    877 |        0 |        0
1570.51/1571.07	c 1569s |      23 |  3391732 |  3228638 |     8491    878 |        0 |        0
1572.52/1573.08	c 1571s |      23 |  3394547 |  3231338 |     8491    879 |        0 |        0
1574.62/1575.13	c 1573s |      23 |  3397901 |  3234538 |     8491    879 |        0 |        0
1576.62/1577.18	c 1575s |      23 |  3401324 |  3237838 |     8491    880 |        0 |        0
1578.62/1579.19	c 1577s |      23 |  3404394 |  3240838 |     8491    881 |        0 |        0
1580.72/1581.22	c 1579s |      23 |  3407152 |  3243438 |     8491    881 |        0 |        0
1582.72/1583.26	c 1581s |      23 |  3410098 |  3246338 |     8491    882 |        0 |        0
1584.73/1585.28	c 1583s |      23 |  3413451 |  3249538 |     8491    883 |        0 |        0
1586.83/1587.34	c 1585s |      23 |  3417049 |  3252838 |     8491    883 |        0 |        0
1588.82/1589.37	c 1587s |      23 |  3420361 |  3255938 |     8491    884 |        0 |        0
1590.92/1591.44	c 1589s |      23 |  3423662 |  3259138 |     8491    885 |        0 |        0
1592.92/1593.49	c 1591s |      23 |  3427040 |  3262438 |     8491    886 |        0 |        0
1595.02/1595.53	c 1594s |      23 |  3431142 |  3266438 |     8491    886 |        0 |        0
1597.12/1597.64	c 1596s |      23 |  3434768 |  3269638 |     8491    887 |        0 |        0
1599.12/1599.66	c 1598s |      23 |  3437254 |  3271938 |     8491    888 |        0 |        0
1601.23/1601.72	c 1600s |      23 |  3440534 |  3275138 |     8491    888 |        0 |        0
1603.22/1603.77	c 1602s |      23 |  3443926 |  3278438 |     8491    889 |        0 |        0
1605.32/1605.80	c 1604s |      23 |  3447119 |  3281538 |     8491    890 |        0 |        0
1607.32/1607.82	c 1606s |      23 |  3450282 |  3284538 |     8491    890 |        0 |        0
1609.32/1609.89	c 1608s |      23 |  3452876 |  3287038 |     8491    891 |        0 |        0
1611.42/1611.94	c 1610s |      23 |  3455955 |  3290038 |     8491    892 |        0 |        0
1613.42/1613.99	c 1612s |      23 |  3459354 |  3293338 |     8491    892 |        0 |        0
1615.52/1616.07	c 1614s |      23 |  3462130 |  3295938 |     8491    893 |        0 |        0
1617.52/1618.09	c 1616s |      23 |  3465323 |  3298938 |     8491    894 |        0 |        0
1619.62/1620.15	c 1618s |      23 |  3468383 |  3301938 |     8491    894 |        0 |        0
1621.62/1622.17	c 1620s |      23 |  3471646 |  3305138 |     8491    895 |        0 |        0
1623.72/1624.22	c 1622s |      23 |  3475579 |  3308938 |     8491    896 |        0 |        0
1625.71/1626.24	c 1624s |      23 |  3478742 |  3312038 |     8491    897 |        0 |        0
1627.71/1628.25	c 1626s |      23 |  3482933 |  3316138 |     8491    897 |        0 |        0
1629.72/1630.27	c 1628s |      23 |  3487100 |  3320238 |     8491    898 |        0 |        0
1631.81/1632.31	c 1630s |      23 |  3491224 |  3324238 |     8491    899 |        0 |        0
1633.81/1634.32	c 1632s |      23 |  3495099 |  3328038 |     8491    900 |        0 |        0
1635.91/1636.46	c 1634s |      23 |  3500035 |  3332638 |     8491    901 |        0 |        0
1638.01/1638.51	c 1636s |      23 |  3502889 |  3335438 |     8491    902 |        0 |        0
1640.01/1640.52	c 1638s |      23 |  3506236 |  3338738 |     8491    902 |        0 |        0
1642.01/1642.59	c 1641s |      23 |  3509448 |  3341838 |     8491    903 |        0 |        0
1644.12/1644.68	c 1643s |      23 |  3512440 |  3344638 |     8491    904 |        0 |        0
1646.22/1646.74	c 1645s |      23 |  3516189 |  3348138 |     9341    904 |        0 |        0
1648.21/1648.79	c 1647s |      23 |  3519130 |  3351038 |     9341    905 |        0 |        0
1650.31/1650.82	c 1649s |      23 |  3521770 |  3353638 |     9341    905 |        0 |        0
1652.31/1652.85	c 1651s |      23 |  3524517 |  3356238 |     9341    906 |        0 |        0
1654.31/1654.88	c 1653s |      23 |  3527920 |  3359438 |     9341    907 |        0 |        0
1656.41/1656.92	c 1655s |      23 |  3530997 |  3362438 |     9341    907 |        0 |        0
1658.41/1658.93	c 1657s |      23 |  3534118 |  3365338 |     9341    908 |        0 |        0
1660.41/1660.93	c 1659s |      23 |  3537103 |  3368238 |     9341    908 |        0 |        0
1662.41/1662.99	c 1661s |      23 |  3541004 |  3372038 |     9341    909 |        0 |        0
1664.51/1665.01	c 1663s |      23 |  3544093 |  3375038 |     9341    910 |        0 |        0
1665.90/1666.40	c 1664s |      24 |  3545764 |  3376662 |     9341    910 |        0 |        0
1667.90/1668.41	c 1666s |      24 |  3551448 |  3382062 |     9341    911 |        0 |        0
1669.90/1670.42	c 1668s |      24 |  3555736 |  3386262 |     9341    912 |        0 |        0
1671.90/1672.46	c 1670s |      24 |  3560068 |  3390462 |     9341    913 |        0 |        0
1673.90/1674.46	c 1672s |      24 |  3564951 |  3395262 |     9341    914 |        0 |        0
1675.91/1676.48	c 1674s |      24 |  3569463 |  3399662 |     9341    915 |        0 |        0
1678.00/1678.52	c 1676s |      24 |  3573569 |  3403662 |     9341    916 |        0 |        0
1680.00/1680.54	c 1679s |      24 |  3577819 |  3407762 |     9341    917 |        0 |        0
1682.00/1682.54	c 1681s |      24 |  3581700 |  3411462 |     9341    918 |        0 |        0
1684.00/1684.58	c 1683s |      24 |  3585993 |  3415662 |     9341    918 |        0 |        0
1686.00/1686.59	c 1685s |      24 |  3590367 |  3419962 |     9341    919 |        0 |        0
1688.11/1688.61	c 1687s |      24 |  3595214 |  3424662 |     9341    920 |        0 |        0
1690.21/1690.71	c 1689s |      24 |  3599569 |  3428962 |     9341    921 |        0 |        0
1692.20/1692.74	c 1691s |      24 |  3603124 |  3432462 |     9341    922 |        0 |        0
1694.20/1694.75	c 1693s |      24 |  3607676 |  3436962 |     9341    923 |        0 |        0
1696.20/1696.79	c 1695s |      24 |  3612694 |  3441862 |     9341    924 |        0 |        0
1698.20/1698.79	c 1697s |      24 |  3616182 |  3445262 |     9341    925 |        0 |        0
1700.40/1700.96	c 1699s |      24 |  3620407 |  3449362 |     9341    926 |        0 |        0
1702.50/1703.00	c 1701s |      24 |  3624618 |  3453462 |     9341    926 |        0 |        0
1704.50/1705.04	c 1703s |      24 |  3628963 |  3457662 |     9341    927 |        0 |        0
1706.50/1707.08	c 1705s |      24 |  3632634 |  3461262 |     9341    928 |        0 |        0
1708.60/1709.10	c 1707s |      24 |  3636955 |  3465462 |     9341    929 |        0 |        0
1710.60/1711.14	c 1709s |      24 |  3641353 |  3469662 |     9341    930 |        0 |        0
1712.59/1713.19	c 1711s |      24 |  3645627 |  3473762 |     9341    931 |        0 |        0
1714.59/1715.19	c 1713s |      24 |  3649911 |  3477962 |     9341    932 |        0 |        0
1716.60/1717.20	c 1715s |      24 |  3653763 |  3481762 |     9341    932 |        0 |        0
1718.69/1719.21	c 1717s |      24 |  3659038 |  3486762 |     9341    933 |        0 |        0
1720.69/1721.28	c 1719s |      24 |  3665095 |  3492562 |     9341    934 |        0 |        0
1722.69/1723.29	c 1721s |      24 |  3669615 |  3496862 |     9341    935 |        0 |        0
1724.79/1725.36	c 1723s |      24 |  3673377 |  3500562 |     9341    936 |        0 |        0
1726.89/1727.41	c 1725s |      24 |  3677944 |  3504962 |     9341    937 |        0 |        0
1728.89/1729.43	c 1727s |      24 |  3681810 |  3508762 |     9341    938 |        0 |        0
1730.91/1731.49	c 1729s |      24 |  3685562 |  3512462 |     9341    939 |        0 |        0
1733.00/1733.51	c 1731s |      24 |  3689627 |  3516462 |     9341    939 |        0 |        0
1735.00/1735.51	c 1733s |      24 |  3693902 |  3520662 |     9341    940 |        0 |        0
1737.00/1737.54	c 1736s |      24 |  3697900 |  3524562 |     9341    941 |        0 |        0
1739.00/1739.56	c 1738s |      24 |  3703109 |  3529662 |     9341    942 |        0 |        0
1741.00/1741.59	c 1740s |      24 |  3708119 |  3534562 |     9341    943 |        0 |        0
1743.10/1743.62	c 1742s |      24 |  3711337 |  3537762 |     9341    944 |        0 |        0
1745.10/1745.65	c 1744s |      24 |  3715110 |  3541462 |     9341    944 |        0 |        0
1747.10/1747.67	c 1746s |      24 |  3718598 |  3544862 |     9341    945 |        0 |        0
1749.20/1749.70	c 1748s |      24 |  3722141 |  3548362 |     9341    946 |        0 |        0
1751.19/1751.71	c 1750s |      24 |  3725408 |  3551562 |     9341    946 |        0 |        0
1753.19/1753.74	c 1752s |      24 |  3729482 |  3555562 |     9341    947 |        0 |        0
1755.20/1755.75	c 1754s |      24 |  3733364 |  3559362 |     9341    948 |        0 |        0
1757.19/1757.77	c 1756s |      24 |  3737715 |  3563662 |     9341    949 |        0 |        0
1759.29/1759.80	c 1758s |      24 |  3741715 |  3567562 |     9341    950 |        0 |        0
1761.29/1761.81	c 1760s |      24 |  3746503 |  3572162 |     9341    951 |        0 |        0
1763.29/1763.84	c 1762s |      24 |  3750059 |  3575662 |     9341    951 |        0 |        0
1765.29/1765.85	c 1764s |      24 |  3753875 |  3579362 |     9341    952 |        0 |        0
1767.30/1767.85	c 1766s |      24 |  3757645 |  3582962 |     9341    953 |        0 |        0
1769.29/1769.87	c 1768s |      24 |  3761609 |  3586662 |     9341    954 |        0 |        0
1771.39/1771.92	c 1770s |      24 |  3765459 |  3590362 |     9341    954 |        0 |        0
1773.39/1773.94	c 1772s |      24 |  3768549 |  3593362 |     9341    955 |        0 |        0
1775.39/1775.95	c 1774s |      24 |  3771980 |  3596662 |     9341    956 |        0 |        0
1777.39/1777.96	c 1776s |      24 |  3775494 |  3600062 |     9341    956 |        0 |        0
1779.49/1780.01	c 1778s |      24 |  3779172 |  3603562 |     9341    957 |        0 |        0
1781.50/1782.03	c 1780s |      24 |  3782255 |  3606462 |     9341    958 |        0 |        0
1783.49/1784.08	c 1782s |      24 |  3785978 |  3610062 |     9341    958 |        0 |        0
1785.59/1786.12	c 1784s |      24 |  3789685 |  3613662 |     9341    959 |        0 |        0
1787.59/1788.16	c 1786s |      24 |  3794397 |  3618162 |     9341    960 |        0 |        0
1789.59/1790.16	c 1788s |      24 |  3798824 |  3622462 |     9341    961 |        0 |        0
1791.59/1792.17	c 1790s |      24 |  3802797 |  3626262 |     9341    962 |        0 |        0
1793.59/1794.20	c 1792s |      24 |  3806235 |  3629662 |     9341    962 |        0 |        0
1795.79/1796.32	c 1794s |      24 |  3809499 |  3632862 |     9341    963 |        0 |        0
1797.78/1798.33	c 1796s |      24 |  3813752 |  3637062 |     9341    964 |        0 |        0
1799.78/1800.37	c 1798s |      24 |  3817077 |  3640362 |     9341    964 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106214-1466267697/watcher-4106214-1466267697 -o /tmp/evaluation-result-4106214-1466267697/solver-4106214-1466267697 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106214-1466267697.opb 

pid=8338
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.04 2.03 2.02 3/179 8341
/proc/meminfo: memFree=30122316/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=729532 CPUtime=0 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 2723 0 0 0 0 0 0 0 20 0 4 0 28815177 747040768 3084 33554432000 4194304 16246674 140735771909728 140735771909152 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 183151 3093 441 2943 0 180045 0
[pid=8341/tid=8342] ppid=8338 vsize=746940 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 764866560 3153 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 770109440 3170 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=756156 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 774303744 3185 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.04 2.03 2.02 3/179 8341
/proc/meminfo: memFree=30122316/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 22623 0 0 0 7 2 0 0 20 0 4 0 28815177 1247350784 22971 33554432000 4194304 16246674 140735771909728 140735771909152 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 304529 22982 758 2943 0 301423 0
[pid=8341/tid=8342] ppid=8338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1247350784 22986 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1247350784 22989 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1247350784 22992 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200537 s]
/proc/loadavg: 2.04 2.03 2.02 3/179 8341
/proc/meminfo: memFree=30122316/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 39547 0 0 0 15 4 0 0 20 0 4 0 28815177 1247350784 39896 33554432000 4194304 16246674 140735771909728 140735771909152 12460548 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 304529 39906 758 2943 0 301423 0
[pid=8341/tid=8342] ppid=8338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1247350784 39912 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1247350784 39921 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1247350784 39925 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300488 s]
/proc/loadavg: 2.04 2.03 2.02 3/179 8341
/proc/meminfo: memFree=30122316/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 56228 0 0 0 22 7 0 0 20 0 4 0 28815177 1247350784 56577 33554432000 4194304 16246674 140735771909728 140735771909152 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 304529 56587 760 2943 0 301423 0
[pid=8341/tid=8342] ppid=8338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1247350784 56594 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1247350784 56596 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1247350784 56598 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700402 s]
/proc/loadavg: 2.04 2.03 2.02 3/179 8341
/proc/meminfo: memFree=30122316/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 125842 0 0 0 53 16 0 0 20 0 4 0 28815177 1247350784 126190 33554432000 4194304 16246674 140735771909728 140735771909152 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 304529 126193 767 2943 0 301423 0
[pid=8341/tid=8342] ppid=8338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1247350784 126197 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1247350784 126202 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1247350784 126207 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.04 2.03 2.02 3/183 8345
/proc/meminfo: memFree=29334836/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1222212 CPUtime=1.49 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 246417 0 0 0 117 32 0 0 20 0 4 0 28815177 1251545088 246742 33554432000 4194304 16246674 140735771909728 140735771909040 5722052 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 305553 246742 834 2943 0 302447 0
[pid=8341/tid=8342] ppid=8338 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1251545088 246742 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1251545088 246742 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1251545088 246742 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1222212

[startup+3.10042 s]
/proc/loadavg: 2.04 2.03 2.02 3/183 8345
/proc/meminfo: memFree=29135188/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1302084 CPUtime=3.09 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 266425 0 0 0 274 35 0 0 20 0 4 0 28815177 1333334016 266750 33554432000 4194304 16246674 140735771909728 140735771891648 13192316 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 325521 266750 852 2943 0 322415 0
[pid=8341/tid=8342] ppid=8338 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1333334016 266750 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1333334016 266750 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1333334016 266750 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1302084

[startup+6.30042 s]
/proc/loadavg: 2.04 2.03 2.02 3/183 8345
/proc/meminfo: memFree=29049152/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1309252 CPUtime=6.29 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 268219 0 0 0 594 35 0 0 20 0 4 0 28815177 1340674048 268544 33554432000 4194304 16246674 140735771909728 140735771908824 5721801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 327313 268544 853 2943 0 324207 0
[pid=8341/tid=8342] ppid=8338 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1340674048 268544 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1340674048 268544 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1340674048 268544 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.03 2.03 2.02 3/183 8345
/proc/meminfo: memFree=29046000/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1311300 CPUtime=12.68 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 268921 0 0 0 1233 35 0 0 20 0 4 0 28815177 1342771200 269246 33554432000 4194304 16246674 140735771909728 140735771891648 5712566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 327825 269246 853 2943 0 324719 0
[pid=8341/tid=8342] ppid=8338 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1342771200 269246 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1342771200 269246 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1342771200 269246 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.10 2.05 2.02 3/183 8345
/proc/meminfo: memFree=29045320/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1311300 CPUtime=25.49 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 268921 0 0 0 2513 36 0 0 20 0 4 0 28815177 1342771200 269246 33554432000 4194304 16246674 140735771909728 140735771891648 5711908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 327825 269246 853 2943 0 324719 0
[pid=8341/tid=8342] ppid=8338 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1342771200 269246 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1342771200 269246 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1342771200 269246 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.07 2.04 2.02 3/183 8345
/proc/meminfo: memFree=29042940/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1313348 CPUtime=51.09 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 269433 0 0 0 5073 36 0 0 20 0 4 0 28815177 1344868352 269758 33554432000 4194304 16246674 140735771909728 140735771891648 5823523 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 328337 269758 853 2943 0 325231 0
[pid=8341/tid=8342] ppid=8338 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1344868352 269758 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1344868352 269758 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1344868352 269758 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.01 3/183 8346
/proc/meminfo: memFree=29037848/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1318468 CPUtime=102.28 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 270713 0 0 0 10192 36 0 0 20 0 4 0 28815177 1350111232 271038 33554432000 4194304 16246674 140735771909728 140735771907584 5675587 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 329617 271038 853 2943 0 326511 0
[pid=8341/tid=8342] ppid=8338 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1350111232 271038 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1350111232 271038 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1350111232 271038 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274111 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1329732

[startup+1302.3 s]
/proc/loadavg: 2.14 2.11 2.06 3/183 8376
/proc/meminfo: memFree=29016440/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1329732 CPUtime=1301.89 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 273901 0 0 0 130145 44 0 0 20 0 4 0 28815177 1361645568 274111 33554432000 4194304 16246674 140735771909728 140735771891648 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 332433 274111 854 2943 0 329327 0
[pid=8341/tid=8342] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274111 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274111 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274111 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1329732

[startup+1362.3 s]
/proc/loadavg: 2.20 2.13 2.07 3/183 8378
/proc/meminfo: memFree=29016216/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1329732 CPUtime=1361.86 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 273937 0 0 0 136141 45 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140735771891648 5523371 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 332433 274113 854 2943 0 329327 0
[pid=8341/tid=8342] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1329732

[startup+1422.3 s]
/proc/loadavg: 2.18 2.14 2.08 3/183 8379
/proc/meminfo: memFree=29017016/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1329732 CPUtime=1421.84 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 273942 0 0 0 142139 45 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140735771891648 6012131 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 332433 274113 854 2943 0 329327 0
[pid=8341/tid=8342] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1329732

[startup+1482.3 s]
/proc/loadavg: 2.16 2.14 2.08 3/183 8380
/proc/meminfo: memFree=29017144/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1329732 CPUtime=1481.83 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 273942 0 0 0 148137 46 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140735771891648 6020536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 332433 274113 854 2943 0 329327 0
[pid=8341/tid=8342] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1329732

[startup+1542.31 s]
/proc/loadavg: 2.11 2.13 2.08 3/184 8384
/proc/meminfo: memFree=29017160/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1329732 CPUtime=1541.83 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 273942 0 0 0 154137 46 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140735771891648 12479203 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 332433 274113 854 2943 0 329327 0
[pid=8341/tid=8342] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1329732

[startup+1602.3 s]
/proc/loadavg: 2.08 2.11 2.08 3/184 8408
/proc/meminfo: memFree=29011544/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1329732 CPUtime=1601.82 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 273942 0 0 0 160135 47 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140735771891648 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 332433 274113 854 2943 0 329327 0
[pid=8341/tid=8342] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1329732

[startup+1662.3 s]
/proc/loadavg: 2.16 2.14 2.09 3/183 8459
/proc/meminfo: memFree=29020284/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1329732 CPUtime=1661.81 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 273942 0 0 0 166134 47 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140735771891648 5677563 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 332433 274113 854 2943 0 329327 0
[pid=8341/tid=8342] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1361645568 274113 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1329732

[startup+1722.3 s]
/proc/loadavg: 2.16 2.14 2.09 3/183 8460
/proc/meminfo: memFree=29012636/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1333828 CPUtime=1721.79 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 274966 0 0 0 172132 47 0 0 20 0 4 0 28815177 1365839872 275137 33554432000 4194304 16246674 140735771909728 140735771891648 12477787 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 333457 275137 854 2943 0 330351 0
[pid=8341/tid=8342] ppid=8338 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1365839872 275137 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1365839872 275137 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1365839872 275137 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1333828

[startup+1782.3 s]
/proc/loadavg: 2.21 2.17 2.10 3/183 8461
/proc/meminfo: memFree=29012028/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1333828 CPUtime=1781.79 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 274966 0 0 0 178131 48 0 0 20 0 4 0 28815177 1365839872 275137 33554432000 4194304 16246674 140735771909728 140735771891648 5722716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 333457 275137 854 2943 0 330351 0
[pid=8341/tid=8342] ppid=8338 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1365839872 275137 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1365839872 275137 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1365839872 275137 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1333828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.23 2.17 2.10 3/183 8461
/proc/meminfo: memFree=29011288/32872528 swapFree=496868/529572
[pid=8341] ppid=8338 vsize=1333828 CPUtime=1800.08 cores=1,3,5,7
/proc/8341/stat : 8341 (toysat) R 8338 8341 7739 0 -1 4202496 274966 0 0 0 179960 48 0 0 20 0 4 0 28815177 1365839872 275137 33554432000 4194304 16246674 140735771909728 140735771891648 13881712 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8341/statm: 333457 275137 854 2943 0 330351 0
[pid=8341/tid=8342] ppid=8338 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8342/stat : 8342 (toysat) S 8338 8341 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28815177 1365839872 275137 33554432000 4194304 16246674 140735771909728 140094108314864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8341/tid=8343] ppid=8338 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8343/stat : 8343 (toysat) S 8338 8341 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28815177 1365839872 275137 33554432000 4194304 16246674 140735771909728 140094097825008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8341/tid=8344] ppid=8338 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8341/task/8344/stat : 8344 (toysat) S 8338 8341 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28815177 1365839872 275137 33554432000 4194304 16246674 140735771909728 140093981453488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1333828

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.61
CPU system time (s): 0.484926
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1333828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.484926
maximum resident set size= 1100548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274966
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= 426
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48832 second user time and 7.04293 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-18 18:34:57
IDJOB=4106214
IDBENCH=47975
IDSOLVER=2542
FILE ID=node141/4106214-1466267697
RUNJOBID= node141-1466264081-7756
PBS_JOBID= 19918217
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106214-1466267697/watcher-4106214-1466267697 -o /tmp/evaluation-result-4106214-1466267697/solver-4106214-1466267697 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106214-1466267697.opb

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

MD5SUM BENCH= 1d88cb7e119c66203d260e6c8e2ab364
RANDOM SEED=3648616

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30123224 kB
Buffers:          146288 kB
Cached:           254652 kB
SwapCached:         2528 kB
Active:          1213772 kB
Inactive:         261876 kB
Active(anon):    1075040 kB
Inactive(anon):     2028 kB
Active(file):     138732 kB
Inactive(file):   259848 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:             33032 kB
Writeback:             0 kB
AnonPages:       1603088 kB
Mapped:            10664 kB
Shmem:                 0 kB
Slab:             610220 kB
SReclaimable:      53272 kB
SUnreclaim:       556948 kB
KernelStack:        1464 kB
PageTables:         7376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1748348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71696 MiB
End job on node141 at 2016-06-18 19:04:58