Trace number 4079746

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_1.opb
MD5SUM5bf563c7058af01702ea80887f1d43ad
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved NO
Number of variables120
Total number of constraints10
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 constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1086
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3768
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T22:38: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-4079746-1465245536.opb"]
0.00/0.01	c use --random-gen="884986965 821290986 3481780796 3578111579 2208698855 2735421691 36326013 3788907184 1275581860 1890945725 793000350 273926862 2213530464 2546014354 3856277525 3061147644 4037353005 1812403914 1171000476 3698457811 3992703490 3650304845 3794233650 2628044205 2646872405 1626558035 1347417987 389483063 2970282284 1424999583 939280910 442963104 3530078592 3710148264 1303474949 2731103475 3139077777 3105435721 3107563718 3935335115 4142131424 3693957116 278239282 3535117917 3432110377 1884889929 3697633390 2293768604 646714660 3341582031 1851284025 3984989006 1852222967 1154779931 39664298 1720655548 4269550543 1342961508 3256243785 2389787943 1345315199 1357736096 2570332020 3852185219 1909572145 993689575 1185156100 4268909809 1758220879 1271453397 1436474983 3371023458 4156724876 94075332 576406506 1368809313 1221986641 1209993193 1953922428 1142344615 147699945 54485256 1089975004 3104256628 2211788892 2160392665 3306312578 2889956062 3194518677 4132715304 680501130 3514783190 55980551 2275400736 48333895 2477877504 3520972391 2537493442 228494800 2373825012 1063144311 320813219 354352072 2291360759 4155425585 2875839261 272253395 1685436912 1093250282 3152009666 1419258498 827763035 2360906636 2220931126 553176339 111808524 1495167990 3800766510 4045521762 3506240537 1303418481 2719280598 2767238892 2045527389 3694745912 1301439122 343888731 4069201501 486133627 126304301 3175123002 2034485936 3169001936 2826355792 3981832887 2045849263 2493565209 3217464195 2517778974 1963866786 118022058 3898339547 1653684079 3344267285 1454639837 3314064317 1664297270 728058577 2625730447 904835240 1591665584 37632101 659885158 1170617615 3433543531 3527746263 98642250 3365504201 3151044510 27306586 1469057819 458710922 3766671382 4281712045 1522433042 1407395286 3296224066 3839678017 1707987460 1173395311 1460377580 2887155810 3226902556 286433184 1711217368 2783848145 1206778046 2429170105 928785947 2201482349 4021737394 4165876852 2779739161 8097603 3292080227 1240695287 578156486 658441341 2533067776 3662372766 3723806412 1709602606 3663956271 2995693842 3203585077 1565752751 1380037902 2198162651 4146219365 413130279 1576918822 2780561579 51164907 909318362 3877233276 3251995827 3478316570 1210901942 4015017359 3083329676 1820037685 2917215302 2393530516 1851630508 3073593476 4138672869 149722789 2371499013 546306387 2595765588 3750002135 3603066069 1193835838 1411837721 2392270753 3256651595 2764981109 1842910107 4164550326 117498985 3328320508 888539825 3603715551 800465374 3101268457 1924153916 1860543970 252040735 2215223385 1683395240 2345761676 3428285943 3454761222 420770377 4067191639 1906412491 1455099818 821388270 1636852532 1382203470 887575008 1281361925 185859631 4246283936 4024216310 1463083984 255 362436" option to reproduce the execution
0.00/0.01	c #vars 120
0.00/0.01	c #constraints 10
0.00/0.01	c BCD2: Hardening is enabled.
0.00/0.01	c BCD2: BiasedSearch is enabled.
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       43      0 |        0 |        0
0.00/0.01	c  0.0s |       0 |       51 |        0 |       43      0 |        0 |        0
0.00/0.01	c #cpu_time = 0.001s
0.00/0.01	c #wall_clock_time = 0.001s
0.00/0.01	c #decision = 51
0.00/0.01	c #random_decision = 0
0.00/0.01	c #conflict = 0
0.00/0.01	c #restart = 0
0.00/0.01	o 1459
0.00/0.01	c BCD2: updating upper bound: 2550 -> 1458
0.00/0.01	c BCD2: 0 <= obj <= 1458
0.00/0.01	c BCD2: #cores=0, #unrelaxed=80, #relaxed=0, #hardened=0
0.00/0.01	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       43      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      204 |      100 |       43      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      453 |      250 |       48      3 |        0 |        0
0.08/0.11	c  0.1s |       3 |      784 |      475 |       53      7 |        0 |        0
0.08/0.18	c  0.2s |       4 |     1220 |      813 |       59     11 |        0 |        0
0.19/0.29	c  0.3s |       5 |     1824 |     1320 |       65     18 |        0 |        0
0.38/0.46	c  0.4s |       6 |     2694 |     2081 |       80     28 |        0 |        0
0.69/0.72	c  0.7s |       7 |     3942 |     3223 |       88     41 |        0 |        0
0.98/1.09	c  1.1s |       8 |     5763 |     4936 |       97     60 |        0 |        0
1.39/1.44	c  1.4s |       9 |     8435 |     7506 |      107     87 |        0 |        0
1.99/2.01	c  2.0s |      10 |    12403 |    11361 |      118    125 |        0 |        0
2.79/2.82	c  2.8s |      11 |    18302 |    17144 |      130    179 |        0 |        0
3.99/4.01	c  4.0s |      12 |    27107 |    25819 |      143    257 |        0 |        0
5.79/5.80	c  5.8s |      13 |    40263 |    38832 |      158    367 |        0 |        0
7.70/7.80	c  7.8s |      13 |    54523 |    52932 |      158    479 |        0 |        0
8.59/8.60	c  8.6s |      14 |    59979 |    58352 |      174    523 |        0 |        0
10.59/10.61	c 10.6s |      14 |    73366 |    71552 |      174    623 |        0 |        0
12.59/12.61	c 12.6s |      14 |    87382 |    85452 |      174    727 |        0 |        0
12.89/12.94	c 12.9s |      15 |    89576 |    87632 |      192    743 |        0 |        0
14.89/14.94	c 14.9s |      15 |   103245 |   101132 |      192    838 |        0 |        0
16.89/16.94	c 16.9s |      15 |   116821 |   114632 |      192    933 |        0 |        0
18.89/18.96	c 18.9s |      15 |   130111 |   127832 |      192   1027 |        0 |        0
19.49/19.53	c 19.5s |      16 |   133851 |   131552 |      212   1052 |        0 |        0
21.49/21.53	c 21.5s |      16 |   147325 |   144852 |      212   1140 |        0 |        0
23.49/23.53	c 23.5s |      16 |   161021 |   158452 |      212   1229 |        0 |        0
25.49/25.53	c 25.5s |      16 |   173904 |   171252 |      212   1314 |        0 |        0
27.49/27.54	c 27.5s |      16 |   187175 |   184452 |      212   1401 |        0 |        0
29.49/29.55	c 29.5s |      16 |   199984 |   197152 |      234   1485 |        0 |        0
29.49/29.59	c 29.6s |      17 |   200264 |   197432 |      234   1487 |        0 |        0
31.59/31.61	c 31.6s |      17 |   213154 |   210132 |      234   1564 |        0 |        0
33.59/33.62	c 33.6s |      17 |   226041 |   222932 |      234   1642 |        0 |        0
35.59/35.63	c 35.6s |      17 |   238865 |   235632 |      234   1721 |        0 |        0
37.59/37.64	c 37.6s |      17 |   251718 |   248432 |      234   1800 |        0 |        0
39.59/39.64	c 39.6s |      17 |   264615 |   261232 |      234   1879 |        0 |        0
41.58/41.65	c 41.6s |      17 |   277518 |   274032 |      234   1958 |        0 |        0
43.58/43.65	c 43.6s |      17 |   290305 |   286732 |      234   2037 |        0 |        0
45.09/45.16	c 45.1s |      18 |   299893 |   296252 |      258   2095 |        0 |        0
47.08/47.16	c 47.1s |      18 |   312495 |   308652 |      258   2167 |        0 |        0
49.08/49.18	c 49.2s |      18 |   325212 |   321252 |      258   2240 |        0 |        0
51.08/51.19	c 51.2s |      18 |   337858 |   333752 |      258   2313 |        0 |        0
53.18/53.20	c 53.2s |      18 |   350667 |   346452 |      258   2386 |        0 |        0
55.18/55.20	c 55.2s |      18 |   363607 |   359352 |      258   2460 |        0 |        0
57.19/57.22	c 57.2s |      18 |   376433 |   372052 |      258   2533 |        0 |        0
59.18/59.23	c 59.2s |      18 |   389051 |   384552 |      258   2605 |        0 |        0
61.18/61.23	c 61.2s |      18 |   401686 |   397052 |      258   2678 |        0 |        0
63.18/63.24	c 63.2s |      18 |   414574 |   409852 |      258   2751 |        0 |        0
65.18/65.24	c 65.2s |      18 |   427109 |   422252 |      258   2822 |        0 |        0
67.18/67.25	c 67.2s |      18 |   439476 |   434552 |      258   2894 |        0 |        0
68.78/68.85	c 68.8s |      19 |   449473 |   444482 |      284   2950 |        0 |        0
70.78/70.85	c 70.8s |      19 |   462177 |   456982 |      284   3016 |        0 |        0
72.77/72.86	c 72.9s |      19 |   474902 |   469582 |      284   3084 |        0 |        0
74.78/74.87	c 74.9s |      19 |   488164 |   482682 |      284   3153 |        0 |        0
76.77/76.88	c 76.9s |      19 |   501227 |   495582 |      284   3222 |        0 |        0
78.77/78.89	c 78.9s |      19 |   513902 |   508182 |      284   3289 |        0 |        0
80.87/80.90	c 80.9s |      19 |   526344 |   520482 |      284   3355 |        0 |        0
82.87/82.91	c 82.9s |      19 |   538631 |   532682 |      284   3420 |        0 |        0
84.87/84.92	c 84.9s |      19 |   551000 |   544982 |      284   3486 |        0 |        0
86.88/86.92	c 86.9s |      19 |   563462 |   557382 |      284   3552 |        0 |        0
88.87/88.93	c 88.9s |      19 |   575724 |   569582 |      284   3618 |        0 |        0
90.87/90.93	c 90.9s |      19 |   587941 |   581682 |      284   3683 |        0 |        0
92.87/92.95	c 92.9s |      19 |   600565 |   594182 |      284   3750 |        0 |        0
94.87/94.96	c 94.9s |      19 |   613957 |   607382 |      284   3820 |        0 |        0
96.88/96.96	c 97.0s |      19 |   626918 |   620182 |      284   3889 |        0 |        0
98.88/98.97	c 99.0s |      19 |   639975 |   633082 |      284   3958 |        0 |        0
100.88/100.99	c  100s |      19 |   652843 |   645782 |      284   4026 |        0 |        0
102.98/103.00	c  102s |      19 |   665500 |   658282 |      284   4093 |        0 |        0
104.38/104.40	c  104s |      20 |   674193 |   666827 |      313   4137 |        0 |        0
106.38/106.41	c  106s |      20 |   686632 |   679127 |      313   4198 |        0 |        0
108.38/108.43	c  108s |      20 |   699077 |   691527 |      313   4259 |        0 |        0
110.38/110.44	c  110s |      20 |   711311 |   703727 |      313   4319 |        0 |        0
112.37/112.45	c  112s |      20 |   723369 |   715727 |      313   4379 |        0 |        0
114.38/114.45	c  114s |      20 |   735317 |   727627 |      313   4438 |        0 |        0
116.37/116.46	c  116s |      20 |   747489 |   739727 |      313   4498 |        0 |        0
118.37/118.46	c  118s |      20 |   759634 |   751827 |      313   4559 |        0 |        0
120.37/120.48	c  120s |      20 |   771538 |   763627 |      313   4617 |        0 |        0
122.37/122.49	c  122s |      20 |   783903 |   775827 |      313   4679 |        0 |        0
124.38/124.50	c  124s |      20 |   796869 |   788627 |      313   4742 |        0 |        0
126.37/126.50	c  126s |      20 |   809500 |   801127 |      313   4804 |        0 |        0
128.47/128.51	c  128s |      20 |   821839 |   813327 |      313   4865 |        0 |        0
130.47/130.52	c  130s |      20 |   834205 |   825527 |      313   4926 |        0 |        0
132.47/132.53	c  132s |      20 |   847031 |   838227 |      313   4989 |        0 |        0
134.47/134.53	c  134s |      20 |   859321 |   850427 |      313   5050 |        0 |        0
136.48/136.55	c  136s |      20 |   871606 |   862627 |      313   5111 |        0 |        0
138.47/138.56	c  138s |      20 |   884271 |   875227 |      313   5173 |        0 |        0
140.47/140.56	c  140s |      20 |   896547 |   887427 |      313   5234 |        0 |        0
142.47/142.57	c  142s |      20 |   909139 |   899927 |      313   5296 |        0 |        0
144.47/144.58	c  144s |      20 |   921514 |   912227 |      313   5357 |        0 |        0
146.47/146.59	c  146s |      20 |   933787 |   924427 |      313   5418 |        0 |        0
148.48/148.59	c  148s |      20 |   946143 |   936727 |      313   5479 |        0 |        0
150.47/150.60	c  150s |      20 |   958919 |   949427 |      313   5542 |        0 |        0
152.57/152.60	c  152s |      20 |   971310 |   961727 |      313   5604 |        0 |        0
154.57/154.61	c  154s |      20 |   983474 |   973827 |      313   5664 |        0 |        0
156.57/156.61	c  156s |      20 |   995339 |   985627 |      313   5723 |        0 |        0
158.57/158.63	c  158s |      20 |  1007794 |   998027 |      345   5784 |        0 |        0
158.97/159.02	c  159s |      21 |  1010136 |  1000345 |      345   5795 |        0 |        0
160.97/161.02	c  161s |      21 |  1022601 |  1012645 |      345   5851 |        0 |        0
162.97/163.03	c  163s |      21 |  1034530 |  1024545 |      345   5905 |        0 |        0
164.97/165.03	c  165s |      21 |  1046575 |  1036545 |      345   5961 |        0 |        0
166.96/167.03	c  167s |      21 |  1058977 |  1048845 |      345   6018 |        0 |        0
168.96/169.03	c  169s |      21 |  1071777 |  1061545 |      345   6076 |        0 |        0
170.96/171.04	c  171s |      21 |  1084176 |  1073845 |      345   6132 |        0 |        0
172.96/173.06	c  173s |      21 |  1096468 |  1086045 |      345   6188 |        0 |        0
174.97/175.07	c  175s |      21 |  1109271 |  1098745 |      345   6247 |        0 |        0
176.96/177.08	c  177s |      21 |  1121249 |  1110645 |      345   6302 |        0 |        0
178.96/179.09	c  179s |      21 |  1133512 |  1122845 |      345   6358 |        0 |        0
180.96/181.09	c  181s |      21 |  1145386 |  1134645 |      345   6413 |        0 |        0
182.96/183.09	c  183s |      21 |  1157132 |  1146345 |      345   6467 |        0 |        0
185.06/185.10	c  185s |      21 |  1169293 |  1158445 |      345   6523 |        0 |        0
187.07/187.11	c  187s |      21 |  1181468 |  1170545 |      345   6579 |        0 |        0
189.06/189.12	c  189s |      21 |  1193225 |  1182245 |      345   6633 |        0 |        0
191.06/191.13	c  191s |      21 |  1204981 |  1193945 |      345   6687 |        0 |        0
193.06/193.14	c  193s |      21 |  1217439 |  1206345 |      345   6744 |        0 |        0
195.06/195.15	c  195s |      21 |  1229920 |  1218745 |      345   6802 |        0 |        0
197.06/197.16	c  197s |      21 |  1242820 |  1231545 |      345   6860 |        0 |        0
199.06/199.17	c  199s |      21 |  1255070 |  1243745 |      345   6916 |        0 |        0
201.05/201.17	c  201s |      21 |  1267131 |  1255745 |      345   6972 |        0 |        0
203.05/203.18	c  203s |      21 |  1279392 |  1267945 |      345   7028 |        0 |        0
205.15/205.20	c  205s |      21 |  1291999 |  1280445 |      345   7086 |        0 |        0
207.15/207.20	c  207s |      21 |  1304288 |  1292645 |      345   7142 |        0 |        0
209.15/209.21	c  209s |      21 |  1316711 |  1304945 |      345   7199 |        0 |        0
211.16/211.22	c  211s |      21 |  1329027 |  1317145 |      345   7256 |        0 |        0
213.15/213.23	c  213s |      21 |  1340920 |  1328945 |      345   7310 |        0 |        0
215.15/215.24	c  215s |      21 |  1352713 |  1340645 |      345   7365 |        0 |        0
217.16/217.26	c  217s |      21 |  1364623 |  1352445 |      345   7420 |        0 |        0
219.16/219.27	c  219s |      21 |  1376806 |  1364545 |      345   7476 |        0 |        0
221.17/221.29	c  221s |      21 |  1388863 |  1376545 |      345   7532 |        0 |        0
223.16/223.30	c  223s |      21 |  1401145 |  1388745 |      345   7588 |        0 |        0
225.26/225.31	c  225s |      21 |  1413014 |  1400545 |      345   7643 |        0 |        0
227.26/227.32	c  227s |      21 |  1425024 |  1412445 |      345   7698 |        0 |        0
229.26/229.32	c  229s |      21 |  1437078 |  1424445 |      345   7754 |        0 |        0
231.25/231.33	c  231s |      21 |  1449606 |  1436845 |      345   7812 |        0 |        0
233.26/233.34	c  233s |      21 |  1461874 |  1449045 |      345   7868 |        0 |        0
235.25/235.35	c  235s |      21 |  1474039 |  1461145 |      345   7924 |        0 |        0
237.25/237.36	c  237s |      21 |  1485693 |  1472745 |      345   7978 |        0 |        0
239.25/239.36	c  239s |      21 |  1497667 |  1484645 |      345   8034 |        0 |        0
241.25/241.37	c  241s |      21 |  1509553 |  1496445 |      380   8086 |        0 |        0
242.06/242.11	c  242s |      22 |  1513762 |  1500622 |      380   8105 |        0 |        0
244.05/244.12	c  244s |      22 |  1525691 |  1512422 |      380   8155 |        0 |        0
246.05/246.13	c  246s |      22 |  1537334 |  1524022 |      380   8204 |        0 |        0
248.05/248.14	c  248s |      22 |  1549297 |  1535922 |      380   8254 |        0 |        0
250.05/250.14	c  250s |      22 |  1561169 |  1547722 |      380   8305 |        0 |        0
252.05/252.14	c  252s |      22 |  1572612 |  1559122 |      380   8353 |        0 |        0
254.06/254.15	c  254s |      22 |  1585410 |  1571822 |      380   8407 |        0 |        0
256.05/256.16	c  256s |      22 |  1597981 |  1584322 |      380   8460 |        0 |        0
258.05/258.18	c  258s |      22 |  1609962 |  1596222 |      380   8510 |        0 |        0
260.05/260.18	c  260s |      22 |  1622280 |  1608422 |      380   8562 |        0 |        0
262.05/262.18	c  262s |      22 |  1634564 |  1620622 |      380   8614 |        0 |        0
264.05/264.19	c  264s |      22 |  1646406 |  1632322 |      380   8664 |        0 |        0
266.05/266.20	c  266s |      22 |  1658562 |  1644322 |      380   8715 |        0 |        0
268.15/268.20	c  268s |      22 |  1670494 |  1656122 |      380   8765 |        0 |        0
270.15/270.20	c  270s |      22 |  1682382 |  1667922 |      380   8815 |        0 |        0
272.15/272.21	c  272s |      22 |  1694053 |  1679522 |      380   8865 |        0 |        0
274.15/274.21	c  274s |      22 |  1705850 |  1691222 |      380   8915 |        0 |        0
276.15/276.23	c  276s |      22 |  1718333 |  1703622 |      380   8967 |        0 |        0
278.14/278.23	c  278s |      22 |  1730251 |  1715422 |      380   9018 |        0 |        0
280.14/280.23	c  280s |      22 |  1742093 |  1727122 |      380   9068 |        0 |        0
282.14/282.23	c  282s |      22 |  1753745 |  1738722 |      380   9118 |        0 |        0
284.14/284.24	c  284s |      22 |  1765242 |  1750122 |      380   9167 |        0 |        0
286.14/286.24	c  286s |      22 |  1776410 |  1761222 |      380   9214 |        0 |        0
288.15/288.25	c  288s |      22 |  1788845 |  1773522 |      380   9267 |        0 |        0
290.14/290.25	c  290s |      22 |  1801253 |  1785822 |      380   9319 |        0 |        0
292.14/292.25	c  292s |      22 |  1813847 |  1798322 |      380   9372 |        0 |        0
294.14/294.26	c  294s |      22 |  1826008 |  1810422 |      380   9423 |        0 |        0
296.15/296.27	c  296s |      22 |  1838190 |  1822522 |      380   9474 |        0 |        0
298.15/298.27	c  298s |      22 |  1850775 |  1835022 |      380   9528 |        0 |        0
300.15/300.29	c  300s |      22 |  1863288 |  1847422 |      380   9580 |        0 |        0
302.15/302.29	c  302s |      22 |  1875449 |  1859422 |      380   9632 |        0 |        0
304.25/304.30	c  304s |      22 |  1887400 |  1871322 |      380   9682 |        0 |        0
306.25/306.32	c  306s |      22 |  1899365 |  1883222 |      380   9733 |        0 |        0
308.25/308.33	c  308s |      22 |  1910942 |  1894722 |      380   9782 |        0 |        0
310.25/310.33	c  310s |      22 |  1923009 |  1906722 |      380   9833 |        0 |        0
312.24/312.34	c  312s |      22 |  1934704 |  1918322 |      380   9883 |        0 |        0
314.24/314.36	c  314s |      22 |  1946583 |  1930122 |      380   9934 |        0 |        0
316.24/316.37	c  316s |      22 |  1958374 |  1941822 |      380   9984 |        0 |        0
318.24/318.38	c  318s |      22 |  1970144 |  1953522 |      380  10034 |        0 |        0
320.24/320.40	c  320s |      22 |  1981832 |  1965122 |      380  10084 |        0 |        0
322.35/322.40	c  322s |      22 |  1993620 |  1976822 |      380  10134 |        0 |        0
324.34/324.42	c  324s |      22 |  2005812 |  1988922 |      380  10185 |        0 |        0
326.34/326.43	c  326s |      22 |  2018009 |  2001022 |      380  10237 |        0 |        0
328.34/328.44	c  328s |      22 |  2029696 |  2012622 |      380  10287 |        0 |        0
330.34/330.44	c  330s |      22 |  2041257 |  2024122 |      380  10336 |        0 |        0
332.34/332.45	c  332s |      22 |  2052953 |  2035722 |      380  10386 |        0 |        0
334.35/334.45	c  334s |      22 |  2064945 |  2047622 |      380  10436 |        0 |        0
336.34/336.46	c  336s |      22 |  2076315 |  2058922 |      380  10485 |        0 |        0
338.34/338.47	c  338s |      22 |  2087497 |  2070022 |      380  10532 |        0 |        0
340.34/340.48	c  340s |      22 |  2098566 |  2081022 |      380  10580 |        0 |        0
342.44/342.50	c  342s |      22 |  2110521 |  2092922 |      380  10631 |        0 |        0
344.43/344.51	c  344s |      22 |  2122669 |  2105022 |      380  10682 |        0 |        0
346.44/346.51	c  346s |      22 |  2134418 |  2116722 |      380  10732 |        0 |        0
348.44/348.52	c  348s |      22 |  2145964 |  2128222 |      380  10782 |        0 |        0
350.44/350.53	c  350s |      22 |  2157547 |  2139722 |      380  10831 |        0 |        0
352.44/352.53	c  352s |      22 |  2168726 |  2150822 |      380  10878 |        0 |        0
354.44/354.54	c  354s |      22 |  2180092 |  2162122 |      380  10927 |        0 |        0
356.44/356.54	c  356s |      22 |  2191753 |  2173722 |      380  10977 |        0 |        0
358.44/358.54	c  358s |      22 |  2203627 |  2185522 |      380  11028 |        0 |        0
360.44/360.56	c  360s |      22 |  2215901 |  2197622 |      380  11079 |        0 |        0
362.43/362.56	c  362s |      22 |  2227979 |  2209622 |      380  11130 |        0 |        0
364.43/364.57	c  364s |      22 |  2240234 |  2221822 |      380  11182 |        0 |        0
366.43/366.58	c  366s |      22 |  2252510 |  2234022 |      380  11234 |        0 |        0
368.44/368.59	c  368s |      22 |  2264425 |  2245822 |      419  11281 |        0 |        0
369.43/369.50	c  369s |      23 |  2269657 |  2251038 |      419  11302 |        0 |        0
371.43/371.52	c  371s |      23 |  2281630 |  2262838 |      419  11348 |        0 |        0
373.43/373.53	c  373s |      23 |  2293540 |  2274638 |      419  11394 |        0 |        0
375.43/375.54	c  375s |      23 |  2305252 |  2286238 |      419  11440 |        0 |        0
377.43/377.55	c  377s |      23 |  2317001 |  2297938 |      419  11486 |        0 |        0
379.44/379.56	c  379s |      23 |  2329169 |  2310038 |      419  11534 |        0 |        0
381.43/381.56	c  381s |      23 |  2340383 |  2321138 |      419  11578 |        0 |        0
383.43/383.57	c  383s |      23 |  2351509 |  2332138 |      419  11621 |        0 |        0
385.43/385.58	c  385s |      23 |  2362792 |  2343338 |      419  11666 |        0 |        0
387.43/387.58	c  387s |      23 |  2374678 |  2355138 |      419  11712 |        0 |        0
389.43/389.59	c  389s |      23 |  2386587 |  2366938 |      419  11759 |        0 |        0
391.43/391.59	c  391s |      23 |  2398351 |  2378638 |      419  11805 |        0 |        0
393.53/393.61	c  393s |      23 |  2409993 |  2390238 |      419  11851 |        0 |        0
395.52/395.62	c  395s |      23 |  2421664 |  2401838 |      419  11897 |        0 |        0
397.52/397.63	c  397s |      23 |  2433214 |  2413338 |      419  11942 |        0 |        0
399.52/399.64	c  399s |      23 |  2445311 |  2425338 |      419  11989 |        0 |        0
401.54/401.66	c  401s |      23 |  2456753 |  2436738 |      419  12035 |        0 |        0
403.53/403.66	c  403s |      23 |  2469123 |  2449038 |      419  12083 |        0 |        0
405.53/405.67	c  405s |      23 |  2481185 |  2461038 |      419  12131 |        0 |        0
407.53/407.68	c  407s |      23 |  2492844 |  2472638 |      419  12176 |        0 |        0
409.53/409.69	c  409s |      23 |  2504310 |  2484038 |      419  12221 |        0 |        0
411.63/411.70	c  411s |      23 |  2515891 |  2495538 |      419  12267 |        0 |        0
413.64/413.71	c  413s |      23 |  2528093 |  2507638 |      419  12314 |        0 |        0
415.63/415.71	c  415s |      23 |  2539778 |  2519238 |      419  12360 |        0 |        0
417.63/417.72	c  417s |      23 |  2551656 |  2531038 |      419  12406 |        0 |        0
419.63/419.74	c  419s |      23 |  2563020 |  2542338 |      419  12451 |        0 |        0
421.63/421.74	c  421s |      23 |  2574289 |  2553538 |      419  12495 |        0 |        0
423.63/423.75	c  423s |      23 |  2585377 |  2564538 |      419  12539 |        0 |        0
425.63/425.76	c  425s |      23 |  2596587 |  2575638 |      419  12583 |        0 |        0
427.63/427.77	c  427s |      23 |  2607871 |  2586838 |      419  12627 |        0 |        0
429.62/429.78	c  429s |      23 |  2619388 |  2598238 |      419  12672 |        0 |        0
431.62/431.79	c  431s |      23 |  2630648 |  2609438 |      419  12717 |        0 |        0
433.72/433.81	c  433s |      23 |  2642337 |  2621038 |      419  12763 |        0 |        0
435.72/435.81	c  435s |      23 |  2654126 |  2632738 |      419  12809 |        0 |        0
437.73/437.82	c  437s |      23 |  2665633 |  2644138 |      419  12854 |        0 |        0
439.72/439.84	c  439s |      23 |  2677315 |  2655738 |      419  12900 |        0 |        0
441.72/441.86	c  441s |      23 |  2688808 |  2667138 |      419  12945 |        0 |        0
443.72/443.87	c  443s |      23 |  2700487 |  2678738 |      419  12991 |        0 |        0
445.72/445.89	c  445s |      23 |  2712080 |  2690238 |      419  13036 |        0 |        0
447.73/447.90	c  447s |      23 |  2723512 |  2701538 |      419  13081 |        0 |        0
449.83/449.91	c  449s |      23 |  2734960 |  2712838 |      419  13126 |        0 |        0
451.82/451.92	c  451s |      23 |  2746279 |  2724038 |      419  13171 |        0 |        0
453.82/453.94	c  453s |      23 |  2757825 |  2735438 |      419  13216 |        0 |        0
455.82/455.95	c  455s |      23 |  2769224 |  2746738 |      419  13261 |        0 |        0
457.82/457.95	c  457s |      23 |  2780339 |  2757738 |      419  13305 |        0 |        0
459.83/459.96	c  459s |      23 |  2791337 |  2768638 |      419  13349 |        0 |        0
461.82/461.96	c  461s |      23 |  2802713 |  2779938 |      419  13393 |        0 |        0
463.82/463.98	c  463s |      23 |  2813992 |  2791138 |      419  13438 |        0 |        0
465.82/465.99	c  465s |      23 |  2825386 |  2802438 |      419  13482 |        0 |        0
467.91/468.01	c  467s |      23 |  2836642 |  2813638 |      419  13527 |        0 |        0
469.91/470.02	c  470s |      23 |  2848146 |  2825038 |      419  13572 |        0 |        0
471.92/472.03	c  472s |      23 |  2859641 |  2836438 |      419  13617 |        0 |        0
473.91/474.05	c  474s |      23 |  2871124 |  2847838 |      419  13662 |        0 |        0
475.91/476.05	c  476s |      23 |  2882374 |  2859038 |      419  13706 |        0 |        0
477.91/478.06	c  478s |      23 |  2893663 |  2870238 |      419  13751 |        0 |        0
479.91/480.07	c  480s |      23 |  2905173 |  2881638 |      419  13796 |        0 |        0
481.91/482.08	c  482s |      23 |  2916660 |  2893038 |      419  13841 |        0 |        0
483.92/484.09	c  484s |      23 |  2927639 |  2903938 |      419  13884 |        0 |        0
485.91/486.09	c  486s |      23 |  2938625 |  2914838 |      419  13928 |        0 |        0
488.01/488.10	c  488s |      23 |  2949930 |  2926038 |      419  13972 |        0 |        0
490.01/490.11	c  490s |      23 |  2961017 |  2937038 |      419  14016 |        0 |        0
492.01/492.11	c  492s |      23 |  2972243 |  2948138 |      419  14060 |        0 |        0
494.01/494.12	c  494s |      23 |  2983453 |  2959238 |      419  14104 |        0 |        0
496.02/496.13	c  496s |      23 |  2994802 |  2970438 |      419  14149 |        0 |        0
498.01/498.13	c  498s |      23 |  3005972 |  2981538 |      419  14193 |        0 |        0
500.02/500.14	c  500s |      23 |  3017072 |  2992538 |      419  14237 |        0 |        0
502.02/502.15	c  502s |      23 |  3028196 |  3003538 |      419  14280 |        0 |        0
504.01/504.15	c  504s |      23 |  3039201 |  3014438 |      419  14324 |        0 |        0
506.02/506.16	c  506s |      23 |  3050283 |  3025438 |      419  14368 |        0 |        0
508.01/508.16	c  508s |      23 |  3061885 |  3036938 |      419  14413 |        0 |        0
510.01/510.18	c  510s |      23 |  3073504 |  3048438 |      419  14459 |        0 |        0
512.01/512.18	c  512s |      23 |  3085197 |  3060038 |      419  14505 |        0 |        0
514.01/514.19	c  514s |      23 |  3096549 |  3071338 |      419  14550 |        0 |        0
516.11/516.20	c  516s |      23 |  3108149 |  3082838 |      419  14595 |        0 |        0
518.02/518.20	c  518s |      23 |  3119319 |  3093938 |      419  14639 |        0 |        0
520.11/520.21	c  520s |      23 |  3130745 |  3105238 |      419  14684 |        0 |        0
522.11/522.22	c  522s |      23 |  3142009 |  3116438 |      419  14728 |        0 |        0
524.11/524.23	c  524s |      23 |  3153199 |  3127538 |      419  14773 |        0 |        0
526.11/526.24	c  526s |      23 |  3164509 |  3138738 |      419  14817 |        0 |        0
528.11/528.24	c  528s |      23 |  3175874 |  3150038 |      419  14862 |        0 |        0
530.11/530.25	c  530s |      23 |  3187504 |  3161538 |      419  14908 |        0 |        0
532.11/532.26	c  532s |      23 |  3198763 |  3172738 |      419  14952 |        0 |        0
534.11/534.27	c  534s |      23 |  3209932 |  3183838 |      419  14996 |        0 |        0
536.11/536.28	c  536s |      23 |  3221376 |  3195238 |      419  15042 |        0 |        0
538.11/538.29	c  538s |      23 |  3232957 |  3206738 |      419  15087 |        0 |        0
540.21/540.31	c  540s |      23 |  3244539 |  3218238 |      419  15133 |        0 |        0
542.21/542.32	c  542s |      23 |  3256135 |  3229738 |      419  15179 |        0 |        0
544.20/544.34	c  544s |      23 |  3267538 |  3241038 |      419  15224 |        0 |        0
546.20/546.34	c  546s |      23 |  3278540 |  3251938 |      419  15268 |        0 |        0
548.20/548.34	c  548s |      23 |  3289531 |  3262838 |      419  15311 |        0 |        0
550.20/550.35	c  550s |      23 |  3300822 |  3274038 |      419  15356 |        0 |        0
552.21/552.36	c  552s |      23 |  3312721 |  3285838 |      419  15402 |        0 |        0
554.20/554.37	c  554s |      23 |  3324763 |  3297738 |      419  15449 |        0 |        0
556.20/556.37	c  556s |      23 |  3336348 |  3309238 |      419  15494 |        0 |        0
558.20/558.38	c  558s |      23 |  3347943 |  3320738 |      419  15539 |        0 |        0
560.20/560.39	c  560s |      23 |  3359745 |  3332438 |      419  15585 |        0 |        0
562.30/562.40	c  562s |      23 |  3371204 |  3343838 |      419  15630 |        0 |        0
564.32/564.40	c  564s |      23 |  3382260 |  3354838 |      461  15673 |        0 |        0
566.31/566.41	c  566s |      23 |  3393130 |  3365638 |      461  15712 |        0 |        0
568.31/568.41	c  568s |      23 |  3404114 |  3376538 |      461  15752 |        0 |        0
568.31/568.44	c  568s |      24 |  3404237 |  3376662 |      461  15752 |        0 |        0
570.31/570.45	c  570s |      24 |  3415710 |  3387962 |      461  15793 |        0 |        0
572.31/572.45	c  572s |      24 |  3427001 |  3399162 |      461  15834 |        0 |        0
574.30/574.47	c  574s |      24 |  3438368 |  3410462 |      461  15875 |        0 |        0
576.31/576.48	c  576s |      24 |  3449738 |  3421762 |      461  15916 |        0 |        0
578.30/578.48	c  578s |      24 |  3461319 |  3433262 |      461  15957 |        0 |        0
580.40/580.50	c  580s |      24 |  3472816 |  3444662 |      461  15999 |        0 |        0
582.40/582.51	c  582s |      24 |  3484535 |  3456262 |      461  16041 |        0 |        0
584.40/584.52	c  584s |      24 |  3495605 |  3467262 |      461  16081 |        0 |        0
586.40/586.53	c  586s |      24 |  3506976 |  3478562 |      461  16122 |        0 |        0
588.41/588.53	c  588s |      24 |  3518379 |  3489862 |      461  16163 |        0 |        0
590.40/590.54	c  590s |      24 |  3530056 |  3501462 |      461  16205 |        0 |        0
592.40/592.55	c  592s |      24 |  3541458 |  3512762 |      461  16246 |        0 |        0
594.40/594.56	c  594s |      24 |  3552653 |  3523862 |      461  16287 |        0 |        0
596.40/596.57	c  596s |      24 |  3563931 |  3535062 |      461  16327 |        0 |        0
598.40/598.58	c  598s |      24 |  3575283 |  3546362 |      461  16368 |        0 |        0
600.40/600.58	c  600s |      24 |  3586457 |  3557462 |      461  16409 |        0 |        0
602.40/602.58	c  602s |      24 |  3597535 |  3568462 |      461  16449 |        0 |        0
604.40/604.59	c  604s |      24 |  3608831 |  3579662 |      461  16490 |        0 |        0
606.50/606.60	c  606s |      24 |  3620688 |  3591362 |      461  16533 |        0 |        0
608.50/608.60	c  608s |      24 |  3631866 |  3602462 |      461  16573 |        0 |        0
610.50/610.61	c  610s |      24 |  3643149 |  3613662 |      461  16614 |        0 |        0
612.49/612.63	c  612s |      24 |  3654348 |  3624762 |      461  16654 |        0 |        0
614.49/614.64	c  614s |      24 |  3665464 |  3635762 |      461  16695 |        0 |        0
616.49/616.66	c  616s |      24 |  3676866 |  3647062 |      461  16736 |        0 |        0
618.49/618.66	c  618s |      24 |  3688189 |  3658262 |      461  16777 |        0 |        0
620.49/620.67	c  620s |      24 |  3699291 |  3669262 |      461  16817 |        0 |        0
622.50/622.69	c  622s |      24 |  3710084 |  3679962 |      461  16857 |        0 |        0
624.59/624.70	c  624s |      24 |  3721030 |  3690862 |      461  16896 |        0 |        0
626.59/626.71	c  626s |      24 |  3732184 |  3701962 |      461  16937 |        0 |        0
628.59/628.72	c  628s |      24 |  3743658 |  3713362 |      461  16978 |        0 |        0
630.59/630.74	c  630s |      24 |  3755143 |  3724762 |      461  17019 |        0 |        0
632.59/632.75	c  632s |      24 |  3766096 |  3735662 |      461  17059 |        0 |        0
634.60/634.75	c  634s |      24 |  3777178 |  3746662 |      461  17099 |        0 |        0
636.59/636.75	c  636s |      24 |  3788533 |  3757962 |      461  17140 |        0 |        0
638.59/638.77	c  638s |      24 |  3799839 |  3769162 |      461  17181 |        0 |        0
640.59/640.78	c  640s |      24 |  3811040 |  3780262 |      461  17221 |        0 |        0
642.59/642.79	c  642s |      24 |  3822230 |  3791362 |      461  17262 |        0 |        0
644.69/644.80	c  644s |      24 |  3833291 |  3802362 |      461  17302 |        0 |        0
646.69/646.81	c  646s |      24 |  3844180 |  3813162 |      461  17342 |        0 |        0
648.69/648.81	c  648s |      24 |  3855173 |  3824062 |      461  17381 |        0 |        0
650.69/650.81	c  650s |      24 |  3866250 |  3835062 |      461  17422 |        0 |        0
652.69/652.82	c  652s |      24 |  3877533 |  3846262 |      461  17463 |        0 |        0
654.69/654.83	c  654s |      24 |  3889108 |  3857762 |      461  17504 |        0 |        0
656.69/656.84	c  656s |      24 |  3900486 |  3869062 |      461  17545 |        0 |        0
658.68/658.85	c  658s |      24 |  3911559 |  3880062 |      461  17585 |        0 |        0
660.68/660.86	c  660s |      24 |  3922530 |  3890962 |      461  17625 |        0 |        0
662.68/662.87	c  662s |      24 |  3933596 |  3901962 |      461  17665 |        0 |        0
664.69/664.88	c  664s |      24 |  3944888 |  3913162 |      461  17706 |        0 |        0
666.69/666.89	c  666s |      24 |  3956374 |  3924562 |      461  17748 |        0 |        0
668.70/668.90	c  668s |      24 |  3967576 |  3935662 |      461  17788 |        0 |        0
670.79/670.92	c  670s |      24 |  3978883 |  3946862 |      461  17829 |        0 |        0
672.79/672.92	c  672s |      24 |  3989964 |  3957862 |      461  17870 |        0 |        0
674.79/674.93	c  674s |      24 |  4001236 |  3969062 |      461  17910 |        0 |        0
676.79/676.94	c  676s |      24 |  4012200 |  3979962 |      461  17950 |        0 |        0
678.79/678.95	c  678s |      24 |  4023170 |  3990862 |      461  17990 |        0 |        0
680.80/680.96	c  680s |      24 |  4034020 |  4001662 |      461  18029 |        0 |        0
682.79/682.98	c  682s |      24 |  4045078 |  4012662 |      461  18070 |        0 |        0
684.79/684.99	c  684s |      24 |  4056269 |  4023762 |      461  18110 |        0 |        0
686.89/687.01	c  686s |      24 |  4067560 |  4034962 |      461  18151 |        0 |        0
688.89/689.01	c  688s |      24 |  4078523 |  4045862 |      461  18191 |        0 |        0
690.89/691.03	c  691s |      24 |  4089791 |  4057062 |      461  18232 |        0 |        0
692.89/693.04	c  693s |      24 |  4100893 |  4068062 |      461  18272 |        0 |        0
694.89/695.05	c  695s |      24 |  4111985 |  4079062 |      461  18313 |        0 |        0
696.88/697.05	c  697s |      24 |  4122847 |  4089862 |      461  18352 |        0 |        0
698.88/699.06	c  699s |      24 |  4133926 |  4100862 |      461  18393 |        0 |        0
700.88/701.06	c  701s |      24 |  4144579 |  4111462 |      461  18432 |        0 |        0
702.89/703.07	c  703s |      24 |  4155988 |  4122762 |      461  18473 |        0 |        0
704.88/705.09	c  705s |      24 |  4167195 |  4133862 |      461  18514 |        0 |        0
706.98/707.10	c  707s |      24 |  4178204 |  4144762 |      461  18554 |        0 |        0
708.98/709.10	c  709s |      24 |  4189229 |  4155662 |      461  18594 |        0 |        0
710.98/711.11	c  711s |      24 |  4200227 |  4166562 |      461  18634 |        0 |        0
712.97/713.12	c  713s |      24 |  4211449 |  4177662 |      461  18675 |        0 |        0
714.98/715.13	c  715s |      24 |  4223816 |  4189862 |      461  18719 |        0 |        0
716.97/717.13	c  717s |      24 |  4236094 |  4201962 |      461  18763 |        0 |        0
718.97/719.15	c  719s |      24 |  4248253 |  4213962 |      461  18806 |        0 |        0
720.97/721.15	c  721s |      24 |  4260480 |  4226062 |      461  18850 |        0 |        0
722.97/723.16	c  723s |      24 |  4272463 |  4237962 |      461  18893 |        0 |        0
724.97/725.17	c  725s |      24 |  4284027 |  4249462 |      461  18935 |        0 |        0
726.97/727.17	c  727s |      24 |  4295515 |  4260862 |      461  18976 |        0 |        0
728.96/729.18	c  729s |      24 |  4307132 |  4272362 |      461  19018 |        0 |        0
730.96/731.18	c  731s |      24 |  4318521 |  4283662 |      461  19059 |        0 |        0
732.96/733.19	c  733s |      24 |  4330213 |  4295262 |      461  19101 |        0 |        0
734.96/735.19	c  735s |      24 |  4342046 |  4306962 |      461  19144 |        0 |        0
737.07/737.21	c  737s |      24 |  4354177 |  4318962 |      461  19187 |        0 |        0
739.07/739.21	c  739s |      24 |  4366072 |  4330762 |      461  19230 |        0 |        0
741.07/741.22	c  741s |      24 |  4378030 |  4342562 |      461  19273 |        0 |        0
743.06/743.23	c  743s |      24 |  4389749 |  4354162 |      461  19315 |        0 |        0
745.06/745.24	c  745s |      24 |  4401458 |  4365762 |      461  19357 |        0 |        0
747.06/747.25	c  747s |      24 |  4413256 |  4377462 |      461  19400 |        0 |        0
749.07/749.27	c  749s |      24 |  4424859 |  4388962 |      461  19442 |        0 |        0
751.06/751.28	c  751s |      24 |  4436181 |  4400162 |      461  19483 |        0 |        0
753.06/753.29	c  753s |      24 |  4448072 |  4411962 |      461  19525 |        0 |        0
755.16/755.30	c  755s |      24 |  4459769 |  4423562 |      461  19567 |        0 |        0
757.16/757.31	c  757s |      24 |  4471259 |  4434962 |      461  19609 |        0 |        0
759.16/759.33	c  759s |      24 |  4482941 |  4446562 |      461  19651 |        0 |        0
761.16/761.34	c  761s |      24 |  4494467 |  4457962 |      461  19692 |        0 |        0
763.15/763.36	c  763s |      24 |  4505851 |  4469262 |      461  19733 |        0 |        0
765.15/765.36	c  765s |      24 |  4517361 |  4480662 |      461  19775 |        0 |        0
767.15/767.36	c  767s |      24 |  4528867 |  4492062 |      461  19816 |        0 |        0
769.15/769.37	c  769s |      24 |  4540161 |  4503262 |      461  19857 |        0 |        0
771.15/771.38	c  771s |      24 |  4551370 |  4514362 |      461  19898 |        0 |        0
773.15/773.38	c  773s |      24 |  4562851 |  4525762 |      461  19939 |        0 |        0
775.14/775.39	c  775s |      24 |  4574461 |  4537262 |      461  19981 |        0 |        0
777.24/777.40	c  777s |      24 |  4586170 |  4548862 |      461  20023 |        0 |        0
779.24/779.41	c  779s |      24 |  4597493 |  4560062 |      461  20064 |        0 |        0
781.24/781.42	c  781s |      24 |  4608761 |  4571262 |      461  20105 |        0 |        0
783.24/783.44	c  783s |      24 |  4619841 |  4582262 |      461  20145 |        0 |        0
785.24/785.44	c  785s |      24 |  4630805 |  4593162 |      461  20185 |        0 |        0
787.24/787.45	c  787s |      24 |  4642109 |  4604362 |      461  20226 |        0 |        0
789.24/789.45	c  789s |      24 |  4653302 |  4615462 |      461  20266 |        0 |        0
791.24/791.46	c  791s |      24 |  4664704 |  4626762 |      461  20308 |        0 |        0
793.23/793.47	c  793s |      24 |  4676221 |  4638162 |      461  20350 |        0 |        0
795.24/795.49	c  795s |      24 |  4687631 |  4649462 |      461  20391 |        0 |        0
797.23/797.50	c  797s |      24 |  4698818 |  4660562 |      461  20432 |        0 |        0
799.33/799.50	c  799s |      24 |  4710487 |  4672162 |      461  20474 |        0 |        0
801.33/801.51	c  801s |      24 |  4722059 |  4683662 |      461  20516 |        0 |        0
803.33/803.53	c  803s |      24 |  4733443 |  4694962 |      461  20557 |        0 |        0
805.33/805.53	c  805s |      24 |  4744736 |  4706162 |      461  20598 |        0 |        0
807.33/807.54	c  807s |      24 |  4756037 |  4717362 |      461  20639 |        0 |        0
809.33/809.55	c  809s |      24 |  4767222 |  4728462 |      461  20680 |        0 |        0
811.32/811.56	c  811s |      24 |  4778528 |  4739662 |      461  20720 |        0 |        0
813.32/813.56	c  813s |      24 |  4790138 |  4751162 |      461  20762 |        0 |        0
815.32/815.57	c  815s |      24 |  4801514 |  4762462 |      461  20804 |        0 |        0
817.32/817.58	c  817s |      24 |  4812686 |  4773562 |      461  20844 |        0 |        0
819.33/819.59	c  819s |      24 |  4823875 |  4784662 |      461  20885 |        0 |        0
821.32/821.59	c  821s |      24 |  4834936 |  4795662 |      461  20925 |        0 |        0
823.32/823.60	c  823s |      24 |  4846493 |  4807162 |      461  20967 |        0 |        0
825.41/825.60	c  825s |      24 |  4857751 |  4818362 |      461  21008 |        0 |        0
827.41/827.61	c  827s |      24 |  4869147 |  4829662 |      461  21050 |        0 |        0
829.41/829.63	c  829s |      24 |  4880539 |  4840962 |      461  21091 |        0 |        0
831.42/831.64	c  831s |      24 |  4891719 |  4852062 |      461  21132 |        0 |        0
833.42/833.65	c  833s |      24 |  4902632 |  4862862 |      461  21172 |        0 |        0
835.42/835.66	c  835s |      24 |  4913419 |  4873562 |      461  21211 |        0 |        0
837.42/837.67	c  837s |      24 |  4925639 |  4885662 |      461  21255 |        0 |        0
839.42/839.67	c  839s |      24 |  4938034 |  4897962 |      461  21300 |        0 |        0
841.42/841.69	c  841s |      24 |  4950264 |  4910062 |      461  21344 |        0 |        0
843.41/843.70	c  843s |      24 |  4961652 |  4921362 |      461  21385 |        0 |        0
845.51/845.71	c  845s |      24 |  4973021 |  4932662 |      461  21426 |        0 |        0
847.51/847.72	c  847s |      24 |  4984509 |  4944062 |      461  21468 |        0 |        0
849.51/849.73	c  849s |      24 |  4995707 |  4955162 |      461  21508 |        0 |        0
851.50/851.74	c  851s |      24 |  5006959 |  4966362 |      461  21549 |        0 |        0
853.51/853.75	c  853s |      24 |  5018414 |  4977762 |      461  21590 |        0 |        0
855.50/855.76	c  855s |      24 |  5030112 |  4989362 |      461  21633 |        0 |        0
857.50/857.77	c  857s |      24 |  5041480 |  5000662 |      461  21674 |        0 |        0
859.50/859.78	c  859s |      24 |  5052956 |  5012062 |      461  21716 |        0 |        0
861.50/861.78	c  861s |      24 |  5064532 |  5023562 |      461  21758 |        0 |        0
863.50/863.79	c  863s |      24 |  5076114 |  5035062 |      508  21798 |        0 |        0
865.51/865.79	c  865s |      24 |  5087398 |  5046262 |      508  21836 |        0 |        0
867.60/867.80	c  867s |      24 |  5098572 |  5057362 |      508  21873 |        0 |        0
868.90/869.10	c  869s |      25 |  5106380 |  5065098 |      508  21899 |        0 |        0
870.90/871.11	c  871s |      25 |  5118372 |  5076898 |      508  21939 |        0 |        0
872.89/873.12	c  873s |      25 |  5129766 |  5088198 |      508  21976 |        0 |        0
874.89/875.13	c  875s |      25 |  5141111 |  5099498 |      508  22014 |        0 |        0
876.89/877.13	c  877s |      25 |  5152450 |  5110798 |      508  22052 |        0 |        0
878.89/879.15	c  879s |      25 |  5163919 |  5122198 |      508  22090 |        0 |        0
880.90/881.15	c  881s |      25 |  5175201 |  5133398 |      508  22127 |        0 |        0
882.89/883.16	c  883s |      25 |  5186385 |  5144498 |      508  22165 |        0 |        0
884.90/885.16	c  885s |      25 |  5197981 |  5155998 |      508  22203 |        0 |        0
886.90/887.17	c  887s |      25 |  5209224 |  5167198 |      508  22241 |        0 |        0
888.89/889.17	c  889s |      25 |  5221157 |  5178998 |      508  22280 |        0 |        0
890.90/891.17	c  891s |      25 |  5232619 |  5190398 |      508  22318 |        0 |        0
892.89/893.18	c  893s |      25 |  5244192 |  5201898 |      508  22357 |        0 |        0
894.89/895.20	c  895s |      25 |  5255668 |  5213298 |      508  22395 |        0 |        0
896.99/897.20	c  897s |      25 |  5267217 |  5224798 |      508  22433 |        0 |        0
898.99/899.21	c  899s |      25 |  5279326 |  5236798 |      508  22474 |        0 |        0
900.99/901.22	c  901s |      25 |  5290617 |  5247998 |      508  22511 |        0 |        0
902.98/903.22	c  903s |      25 |  5301827 |  5259098 |      508  22548 |        0 |        0
904.98/905.23	c  905s |      25 |  5313208 |  5270398 |      508  22586 |        0 |        0
906.98/907.24	c  907s |      25 |  5324795 |  5281898 |      508  22625 |        0 |        0
908.97/909.24	c  909s |      25 |  5335866 |  5292898 |      508  22662 |        0 |        0
910.97/911.26	c  911s |      25 |  5346943 |  5303898 |      508  22698 |        0 |        0
912.97/913.27	c  913s |      25 |  5358229 |  5315098 |      508  22736 |        0 |        0
914.98/915.27	c  915s |      25 |  5369395 |  5326198 |      508  22773 |        0 |        0
916.97/917.28	c  917s |      25 |  5380681 |  5337398 |      508  22811 |        0 |        0
918.97/919.28	c  919s |      25 |  5392388 |  5348998 |      508  22850 |        0 |        0
921.07/921.30	c  921s |      25 |  5403568 |  5360098 |      508  22887 |        0 |        0
923.07/923.31	c  923s |      25 |  5414444 |  5370898 |      508  22924 |        0 |        0
925.07/925.32	c  925s |      25 |  5426161 |  5382498 |      508  22963 |        0 |        0
927.07/927.33	c  927s |      25 |  5437654 |  5393898 |      508  23001 |        0 |        0
929.07/929.33	c  929s |      25 |  5449246 |  5405398 |      508  23040 |        0 |        0
931.07/931.34	c  931s |      25 |  5460720 |  5416798 |      508  23078 |        0 |        0
933.07/933.34	c  933s |      25 |  5472329 |  5428298 |      508  23117 |        0 |        0
935.07/935.36	c  935s |      25 |  5483763 |  5439598 |      508  23155 |        0 |        0
937.08/937.36	c  937s |      25 |  5495370 |  5451098 |      508  23194 |        0 |        0
939.07/939.37	c  939s |      25 |  5506994 |  5462598 |      508  23232 |        0 |        0
941.07/941.39	c  941s |      25 |  5518799 |  5474298 |      508  23272 |        0 |        0
943.06/943.39	c  943s |      25 |  5529655 |  5485098 |      508  23308 |        0 |        0
945.06/945.40	c  945s |      25 |  5541134 |  5496498 |      508  23346 |        0 |        0
947.16/947.40	c  947s |      25 |  5552612 |  5507898 |      508  23384 |        0 |        0
949.17/949.41	c  949s |      25 |  5563989 |  5519198 |      508  23422 |        0 |        0
951.16/951.42	c  951s |      25 |  5575341 |  5530498 |      508  23460 |        0 |        0
953.15/953.43	c  953s |      25 |  5586628 |  5541698 |      508  23498 |        0 |        0
955.15/955.44	c  955s |      25 |  5598103 |  5553098 |      508  23536 |        0 |        0
957.15/957.44	c  957s |      25 |  5609878 |  5564798 |      508  23575 |        0 |        0
959.15/959.44	c  959s |      25 |  5621861 |  5576698 |      508  23615 |        0 |        0
961.16/961.45	c  961s |      25 |  5633958 |  5588698 |      508  23656 |        0 |        0
963.14/963.45	c  963s |      25 |  5645926 |  5600598 |      508  23695 |        0 |        0
965.14/965.47	c  965s |      25 |  5657792 |  5612398 |      508  23735 |        0 |        0
967.14/967.48	c  967s |      25 |  5669440 |  5623998 |      508  23774 |        0 |        0
969.24/969.50	c  969s |      25 |  5680823 |  5635298 |      508  23812 |        0 |        0
971.24/971.50	c  971s |      25 |  5691899 |  5646298 |      508  23849 |        0 |        0
973.25/973.51	c  973s |      25 |  5702964 |  5657298 |      508  23886 |        0 |        0
975.24/975.51	c  975s |      25 |  5714369 |  5668598 |      508  23924 |        0 |        0
977.24/977.53	c  977s |      25 |  5725983 |  5680098 |      508  23963 |        0 |        0
979.24/979.53	c  979s |      25 |  5737290 |  5691298 |      508  24000 |        0 |        0
981.24/981.53	c  981s |      25 |  5748493 |  5702398 |      508  24038 |        0 |        0
983.24/983.54	c  983s |      25 |  5759956 |  5713798 |      508  24076 |        0 |        0
985.23/985.55	c  985s |      25 |  5771549 |  5725298 |      508  24115 |        0 |        0
987.23/987.56	c  987s |      25 |  5783277 |  5736898 |      508  24154 |        0 |        0
989.23/989.57	c  989s |      25 |  5794868 |  5748398 |      508  24193 |        0 |        0
991.23/991.58	c  991s |      25 |  5806144 |  5759598 |      508  24230 |        0 |        0
993.23/993.59	c  993s |      25 |  5817439 |  5770798 |      508  24268 |        0 |        0
995.23/995.59	c  995s |      25 |  5828423 |  5781698 |      508  24305 |        0 |        0
997.33/997.60	c  997s |      25 |  5839620 |  5792798 |      508  24342 |        0 |        0
999.32/999.61	c  999s |      25 |  5851146 |  5804198 |      508  24381 |        0 |        0
1001.32/1001.62	c 1001s |      25 |  5862448 |  5815398 |      508  24419 |        0 |        0
1003.32/1003.63	c 1003s |      25 |  5873955 |  5826798 |      508  24457 |        0 |        0
1005.33/1005.64	c 1005s |      25 |  5885145 |  5837898 |      508  24495 |        0 |        0
1007.33/1007.65	c 1007s |      25 |  5896240 |  5848898 |      508  24532 |        0 |        0
1009.33/1009.66	c 1009s |      25 |  5907630 |  5860198 |      508  24570 |        0 |        0
1011.32/1011.66	c 1011s |      25 |  5918750 |  5871198 |      508  24607 |        0 |        0
1013.32/1013.68	c 1013s |      25 |  5930643 |  5882998 |      508  24647 |        0 |        0
1015.32/1015.68	c 1015s |      25 |  5942642 |  5894898 |      508  24687 |        0 |        0
1017.42/1017.70	c 1017s |      25 |  5954933 |  5907098 |      508  24727 |        0 |        0
1019.43/1019.71	c 1019s |      25 |  5966734 |  5918798 |      508  24767 |        0 |        0
1021.42/1021.72	c 1021s |      25 |  5979134 |  5931098 |      508  24808 |        0 |        0
1023.42/1023.72	c 1023s |      25 |  5991314 |  5943198 |      508  24848 |        0 |        0
1025.41/1025.73	c 1025s |      25 |  6003204 |  5954998 |      508  24888 |        0 |        0
1027.41/1027.75	c 1027s |      25 |  6015227 |  5966898 |      508  24928 |        0 |        0
1029.42/1029.76	c 1029s |      25 |  6026816 |  5978398 |      508  24967 |        0 |        0
1031.41/1031.77	c 1031s |      25 |  6038273 |  5989798 |      508  25005 |        0 |        0
1033.41/1033.77	c 1033s |      25 |  6049892 |  6001298 |      508  25044 |        0 |        0
1035.41/1035.77	c 1035s |      25 |  6061366 |  6012698 |      508  25082 |        0 |        0
1037.41/1037.78	c 1037s |      25 |  6072772 |  6023998 |      508  25120 |        0 |        0
1039.41/1039.78	c 1039s |      25 |  6084289 |  6035398 |      508  25158 |        0 |        0
1041.51/1041.80	c 1041s |      25 |  6095803 |  6046798 |      508  25197 |        0 |        0
1043.50/1043.81	c 1043s |      25 |  6107102 |  6057998 |      508  25235 |        0 |        0
1045.50/1045.82	c 1045s |      25 |  6118414 |  6069198 |      508  25272 |        0 |        0
1047.50/1047.83	c 1047s |      25 |  6129501 |  6080198 |      508  25310 |        0 |        0
1049.50/1049.84	c 1049s |      25 |  6141294 |  6091898 |      508  25349 |        0 |        0
1051.49/1051.86	c 1051s |      25 |  6153298 |  6103798 |      508  25389 |        0 |        0
1053.50/1053.86	c 1053s |      25 |  6164803 |  6115198 |      508  25427 |        0 |        0
1055.49/1055.87	c 1055s |      25 |  6176587 |  6126898 |      508  25466 |        0 |        0
1057.50/1057.88	c 1057s |      25 |  6188189 |  6138398 |      508  25505 |        0 |        0
1059.60/1059.90	c 1059s |      25 |  6199861 |  6149998 |      508  25544 |        0 |        0
1061.60/1061.91	c 1061s |      25 |  6211587 |  6161598 |      508  25583 |        0 |        0
1063.60/1063.92	c 1063s |      25 |  6222766 |  6172698 |      508  25621 |        0 |        0
1065.60/1065.93	c 1065s |      25 |  6234070 |  6183898 |      508  25659 |        0 |        0
1067.59/1067.93	c 1067s |      25 |  6245052 |  6194798 |      508  25696 |        0 |        0
1069.59/1069.93	c 1069s |      25 |  6256109 |  6205698 |      508  25732 |        0 |        0
1071.59/1071.93	c 1071s |      25 |  6267833 |  6217298 |      508  25771 |        0 |        0
1073.59/1073.94	c 1073s |      25 |  6279633 |  6228998 |      508  25810 |        0 |        0
1075.59/1075.96	c 1075s |      25 |  6291641 |  6240898 |      508  25850 |        0 |        0
1077.59/1077.97	c 1077s |      25 |  6303452 |  6252598 |      508  25890 |        0 |        0
1079.59/1079.97	c 1079s |      25 |  6315266 |  6264298 |      508  25929 |        0 |        0
1081.58/1081.98	c 1081s |      25 |  6327154 |  6276098 |      508  25969 |        0 |        0
1083.58/1083.98	c 1083s |      25 |  6338856 |  6287698 |      508  26008 |        0 |        0
1085.58/1085.98	c 1085s |      25 |  6350253 |  6298998 |      508  26046 |        0 |        0
1087.59/1087.99	c 1087s |      25 |  6361747 |  6310398 |      508  26084 |        0 |        0
1089.68/1090.00	c 1089s |      25 |  6373046 |  6321598 |      508  26122 |        0 |        0
1091.67/1092.02	c 1092s |      25 |  6384335 |  6332798 |      508  26160 |        0 |        0
1093.67/1094.04	c 1094s |      25 |  6395821 |  6344198 |      508  26198 |        0 |        0
1095.67/1096.04	c 1096s |      25 |  6407319 |  6355598 |      508  26236 |        0 |        0
1097.67/1098.05	c 1098s |      25 |  6418796 |  6366998 |      508  26275 |        0 |        0
1099.68/1100.05	c 1100s |      25 |  6430172 |  6378298 |      508  26313 |        0 |        0
1101.67/1102.07	c 1102s |      25 |  6441270 |  6389298 |      508  26350 |        0 |        0
1103.67/1104.07	c 1104s |      25 |  6452341 |  6400298 |      508  26387 |        0 |        0
1105.67/1106.09	c 1106s |      25 |  6464100 |  6411998 |      508  26427 |        0 |        0
1107.77/1108.10	c 1108s |      25 |  6475266 |  6423098 |      508  26464 |        0 |        0
1109.77/1110.11	c 1110s |      25 |  6486127 |  6433898 |      508  26501 |        0 |        0
1111.77/1112.13	c 1112s |      25 |  6497523 |  6445198 |      508  26539 |        0 |        0
1113.76/1114.14	c 1114s |      25 |  6509112 |  6456698 |      508  26578 |        0 |        0
1115.76/1116.15	c 1116s |      25 |  6520507 |  6467998 |      508  26616 |        0 |        0
1117.76/1118.17	c 1118s |      25 |  6531679 |  6479098 |      508  26653 |        0 |        0
1119.76/1120.18	c 1120s |      25 |  6542669 |  6489998 |      508  26690 |        0 |        0
1121.76/1122.19	c 1122s |      25 |  6553764 |  6500998 |      508  26727 |        0 |        0
1123.76/1124.19	c 1124s |      25 |  6564653 |  6511798 |      508  26764 |        0 |        0
1125.76/1126.19	c 1126s |      25 |  6575438 |  6522498 |      508  26800 |        0 |        0
1127.86/1128.21	c 1128s |      25 |  6586204 |  6533198 |      508  26837 |        0 |        0
1129.86/1130.21	c 1130s |      25 |  6596982 |  6543898 |      508  26873 |        0 |        0
1131.85/1132.22	c 1132s |      25 |  6608820 |  6555598 |      508  26912 |        0 |        0
1133.86/1134.23	c 1134s |      25 |  6621147 |  6567798 |      508  26953 |        0 |        0
1135.85/1136.23	c 1136s |      25 |  6633016 |  6579598 |      508  26992 |        0 |        0
1137.85/1138.24	c 1138s |      25 |  6644906 |  6591398 |      508  27032 |        0 |        0
1139.85/1140.25	c 1140s |      25 |  6656977 |  6603398 |      508  27072 |        0 |        0
1141.84/1142.26	c 1142s |      25 |  6668970 |  6615298 |      508  27112 |        0 |        0
1143.84/1144.26	c 1144s |      25 |  6680675 |  6626898 |      508  27151 |        0 |        0
1145.85/1146.27	c 1146s |      25 |  6693051 |  6639198 |      508  27192 |        0 |        0
1147.84/1148.28	c 1148s |      25 |  6704938 |  6650998 |      508  27231 |        0 |        0
1149.94/1150.30	c 1150s |      25 |  6716423 |  6662398 |      508  27270 |        0 |        0
1151.94/1152.31	c 1152s |      25 |  6727788 |  6673698 |      508  27308 |        0 |        0
1153.94/1154.33	c 1154s |      25 |  6739252 |  6685098 |      508  27346 |        0 |        0
1155.94/1156.34	c 1156s |      25 |  6751107 |  6696898 |      508  27385 |        0 |        0
1157.95/1158.34	c 1158s |      25 |  6763308 |  6708998 |      508  27426 |        0 |        0
1159.94/1160.35	c 1160s |      25 |  6774989 |  6720598 |      508  27465 |        0 |        0
1161.94/1162.36	c 1162s |      25 |  6786661 |  6732198 |      508  27504 |        0 |        0
1163.94/1164.37	c 1164s |      25 |  6798335 |  6743798 |      508  27543 |        0 |        0
1165.94/1166.39	c 1166s |      25 |  6810030 |  6755398 |      508  27582 |        0 |        0
1168.04/1168.40	c 1168s |      25 |  6821902 |  6767198 |      508  27621 |        0 |        0
1170.04/1170.41	c 1170s |      25 |  6833467 |  6778698 |      508  27660 |        0 |        0
1172.03/1172.43	c 1172s |      25 |  6844943 |  6790098 |      508  27698 |        0 |        0
1174.03/1174.44	c 1174s |      25 |  6856637 |  6801698 |      508  27737 |        0 |        0
1176.03/1176.46	c 1176s |      25 |  6868631 |  6813598 |      508  27777 |        0 |        0
1178.03/1178.47	c 1178s |      25 |  6880202 |  6825098 |      508  27816 |        0 |        0
1180.04/1180.47	c 1180s |      25 |  6891910 |  6836698 |      508  27855 |        0 |        0
1182.03/1182.48	c 1182s |      25 |  6903777 |  6848498 |      508  27894 |        0 |        0
1184.02/1184.49	c 1184s |      25 |  6915544 |  6860198 |      508  27934 |        0 |        0
1186.12/1186.51	c 1186s |      25 |  6926832 |  6871398 |      508  27971 |        0 |        0
1188.12/1188.51	c 1188s |      25 |  6938230 |  6882698 |      508  28009 |        0 |        0
1190.12/1190.52	c 1190s |      25 |  6949858 |  6894198 |      508  28048 |        0 |        0
1192.12/1192.53	c 1192s |      25 |  6961355 |  6905598 |      508  28087 |        0 |        0
1194.12/1194.54	c 1194s |      25 |  6973267 |  6917398 |      508  28126 |        0 |        0
1196.12/1196.56	c 1196s |      25 |  6984973 |  6928998 |      508  28165 |        0 |        0
1198.11/1198.57	c 1198s |      25 |  6996669 |  6940598 |      508  28204 |        0 |        0
1200.11/1200.58	c 1200s |      25 |  7007937 |  6951798 |      508  28242 |        0 |        0
1202.11/1202.59	c 1202s |      25 |  7019329 |  6963098 |      508  28280 |        0 |        0
1204.12/1204.59	c 1204s |      25 |  7030631 |  6974298 |      508  28318 |        0 |        0
1206.11/1206.59	c 1206s |      25 |  7041842 |  6985398 |      508  28355 |        0 |        0
1208.21/1208.61	c 1208s |      25 |  7053350 |  6996798 |      508  28394 |        0 |        0
1210.21/1210.61	c 1210s |      25 |  7064732 |  7008098 |      508  28432 |        0 |        0
1212.20/1212.62	c 1212s |      25 |  7076428 |  7019698 |      508  28471 |        0 |        0
1214.21/1214.63	c 1214s |      25 |  7087909 |  7031098 |      508  28509 |        0 |        0
1216.22/1216.65	c 1216s |      25 |  7099416 |  7042498 |      508  28548 |        0 |        0
1218.21/1218.65	c 1218s |      25 |  7110716 |  7053698 |      508  28585 |        0 |        0
1220.21/1220.66	c 1220s |      25 |  7122498 |  7065398 |      508  28625 |        0 |        0
1222.21/1222.66	c 1222s |      25 |  7134081 |  7076898 |      508  28663 |        0 |        0
1224.20/1224.67	c 1224s |      25 |  7145885 |  7088598 |      508  28703 |        0 |        0
1226.21/1226.68	c 1226s |      25 |  7157279 |  7099898 |      508  28741 |        0 |        0
1228.20/1228.68	c 1228s |      25 |  7168477 |  7110998 |      508  28778 |        0 |        0
1230.20/1230.68	c 1230s |      25 |  7179872 |  7122298 |      508  28816 |        0 |        0
1232.20/1232.68	c 1232s |      25 |  7191161 |  7133498 |      508  28854 |        0 |        0
1234.30/1234.70	c 1234s |      25 |  7202947 |  7145198 |      508  28893 |        0 |        0
1236.30/1236.71	c 1236s |      25 |  7214581 |  7156698 |      508  28932 |        0 |        0
1238.31/1238.72	c 1238s |      25 |  7226524 |  7168498 |      508  28972 |        0 |        0
1240.30/1240.73	c 1240s |      25 |  7238166 |  7179998 |      508  29011 |        0 |        0
1242.29/1242.73	c 1242s |      25 |  7249643 |  7191398 |      508  29049 |        0 |        0
1244.29/1244.74	c 1244s |      25 |  7260914 |  7202598 |      508  29087 |        0 |        0
1246.29/1246.74	c 1246s |      25 |  7272213 |  7213798 |      508  29125 |        0 |        0
1248.29/1248.75	c 1248s |      25 |  7283639 |  7225098 |      508  29163 |        0 |        0
1250.30/1250.76	c 1250s |      25 |  7295027 |  7236398 |      508  29201 |        0 |        0
1252.29/1252.77	c 1252s |      25 |  7306314 |  7247598 |      508  29239 |        0 |        0
1254.29/1254.78	c 1254s |      25 |  7317695 |  7258898 |      508  29277 |        0 |        0
1256.29/1256.79	c 1256s |      25 |  7328966 |  7270098 |      508  29315 |        0 |        0
1258.29/1258.79	c 1258s |      25 |  7340246 |  7281298 |      508  29353 |        0 |        0
1260.39/1260.80	c 1260s |      25 |  7351415 |  7292398 |      508  29390 |        0 |        0
1262.39/1262.81	c 1262s |      25 |  7362696 |  7303598 |      508  29428 |        0 |        0
1264.38/1264.82	c 1264s |      25 |  7373888 |  7314698 |      508  29466 |        0 |        0
1266.38/1266.82	c 1266s |      25 |  7385783 |  7326498 |      508  29505 |        0 |        0
1268.38/1268.82	c 1268s |      25 |  7397071 |  7337698 |      508  29543 |        0 |        0
1270.38/1270.83	c 1270s |      25 |  7408157 |  7348698 |      508  29580 |        0 |        0
1272.38/1272.84	c 1272s |      25 |  7419575 |  7359998 |      508  29619 |        0 |        0
1274.37/1274.85	c 1274s |      25 |  7430851 |  7371198 |      508  29656 |        0 |        0
1276.37/1276.86	c 1276s |      25 |  7442053 |  7382298 |      508  29694 |        0 |        0
1278.37/1278.87	c 1278s |      25 |  7453437 |  7393598 |      508  29732 |        0 |        0
1280.37/1280.87	c 1280s |      25 |  7464828 |  7404898 |      508  29771 |        0 |        0
1282.37/1282.89	c 1282s |      25 |  7476220 |  7416198 |      508  29809 |        0 |        0
1284.37/1284.89	c 1284s |      25 |  7487518 |  7427398 |      508  29847 |        0 |        0
1286.47/1286.90	c 1286s |      25 |  7498601 |  7438398 |      508  29884 |        0 |        0
1288.47/1288.91	c 1288s |      25 |  7509678 |  7449398 |      508  29921 |        0 |        0
1290.47/1290.92	c 1290s |      25 |  7520666 |  7460298 |      508  29958 |        0 |        0
1292.46/1292.93	c 1292s |      25 |  7531689 |  7471198 |      508  29996 |        0 |        0
1294.46/1294.94	c 1294s |      25 |  7543582 |  7482998 |      508  30035 |        0 |        0
1296.47/1296.95	c 1296s |      25 |  7555567 |  7494898 |      508  30075 |        0 |        0
1298.46/1298.97	c 1298s |      25 |  7567022 |  7506298 |      508  30113 |        0 |        0
1300.46/1300.97	c 1300s |      25 |  7578605 |  7517798 |      508  30152 |        0 |        0
1302.46/1302.97	c 1302s |      25 |  7590168 |  7529298 |      508  30191 |        0 |        0
1304.46/1304.99	c 1304s |      25 |  7602379 |  7541398 |      508  30231 |        0 |        0
1306.46/1306.99	c 1306s |      25 |  7614311 |  7553198 |      559  30268 |        0 |        0
1308.46/1308.99	c 1308s |      25 |  7625788 |  7564598 |      559  30303 |        0 |        0
1310.55/1311.00	c 1310s |      25 |  7637367 |  7576098 |      559  30338 |        0 |        0
1312.55/1313.00	c 1312s |      25 |  7648535 |  7587198 |      559  30373 |        0 |        0
1314.45/1314.92	c 1314s |      26 |  7659188 |  7597752 |      559  30405 |        0 |        0
1316.45/1316.94	c 1316s |      26 |  7671223 |  7609652 |      559  30442 |        0 |        0
1318.46/1318.95	c 1318s |      26 |  7683318 |  7621652 |      559  30479 |        0 |        0
1320.45/1320.96	c 1320s |      26 |  7695472 |  7633752 |      559  30516 |        0 |        0
1322.45/1322.97	c 1322s |      26 |  7707234 |  7645452 |      559  30552 |        0 |        0
1324.45/1324.98	c 1324s |      26 |  7718799 |  7656952 |      559  30588 |        0 |        0
1326.45/1326.98	c 1326s |      26 |  7730863 |  7668952 |      559  30625 |        0 |        0
1328.45/1328.99	c 1328s |      26 |  7742663 |  7680652 |      559  30661 |        0 |        0
1330.44/1331.00	c 1330s |      26 |  7754132 |  7692052 |      559  30696 |        0 |        0
1332.54/1333.00	c 1332s |      26 |  7766125 |  7703952 |      559  30733 |        0 |        0
1334.54/1335.00	c 1334s |      26 |  7777898 |  7715652 |      559  30769 |        0 |        0
1336.54/1337.02	c 1337s |      26 |  7789478 |  7727152 |      559  30804 |        0 |        0
1338.54/1339.02	c 1339s |      26 |  7800853 |  7738452 |      559  30839 |        0 |        0
1340.54/1341.02	c 1341s |      26 |  7812234 |  7749752 |      559  30874 |        0 |        0
1342.53/1343.03	c 1343s |      26 |  7823601 |  7761052 |      559  30909 |        0 |        0
1344.53/1345.05	c 1345s |      26 |  7834878 |  7772252 |      559  30944 |        0 |        0
1346.53/1347.07	c 1347s |      26 |  7846152 |  7783452 |      559  30979 |        0 |        0
1348.53/1349.08	c 1349s |      26 |  7857513 |  7794752 |      559  31014 |        0 |        0
1350.53/1351.08	c 1351s |      26 |  7868799 |  7805952 |      559  31048 |        0 |        0
1352.53/1353.10	c 1353s |      26 |  7880258 |  7817352 |      559  31083 |        0 |        0
1354.63/1355.10	c 1355s |      26 |  7891519 |  7828552 |      559  31118 |        0 |        0
1356.63/1357.10	c 1357s |      26 |  7902670 |  7839652 |      559  31152 |        0 |        0
1358.63/1359.11	c 1359s |      26 |  7914142 |  7851052 |      559  31188 |        0 |        0
1360.63/1361.13	c 1361s |      26 |  7925108 |  7861952 |      559  31221 |        0 |        0
1362.63/1363.14	c 1363s |      26 |  7936166 |  7872952 |      559  31256 |        0 |        0
1364.63/1365.16	c 1365s |      26 |  7947649 |  7884352 |      559  31291 |        0 |        0
1366.62/1367.16	c 1367s |      26 |  7959066 |  7895652 |      559  31326 |        0 |        0
1368.62/1369.17	c 1369s |      26 |  7970464 |  7906952 |      559  31361 |        0 |        0
1370.62/1371.19	c 1371s |      26 |  7982197 |  7918552 |      559  31397 |        0 |        0
1372.72/1373.21	c 1373s |      26 |  7993915 |  7930152 |      559  31433 |        0 |        0
1374.73/1375.22	c 1375s |      26 |  8005320 |  7941452 |      559  31468 |        0 |        0
1376.74/1377.23	c 1377s |      26 |  8016419 |  7952452 |      559  31502 |        0 |        0
1378.73/1379.24	c 1379s |      26 |  8028008 |  7963952 |      559  31538 |        0 |        0
1380.73/1381.26	c 1381s |      26 |  8039366 |  7975252 |      559  31572 |        0 |        0
1382.73/1383.27	c 1383s |      26 |  8050633 |  7986452 |      559  31607 |        0 |        0
1384.73/1385.28	c 1385s |      26 |  8062085 |  7997852 |      559  31642 |        0 |        0
1386.73/1387.29	c 1387s |      26 |  8073778 |  8009452 |      559  31678 |        0 |        0
1388.73/1389.29	c 1389s |      26 |  8085394 |  8020952 |      559  31713 |        0 |        0
1390.83/1391.30	c 1391s |      26 |  8096451 |  8031952 |      559  31747 |        0 |        0
1392.83/1393.32	c 1393s |      26 |  8107433 |  8042852 |      559  31781 |        0 |        0
1394.83/1395.33	c 1395s |      26 |  8118701 |  8054052 |      559  31815 |        0 |        0
1396.82/1397.34	c 1397s |      26 |  8130057 |  8065352 |      559  31850 |        0 |        0
1398.83/1399.34	c 1399s |      26 |  8142081 |  8077252 |      559  31887 |        0 |        0
1400.82/1401.35	c 1401s |      26 |  8153643 |  8088752 |      559  31923 |        0 |        0
1402.82/1403.36	c 1403s |      26 |  8164906 |  8099952 |      559  31957 |        0 |        0
1404.82/1405.37	c 1405s |      26 |  8176187 |  8111152 |      559  31992 |        0 |        0
1406.82/1407.37	c 1407s |      26 |  8187270 |  8122152 |      559  32026 |        0 |        0
1408.82/1409.38	c 1409s |      26 |  8198363 |  8133152 |      559  32060 |        0 |        0
1410.83/1411.40	c 1411s |      26 |  8209464 |  8144152 |      559  32094 |        0 |        0
1412.92/1413.41	c 1413s |      26 |  8220349 |  8154952 |      559  32128 |        0 |        0
1414.92/1415.42	c 1415s |      26 |  8231389 |  8165952 |      559  32162 |        0 |        0
1416.92/1417.42	c 1417s |      26 |  8242652 |  8177152 |      559  32196 |        0 |        0
1418.92/1419.44	c 1419s |      26 |  8253915 |  8188352 |      559  32231 |        0 |        0
1420.92/1421.45	c 1421s |      26 |  8265191 |  8199552 |      559  32265 |        0 |        0
1422.92/1423.46	c 1423s |      26 |  8276890 |  8211152 |      559  32301 |        0 |        0
1424.92/1425.48	c 1425s |      26 |  8288255 |  8222452 |      559  32336 |        0 |        0
1426.92/1427.48	c 1427s |      26 |  8299724 |  8233852 |      559  32372 |        0 |        0
1428.91/1429.48	c 1429s |      26 |  8311442 |  8245452 |      559  32407 |        0 |        0
1430.92/1431.48	c 1431s |      26 |  8322726 |  8256652 |      559  32442 |        0 |        0
1432.93/1433.49	c 1433s |      26 |  8334222 |  8268052 |      559  32477 |        0 |        0
1434.92/1435.50	c 1435s |      26 |  8345523 |  8279252 |      559  32512 |        0 |        0
1437.02/1437.51	c 1437s |      26 |  8356824 |  8290452 |      559  32547 |        0 |        0
1439.02/1439.52	c 1439s |      26 |  8368030 |  8301552 |      559  32582 |        0 |        0
1441.02/1441.53	c 1441s |      26 |  8379967 |  8313352 |      559  32618 |        0 |        0
1443.02/1443.54	c 1443s |      26 |  8391775 |  8325052 |      559  32654 |        0 |        0
1445.03/1445.55	c 1445s |      26 |  8403577 |  8336752 |      559  32690 |        0 |        0
1447.02/1447.57	c 1447s |      26 |  8414953 |  8348052 |      559  32725 |        0 |        0
1449.02/1449.57	c 1449s |      26 |  8426769 |  8359752 |      559  32761 |        0 |        0
1451.02/1451.58	c 1451s |      26 |  8438584 |  8371452 |      559  32797 |        0 |        0
1453.02/1453.59	c 1453s |      26 |  8450113 |  8382852 |      559  32833 |        0 |        0
1455.12/1455.60	c 1455s |      26 |  8461603 |  8394252 |      559  32868 |        0 |        0
1457.03/1457.60	c 1457s |      26 |  8472895 |  8405452 |      559  32903 |        0 |        0
1459.12/1459.61	c 1459s |      26 |  8484398 |  8416852 |      559  32938 |        0 |        0
1461.12/1461.61	c 1461s |      26 |  8495583 |  8427952 |      559  32973 |        0 |        0
1463.12/1463.62	c 1463s |      26 |  8506963 |  8439252 |      559  33008 |        0 |        0
1465.12/1465.62	c 1465s |      26 |  8518499 |  8450652 |      559  33043 |        0 |        0
1467.12/1467.62	c 1467s |      26 |  8529598 |  8461652 |      559  33077 |        0 |        0
1469.12/1469.64	c 1469s |      26 |  8541009 |  8472952 |      559  33112 |        0 |        0
1471.11/1471.65	c 1471s |      26 |  8552425 |  8484252 |      559  33147 |        0 |        0
1473.11/1473.65	c 1473s |      26 |  8563732 |  8495452 |      559  33182 |        0 |        0
1475.11/1475.67	c 1475s |      26 |  8575119 |  8506752 |      559  33217 |        0 |        0
1477.11/1477.68	c 1477s |      26 |  8586549 |  8518052 |      559  33252 |        0 |        0
1479.12/1479.69	c 1479s |      26 |  8597712 |  8529152 |      559  33287 |        0 |        0
1481.22/1481.70	c 1481s |      26 |  8608900 |  8540252 |      559  33322 |        0 |        0
1483.21/1483.71	c 1483s |      26 |  8620004 |  8551252 |      559  33356 |        0 |        0
1485.21/1485.72	c 1485s |      26 |  8631210 |  8562352 |      559  33391 |        0 |        0
1487.21/1487.73	c 1487s |      26 |  8642328 |  8573352 |      559  33425 |        0 |        0
1489.21/1489.74	c 1489s |      26 |  8654211 |  8585152 |      559  33461 |        0 |        0
1491.21/1491.75	c 1491s |      26 |  8666109 |  8596952 |      559  33497 |        0 |        0
1493.21/1493.75	c 1493s |      26 |  8678009 |  8608752 |      559  33534 |        0 |        0
1495.21/1495.76	c 1495s |      26 |  8689686 |  8620352 |      559  33570 |        0 |        0
1497.21/1497.76	c 1497s |      26 |  8701491 |  8632052 |      559  33606 |        0 |        0
1499.21/1499.77	c 1499s |      26 |  8713279 |  8643752 |      559  33642 |        0 |        0
1501.21/1501.77	c 1501s |      26 |  8725027 |  8655352 |      559  33678 |        0 |        0
1503.21/1503.77	c 1503s |      26 |  8736545 |  8666752 |      559  33713 |        0 |        0
1505.21/1505.79	c 1505s |      26 |  8747753 |  8677852 |      559  33747 |        0 |        0
1507.20/1507.79	c 1507s |      26 |  8758864 |  8688852 |      559  33781 |        0 |        0
1509.30/1509.80	c 1509s |      26 |  8770242 |  8700152 |      559  33816 |        0 |        0
1511.30/1511.81	c 1511s |      26 |  8781413 |  8711252 |      559  33850 |        0 |        0
1513.30/1513.81	c 1513s |      26 |  8792918 |  8722652 |      559  33886 |        0 |        0
1515.31/1515.83	c 1515s |      26 |  8804115 |  8733752 |      559  33920 |        0 |        0
1517.30/1517.83	c 1517s |      26 |  8815313 |  8744852 |      559  33954 |        0 |        0
1519.30/1519.85	c 1519s |      26 |  8827016 |  8756452 |      559  33990 |        0 |        0
1521.30/1521.86	c 1521s |      26 |  8838639 |  8767952 |      559  34026 |        0 |        0
1523.30/1523.88	c 1523s |      26 |  8850062 |  8779252 |      559  34061 |        0 |        0
1525.31/1525.88	c 1525s |      26 |  8861426 |  8790552 |      559  34096 |        0 |        0
1527.30/1527.89	c 1527s |      26 |  8873042 |  8802052 |      559  34131 |        0 |        0
1529.40/1529.90	c 1529s |      26 |  8885190 |  8814052 |      559  34168 |        0 |        0
1531.40/1531.92	c 1531s |      26 |  8897126 |  8825852 |      559  34204 |        0 |        0
1533.40/1533.93	c 1533s |      26 |  8908620 |  8837252 |      559  34240 |        0 |        0
1535.40/1535.93	c 1535s |      26 |  8920119 |  8848652 |      559  34275 |        0 |        0
1537.41/1537.93	c 1537s |      26 |  8931407 |  8859852 |      559  34310 |        0 |        0
1539.41/1539.94	c 1539s |      26 |  8942607 |  8870952 |      559  34344 |        0 |        0
1541.40/1541.95	c 1541s |      26 |  8953881 |  8882152 |      559  34379 |        0 |        0
1543.40/1543.96	c 1543s |      26 |  8965057 |  8893252 |      559  34413 |        0 |        0
1545.40/1545.98	c 1545s |      26 |  8976257 |  8904352 |      559  34447 |        0 |        0
1547.40/1547.99	c 1547s |      26 |  8987551 |  8915552 |      559  34482 |        0 |        0
1549.41/1550.00	c 1549s |      26 |  8998939 |  8926852 |      559  34517 |        0 |        0
1551.50/1552.00	c 1551s |      26 |  9009901 |  8937752 |      559  34551 |        0 |        0
1553.50/1554.02	c 1554s |      26 |  9021303 |  8949052 |      559  34586 |        0 |        0
1555.50/1556.02	c 1556s |      26 |  9032483 |  8960152 |      559  34620 |        0 |        0
1557.50/1558.03	c 1558s |      26 |  9043487 |  8971052 |      559  34654 |        0 |        0
1559.50/1560.03	c 1560s |      26 |  9054489 |  8981952 |      559  34688 |        0 |        0
1561.51/1562.04	c 1562s |      26 |  9065794 |  8993152 |      559  34723 |        0 |        0
1563.50/1564.05	c 1564s |      26 |  9077171 |  9004452 |      559  34758 |        0 |        0
1565.50/1566.06	c 1566s |      26 |  9088665 |  9015852 |      559  34793 |        0 |        0
1567.50/1568.07	c 1568s |      26 |  9099954 |  9027052 |      559  34828 |        0 |        0
1569.50/1570.07	c 1570s |      26 |  9111068 |  9038052 |      559  34862 |        0 |        0
1571.50/1572.09	c 1572s |      26 |  9122180 |  9049052 |      559  34896 |        0 |        0
1573.50/1574.10	c 1574s |      26 |  9133063 |  9059852 |      559  34929 |        0 |        0
1575.60/1576.12	c 1576s |      26 |  9143845 |  9070552 |      559  34963 |        0 |        0
1577.60/1578.13	c 1578s |      26 |  9154721 |  9081352 |      559  34996 |        0 |        0
1579.59/1580.14	c 1580s |      26 |  9165888 |  9092452 |      559  35031 |        0 |        0
1581.59/1582.16	c 1582s |      26 |  9177156 |  9103652 |      559  35065 |        0 |        0
1583.60/1584.16	c 1584s |      26 |  9188561 |  9114952 |      559  35100 |        0 |        0
1585.59/1586.17	c 1586s |      26 |  9199755 |  9126052 |      559  35135 |        0 |        0
1587.59/1588.19	c 1588s |      26 |  9210788 |  9136952 |      559  35169 |        0 |        0
1589.69/1590.20	c 1590s |      26 |  9222001 |  9148052 |      559  35203 |        0 |        0
1591.69/1592.21	c 1592s |      26 |  9232901 |  9158852 |      559  35237 |        0 |        0
1593.69/1594.22	c 1594s |      26 |  9244290 |  9170152 |      559  35272 |        0 |        0
1595.70/1596.22	c 1596s |      26 |  9255389 |  9181152 |      559  35306 |        0 |        0
1597.69/1598.23	c 1598s |      26 |  9266467 |  9192152 |      559  35340 |        0 |        0
1599.69/1600.24	c 1600s |      26 |  9277656 |  9203252 |      559  35375 |        0 |        0
1601.70/1602.25	c 1602s |      26 |  9288764 |  9214252 |      559  35409 |        0 |        0
1603.70/1604.26	c 1604s |      26 |  9300180 |  9225552 |      559  35444 |        0 |        0
1605.69/1606.28	c 1606s |      26 |  9311383 |  9236652 |      559  35479 |        0 |        0
1607.70/1608.29	c 1608s |      26 |  9322263 |  9247452 |      559  35512 |        0 |        0
1609.69/1610.29	c 1610s |      26 |  9333171 |  9258252 |      559  35546 |        0 |        0
1611.79/1612.31	c 1612s |      26 |  9344137 |  9269152 |      559  35580 |        0 |        0
1613.79/1614.32	c 1614s |      26 |  9355410 |  9280352 |      559  35615 |        0 |        0
1615.79/1616.33	c 1616s |      26 |  9366709 |  9291552 |      559  35649 |        0 |        0
1617.79/1618.35	c 1618s |      26 |  9378013 |  9302752 |      559  35684 |        0 |        0
1619.80/1620.36	c 1620s |      26 |  9389079 |  9313752 |      559  35718 |        0 |        0
1621.79/1622.37	c 1622s |      26 |  9400060 |  9324652 |      559  35752 |        0 |        0
1623.79/1624.37	c 1624s |      26 |  9411046 |  9335552 |      559  35786 |        0 |        0
1625.79/1626.38	c 1626s |      26 |  9422035 |  9346452 |      559  35820 |        0 |        0
1627.79/1628.39	c 1628s |      26 |  9433044 |  9357352 |      559  35854 |        0 |        0
1629.80/1630.39	c 1630s |      26 |  9444127 |  9368352 |      559  35888 |        0 |        0
1631.89/1632.40	c 1632s |      26 |  9455126 |  9379252 |      559  35922 |        0 |        0
1633.89/1634.42	c 1634s |      26 |  9466314 |  9390352 |      559  35957 |        0 |        0
1635.89/1636.43	c 1636s |      26 |  9477415 |  9401352 |      559  35991 |        0 |        0
1637.89/1638.43	c 1638s |      26 |  9488521 |  9412352 |      559  36025 |        0 |        0
1639.88/1640.45	c 1640s |      26 |  9500108 |  9423852 |      559  36061 |        0 |        0
1641.89/1642.46	c 1642s |      26 |  9511372 |  9435052 |      559  36096 |        0 |        0
1643.88/1644.47	c 1644s |      26 |  9522234 |  9445852 |      559  36129 |        0 |        0
1645.88/1646.47	c 1646s |      26 |  9533199 |  9456752 |      559  36163 |        0 |        0
1647.88/1648.49	c 1648s |      26 |  9544817 |  9468252 |      559  36199 |        0 |        0
1649.88/1650.49	c 1650s |      26 |  9555993 |  9479352 |      559  36233 |        0 |        0
1651.98/1652.51	c 1652s |      26 |  9567295 |  9490552 |      559  36268 |        0 |        0
1653.99/1654.52	c 1654s |      26 |  9578394 |  9501552 |      559  36302 |        0 |        0
1655.98/1656.53	c 1656s |      26 |  9589679 |  9512752 |      559  36337 |        0 |        0
1657.98/1658.54	c 1658s |      26 |  9600772 |  9523752 |      559  36371 |        0 |        0
1659.98/1660.55	c 1660s |      26 |  9611773 |  9534652 |      559  36405 |        0 |        0
1661.98/1662.57	c 1662s |      26 |  9622954 |  9545752 |      559  36440 |        0 |        0
1663.98/1664.57	c 1664s |      26 |  9633942 |  9556652 |      559  36474 |        0 |        0
1665.99/1666.57	c 1666s |      26 |  9645117 |  9567752 |      559  36508 |        0 |        0
1667.98/1668.59	c 1668s |      26 |  9656224 |  9578752 |      559  36543 |        0 |        0
1670.08/1670.61	c 1670s |      26 |  9667654 |  9590052 |      559  36578 |        0 |        0
1672.08/1672.62	c 1672s |      26 |  9678731 |  9601052 |      559  36612 |        0 |        0
1674.09/1674.64	c 1674s |      26 |  9689810 |  9612052 |      559  36646 |        0 |        0
1676.09/1676.64	c 1676s |      26 |  9700797 |  9622952 |      559  36680 |        0 |        0
1678.09/1678.64	c 1678s |      26 |  9711693 |  9633752 |      559  36714 |        0 |        0
1680.08/1680.64	c 1680s |      26 |  9722575 |  9644552 |      559  36748 |        0 |        0
1682.08/1682.65	c 1682s |      26 |  9733581 |  9655452 |      559  36782 |        0 |        0
1684.08/1684.66	c 1684s |      26 |  9744298 |  9666052 |      559  36815 |        0 |        0
1686.08/1686.66	c 1686s |      26 |  9755672 |  9677352 |      559  36850 |        0 |        0
1688.09/1688.67	c 1688s |      26 |  9767460 |  9689052 |      559  36886 |        0 |        0
1690.08/1690.68	c 1690s |      26 |  9779316 |  9700852 |      559  36923 |        0 |        0
1692.08/1692.69	c 1692s |      26 |  9790904 |  9712352 |      559  36958 |        0 |        0
1694.18/1694.70	c 1694s |      26 |  9802160 |  9723552 |      559  36993 |        0 |        0
1696.18/1696.71	c 1696s |      26 |  9813515 |  9734852 |      559  37028 |        0 |        0
1698.18/1698.72	c 1698s |      26 |  9825485 |  9746752 |      559  37064 |        0 |        0
1700.19/1700.73	c 1700s |      26 |  9837381 |  9758552 |      559  37101 |        0 |        0
1702.18/1702.74	c 1702s |      26 |  9848835 |  9769952 |      559  37136 |        0 |        0
1704.18/1704.75	c 1704s |      26 |  9860299 |  9781352 |      559  37171 |        0 |        0
1706.18/1706.75	c 1706s |      26 |  9871558 |  9792552 |      559  37206 |        0 |        0
1708.18/1708.76	c 1708s |      26 |  9883360 |  9804252 |      559  37242 |        0 |        0
1710.18/1710.77	c 1710s |      26 |  9894924 |  9815752 |      559  37277 |        0 |        0
1712.18/1712.78	c 1712s |      26 |  9906304 |  9827052 |      559  37312 |        0 |        0
1714.18/1714.78	c 1714s |      26 |  9918208 |  9838852 |      559  37349 |        0 |        0
1716.18/1716.80	c 1716s |      26 |  9930090 |  9850652 |      559  37385 |        0 |        0
1718.28/1718.81	c 1718s |      26 |  9941485 |  9861952 |      559  37420 |        0 |        0
1720.28/1720.81	c 1720s |      26 |  9952757 |  9873152 |      559  37455 |        0 |        0
1722.28/1722.82	c 1722s |      26 |  9963924 |  9884252 |      559  37489 |        0 |        0
1724.28/1724.82	c 1724s |      26 |  9975219 |  9895452 |      559  37524 |        0 |        0
1726.28/1726.84	c 1726s |      26 |  9986373 |  9906552 |      559  37558 |        0 |        0
1728.28/1728.84	c 1728s |      26 |  9997566 |  9917652 |      559  37593 |        0 |        0
1730.28/1730.85	c 1730s |      26 | 10008319 |  9928352 |      559  37626 |        0 |        0
1732.27/1732.86	c 1732s |      26 | 10019088 |  9939052 |      559  37659 |        0 |        0
1734.28/1734.87	c 1734s |      26 | 10030091 |  9949952 |      559  37693 |        0 |        0
1736.27/1736.88	c 1736s |      26 | 10041260 |  9961052 |      559  37728 |        0 |        0
1738.27/1738.89	c 1738s |      26 | 10052318 |  9972052 |      559  37762 |        0 |        0
1740.37/1740.90	c 1740s |      26 | 10063175 |  9982852 |      559  37795 |        0 |        0
1742.37/1742.90	c 1742s |      26 | 10073616 |  9993252 |      559  37827 |        0 |        0
1744.37/1744.92	c 1744s |      26 | 10084694 | 10004252 |      559  37861 |        0 |        0
1746.38/1746.93	c 1746s |      26 | 10095976 | 10015452 |      559  37896 |        0 |        0
1748.37/1748.93	c 1748s |      26 | 10107140 | 10026552 |      559  37931 |        0 |        0
1750.37/1750.94	c 1750s |      26 | 10118418 | 10037752 |      559  37965 |        0 |        0
1752.37/1752.94	c 1752s |      26 | 10129383 | 10048652 |      559  37999 |        0 |        0
1754.37/1754.95	c 1754s |      26 | 10140456 | 10059652 |      559  38034 |        0 |        0
1756.37/1756.95	c 1756s |      26 | 10151905 | 10071052 |      559  38069 |        0 |        0
1758.38/1758.95	c 1758s |      26 | 10163065 | 10082152 |      559  38103 |        0 |        0
1760.37/1760.97	c 1760s |      26 | 10174217 | 10093252 |      559  38138 |        0 |        0
1762.37/1762.97	c 1762s |      26 | 10185267 | 10104252 |      559  38172 |        0 |        0
1764.37/1764.97	c 1764s |      26 | 10196451 | 10115352 |      559  38206 |        0 |        0
1766.37/1766.98	c 1766s |      26 | 10207549 | 10126352 |      559  38241 |        0 |        0
1768.37/1768.99	c 1768s |      26 | 10218538 | 10137252 |      559  38275 |        0 |        0
1770.37/1771.00	c 1770s |      26 | 10229809 | 10148452 |      559  38309 |        0 |        0
1772.47/1773.00	c 1772s |      26 | 10240910 | 10159452 |      559  38344 |        0 |        0
1774.47/1775.00	c 1774s |      26 | 10252173 | 10170652 |      559  38378 |        0 |        0
1776.47/1777.01	c 1777s |      26 | 10263395 | 10181752 |      559  38413 |        0 |        0
1778.47/1779.02	c 1779s |      26 | 10274600 | 10192852 |      559  38447 |        0 |        0
1780.47/1781.03	c 1781s |      26 | 10285568 | 10203752 |      559  38481 |        0 |        0
1782.47/1783.03	c 1783s |      26 | 10296336 | 10214452 |      559  38515 |        0 |        0
1784.46/1785.04	c 1785s |      26 | 10307134 | 10225152 |      559  38548 |        0 |        0
1786.46/1787.05	c 1787s |      26 | 10317915 | 10235852 |      559  38581 |        0 |        0
1788.46/1789.07	c 1789s |      26 | 10329499 | 10247352 |      559  38617 |        0 |        0
1790.46/1791.08	c 1791s |      26 | 10341202 | 10258952 |      559  38653 |        0 |        0
1792.47/1793.09	c 1793s |      26 | 10352795 | 10270452 |      559  38688 |        0 |        0
1794.46/1795.10	c 1795s |      26 | 10364526 | 10282052 |      559  38724 |        0 |        0
1796.56/1797.11	c 1797s |      26 | 10376245 | 10293652 |      559  38760 |        0 |        0
1798.56/1799.12	c 1799s |      26 | 10387756 | 10305052 |      559  38795 |        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-4079746-1465245536/watcher-4079746-1465245536 -o /tmp/evaluation-result-4079746-1465245536/solver-4079746-1465245536 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1858 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079746-1465245536.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.16 2.10 3/179 5858
/proc/meminfo: memFree=30851768/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=776636 CPUtime=0 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 2905 0 0 0 0 0 0 0 20 0 4 0 106488608 795275264 3267 33554432000 4194304 16246674 140733880636544 140733880635968 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 194671 3277 441 2943 0 191565 0
[pid=5858/tid=5859] ppid=5855 vsize=794044 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 813101056 3338 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=799164 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 818343936 3355 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=803260 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488608 822538240 3371 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.20 2.16 2.10 3/179 5858
/proc/meminfo: memFree=30851768/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 22388 0 0 0 6 2 0 0 20 0 4 0 106488608 1247350784 22736 33554432000 4194304 16246674 140733880636544 140733880635968 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 304529 22750 770 2943 0 301423 0
[pid=5858/tid=5859] ppid=5855 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1247350784 22755 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1247350784 22758 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488608 1247350784 22762 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200558 s]
/proc/loadavg: 2.20 2.16 2.10 3/179 5858
/proc/meminfo: memFree=30851768/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 42320 0 0 0 14 5 0 0 20 0 4 0 106488608 1247350784 42668 33554432000 4194304 16246674 140733880636544 140733880635968 6843107 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 304529 42671 770 2943 0 301423 0
[pid=5858/tid=5859] ppid=5855 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1247350784 42676 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1247350784 42686 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488608 1247350784 42692 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30047 s]
/proc/loadavg: 2.20 2.16 2.10 3/179 5858
/proc/meminfo: memFree=30851768/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 63169 0 0 0 22 7 0 0 20 0 4 0 106488608 1247350784 63517 33554432000 4194304 16246674 140733880636544 140733880635968 12874965 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 304529 63524 770 2943 0 301423 0
[pid=5858/tid=5859] ppid=5855 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1247350784 63527 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1247350784 63530 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488608 1247350784 63535 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700404 s]
/proc/loadavg: 2.20 2.16 2.10 3/179 5858
/proc/meminfo: memFree=30851768/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 146349 0 0 0 50 19 0 0 20 0 4 0 106488608 1247350784 146698 33554432000 4194304 16246674 140733880636544 140733880618432 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 304529 146715 770 2943 0 301423 0
[pid=5858/tid=5859] ppid=5855 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1247350784 146727 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1247350784 146734 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488608 1247350784 146739 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 5862
/proc/meminfo: memFree=29516160/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 245643 0 0 0 116 33 0 0 20 0 4 0 106488608 1248399360 245969 33554432000 4194304 16246674 140733880636544 140733880635856 5711688 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 304785 245969 833 2943 0 301679 0
[pid=5858/tid=5859] ppid=5855 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1248399360 245969 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1248399360 245969 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488608 1248399360 245969 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10041 s]
/proc/loadavg: 2.19 2.16 2.10 3/183 5862
/proc/meminfo: memFree=29286512/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 267407 0 0 0 273 36 0 0 20 0 4 0 106488608 1337528320 267733 33554432000 4194304 16246674 140733880636544 140733880619544 5676480 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 326545 267733 834 2943 0 323439 0
[pid=5858/tid=5859] ppid=5855 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1337528320 267733 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1337528320 267733 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488608 1337528320 267733 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.19 2.16 2.10 3/183 5862
/proc/meminfo: memFree=29285404/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 267492 0 0 0 593 36 0 0 20 0 4 0 106488608 1337528320 267818 33554432000 4194304 16246674 140733880636544 140733880618432 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 326545 267818 834 2943 0 323439 0
[pid=5858/tid=5859] ppid=5855 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1337528320 267818 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1337528320 267818 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488608 1337528320 267818 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.16 2.15 2.09 3/183 5862
/proc/meminfo: memFree=29284924/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 267573 0 0 0 1233 36 0 0 20 0 4 0 106488608 1337528320 267899 33554432000 4194304 16246674 140733880636544 140733880619544 5545988 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 326545 267899 836 2943 0 323439 0
[pid=5858/tid=5859] ppid=5855 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1337528320 267899 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1337528320 267899 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488608 1337528320 267899 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.13 2.15 2.09 3/183 5862
/proc/meminfo: memFree=29285584/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 267575 0 0 0 2513 36 0 0 20 0 4 0 106488608 1337528320 267901 33554432000 4194304 16246674 140733880636544 140733880618432 13943729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 326545 267901 837 2943 0 323439 0
[pid=5858/tid=5859] ppid=5855 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1337528320 267901 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1337528320 267901 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488608 1337528320 267901 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.15 2.15 2.09 3/183 5862
/proc/meminfo: memFree=29285260/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 267576 0 0 0 5072 36 0 0 20 0 4 0 106488608 1337528320 267902 33554432000 4194304 16246674 140733880636544 140733880618432 5545708 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 326545 267902 838 2943 0 323439 0
[pid=5858/tid=5859] ppid=5855 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1337528320 267902 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1337528320 267902 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488608 1337528320 267902 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.18 2.15 2.09 3/184 5866
/proc/meminfo: memFree=29284840/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 267626 0 0 0 10191 37 0 0 20 0 4 0 106488608 1337528320 267952 33554432000 4194304 16246674 140733880636544 140733880618432 12478356 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 326545 267952 838 2943 0 323439 0
[pid=5858/tid=5859] ppid=5855 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1337528320 267952 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1337528320 267952 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488608 1337528320 267952 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.16 2.12 2.09 3/184 5896
/proc/meminfo: memFree=29279936/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1307204 CPUtime=1301.86 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 268176 0 0 0 130134 52 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140733880618432 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 326801 268094 839 2943 0 323695 0
[pid=5858/tid=5859] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/184 5920
/proc/meminfo: memFree=29280064/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1307204 CPUtime=1361.83 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 268204 0 0 0 136131 52 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140733880619544 5723721 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 326801 268094 839 2943 0 323695 0
[pid=5858/tid=5859] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.09 2.11 2.09 3/183 5921
/proc/meminfo: memFree=29280188/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1307204 CPUtime=1421.82 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 268204 0 0 0 142129 53 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140733880619544 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 326801 268094 839 2943 0 323695 0
[pid=5858/tid=5859] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.22 2.14 2.10 3/183 5922
/proc/meminfo: memFree=29279696/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1307204 CPUtime=1481.81 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 268204 0 0 0 148127 54 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140733880618432 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 326801 268094 839 2943 0 323695 0
[pid=5858/tid=5859] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.12 2.12 2.09 3/183 5924
/proc/meminfo: memFree=29279572/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1307204 CPUtime=1541.81 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 268204 0 0 0 154126 55 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140733880618432 5523612 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 326801 268094 839 2943 0 323695 0
[pid=5858/tid=5859] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/183 5925
/proc/meminfo: memFree=29279452/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1307204 CPUtime=1601.8 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 268204 0 0 0 160124 56 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140733880619544 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 326801 268094 839 2943 0 323695 0
[pid=5858/tid=5859] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/183 5926
/proc/meminfo: memFree=29279820/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1307204 CPUtime=1661.78 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 268204 0 0 0 166122 56 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140733880618432 13759456 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 326801 268094 839 2943 0 323695 0
[pid=5858/tid=5859] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.28 2.15 2.10 3/183 5927
/proc/meminfo: memFree=29279448/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1307204 CPUtime=1721.78 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 268204 0 0 0 172121 57 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140733880618432 12458704 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 326801 268094 839 2943 0 323695 0
[pid=5858/tid=5859] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.18 2.15 2.10 3/183 5928
/proc/meminfo: memFree=29278564/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1307204 CPUtime=1781.77 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 268204 0 0 0 178120 57 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140733880618432 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 326801 268094 839 2943 0 323695 0
[pid=5858/tid=5859] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.20 2.15 2.10 3/183 5928
/proc/meminfo: memFree=29278568/32872528 swapFree=13600/559348
[pid=5858] ppid=5855 vsize=1307204 CPUtime=1800.06 cores=0,2,4,6
/proc/5858/stat : 5858 (toysat) R 5855 5858 1842 0 -1 4202496 268204 0 0 0 179949 57 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140733880618432 6076410 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5858/statm: 326801 268094 839 2943 0 323695 0
[pid=5858/tid=5859] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5859/stat : 5859 (toysat) S 5855 5858 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513076292848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=5858/tid=5860] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5860/stat : 5860 (toysat) S 5855 5858 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513065802992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=5858/tid=5861] ppid=5855 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5858/task/5861/stat : 5861 (toysat) S 5855 5858 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488608 1338576896 268094 33554432000 4194304 16246674 140733880636544 140513055329456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1307204

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5858 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.08
CPU user time (s): 1799.5
CPU system time (s): 0.579911
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 1307204

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6094 second user time and 18.8661 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-06 22:38:56
IDJOB=4079746
IDBENCH=2923
IDSOLVER=2542
FILE ID=node106/4079746-1465245536
RUNJOBID= node106-1465219870-1858
PBS_JOBID= 19843217
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad
RANDOM SEED=167466679

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30864688 kB
Buffers:           47740 kB
Cached:           131300 kB
SwapCached:         1844 kB
Active:           647808 kB
Inactive:          98116 kB
Active(anon):     567840 kB
Inactive(anon):     1280 kB
Active(file):      79968 kB
Inactive(file):    96836 kB
Unevictable:      559348 kB
Mlocked:           13600 kB
SwapTotal:      67108856 kB
SwapFree:       67098536 kB
Dirty:             32876 kB
Writeback:             0 kB
AnonPages:       1126160 kB
Mapped:            10176 kB
Shmem:                 0 kB
Slab:             569216 kB
SReclaimable:      13128 kB
SUnreclaim:       556088 kB
KernelStack:        1488 kB
PageTables:         7184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1689544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    550912 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= 71700 MiB
End job on node106 at 2016-06-06 23:08:57