Trace number 4079747

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.06 1800.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_2.opb
MD5SUMc0264878059fff5e6fa5f51839a60b24
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
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 constraint54
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 1196
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4099
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T22:39:14+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-4079747-1465245554.opb"]
0.00/0.01	c use --random-gen="129033245 1356210 1032419015 2570152289 858317338 556463892 2499624889 1939544838 3824359212 294757339 1378631130 1506194084 1276423421 767942560 2740879219 80956015 3341848390 2244279047 4260369768 151403739 462677004 3918900357 726803768 1250755890 2947407799 1368383083 2430625042 2867900384 132327334 627782281 2371706548 3413068629 3526019581 2150354826 919856541 3432018270 1706350509 2827142746 3788495295 1082821317 3858996302 781678980 2155087979 224162558 2608281107 3161931608 2872989960 1172638797 2157128392 3282745272 1078283693 3245635407 1384075430 2408233488 1981531512 3155985709 2580522239 3030917264 3596530903 1621909949 1740542343 3951756497 1683563390 2453142554 2834764062 3477074187 697508458 2624989692 4007731428 2461321557 2353957976 973186464 3520840497 127970455 3765226019 656084105 3537107211 3363619042 491651966 3942940451 4222496427 2722417131 1578886372 3436729864 58758586 1549223515 971070658 2699631448 1533139415 527663751 1164343985 2629605356 4060373708 3475724137 686870715 716643782 1391558162 1668445720 1579156166 1686205534 33604731 1958091226 2954863682 2406920839 1318347114 300053227 784993606 4074747226 1301629513 2021383306 643283619 3771446583 121081455 1019873714 1265499802 1894705735 405814618 1971178957 1915090509 3589947232 2109091667 1272940956 1521850005 3574869981 45250329 3174965717 2319621225 329894179 1206407337 298662167 3622679681 878401024 2539435695 4252563521 3542454840 715511908 218259705 322551527 1424932988 2395191161 3270203646 155901845 1278142099 2594632808 3891354196 1791972110 917066101 449392170 3833005657 2247660601 1558033427 2540088293 3221521192 3698309567 2579394581 1978155901 1426857796 4006281002 512065929 2278209716 378926453 2499544342 1849154693 1361444054 2223361836 3820554734 1286931577 1365859067 4200353418 1192321580 3722317972 3307099613 1218752688 1351251466 900290041 1538238179 3226979693 2377241337 3476856950 4119679187 291698434 2413077098 814599443 1081723424 3838896167 2703544864 3671430419 1349977262 3633504590 2298070187 3684842217 193032662 3382065603 3243288942 221116453 817415919 3697604748 3908854329 4059466584 1814140157 1845599637 3429499691 747304486 760883615 313082849 2010821820 2897924523 2788186963 2051197692 4010556821 644563210 2248548197 392164296 273286142 580319445 3306936174 2100698095 478395155 4093287316 1756202293 1758392089 2023550175 2529085134 3212499934 930095960 3112482995 2618186567 1375601636 801269065 1206425105 975439286 1449746648 1164864631 1158025787 3854147973 149500106 2274189263 805475356 1361532801 4077480577 482411133 3991311465 3856134879 3411001783 2208299044 572758768 3225246625 3827079802 3440588107 3877178690 1058725124 956280517 4009511124 3769749502 2151844573 3350646100 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 |       48 |        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 = 48
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 1440
0.00/0.01	c BCD2: updating upper bound: 2550 -> 1439
0.00/0.01	c BCD2: 0 <= obj <= 1439
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 |      198 |      100 |       43      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      453 |      250 |       48      3 |        0 |        0
0.09/0.12	c  0.1s |       3 |      780 |      475 |       53      7 |        0 |        0
0.09/0.19	c  0.2s |       4 |     1219 |      813 |       59     11 |        0 |        0
0.29/0.31	c  0.3s |       5 |     1828 |     1320 |       65     18 |        0 |        0
0.39/0.46	c  0.4s |       6 |     2772 |     2081 |       80     28 |        0 |        0
0.68/0.71	c  0.7s |       7 |     4084 |     3223 |       88     41 |        0 |        0
1.09/1.11	c  1.1s |       8 |     5903 |     4936 |       97     60 |        0 |        0
1.39/1.49	c  1.5s |       9 |     8592 |     7506 |      107     86 |        0 |        0
1.99/2.06	c  2.0s |      10 |    12603 |    11361 |      118    124 |        0 |        0
2.79/2.89	c  2.9s |      11 |    18565 |    17144 |      130    178 |        0 |        0
4.09/4.14	c  4.1s |      12 |    27414 |    25819 |      143    254 |        0 |        0
5.89/5.99	c  6.0s |      13 |    40615 |    38832 |      158    364 |        0 |        0
7.89/8.00	c  8.0s |      13 |    55885 |    53832 |      158    482 |        0 |        0
8.59/8.62	c  8.6s |      14 |    60506 |    58352 |      174    517 |        0 |        0
10.59/10.63	c 10.6s |      14 |    74538 |    72052 |      174    620 |        0 |        0
12.59/12.63	c 12.6s |      14 |    88236 |    85552 |      174    722 |        0 |        0
12.89/12.95	c 12.9s |      15 |    90344 |    87632 |      192    737 |        0 |        0
14.89/14.96	c 14.9s |      15 |   104947 |   101932 |      192    836 |        0 |        0
16.88/16.96	c 16.9s |      15 |   118956 |   115732 |      192    933 |        0 |        0
18.88/18.97	c 19.0s |      15 |   133783 |   130232 |      192   1035 |        0 |        0
19.08/19.17	c 19.2s |      16 |   135107 |   131552 |      212   1044 |        0 |        0
21.08/21.18	c 21.2s |      16 |   149093 |   145352 |      212   1135 |        0 |        0
23.09/23.19	c 23.2s |      16 |   163091 |   159252 |      212   1226 |        0 |        0
25.18/25.20	c 25.2s |      16 |   176483 |   172552 |      212   1314 |        0 |        0
27.18/27.20	c 27.2s |      16 |   190029 |   185952 |      212   1402 |        0 |        0
28.88/28.92	c 28.9s |      17 |   201592 |   197432 |      234   1477 |        0 |        0
30.90/30.93	c 30.9s |      17 |   215122 |   210732 |      234   1558 |        0 |        0
32.89/32.94	c 32.9s |      17 |   228949 |   224232 |      234   1641 |        0 |        0
34.89/34.95	c 34.9s |      17 |   242649 |   237732 |      234   1724 |        0 |        0
36.89/36.96	c 36.9s |      17 |   256380 |   251332 |      234   1808 |        0 |        0
38.89/38.97	c 39.0s |      17 |   269962 |   264732 |      234   1891 |        0 |        0
40.88/40.97	c 41.0s |      17 |   283522 |   278032 |      234   1973 |        0 |        0
42.89/42.98	c 43.0s |      17 |   297386 |   291732 |      234   2058 |        0 |        0
43.58/43.68	c 43.7s |      18 |   301954 |   296252 |      258   2085 |        0 |        0
45.58/45.68	c 45.7s |      18 |   315758 |   309652 |      258   2162 |        0 |        0
47.58/47.69	c 47.7s |      18 |   329329 |   322952 |      258   2238 |        0 |        0
49.68/49.70	c 49.7s |      18 |   343053 |   336352 |      258   2315 |        0 |        0
51.58/51.70	c 51.7s |      18 |   356578 |   349752 |      258   2391 |        0 |        0
53.68/53.70	c 53.7s |      18 |   370123 |   363052 |      258   2467 |        0 |        0
55.68/55.72	c 55.7s |      18 |   383352 |   376152 |      258   2543 |        0 |        0
57.68/57.72	c 57.7s |      18 |   396665 |   389352 |      258   2619 |        0 |        0
59.68/59.73	c 59.7s |      18 |   409887 |   402452 |      258   2695 |        0 |        0
61.69/61.74	c 61.7s |      18 |   423273 |   415652 |      258   2770 |        0 |        0
63.68/63.75	c 63.7s |      18 |   436616 |   428852 |      258   2846 |        0 |        0
65.68/65.75	c 65.7s |      18 |   450205 |   442152 |      284   2922 |        0 |        0
65.99/66.09	c 66.1s |      19 |   452576 |   444482 |      284   2934 |        0 |        0
68.07/68.10	c 68.1s |      19 |   466309 |   457982 |      284   3005 |        0 |        0
70.07/70.10	c 70.1s |      19 |   480111 |   471582 |      284   3078 |        0 |        0
72.08/72.12	c 72.1s |      19 |   493236 |   484582 |      284   3146 |        0 |        0
74.08/74.12	c 74.1s |      19 |   506187 |   497382 |      284   3215 |        0 |        0
76.08/76.14	c 76.1s |      19 |   519780 |   510782 |      284   3285 |        0 |        0
78.09/78.15	c 78.1s |      19 |   533374 |   524182 |      284   3357 |        0 |        0
80.08/80.15	c 80.1s |      19 |   546404 |   537082 |      284   3426 |        0 |        0
82.08/82.16	c 82.1s |      19 |   559779 |   550282 |      284   3496 |        0 |        0
84.08/84.16	c 84.1s |      19 |   573484 |   563782 |      284   3568 |        0 |        0
86.08/86.17	c 86.2s |      19 |   586843 |   576882 |      284   3638 |        0 |        0
88.08/88.18	c 88.2s |      19 |   600329 |   590182 |      284   3709 |        0 |        0
90.08/90.19	c 90.2s |      19 |   613386 |   603082 |      284   3778 |        0 |        0
92.08/92.19	c 92.2s |      19 |   626658 |   616182 |      284   3848 |        0 |        0
94.17/94.20	c 94.2s |      19 |   639388 |   628782 |      284   3916 |        0 |        0
96.17/96.20	c 96.2s |      19 |   652720 |   641982 |      284   3986 |        0 |        0
98.17/98.21	c 98.2s |      19 |   665805 |   654882 |      284   4056 |        0 |        0
99.97/100.06	c  100s |      20 |   677883 |   666827 |      313   4118 |        0 |        0
101.97/102.06	c  102s |      20 |   690775 |   679527 |      313   4180 |        0 |        0
103.97/104.06	c  104s |      20 |   703683 |   692327 |      313   4243 |        0 |        0
105.97/106.06	c  106s |      20 |   716893 |   705427 |      313   4308 |        0 |        0
107.97/108.07	c  108s |      20 |   729709 |   718127 |      313   4370 |        0 |        0
109.98/110.08	c  110s |      20 |   742078 |   730427 |      313   4431 |        0 |        0
111.97/112.10	c  112s |      20 |   754712 |   742927 |      313   4493 |        0 |        0
114.07/114.11	c  114s |      20 |   767599 |   755627 |      313   4556 |        0 |        0
116.07/116.12	c  116s |      20 |   780876 |   768727 |      313   4621 |        0 |        0
118.07/118.13	c  118s |      20 |   793642 |   781327 |      313   4683 |        0 |        0
120.07/120.14	c  120s |      20 |   806563 |   794127 |      313   4746 |        0 |        0
122.08/122.14	c  122s |      20 |   819448 |   806827 |      313   4809 |        0 |        0
124.07/124.15	c  124s |      20 |   832284 |   819527 |      313   4872 |        0 |        0
126.07/126.16	c  126s |      20 |   844987 |   832127 |      313   4935 |        0 |        0
128.07/128.16	c  128s |      20 |   857286 |   844327 |      313   4995 |        0 |        0
130.07/130.16	c  130s |      20 |   869672 |   856627 |      313   5056 |        0 |        0
132.07/132.18	c  132s |      20 |   882735 |   869527 |      313   5121 |        0 |        0
134.07/134.18	c  134s |      20 |   894933 |   881627 |      313   5181 |        0 |        0
136.07/136.19	c  136s |      20 |   907258 |   893827 |      313   5242 |        0 |        0
138.17/138.21	c  138s |      20 |   919900 |   906327 |      313   5304 |        0 |        0
140.16/140.23	c  140s |      20 |   932190 |   918527 |      313   5365 |        0 |        0
142.16/142.23	c  142s |      20 |   945424 |   931627 |      313   5430 |        0 |        0
144.18/144.24	c  144s |      20 |   957847 |   943927 |      313   5491 |        0 |        0
146.17/146.24	c  146s |      20 |   970279 |   956227 |      313   5552 |        0 |        0
148.17/148.25	c  148s |      20 |   982723 |   968527 |      313   5613 |        0 |        0
150.17/150.26	c  150s |      20 |   995396 |   981027 |      313   5676 |        0 |        0
152.17/152.27	c  152s |      20 |  1008294 |   993727 |      345   5739 |        0 |        0
153.27/153.38	c  153s |      21 |  1014973 |  1000345 |      345   5769 |        0 |        0
155.27/155.38	c  155s |      21 |  1027564 |  1012745 |      345   5826 |        0 |        0
157.27/157.40	c  157s |      21 |  1039848 |  1024945 |      345   5882 |        0 |        0
159.36/159.41	c  159s |      21 |  1052280 |  1037245 |      345   5938 |        0 |        0
161.36/161.42	c  161s |      21 |  1064711 |  1049545 |      345   5994 |        0 |        0
163.36/163.43	c  163s |      21 |  1076959 |  1061645 |      345   6050 |        0 |        0
165.36/165.44	c  165s |      21 |  1089421 |  1074045 |      345   6107 |        0 |        0
167.36/167.45	c  167s |      21 |  1101898 |  1086445 |      345   6164 |        0 |        0
169.37/169.46	c  169s |      21 |  1114273 |  1098745 |      345   6221 |        0 |        0
171.36/171.47	c  171s |      21 |  1126786 |  1111145 |      345   6278 |        0 |        0
173.36/173.48	c  173s |      21 |  1139089 |  1123345 |      345   6334 |        0 |        0
175.36/175.48	c  175s |      21 |  1150950 |  1135145 |      345   6389 |        0 |        0
177.37/177.48	c  177s |      21 |  1163532 |  1147645 |      345   6446 |        0 |        0
179.37/179.49	c  179s |      21 |  1175826 |  1159845 |      345   6502 |        0 |        0
181.36/181.50	c  181s |      21 |  1188196 |  1172145 |      345   6559 |        0 |        0
183.46/183.51	c  183s |      21 |  1201324 |  1185145 |      345   6618 |        0 |        0
185.46/185.52	c  185s |      21 |  1214016 |  1197745 |      345   6676 |        0 |        0
187.46/187.52	c  187s |      21 |  1226701 |  1210345 |      345   6734 |        0 |        0
189.46/189.53	c  189s |      21 |  1239018 |  1222545 |      345   6790 |        0 |        0
191.47/191.55	c  191s |      21 |  1251321 |  1234745 |      345   6846 |        0 |        0
193.46/193.56	c  193s |      21 |  1263961 |  1247245 |      345   6904 |        0 |        0
195.46/195.57	c  195s |      21 |  1276872 |  1260045 |      345   6963 |        0 |        0
197.46/197.57	c  197s |      21 |  1289683 |  1272745 |      345   7021 |        0 |        0
199.46/199.57	c  199s |      21 |  1302454 |  1285345 |      345   7079 |        0 |        0
201.46/201.58	c  201s |      21 |  1314943 |  1297745 |      345   7136 |        0 |        0
203.46/203.59	c  203s |      21 |  1327353 |  1310045 |      345   7192 |        0 |        0
205.45/205.59	c  205s |      21 |  1339947 |  1322545 |      345   7250 |        0 |        0
207.55/207.60	c  207s |      21 |  1352572 |  1335045 |      345   7307 |        0 |        0
209.55/209.61	c  209s |      21 |  1364628 |  1347045 |      345   7363 |        0 |        0
211.55/211.61	c  211s |      21 |  1376649 |  1358945 |      345   7418 |        0 |        0
213.55/213.61	c  213s |      21 |  1388627 |  1370845 |      345   7473 |        0 |        0
215.57/215.62	c  215s |      21 |  1400747 |  1382845 |      345   7528 |        0 |        0
217.56/217.63	c  217s |      21 |  1412666 |  1394645 |      345   7583 |        0 |        0
219.56/219.64	c  219s |      21 |  1425389 |  1407245 |      345   7641 |        0 |        0
221.55/221.65	c  221s |      21 |  1437567 |  1419345 |      345   7697 |        0 |        0
223.55/223.66	c  223s |      21 |  1449569 |  1431245 |      345   7752 |        0 |        0
225.57/225.67	c  225s |      21 |  1461347 |  1442945 |      345   7806 |        0 |        0
227.56/227.67	c  227s |      21 |  1473878 |  1455345 |      345   7864 |        0 |        0
229.56/229.68	c  229s |      21 |  1487019 |  1468345 |      345   7923 |        0 |        0
231.56/231.68	c  231s |      21 |  1499738 |  1480945 |      345   7981 |        0 |        0
233.56/233.69	c  233s |      21 |  1512600 |  1493645 |      380   8038 |        0 |        0
234.66/234.79	c  234s |      22 |  1519649 |  1500622 |      380   8068 |        0 |        0
236.76/236.80	c  236s |      22 |  1532042 |  1512822 |      380   8120 |        0 |        0
238.76/238.81	c  238s |      22 |  1544858 |  1525522 |      380   8174 |        0 |        0
240.75/240.82	c  240s |      22 |  1557161 |  1537722 |      380   8225 |        0 |        0
242.75/242.82	c  242s |      22 |  1568959 |  1549422 |      380   8276 |        0 |        0
244.75/244.83	c  244s |      22 |  1580859 |  1561222 |      380   8326 |        0 |        0
246.75/246.83	c  246s |      22 |  1592854 |  1573122 |      380   8377 |        0 |        0
248.75/248.84	c  248s |      22 |  1605463 |  1585622 |      380   8430 |        0 |        0
250.75/250.84	c  250s |      22 |  1618118 |  1598122 |      380   8483 |        0 |        0
252.75/252.85	c  252s |      22 |  1630414 |  1610322 |      380   8535 |        0 |        0
254.75/254.86	c  254s |      22 |  1642415 |  1622222 |      380   8586 |        0 |        0
256.75/256.87	c  256s |      22 |  1654775 |  1634422 |      380   8638 |        0 |        0
258.75/258.88	c  258s |      22 |  1667768 |  1647222 |      380   8693 |        0 |        0
260.76/260.89	c  260s |      22 |  1680163 |  1659522 |      380   8745 |        0 |        0
262.75/262.90	c  262s |      22 |  1692687 |  1671922 |      380   8798 |        0 |        0
264.85/264.91	c  264s |      22 |  1705036 |  1684122 |      380   8850 |        0 |        0
266.84/266.92	c  266s |      22 |  1717155 |  1696122 |      380   8901 |        0 |        0
268.84/268.93	c  268s |      22 |  1728946 |  1707822 |      380   8951 |        0 |        0
270.85/270.93	c  270s |      22 |  1740819 |  1719622 |      380   9002 |        0 |        0
272.86/272.94	c  272s |      22 |  1752663 |  1731322 |      380   9052 |        0 |        0
274.85/274.95	c  274s |      22 |  1764685 |  1743222 |      380   9103 |        0 |        0
276.85/276.97	c  276s |      22 |  1776889 |  1755322 |      380   9155 |        0 |        0
278.85/278.98	c  278s |      22 |  1788584 |  1766922 |      380   9204 |        0 |        0
280.85/280.99	c  280s |      22 |  1800540 |  1778722 |      380   9255 |        0 |        0
282.95/283.01	c  282s |      22 |  1812319 |  1790422 |      380   9305 |        0 |        0
284.95/285.02	c  285s |      22 |  1824192 |  1802222 |      380   9355 |        0 |        0
286.95/287.03	c  287s |      22 |  1836294 |  1814222 |      380   9406 |        0 |        0
288.94/289.05	c  289s |      22 |  1848001 |  1825822 |      380   9456 |        0 |        0
290.94/291.05	c  291s |      22 |  1859678 |  1837422 |      380   9505 |        0 |        0
292.94/293.05	c  293s |      22 |  1871469 |  1849122 |      380   9555 |        0 |        0
294.94/295.07	c  295s |      22 |  1883347 |  1860922 |      380   9606 |        0 |        0
296.95/297.07	c  297s |      22 |  1895144 |  1872622 |      380   9656 |        0 |        0
298.94/299.08	c  299s |      22 |  1906959 |  1884322 |      380   9706 |        0 |        0
300.94/301.08	c  301s |      22 |  1918575 |  1895822 |      380   9756 |        0 |        0
302.94/303.10	c  303s |      22 |  1930143 |  1907322 |      380   9805 |        0 |        0
305.04/305.11	c  305s |      22 |  1942345 |  1919422 |      380   9857 |        0 |        0
307.04/307.12	c  307s |      22 |  1954433 |  1931422 |      380   9908 |        0 |        0
309.05/309.13	c  309s |      22 |  1966355 |  1943222 |      380   9959 |        0 |        0
311.04/311.14	c  311s |      22 |  1978657 |  1955422 |      380  10011 |        0 |        0
313.04/313.15	c  313s |      22 |  1991325 |  1967922 |      380  10065 |        0 |        0
315.04/315.16	c  315s |      22 |  2003468 |  1979922 |      380  10117 |        0 |        0
317.04/317.17	c  317s |      22 |  2015711 |  1992022 |      380  10169 |        0 |        0
319.05/319.18	c  319s |      22 |  2027603 |  2003822 |      380  10219 |        0 |        0
321.04/321.19	c  321s |      22 |  2039278 |  2015422 |      380  10269 |        0 |        0
323.14/323.20	c  323s |      22 |  2050876 |  2026922 |      380  10319 |        0 |        0
325.14/325.20	c  325s |      22 |  2063006 |  2038922 |      380  10370 |        0 |        0
327.14/327.20	c  327s |      22 |  2074983 |  2050822 |      380  10421 |        0 |        0
329.14/329.21	c  329s |      22 |  2086944 |  2062722 |      380  10472 |        0 |        0
331.14/331.22	c  331s |      22 |  2099039 |  2074722 |      380  10524 |        0 |        0
333.14/333.23	c  333s |      22 |  2111172 |  2086722 |      380  10575 |        0 |        0
335.13/335.25	c  335s |      22 |  2122983 |  2098422 |      380  10626 |        0 |        0
337.14/337.26	c  337s |      22 |  2134667 |  2110022 |      380  10676 |        0 |        0
339.13/339.26	c  339s |      22 |  2145823 |  2121122 |      380  10724 |        0 |        0
341.14/341.26	c  341s |      22 |  2156991 |  2132222 |      380  10772 |        0 |        0
343.14/343.28	c  343s |      22 |  2170068 |  2145122 |      380  10827 |        0 |        0
345.13/345.28	c  345s |      22 |  2183820 |  2158522 |      380  10883 |        0 |        0
347.13/347.29	c  347s |      22 |  2197297 |  2171722 |      380  10939 |        0 |        0
349.23/349.30	c  349s |      22 |  2210395 |  2184622 |      380  10994 |        0 |        0
351.24/351.31	c  351s |      22 |  2223104 |  2197222 |      380  11047 |        0 |        0
353.24/353.32	c  353s |      22 |  2235754 |  2209722 |      380  11100 |        0 |        0
355.25/355.33	c  355s |      22 |  2248512 |  2222322 |      380  11154 |        0 |        0
357.24/357.35	c  357s |      22 |  2261380 |  2235022 |      419  11208 |        0 |        0
359.24/359.36	c  359s |      22 |  2274543 |  2248022 |      419  11259 |        0 |        0
359.74/359.85	c  359s |      23 |  2277615 |  2251038 |      419  11271 |        0 |        0
361.73/361.85	c  361s |      23 |  2289808 |  2263038 |      419  11318 |        0 |        0
363.73/363.85	c  363s |      23 |  2302137 |  2275238 |      419  11365 |        0 |        0
365.73/365.86	c  365s |      23 |  2314452 |  2287438 |      419  11413 |        0 |        0
367.73/367.86	c  367s |      23 |  2326326 |  2299238 |      419  11460 |        0 |        0
369.73/369.87	c  369s |      23 |  2338116 |  2310938 |      419  11506 |        0 |        0
371.74/371.87	c  371s |      23 |  2349941 |  2322638 |      419  11552 |        0 |        0
373.73/373.87	c  373s |      23 |  2361620 |  2334238 |      419  11598 |        0 |        0
375.73/375.89	c  375s |      23 |  2373402 |  2345938 |      419  11644 |        0 |        0
377.83/377.90	c  377s |      23 |  2385092 |  2357538 |      419  11690 |        0 |        0
379.83/379.90	c  379s |      23 |  2397017 |  2369338 |      419  11736 |        0 |        0
381.83/381.91	c  381s |      23 |  2408936 |  2381138 |      419  11783 |        0 |        0
383.83/383.92	c  383s |      23 |  2420952 |  2393038 |      419  11830 |        0 |        0
385.83/385.92	c  385s |      23 |  2433205 |  2405138 |      419  11878 |        0 |        0
387.83/387.93	c  387s |      23 |  2445144 |  2416938 |      419  11924 |        0 |        0
389.83/389.93	c  389s |      23 |  2456763 |  2428438 |      419  11970 |        0 |        0
391.83/391.94	c  391s |      23 |  2468349 |  2439938 |      419  12015 |        0 |        0
393.84/393.94	c  393s |      23 |  2479948 |  2451438 |      419  12061 |        0 |        0
395.83/395.96	c  395s |      23 |  2492147 |  2463538 |      419  12109 |        0 |        0
397.83/397.96	c  397s |      23 |  2503860 |  2475138 |      419  12154 |        0 |        0
399.82/399.96	c  399s |      23 |  2515874 |  2487038 |      419  12201 |        0 |        0
401.82/401.97	c  401s |      23 |  2527702 |  2498738 |      419  12248 |        0 |        0
403.82/403.97	c  403s |      23 |  2539597 |  2510538 |      419  12294 |        0 |        0
405.83/405.98	c  405s |      23 |  2551107 |  2521938 |      419  12340 |        0 |        0
407.82/407.99	c  407s |      23 |  2562947 |  2533638 |      419  12386 |        0 |        0
409.93/410.00	c  409s |      23 |  2575034 |  2545538 |      419  12433 |        0 |        0
411.93/412.01	c  411s |      23 |  2587529 |  2557838 |      419  12482 |        0 |        0
413.93/414.02	c  414s |      23 |  2599583 |  2569838 |      419  12529 |        0 |        0
415.93/416.02	c  416s |      23 |  2611782 |  2581938 |      419  12577 |        0 |        0
417.93/418.03	c  418s |      23 |  2623957 |  2593938 |      419  12624 |        0 |        0
419.93/420.04	c  420s |      23 |  2635996 |  2605838 |      419  12671 |        0 |        0
421.92/422.04	c  422s |      23 |  2648400 |  2618138 |      419  12719 |        0 |        0
423.92/424.05	c  424s |      23 |  2660218 |  2629838 |      419  12766 |        0 |        0
425.92/426.05	c  426s |      23 |  2672129 |  2641638 |      419  12812 |        0 |        0
427.93/428.06	c  428s |      23 |  2684155 |  2653538 |      419  12859 |        0 |        0
429.92/430.07	c  430s |      23 |  2695751 |  2665038 |      419  12905 |        0 |        0
431.92/432.08	c  432s |      23 |  2707451 |  2676638 |      419  12951 |        0 |        0
433.92/434.09	c  434s |      23 |  2718630 |  2687738 |      419  12995 |        0 |        0
436.02/436.10	c  436s |      23 |  2730013 |  2699038 |      419  13039 |        0 |        0
438.02/438.11	c  438s |      23 |  2741217 |  2710138 |      419  13084 |        0 |        0
440.03/440.12	c  440s |      23 |  2752827 |  2721638 |      419  13129 |        0 |        0
442.02/442.13	c  442s |      23 |  2764056 |  2732738 |      419  13173 |        0 |        0
444.02/444.14	c  444s |      23 |  2775456 |  2744038 |      419  13218 |        0 |        0
446.02/446.14	c  446s |      23 |  2787136 |  2755638 |      419  13264 |        0 |        0
448.02/448.15	c  448s |      23 |  2798398 |  2766838 |      419  13308 |        0 |        0
450.02/450.15	c  450s |      23 |  2810174 |  2778438 |      419  13354 |        0 |        0
452.02/452.17	c  452s |      23 |  2821816 |  2789938 |      419  13400 |        0 |        0
454.02/454.18	c  454s |      23 |  2832793 |  2800838 |      419  13444 |        0 |        0
456.02/456.19	c  456s |      23 |  2844287 |  2812238 |      419  13489 |        0 |        0
458.01/458.19	c  458s |      23 |  2856071 |  2823938 |      419  13535 |        0 |        0
460.01/460.19	c  460s |      23 |  2867740 |  2835538 |      419  13580 |        0 |        0
462.12/462.21	c  462s |      23 |  2879508 |  2847238 |      419  13626 |        0 |        0
464.13/464.22	c  464s |      23 |  2890994 |  2858638 |      419  13671 |        0 |        0
466.12/466.22	c  466s |      23 |  2903048 |  2870538 |      419  13718 |        0 |        0
468.12/468.23	c  468s |      23 |  2914872 |  2882238 |      419  13764 |        0 |        0
470.12/470.25	c  470s |      23 |  2926555 |  2893838 |      419  13810 |        0 |        0
472.12/472.25	c  472s |      23 |  2938164 |  2905338 |      419  13855 |        0 |        0
474.13/474.26	c  474s |      23 |  2950135 |  2917138 |      419  13902 |        0 |        0
476.12/476.27	c  476s |      23 |  2961852 |  2928638 |      419  13948 |        0 |        0
478.12/478.28	c  478s |      23 |  2973550 |  2940238 |      419  13993 |        0 |        0
480.12/480.28	c  480s |      23 |  2985124 |  2951738 |      419  14039 |        0 |        0
482.11/482.29	c  482s |      23 |  2996582 |  2963138 |      419  14084 |        0 |        0
484.11/484.29	c  484s |      23 |  3008613 |  2975038 |      419  14131 |        0 |        0
486.12/486.30	c  486s |      23 |  3020701 |  2987038 |      419  14178 |        0 |        0
488.22/488.30	c  488s |      23 |  3032608 |  2998838 |      419  14225 |        0 |        0
490.22/490.30	c  490s |      23 |  3044632 |  3010738 |      419  14272 |        0 |        0
492.22/492.32	c  492s |      23 |  3056442 |  3022438 |      419  14318 |        0 |        0
494.22/494.32	c  494s |      23 |  3068135 |  3034038 |      419  14364 |        0 |        0
496.22/496.34	c  496s |      23 |  3080151 |  3045938 |      419  14411 |        0 |        0
498.22/498.34	c  498s |      23 |  3092297 |  3057938 |      419  14458 |        0 |        0
500.21/500.35	c  500s |      23 |  3103878 |  3069438 |      419  14504 |        0 |        0
502.21/502.35	c  502s |      23 |  3115271 |  3080738 |      419  14548 |        0 |        0
504.21/504.35	c  504s |      23 |  3127306 |  3092638 |      419  14595 |        0 |        0
506.21/506.36	c  506s |      23 |  3138935 |  3104138 |      419  14641 |        0 |        0
508.22/508.38	c  508s |      23 |  3150715 |  3115838 |      419  14687 |        0 |        0
510.21/510.38	c  510s |      23 |  3162352 |  3127338 |      419  14733 |        0 |        0
512.21/512.39	c  512s |      23 |  3173655 |  3138538 |      419  14778 |        0 |        0
514.21/514.40	c  514s |      23 |  3184966 |  3149738 |      419  14822 |        0 |        0
516.31/516.41	c  516s |      23 |  3196913 |  3161538 |      419  14869 |        0 |        0
518.31/518.42	c  518s |      23 |  3208392 |  3172938 |      419  14914 |        0 |        0
520.31/520.42	c  520s |      23 |  3219892 |  3184338 |      419  14959 |        0 |        0
522.31/522.43	c  522s |      23 |  3231006 |  3195338 |      419  15003 |        0 |        0
524.31/524.43	c  524s |      23 |  3242328 |  3206538 |      419  15047 |        0 |        0
526.31/526.45	c  526s |      23 |  3253514 |  3217638 |      419  15091 |        0 |        0
528.31/528.45	c  528s |      23 |  3264684 |  3228738 |      419  15135 |        0 |        0
530.31/530.46	c  530s |      23 |  3276178 |  3240138 |      419  15181 |        0 |        0
532.31/532.47	c  532s |      23 |  3287130 |  3251038 |      419  15224 |        0 |        0
534.30/534.48	c  534s |      23 |  3298409 |  3262238 |      419  15269 |        0 |        0
536.30/536.49	c  536s |      23 |  3310095 |  3273838 |      419  15314 |        0 |        0
538.41/538.50	c  538s |      23 |  3321361 |  3285038 |      419  15359 |        0 |        0
540.40/540.50	c  540s |      23 |  3333123 |  3296738 |      419  15405 |        0 |        0
542.40/542.52	c  542s |      23 |  3344907 |  3308438 |      419  15451 |        0 |        0
544.41/544.52	c  544s |      23 |  3356624 |  3320038 |      419  15497 |        0 |        0
546.40/546.53	c  546s |      23 |  3368531 |  3331838 |      419  15543 |        0 |        0
548.40/548.55	c  548s |      23 |  3380027 |  3343238 |      419  15589 |        0 |        0
550.40/550.56	c  550s |      23 |  3392039 |  3355138 |      461  15635 |        0 |        0
552.40/552.57	c  552s |      23 |  3403666 |  3366638 |      461  15677 |        0 |        0
554.20/554.34	c  554s |      24 |  3413837 |  3376662 |      461  15714 |        0 |        0
556.20/556.35	c  556s |      24 |  3425457 |  3388062 |      461  15755 |        0 |        0
558.20/558.36	c  558s |      24 |  3437197 |  3399662 |      461  15797 |        0 |        0
560.20/560.38	c  560s |      24 |  3448804 |  3411162 |      461  15839 |        0 |        0
562.20/562.39	c  562s |      24 |  3460630 |  3422862 |      461  15882 |        0 |        0
564.21/564.40	c  564s |      24 |  3472302 |  3434462 |      461  15924 |        0 |        0
566.30/566.40	c  566s |      24 |  3483615 |  3445662 |      461  15964 |        0 |        0
568.31/568.42	c  568s |      24 |  3495028 |  3456962 |      461  16005 |        0 |        0
570.31/570.43	c  570s |      24 |  3506627 |  3468462 |      461  16047 |        0 |        0
572.31/572.43	c  572s |      24 |  3517951 |  3479662 |      461  16088 |        0 |        0
574.30/574.44	c  574s |      24 |  3529238 |  3490862 |      461  16129 |        0 |        0
576.31/576.45	c  576s |      24 |  3540529 |  3502062 |      461  16170 |        0 |        0
578.30/578.45	c  578s |      24 |  3551901 |  3513362 |      461  16211 |        0 |        0
580.30/580.46	c  580s |      24 |  3563204 |  3524562 |      461  16252 |        0 |        0
582.30/582.46	c  582s |      24 |  3574733 |  3535962 |      461  16293 |        0 |        0
584.30/584.48	c  584s |      24 |  3586096 |  3547262 |      461  16334 |        0 |        0
586.31/586.49	c  586s |      24 |  3597376 |  3558462 |      461  16375 |        0 |        0
588.30/588.49	c  588s |      24 |  3608891 |  3569862 |      461  16417 |        0 |        0
590.40/590.50	c  590s |      24 |  3620370 |  3581262 |      461  16458 |        0 |        0
592.40/592.51	c  592s |      24 |  3631788 |  3592562 |      461  16499 |        0 |        0
594.40/594.52	c  594s |      24 |  3642771 |  3603462 |      461  16539 |        0 |        0
596.40/596.52	c  596s |      24 |  3654169 |  3614762 |      461  16580 |        0 |        0
598.40/598.52	c  598s |      24 |  3665490 |  3625962 |      461  16621 |        0 |        0
600.40/600.54	c  600s |      24 |  3676891 |  3637262 |      461  16663 |        0 |        0
602.40/602.55	c  602s |      24 |  3687960 |  3648262 |      461  16703 |        0 |        0
604.40/604.56	c  604s |      24 |  3699334 |  3659562 |      461  16744 |        0 |        0
606.40/606.57	c  606s |      24 |  3710739 |  3670862 |      461  16785 |        0 |        0
608.40/608.58	c  608s |      24 |  3721948 |  3681962 |      461  16826 |        0 |        0
610.40/610.59	c  610s |      24 |  3733549 |  3693462 |      461  16868 |        0 |        0
612.49/612.61	c  612s |      24 |  3745171 |  3704962 |      461  16909 |        0 |        0
614.49/614.62	c  614s |      24 |  3756879 |  3716562 |      461  16951 |        0 |        0
616.49/616.63	c  616s |      24 |  3768381 |  3727962 |      461  16993 |        0 |        0
618.49/618.63	c  618s |      24 |  3780087 |  3739562 |      461  17035 |        0 |        0
620.49/620.64	c  620s |      24 |  3791533 |  3750862 |      461  17076 |        0 |        0
622.50/622.64	c  622s |      24 |  3802745 |  3761962 |      461  17116 |        0 |        0
624.49/624.66	c  624s |      24 |  3814415 |  3773562 |      461  17159 |        0 |        0
626.49/626.66	c  626s |      24 |  3826052 |  3785062 |      461  17201 |        0 |        0
628.49/628.67	c  628s |      24 |  3837554 |  3796462 |      461  17242 |        0 |        0
630.49/630.68	c  630s |      24 |  3848917 |  3807762 |      461  17283 |        0 |        0
632.59/632.70	c  632s |      24 |  3860822 |  3819562 |      461  17326 |        0 |        0
634.60/634.71	c  634s |      24 |  3872416 |  3831062 |      461  17367 |        0 |        0
636.59/636.72	c  636s |      24 |  3884018 |  3842562 |      461  17409 |        0 |        0
638.60/638.73	c  638s |      24 |  3895496 |  3853962 |      461  17451 |        0 |        0
640.60/640.75	c  640s |      24 |  3907111 |  3865462 |      461  17493 |        0 |        0
642.59/642.76	c  642s |      24 |  3918511 |  3876762 |      461  17534 |        0 |        0
644.60/644.78	c  644s |      24 |  3929823 |  3887962 |      461  17574 |        0 |        0
646.59/646.78	c  646s |      24 |  3941566 |  3899562 |      461  17616 |        0 |        0
648.59/648.79	c  648s |      24 |  3953092 |  3910962 |      461  17658 |        0 |        0
650.59/650.79	c  650s |      24 |  3964275 |  3922062 |      461  17698 |        0 |        0
652.69/652.80	c  652s |      24 |  3975381 |  3933062 |      461  17739 |        0 |        0
654.69/654.81	c  654s |      24 |  3986690 |  3944262 |      461  17779 |        0 |        0
656.69/656.83	c  656s |      24 |  3998133 |  3955562 |      461  17821 |        0 |        0
658.68/658.84	c  658s |      24 |  4009578 |  3966862 |      461  17862 |        0 |        0
660.68/660.86	c  660s |      24 |  4020822 |  3977962 |      461  17902 |        0 |        0
662.68/662.86	c  662s |      24 |  4032225 |  3989162 |      461  17943 |        0 |        0
664.68/664.86	c  664s |      24 |  4043322 |  4000162 |      461  17984 |        0 |        0
666.68/666.87	c  666s |      24 |  4054622 |  4011362 |      461  18025 |        0 |        0
668.70/668.88	c  668s |      24 |  4065910 |  4022562 |      461  18066 |        0 |        0
670.69/670.89	c  670s |      24 |  4077106 |  4033662 |      461  18106 |        0 |        0
672.79/672.90	c  672s |      24 |  4088600 |  4045062 |      461  18148 |        0 |        0
674.79/674.90	c  674s |      24 |  4099822 |  4056162 |      461  18188 |        0 |        0
676.79/676.91	c  676s |      24 |  4111447 |  4067662 |      461  18230 |        0 |        0
678.79/678.92	c  678s |      24 |  4122849 |  4078962 |      461  18271 |        0 |        0
680.79/680.93	c  680s |      24 |  4134249 |  4090262 |      461  18312 |        0 |        0
682.79/682.93	c  682s |      24 |  4145540 |  4101462 |      461  18353 |        0 |        0
684.78/684.95	c  684s |      24 |  4156833 |  4112662 |      461  18394 |        0 |        0
686.78/686.96	c  686s |      24 |  4168164 |  4123862 |      461  18435 |        0 |        0
688.79/688.96	c  688s |      24 |  4179610 |  4135162 |      461  18476 |        0 |        0
690.79/690.98	c  690s |      24 |  4190899 |  4146362 |      461  18516 |        0 |        0
692.78/692.98	c  692s |      24 |  4202219 |  4157562 |      461  18557 |        0 |        0
694.78/694.99	c  694s |      24 |  4213466 |  4168662 |      461  18598 |        0 |        0
696.89/697.00	c  696s |      24 |  4224714 |  4179762 |      461  18639 |        0 |        0
698.88/699.01	c  698s |      24 |  4236123 |  4191062 |      461  18680 |        0 |        0
700.88/701.01	c  700s |      24 |  4247452 |  4202262 |      461  18721 |        0 |        0
702.88/703.02	c  703s |      24 |  4259110 |  4213762 |      461  18763 |        0 |        0
704.88/705.03	c  705s |      24 |  4270296 |  4224862 |      461  18804 |        0 |        0
706.88/707.06	c  707s |      24 |  4281608 |  4236062 |      461  18845 |        0 |        0
708.89/709.07	c  709s |      24 |  4293430 |  4247762 |      461  18887 |        0 |        0
710.89/711.08	c  711s |      24 |  4305697 |  4259862 |      461  18931 |        0 |        0
712.98/713.10	c  713s |      24 |  4317577 |  4271662 |      461  18974 |        0 |        0
714.99/715.11	c  715s |      24 |  4329377 |  4283362 |      461  19017 |        0 |        0
716.98/717.11	c  717s |      24 |  4340951 |  4294862 |      461  19059 |        0 |        0
718.98/719.12	c  719s |      24 |  4352444 |  4306262 |      461  19100 |        0 |        0
720.98/721.13	c  721s |      24 |  4364043 |  4317762 |      461  19142 |        0 |        0
722.98/723.14	c  723s |      24 |  4375932 |  4329562 |      461  19185 |        0 |        0
724.97/725.14	c  725s |      24 |  4387389 |  4340962 |      461  19227 |        0 |        0
726.99/727.16	c  727s |      24 |  4398893 |  4352362 |      461  19269 |        0 |        0
728.98/729.17	c  729s |      24 |  4410319 |  4363662 |      461  19310 |        0 |        0
730.98/731.17	c  731s |      24 |  4421342 |  4374562 |      461  19350 |        0 |        0
732.98/733.18	c  733s |      24 |  4432609 |  4385662 |      461  19391 |        0 |        0
735.08/735.20	c  735s |      24 |  4444310 |  4397262 |      461  19433 |        0 |        0
737.08/737.20	c  737s |      24 |  4455509 |  4408362 |      461  19474 |        0 |        0
739.09/739.21	c  739s |      24 |  4466725 |  4419462 |      461  19514 |        0 |        0
741.08/741.23	c  741s |      24 |  4477918 |  4430562 |      461  19555 |        0 |        0
743.08/743.24	c  743s |      24 |  4488957 |  4441462 |      461  19595 |        0 |        0
745.08/745.25	c  745s |      24 |  4500252 |  4452662 |      461  19636 |        0 |        0
747.08/747.26	c  747s |      24 |  4511669 |  4463962 |      461  19677 |        0 |        0
749.08/749.27	c  749s |      24 |  4522682 |  4474862 |      461  19717 |        0 |        0
751.07/751.28	c  751s |      24 |  4533908 |  4485962 |      461  19758 |        0 |        0
753.07/753.29	c  753s |      24 |  4545314 |  4497262 |      461  19799 |        0 |        0
755.17/755.30	c  755s |      24 |  4556525 |  4508362 |      461  19840 |        0 |        0
757.17/757.31	c  757s |      24 |  4567537 |  4519262 |      461  19880 |        0 |        0
759.17/759.32	c  759s |      24 |  4578760 |  4530362 |      461  19920 |        0 |        0
761.18/761.32	c  761s |      24 |  4589653 |  4541162 |      461  19960 |        0 |        0
763.17/763.33	c  763s |      24 |  4600642 |  4552062 |      461  20000 |        0 |        0
765.17/765.33	c  765s |      24 |  4611637 |  4562962 |      461  20040 |        0 |        0
767.17/767.35	c  767s |      24 |  4622629 |  4573862 |      461  20080 |        0 |        0
769.17/769.36	c  769s |      24 |  4633712 |  4584862 |      461  20120 |        0 |        0
771.17/771.37	c  771s |      24 |  4645133 |  4596162 |      461  20162 |        0 |        0
773.17/773.37	c  773s |      24 |  4656801 |  4607762 |      461  20204 |        0 |        0
775.16/775.38	c  775s |      24 |  4668782 |  4619662 |      461  20247 |        0 |        0
777.16/777.38	c  777s |      24 |  4680465 |  4631262 |      461  20289 |        0 |        0
779.16/779.39	c  779s |      24 |  4692153 |  4642862 |      461  20331 |        0 |        0
781.26/781.40	c  781s |      24 |  4704690 |  4655262 |      461  20376 |        0 |        0
783.26/783.40	c  783s |      24 |  4716714 |  4667162 |      461  20419 |        0 |        0
785.27/785.42	c  785s |      24 |  4728693 |  4679062 |      461  20462 |        0 |        0
787.26/787.42	c  787s |      24 |  4740558 |  4690762 |      461  20505 |        0 |        0
789.26/789.42	c  789s |      24 |  4752090 |  4702162 |      461  20546 |        0 |        0
791.26/791.44	c  791s |      24 |  4763888 |  4713862 |      461  20589 |        0 |        0
793.25/793.44	c  793s |      24 |  4775622 |  4725462 |      461  20631 |        0 |        0
795.26/795.45	c  795s |      24 |  4787210 |  4736862 |      461  20673 |        0 |        0
797.25/797.45	c  797s |      24 |  4798815 |  4748362 |      461  20714 |        0 |        0
799.25/799.47	c  799s |      24 |  4810185 |  4759662 |      461  20756 |        0 |        0
801.24/801.48	c  801s |      24 |  4821362 |  4770762 |      461  20796 |        0 |        0
803.24/803.49	c  803s |      24 |  4832408 |  4781762 |      461  20836 |        0 |        0
805.25/805.50	c  805s |      24 |  4844213 |  4793462 |      461  20879 |        0 |        0
807.36/807.51	c  807s |      24 |  4856233 |  4805362 |      461  20922 |        0 |        0
809.34/809.52	c  809s |      24 |  4867812 |  4816862 |      461  20964 |        0 |        0
811.34/811.53	c  811s |      24 |  4879486 |  4828462 |      461  21006 |        0 |        0
813.34/813.53	c  813s |      24 |  4890855 |  4839762 |      461  21047 |        0 |        0
815.34/815.54	c  815s |      24 |  4902659 |  4851462 |      461  21089 |        0 |        0
817.34/817.55	c  817s |      24 |  4914157 |  4862862 |      461  21131 |        0 |        0
819.34/819.56	c  819s |      24 |  4925422 |  4874062 |      461  21172 |        0 |        0
821.33/821.58	c  821s |      24 |  4936768 |  4885362 |      461  21213 |        0 |        0
823.33/823.58	c  823s |      24 |  4948019 |  4896562 |      461  21254 |        0 |        0
825.33/825.59	c  825s |      24 |  4959563 |  4907962 |      461  21295 |        0 |        0
827.43/827.60	c  827s |      24 |  4970611 |  4918962 |      461  21336 |        0 |        0
829.43/829.61	c  829s |      24 |  4982356 |  4930562 |      461  21378 |        0 |        0
831.44/831.62	c  831s |      24 |  4994376 |  4942462 |      461  21421 |        0 |        0
833.44/833.62	c  833s |      24 |  5005902 |  4953862 |      461  21463 |        0 |        0
835.44/835.63	c  835s |      24 |  5017687 |  4965462 |      461  21505 |        0 |        0
837.43/837.64	c  837s |      24 |  5029425 |  4977062 |      461  21547 |        0 |        0
839.43/839.65	c  839s |      24 |  5041040 |  4988562 |      461  21589 |        0 |        0
841.44/841.66	c  841s |      24 |  5052873 |  5000262 |      461  21632 |        0 |        0
843.43/843.67	c  843s |      24 |  5064378 |  5011662 |      461  21674 |        0 |        0
845.43/845.68	c  845s |      24 |  5076414 |  5023562 |      461  21717 |        0 |        0
847.42/847.68	c  847s |      24 |  5088339 |  5035362 |      508  21758 |        0 |        0
849.52/849.70	c  849s |      24 |  5099939 |  5046862 |      508  21797 |        0 |        0
851.52/851.71	c  851s |      24 |  5111585 |  5058362 |      508  21836 |        0 |        0
852.62/852.85	c  852s |      25 |  5118399 |  5065098 |      508  21858 |        0 |        0
854.63/854.86	c  854s |      25 |  5130683 |  5077198 |      508  21899 |        0 |        0
856.62/856.88	c  856s |      25 |  5142594 |  5088998 |      508  21938 |        0 |        0
858.62/858.89	c  858s |      25 |  5154367 |  5100698 |      508  21977 |        0 |        0
860.72/860.90	c  860s |      25 |  5165649 |  5111898 |      508  22015 |        0 |        0
862.72/862.91	c  862s |      25 |  5177425 |  5123598 |      508  22054 |        0 |        0
864.72/864.92	c  864s |      25 |  5188781 |  5134898 |      508  22091 |        0 |        0
866.72/866.93	c  866s |      25 |  5200490 |  5146498 |      508  22130 |        0 |        0
868.71/868.94	c  868s |      25 |  5212616 |  5158498 |      508  22170 |        0 |        0
870.71/870.95	c  870s |      25 |  5224393 |  5170198 |      508  22209 |        0 |        0
872.71/872.97	c  872s |      25 |  5236185 |  5181898 |      508  22249 |        0 |        0
874.70/874.98	c  874s |      25 |  5247666 |  5193298 |      508  22287 |        0 |        0
876.70/876.98	c  876s |      25 |  5259653 |  5205198 |      508  22327 |        0 |        0
878.72/878.99	c  878s |      25 |  5271037 |  5216498 |      508  22365 |        0 |        0
880.70/880.99	c  880s |      25 |  5282502 |  5227898 |      508  22402 |        0 |        0
882.80/883.00	c  882s |      25 |  5293824 |  5239098 |      508  22440 |        0 |        0
884.80/885.02	c  885s |      25 |  5305000 |  5250198 |      508  22477 |        0 |        0
886.81/887.03	c  887s |      25 |  5316078 |  5261198 |      508  22514 |        0 |        0
888.80/889.05	c  889s |      25 |  5326949 |  5271998 |      508  22551 |        0 |        0
890.81/891.05	c  891s |      25 |  5338461 |  5283398 |      508  22589 |        0 |        0
892.80/893.06	c  893s |      25 |  5350664 |  5295498 |      508  22629 |        0 |        0
894.80/895.07	c  895s |      25 |  5362461 |  5307198 |      508  22668 |        0 |        0
896.79/897.08	c  897s |      25 |  5373758 |  5318398 |      508  22706 |        0 |        0
898.80/899.09	c  899s |      25 |  5385357 |  5329898 |      508  22744 |        0 |        0
900.89/901.11	c  901s |      25 |  5396753 |  5341198 |      508  22782 |        0 |        0
902.90/903.12	c  903s |      25 |  5407929 |  5352298 |      508  22819 |        0 |        0
904.89/905.12	c  905s |      25 |  5418893 |  5363198 |      508  22856 |        0 |        0
906.90/907.12	c  907s |      25 |  5430413 |  5374598 |      508  22894 |        0 |        0
908.90/909.13	c  909s |      25 |  5441632 |  5385698 |      508  22932 |        0 |        0
910.89/911.13	c  911s |      25 |  5454125 |  5397998 |      508  22973 |        0 |        0
912.89/913.14	c  913s |      25 |  5466475 |  5410198 |      508  23013 |        0 |        0
914.88/915.15	c  915s |      25 |  5478721 |  5422298 |      508  23054 |        0 |        0
916.88/917.16	c  917s |      25 |  5490846 |  5434298 |      508  23094 |        0 |        0
918.88/919.17	c  919s |      25 |  5502374 |  5445698 |      508  23132 |        0 |        0
920.89/921.18	c  921s |      25 |  5513865 |  5457098 |      508  23171 |        0 |        0
922.89/923.18	c  923s |      25 |  5525583 |  5468698 |      508  23209 |        0 |        0
924.89/925.18	c  925s |      25 |  5537002 |  5479998 |      508  23247 |        0 |        0
926.89/927.19	c  927s |      25 |  5548492 |  5491398 |      508  23286 |        0 |        0
928.88/929.20	c  929s |      25 |  5560005 |  5502798 |      508  23324 |        0 |        0
930.97/931.20	c  931s |      25 |  5571717 |  5514398 |      508  23363 |        0 |        0
932.97/933.20	c  933s |      25 |  5582844 |  5525398 |      508  23400 |        0 |        0
934.97/935.21	c  935s |      25 |  5594039 |  5536498 |      508  23437 |        0 |        0
936.98/937.22	c  937s |      25 |  5605649 |  5547998 |      508  23476 |        0 |        0
938.98/939.23	c  939s |      25 |  5616747 |  5558998 |      508  23513 |        0 |        0
940.97/941.24	c  941s |      25 |  5627954 |  5570098 |      508  23551 |        0 |        0
942.97/943.25	c  943s |      25 |  5639230 |  5581298 |      508  23588 |        0 |        0
944.97/945.27	c  945s |      25 |  5650388 |  5592398 |      508  23626 |        0 |        0
946.98/947.28	c  947s |      25 |  5661494 |  5603398 |      508  23663 |        0 |        0
948.97/949.29	c  949s |      25 |  5672575 |  5614398 |      508  23700 |        0 |        0
951.06/951.30	c  951s |      25 |  5684734 |  5626398 |      508  23740 |        0 |        0
953.06/953.31	c  953s |      25 |  5696291 |  5637898 |      508  23778 |        0 |        0
955.06/955.32	c  955s |      25 |  5708089 |  5649598 |      508  23817 |        0 |        0
957.07/957.32	c  957s |      25 |  5719580 |  5660998 |      508  23855 |        0 |        0
959.07/959.32	c  959s |      25 |  5731415 |  5672698 |      508  23894 |        0 |        0
961.06/961.34	c  961s |      25 |  5743360 |  5684498 |      508  23933 |        0 |        0
963.06/963.34	c  963s |      25 |  5754767 |  5695798 |      508  23971 |        0 |        0
965.06/965.36	c  965s |      25 |  5766677 |  5707598 |      508  24010 |        0 |        0
967.06/967.37	c  967s |      25 |  5778621 |  5719398 |      508  24050 |        0 |        0
969.06/969.37	c  969s |      25 |  5790063 |  5730698 |      508  24088 |        0 |        0
971.06/971.39	c  971s |      25 |  5801878 |  5742398 |      508  24127 |        0 |        0
973.15/973.40	c  973s |      25 |  5813972 |  5754398 |      508  24167 |        0 |        0
975.15/975.41	c  975s |      25 |  5825654 |  5765998 |      508  24205 |        0 |        0
977.16/977.42	c  977s |      25 |  5837219 |  5777498 |      508  24244 |        0 |        0
979.16/979.43	c  979s |      25 |  5848693 |  5788898 |      508  24282 |        0 |        0
981.15/981.45	c  981s |      25 |  5860480 |  5800598 |      508  24321 |        0 |        0
983.16/983.45	c  983s |      25 |  5872198 |  5812198 |      508  24360 |        0 |        0
985.15/985.47	c  985s |      25 |  5883968 |  5823798 |      508  24399 |        0 |        0
987.15/987.48	c  987s |      25 |  5895606 |  5835298 |      508  24437 |        0 |        0
989.15/989.48	c  989s |      25 |  5906891 |  5846498 |      508  24475 |        0 |        0
991.14/991.48	c  991s |      25 |  5918183 |  5857698 |      508  24512 |        0 |        0
993.15/993.48	c  993s |      25 |  5929338 |  5868798 |      508  24550 |        0 |        0
995.14/995.49	c  995s |      25 |  5940493 |  5879898 |      508  24587 |        0 |        0
997.24/997.51	c  997s |      25 |  5951656 |  5890998 |      508  24624 |        0 |        0
999.24/999.52	c  999s |      25 |  5963171 |  5902398 |      508  24662 |        0 |        0
1001.23/1001.54	c 1001s |      25 |  5975325 |  5914398 |      508  24702 |        0 |        0
1003.23/1003.54	c 1003s |      25 |  5987137 |  5926098 |      508  24741 |        0 |        0
1005.24/1005.56	c 1005s |      25 |  5998635 |  5937498 |      508  24779 |        0 |        0
1007.23/1007.57	c 1007s |      25 |  6010151 |  5948898 |      508  24817 |        0 |        0
1009.24/1009.59	c 1009s |      25 |  6021872 |  5960498 |      508  24856 |        0 |        0
1011.33/1011.60	c 1011s |      25 |  6033820 |  5972298 |      508  24896 |        0 |        0
1013.33/1013.61	c 1013s |      25 |  6045430 |  5983798 |      508  24935 |        0 |        0
1015.33/1015.62	c 1015s |      25 |  6056615 |  5994898 |      508  24972 |        0 |        0
1017.34/1017.62	c 1017s |      25 |  6067783 |  6005998 |      508  25009 |        0 |        0
1019.32/1019.63	c 1019s |      25 |  6078875 |  6016998 |      508  25046 |        0 |        0
1021.33/1021.63	c 1021s |      25 |  6089986 |  6027998 |      508  25083 |        0 |        0
1023.33/1023.65	c 1023s |      25 |  6101176 |  6039098 |      508  25120 |        0 |        0
1025.33/1025.65	c 1025s |      25 |  6112443 |  6050298 |      508  25158 |        0 |        0
1027.33/1027.66	c 1027s |      25 |  6123613 |  6061398 |      508  25195 |        0 |        0
1029.33/1029.66	c 1029s |      25 |  6135435 |  6073098 |      508  25234 |        0 |        0
1031.32/1031.67	c 1031s |      25 |  6147272 |  6084798 |      508  25273 |        0 |        0
1033.32/1033.68	c 1033s |      25 |  6158769 |  6096198 |      508  25311 |        0 |        0
1035.32/1035.69	c 1035s |      25 |  6170046 |  6107398 |      508  25349 |        0 |        0
1037.32/1037.69	c 1037s |      25 |  6181634 |  6118898 |      508  25388 |        0 |        0
1039.42/1039.70	c 1039s |      25 |  6193009 |  6130198 |      508  25426 |        0 |        0
1041.42/1041.70	c 1041s |      25 |  6204520 |  6141598 |      508  25464 |        0 |        0
1043.41/1043.72	c 1043s |      25 |  6216203 |  6153198 |      508  25503 |        0 |        0
1045.41/1045.73	c 1045s |      25 |  6227701 |  6164598 |      508  25541 |        0 |        0
1047.41/1047.74	c 1047s |      25 |  6238816 |  6175598 |      508  25578 |        0 |        0
1049.40/1049.74	c 1049s |      25 |  6250423 |  6187098 |      508  25617 |        0 |        0
1051.41/1051.74	c 1051s |      25 |  6261959 |  6198498 |      508  25655 |        0 |        0
1053.40/1053.76	c 1053s |      25 |  6273327 |  6209798 |      508  25693 |        0 |        0
1055.40/1055.77	c 1055s |      25 |  6284756 |  6221098 |      508  25731 |        0 |        0
1057.40/1057.78	c 1057s |      25 |  6296058 |  6232298 |      508  25768 |        0 |        0
1059.40/1059.78	c 1059s |      25 |  6307182 |  6243298 |      508  25806 |        0 |        0
1061.40/1061.79	c 1061s |      25 |  6318510 |  6254498 |      508  25843 |        0 |        0
1063.50/1063.81	c 1063s |      25 |  6329794 |  6265698 |      508  25881 |        0 |        0
1065.50/1065.81	c 1065s |      25 |  6340874 |  6276698 |      508  25918 |        0 |        0
1067.50/1067.82	c 1067s |      25 |  6352715 |  6288398 |      508  25958 |        0 |        0
1069.50/1069.84	c 1069s |      25 |  6364929 |  6300498 |      508  25998 |        0 |        0
1071.50/1071.85	c 1071s |      25 |  6376818 |  6312298 |      508  26038 |        0 |        0
1073.49/1073.85	c 1073s |      25 |  6388532 |  6323898 |      508  26076 |        0 |        0
1075.50/1075.87	c 1075s |      25 |  6400327 |  6335598 |      508  26115 |        0 |        0
1077.49/1077.88	c 1077s |      25 |  6411610 |  6346798 |      508  26153 |        0 |        0
1079.59/1079.90	c 1079s |      25 |  6422875 |  6357998 |      508  26190 |        0 |        0
1081.58/1081.91	c 1081s |      25 |  6434793 |  6369798 |      508  26230 |        0 |        0
1083.59/1083.92	c 1083s |      25 |  6446211 |  6381098 |      508  26268 |        0 |        0
1085.59/1085.93	c 1085s |      25 |  6457433 |  6392198 |      508  26305 |        0 |        0
1087.59/1087.94	c 1087s |      25 |  6468776 |  6403398 |      508  26343 |        0 |        0
1089.58/1089.96	c 1089s |      25 |  6479982 |  6414498 |      508  26380 |        0 |        0
1091.59/1091.96	c 1091s |      25 |  6491149 |  6425598 |      508  26417 |        0 |        0
1093.58/1093.98	c 1093s |      25 |  6502016 |  6436398 |      508  26454 |        0 |        0
1095.58/1095.99	c 1095s |      25 |  6512604 |  6446898 |      508  26489 |        0 |        0
1097.68/1098.00	c 1097s |      25 |  6523939 |  6458098 |      508  26527 |        0 |        0
1099.68/1100.01	c 1100s |      25 |  6535135 |  6469198 |      508  26564 |        0 |        0
1101.68/1102.02	c 1102s |      25 |  6546339 |  6480298 |      508  26601 |        0 |        0
1103.68/1104.03	c 1104s |      25 |  6557318 |  6491198 |      508  26638 |        0 |        0
1105.68/1106.05	c 1106s |      25 |  6568639 |  6502398 |      508  26676 |        0 |        0
1107.67/1108.06	c 1108s |      25 |  6579692 |  6513398 |      508  26713 |        0 |        0
1109.67/1110.06	c 1110s |      25 |  6590774 |  6524398 |      508  26750 |        0 |        0
1111.66/1112.07	c 1112s |      25 |  6601768 |  6535298 |      508  26787 |        0 |        0
1113.66/1114.09	c 1114s |      25 |  6612751 |  6546198 |      508  26824 |        0 |        0
1115.76/1116.10	c 1116s |      25 |  6623464 |  6556798 |      508  26860 |        0 |        0
1117.76/1118.11	c 1118s |      25 |  6634694 |  6567898 |      508  26897 |        0 |        0
1119.76/1120.13	c 1120s |      25 |  6645588 |  6578698 |      508  26933 |        0 |        0
1121.77/1122.14	c 1122s |      25 |  6656785 |  6589798 |      508  26970 |        0 |        0
1123.76/1124.14	c 1124s |      25 |  6667887 |  6600798 |      508  27007 |        0 |        0
1125.76/1126.16	c 1126s |      25 |  6679098 |  6611898 |      508  27045 |        0 |        0
1127.76/1128.17	c 1128s |      25 |  6690033 |  6622698 |      508  27081 |        0 |        0
1129.75/1130.18	c 1130s |      25 |  6700911 |  6633498 |      508  27117 |        0 |        0
1131.86/1132.20	c 1132s |      25 |  6711986 |  6644498 |      508  27154 |        0 |        0
1133.76/1134.20	c 1134s |      25 |  6722915 |  6655298 |      508  27190 |        0 |        0
1135.86/1136.21	c 1136s |      25 |  6734029 |  6666298 |      508  27228 |        0 |        0
1137.86/1138.22	c 1138s |      25 |  6745346 |  6677498 |      508  27265 |        0 |        0
1139.85/1140.22	c 1140s |      25 |  6756232 |  6688298 |      508  27302 |        0 |        0
1141.85/1142.24	c 1142s |      25 |  6767131 |  6699098 |      508  27338 |        0 |        0
1143.85/1144.25	c 1144s |      25 |  6778203 |  6710098 |      508  27375 |        0 |        0
1145.86/1146.25	c 1146s |      25 |  6789092 |  6720898 |      508  27411 |        0 |        0
1147.85/1148.25	c 1148s |      25 |  6799867 |  6731598 |      508  27447 |        0 |        0
1149.84/1150.26	c 1150s |      25 |  6810678 |  6742298 |      508  27483 |        0 |        0
1151.84/1152.27	c 1152s |      25 |  6821718 |  6753198 |      508  27520 |        0 |        0
1153.84/1154.27	c 1154s |      25 |  6832390 |  6763798 |      508  27556 |        0 |        0
1155.85/1156.28	c 1156s |      25 |  6843008 |  6774298 |      508  27591 |        0 |        0
1157.84/1158.29	c 1158s |      25 |  6854138 |  6785298 |      508  27628 |        0 |        0
1159.84/1160.30	c 1160s |      25 |  6865428 |  6796498 |      508  27666 |        0 |        0
1161.94/1162.30	c 1162s |      25 |  6876517 |  6807498 |      508  27703 |        0 |        0
1163.94/1164.31	c 1164s |      25 |  6887699 |  6818598 |      508  27741 |        0 |        0
1165.94/1166.32	c 1166s |      25 |  6898798 |  6829598 |      508  27778 |        0 |        0
1167.95/1168.33	c 1168s |      25 |  6909684 |  6840398 |      508  27814 |        0 |        0
1169.93/1170.34	c 1170s |      25 |  6920774 |  6851398 |      508  27851 |        0 |        0
1171.93/1172.35	c 1172s |      25 |  6931666 |  6862198 |      508  27888 |        0 |        0
1173.93/1174.37	c 1174s |      25 |  6942678 |  6873098 |      508  27925 |        0 |        0
1175.93/1176.39	c 1176s |      25 |  6953763 |  6884098 |      508  27962 |        0 |        0
1177.93/1178.39	c 1178s |      25 |  6965274 |  6895498 |      508  28000 |        0 |        0
1179.94/1180.40	c 1180s |      25 |  6976552 |  6906698 |      508  28038 |        0 |        0
1182.03/1182.40	c 1182s |      25 |  6987333 |  6917398 |      508  28074 |        0 |        0
1184.03/1184.41	c 1184s |      25 |  6997925 |  6927898 |      508  28109 |        0 |        0
1186.03/1186.43	c 1186s |      25 |  7008483 |  6938398 |      508  28145 |        0 |        0
1188.03/1188.43	c 1188s |      25 |  7019165 |  6948998 |      508  28181 |        0 |        0
1190.02/1190.44	c 1190s |      25 |  7030174 |  6959898 |      508  28217 |        0 |        0
1192.03/1192.46	c 1192s |      25 |  7041177 |  6970798 |      508  28254 |        0 |        0
1194.02/1194.47	c 1194s |      25 |  7051771 |  6981298 |      508  28290 |        0 |        0
1196.02/1196.48	c 1196s |      25 |  7062470 |  6991898 |      508  28326 |        0 |        0
1198.02/1198.48	c 1198s |      25 |  7073302 |  7002598 |      508  28362 |        0 |        0
1200.01/1200.48	c 1200s |      25 |  7083989 |  7013198 |      508  28398 |        0 |        0
1202.11/1202.50	c 1202s |      25 |  7094660 |  7023798 |      508  28434 |        0 |        0
1204.12/1204.50	c 1204s |      25 |  7105051 |  7034098 |      508  28468 |        0 |        0
1206.11/1206.51	c 1206s |      25 |  7115509 |  7044498 |      508  28503 |        0 |        0
1208.12/1208.53	c 1208s |      25 |  7125989 |  7054898 |      508  28539 |        0 |        0
1210.11/1210.53	c 1210s |      25 |  7136721 |  7065498 |      508  28574 |        0 |        0
1212.11/1212.55	c 1212s |      25 |  7147211 |  7075898 |      508  28610 |        0 |        0
1214.12/1214.56	c 1214s |      25 |  7158314 |  7086898 |      508  28647 |        0 |        0
1216.11/1216.56	c 1216s |      25 |  7168893 |  7097398 |      508  28682 |        0 |        0
1218.11/1218.58	c 1218s |      25 |  7180003 |  7108398 |      508  28720 |        0 |        0
1220.10/1220.59	c 1220s |      25 |  7190368 |  7118698 |      508  28755 |        0 |        0
1222.20/1222.61	c 1222s |      25 |  7201163 |  7129398 |      508  28791 |        0 |        0
1224.20/1224.62	c 1224s |      25 |  7211618 |  7139798 |      508  28826 |        0 |        0
1226.21/1226.63	c 1226s |      25 |  7222121 |  7150198 |      508  28861 |        0 |        0
1228.20/1228.63	c 1228s |      25 |  7232383 |  7160398 |      508  28896 |        0 |        0
1230.20/1230.65	c 1230s |      25 |  7242773 |  7170698 |      508  28931 |        0 |        0
1232.20/1232.66	c 1232s |      25 |  7253488 |  7181298 |      508  28967 |        0 |        0
1234.19/1234.67	c 1234s |      25 |  7265799 |  7193498 |      508  29007 |        0 |        0
1236.20/1236.68	c 1236s |      25 |  7278122 |  7205698 |      508  29048 |        0 |        0
1238.21/1238.70	c 1238s |      25 |  7290250 |  7217698 |      508  29088 |        0 |        0
1240.29/1240.71	c 1240s |      25 |  7301919 |  7229198 |      508  29126 |        0 |        0
1242.30/1242.72	c 1242s |      25 |  7313431 |  7240598 |      508  29164 |        0 |        0
1244.30/1244.72	c 1244s |      25 |  7324632 |  7251698 |      508  29201 |        0 |        0
1246.29/1246.73	c 1246s |      25 |  7336057 |  7262998 |      508  29239 |        0 |        0
1248.29/1248.73	c 1248s |      25 |  7347908 |  7274698 |      508  29278 |        0 |        0
1250.30/1250.74	c 1250s |      25 |  7359567 |  7286198 |      508  29316 |        0 |        0
1252.29/1252.75	c 1252s |      25 |  7371079 |  7297598 |      508  29354 |        0 |        0
1254.29/1254.75	c 1254s |      25 |  7382485 |  7308898 |      508  29392 |        0 |        0
1256.29/1256.77	c 1256s |      25 |  7393874 |  7320098 |      508  29429 |        0 |        0
1258.28/1258.77	c 1258s |      25 |  7404937 |  7330998 |      508  29466 |        0 |        0
1260.29/1260.78	c 1260s |      25 |  7415929 |  7341798 |      508  29502 |        0 |        0
1262.28/1262.79	c 1262s |      25 |  7427446 |  7353098 |      508  29540 |        0 |        0
1264.28/1264.79	c 1264s |      25 |  7438973 |  7364398 |      508  29577 |        0 |        0
1266.28/1266.79	c 1266s |      25 |  7450422 |  7375598 |      508  29615 |        0 |        0
1268.28/1268.79	c 1268s |      25 |  7461618 |  7386598 |      508  29652 |        0 |        0
1270.38/1270.80	c 1270s |      25 |  7472468 |  7397298 |      508  29688 |        0 |        0
1272.39/1272.80	c 1272s |      25 |  7483427 |  7408098 |      508  29724 |        0 |        0
1274.38/1274.81	c 1274s |      25 |  7494545 |  7419098 |      508  29761 |        0 |        0
1276.38/1276.83	c 1276s |      25 |  7505492 |  7429898 |      508  29797 |        0 |        0
1278.38/1278.83	c 1278s |      25 |  7516658 |  7440898 |      508  29834 |        0 |        0
1280.37/1280.85	c 1280s |      25 |  7527542 |  7451598 |      508  29870 |        0 |        0
1282.37/1282.86	c 1282s |      25 |  7538585 |  7462498 |      508  29906 |        0 |        0
1284.38/1284.87	c 1284s |      25 |  7549904 |  7473698 |      508  29944 |        0 |        0
1286.37/1286.88	c 1286s |      25 |  7561130 |  7484798 |      508  29981 |        0 |        0
1288.47/1288.90	c 1288s |      25 |  7572368 |  7495898 |      508  30018 |        0 |        0
1290.46/1290.92	c 1290s |      25 |  7583183 |  7506598 |      508  30054 |        0 |        0
1292.46/1292.92	c 1292s |      25 |  7594430 |  7517698 |      508  30091 |        0 |        0
1294.46/1294.94	c 1294s |      25 |  7605664 |  7528798 |      508  30128 |        0 |        0
1296.47/1296.95	c 1296s |      25 |  7616611 |  7539598 |      508  30164 |        0 |        0
1298.47/1298.96	c 1298s |      25 |  7627298 |  7550198 |      559  30198 |        0 |        0
1300.46/1300.97	c 1300s |      25 |  7637926 |  7560698 |      559  30230 |        0 |        0
1302.46/1302.99	c 1302s |      25 |  7648818 |  7571498 |      559  30263 |        0 |        0
1304.56/1305.00	c 1304s |      25 |  7659638 |  7582198 |      559  30296 |        0 |        0
1306.56/1307.01	c 1306s |      25 |  7670056 |  7592498 |      559  30328 |        0 |        0
1307.46/1308.00	c 1307s |      26 |  7675358 |  7597752 |      559  30345 |        0 |        0
1309.55/1310.02	c 1310s |      26 |  7686853 |  7609052 |      559  30379 |        0 |        0
1311.55/1312.02	c 1312s |      26 |  7697928 |  7620052 |      559  30413 |        0 |        0
1313.55/1314.02	c 1314s |      26 |  7708919 |  7630952 |      559  30446 |        0 |        0
1315.55/1316.03	c 1316s |      26 |  7719633 |  7641552 |      559  30479 |        0 |        0
1317.55/1318.04	c 1318s |      26 |  7730198 |  7652052 |      559  30512 |        0 |        0
1319.55/1320.04	c 1320s |      26 |  7741054 |  7662852 |      559  30545 |        0 |        0
1321.54/1322.06	c 1322s |      26 |  7751432 |  7673152 |      559  30577 |        0 |        0
1323.55/1324.06	c 1324s |      26 |  7761862 |  7683452 |      559  30609 |        0 |        0
1325.54/1326.06	c 1326s |      26 |  7772884 |  7694352 |      559  30642 |        0 |        0
1327.54/1328.07	c 1328s |      26 |  7783426 |  7704752 |      559  30674 |        0 |        0
1329.55/1330.08	c 1330s |      26 |  7793694 |  7714852 |      559  30705 |        0 |        0
1331.54/1332.09	c 1332s |      26 |  7804559 |  7725652 |      559  30739 |        0 |        0
1333.54/1334.09	c 1334s |      26 |  7814838 |  7735852 |      559  30770 |        0 |        0
1335.64/1336.10	c 1336s |      26 |  7825413 |  7746352 |      559  30803 |        0 |        0
1337.64/1338.12	c 1338s |      26 |  7836242 |  7757052 |      559  30836 |        0 |        0
1339.63/1340.13	c 1340s |      26 |  7846431 |  7767152 |      559  30867 |        0 |        0
1341.64/1342.15	c 1342s |      26 |  7856849 |  7777452 |      559  30899 |        0 |        0
1343.63/1344.15	c 1344s |      26 |  7867311 |  7787752 |      559  30931 |        0 |        0
1345.63/1346.16	c 1346s |      26 |  7877718 |  7798052 |      559  30963 |        0 |        0
1347.63/1348.17	c 1348s |      26 |  7888373 |  7808552 |      559  30996 |        0 |        0
1349.62/1350.19	c 1350s |      26 |  7899199 |  7819252 |      559  31029 |        0 |        0
1351.72/1352.20	c 1352s |      26 |  7909871 |  7829752 |      559  31061 |        0 |        0
1353.73/1354.22	c 1354s |      26 |  7920179 |  7839952 |      559  31093 |        0 |        0
1355.72/1356.22	c 1356s |      26 |  7930663 |  7850352 |      559  31125 |        0 |        0
1357.72/1358.22	c 1358s |      26 |  7941072 |  7860652 |      559  31157 |        0 |        0
1359.72/1360.23	c 1360s |      26 |  7951620 |  7871052 |      559  31189 |        0 |        0
1361.72/1362.24	c 1362s |      26 |  7962166 |  7881452 |      559  31222 |        0 |        0
1363.72/1364.26	c 1364s |      26 |  7972866 |  7891952 |      559  31254 |        0 |        0
1365.73/1366.26	c 1366s |      26 |  7983163 |  7902152 |      559  31286 |        0 |        0
1367.72/1368.27	c 1368s |      26 |  7993474 |  7912352 |      559  31317 |        0 |        0
1369.72/1370.29	c 1370s |      26 |  8004256 |  7923052 |      559  31350 |        0 |        0
1371.82/1372.30	c 1372s |      26 |  8014524 |  7933252 |      559  31382 |        0 |        0
1373.82/1374.32	c 1374s |      26 |  8024909 |  7943552 |      559  31414 |        0 |        0
1375.82/1376.33	c 1376s |      26 |  8035064 |  7953652 |      559  31445 |        0 |        0
1377.82/1378.35	c 1378s |      26 |  8045426 |  7963952 |      559  31477 |        0 |        0
1379.81/1380.36	c 1380s |      26 |  8055502 |  7973952 |      559  31508 |        0 |        0
1381.81/1382.37	c 1382s |      26 |  8065668 |  7984052 |      559  31539 |        0 |        0
1383.80/1384.39	c 1384s |      26 |  8075649 |  7993952 |      559  31570 |        0 |        0
1385.91/1386.41	c 1386s |      26 |  8085837 |  8004052 |      559  31601 |        0 |        0
1387.91/1388.41	c 1388s |      26 |  8096149 |  8014252 |      559  31632 |        0 |        0
1389.91/1390.43	c 1390s |      26 |  8106099 |  8024052 |      559  31663 |        0 |        0
1391.90/1392.44	c 1392s |      26 |  8116118 |  8033952 |      559  31693 |        0 |        0
1393.90/1394.45	c 1394s |      26 |  8126124 |  8043852 |      559  31724 |        0 |        0
1395.90/1396.47	c 1396s |      26 |  8136710 |  8054352 |      559  31757 |        0 |        0
1397.90/1398.47	c 1398s |      26 |  8146683 |  8064252 |      559  31788 |        0 |        0
1399.91/1400.47	c 1400s |      26 |  8156959 |  8074452 |      559  31819 |        0 |        0
1401.90/1402.49	c 1402s |      26 |  8167037 |  8084452 |      559  31850 |        0 |        0
1404.01/1404.51	c 1404s |      26 |  8176802 |  8094152 |      559  31881 |        0 |        0
1406.00/1406.52	c 1406s |      26 |  8187208 |  8104452 |      559  31912 |        0 |        0
1408.00/1408.53	c 1408s |      26 |  8197867 |  8115052 |      559  31945 |        0 |        0
1410.00/1410.54	c 1410s |      26 |  8208344 |  8125452 |      559  31977 |        0 |        0
1412.00/1412.55	c 1412s |      26 |  8218814 |  8135852 |      559  32009 |        0 |        0
1414.00/1414.56	c 1414s |      26 |  8229397 |  8146352 |      559  32042 |        0 |        0
1416.00/1416.57	c 1416s |      26 |  8239705 |  8156552 |      559  32074 |        0 |        0
1418.00/1418.57	c 1418s |      26 |  8249893 |  8166652 |      559  32105 |        0 |        0
1420.00/1420.57	c 1420s |      26 |  8260263 |  8176952 |      559  32137 |        0 |        0
1422.00/1422.57	c 1422s |      26 |  8270615 |  8187252 |      559  32169 |        0 |        0
1424.01/1424.59	c 1424s |      26 |  8280967 |  8197552 |      559  32201 |        0 |        0
1426.00/1426.59	c 1426s |      26 |  8291355 |  8207852 |      559  32233 |        0 |        0
1428.10/1428.60	c 1428s |      26 |  8301850 |  8218252 |      559  32265 |        0 |        0
1430.10/1430.60	c 1430s |      26 |  8312239 |  8228552 |      559  32297 |        0 |        0
1432.10/1432.62	c 1432s |      26 |  8322507 |  8238752 |      559  32328 |        0 |        0
1434.09/1434.63	c 1434s |      26 |  8332820 |  8248952 |      559  32360 |        0 |        0
1436.10/1436.65	c 1436s |      26 |  8344119 |  8260052 |      559  32394 |        0 |        0
1438.09/1438.66	c 1438s |      26 |  8354929 |  8270652 |      559  32427 |        0 |        0
1440.10/1440.68	c 1440s |      26 |  8365738 |  8281352 |      559  32460 |        0 |        0
1442.20/1442.70	c 1442s |      26 |  8376581 |  8292052 |      559  32494 |        0 |        0
1444.20/1444.71	c 1444s |      26 |  8387097 |  8302452 |      559  32526 |        0 |        0
1446.20/1446.72	c 1446s |      26 |  8397432 |  8312652 |      559  32558 |        0 |        0
1448.21/1448.73	c 1448s |      26 |  8407679 |  8322752 |      559  32589 |        0 |        0
1450.20/1450.73	c 1450s |      26 |  8418001 |  8332952 |      559  32621 |        0 |        0
1452.20/1452.74	c 1452s |      26 |  8428242 |  8343052 |      559  32652 |        0 |        0
1454.20/1454.74	c 1454s |      26 |  8438620 |  8353352 |      559  32684 |        0 |        0
1456.20/1456.75	c 1456s |      26 |  8448813 |  8363452 |      559  32715 |        0 |        0
1458.20/1458.76	c 1458s |      26 |  8458688 |  8373252 |      559  32746 |        0 |        0
1460.19/1460.77	c 1460s |      26 |  8468708 |  8383152 |      559  32777 |        0 |        0
1462.19/1462.79	c 1462s |      26 |  8478678 |  8393052 |      559  32807 |        0 |        0
1464.29/1464.80	c 1464s |      26 |  8488564 |  8402852 |      559  32838 |        0 |        0
1466.29/1466.80	c 1466s |      26 |  8498771 |  8412952 |      559  32869 |        0 |        0
1468.29/1468.81	c 1468s |      26 |  8509381 |  8423452 |      559  32902 |        0 |        0
1470.30/1470.82	c 1470s |      26 |  8519574 |  8433552 |      559  32933 |        0 |        0
1472.29/1472.83	c 1472s |      26 |  8530089 |  8443952 |      559  32965 |        0 |        0
1474.29/1474.83	c 1474s |      26 |  8540407 |  8454152 |      559  32997 |        0 |        0
1476.29/1476.84	c 1476s |      26 |  8551506 |  8465052 |      559  33030 |        0 |        0
1478.29/1478.85	c 1478s |      26 |  8562300 |  8475752 |      559  33063 |        0 |        0
1480.29/1480.86	c 1480s |      26 |  8572916 |  8486252 |      559  33096 |        0 |        0
1482.30/1482.87	c 1482s |      26 |  8583625 |  8496852 |      559  33129 |        0 |        0
1484.29/1484.88	c 1484s |      26 |  8594087 |  8507252 |      559  33161 |        0 |        0
1486.29/1486.89	c 1486s |      26 |  8604254 |  8517352 |      559  33192 |        0 |        0
1488.38/1488.90	c 1488s |      26 |  8614630 |  8527652 |      559  33224 |        0 |        0
1490.38/1490.92	c 1490s |      26 |  8624620 |  8537552 |      559  33255 |        0 |        0
1492.39/1492.93	c 1492s |      26 |  8634845 |  8547652 |      559  33286 |        0 |        0
1494.40/1494.93	c 1494s |      26 |  8645024 |  8557752 |      559  33317 |        0 |        0
1496.39/1496.95	c 1496s |      26 |  8655186 |  8567852 |      559  33349 |        0 |        0
1498.39/1498.97	c 1498s |      26 |  8665276 |  8577852 |      559  33380 |        0 |        0
1500.39/1500.97	c 1500s |      26 |  8675375 |  8587852 |      559  33411 |        0 |        0
1502.38/1502.98	c 1502s |      26 |  8685539 |  8597952 |      559  33442 |        0 |        0
1504.39/1504.99	c 1504s |      26 |  8695927 |  8608252 |      559  33474 |        0 |        0
1506.38/1506.99	c 1506s |      26 |  8706033 |  8618252 |      559  33505 |        0 |        0
1508.49/1509.00	c 1508s |      26 |  8716228 |  8628352 |      559  33536 |        0 |        0
1510.49/1511.01	c 1511s |      26 |  8726435 |  8638452 |      559  33567 |        0 |        0
1512.48/1513.01	c 1513s |      26 |  8736714 |  8648652 |      559  33599 |        0 |        0
1514.49/1515.03	c 1515s |      26 |  8746692 |  8658552 |      559  33630 |        0 |        0
1516.49/1517.04	c 1517s |      26 |  8756891 |  8668652 |      559  33661 |        0 |        0
1518.48/1519.04	c 1519s |      26 |  8767087 |  8678752 |      559  33693 |        0 |        0
1520.48/1521.05	c 1521s |      26 |  8777067 |  8688652 |      559  33724 |        0 |        0
1522.48/1523.05	c 1523s |      26 |  8787583 |  8699052 |      559  33756 |        0 |        0
1524.48/1525.07	c 1525s |      26 |  8798533 |  8709852 |      559  33789 |        0 |        0
1526.49/1527.09	c 1527s |      26 |  8808616 |  8719852 |      559  33820 |        0 |        0
1528.49/1529.09	c 1529s |      26 |  8818692 |  8729852 |      559  33851 |        0 |        0
1530.58/1531.11	c 1531s |      26 |  8828790 |  8739852 |      559  33883 |        0 |        0
1532.59/1533.11	c 1533s |      26 |  8838913 |  8749852 |      559  33914 |        0 |        0
1534.58/1535.12	c 1535s |      26 |  8849083 |  8759952 |      559  33945 |        0 |        0
1536.58/1537.13	c 1537s |      26 |  8859107 |  8769852 |      559  33976 |        0 |        0
1538.58/1539.14	c 1539s |      26 |  8868833 |  8779452 |      559  34006 |        0 |        0
1540.59/1541.14	c 1541s |      26 |  8878703 |  8789252 |      559  34036 |        0 |        0
1542.58/1543.15	c 1543s |      26 |  8888734 |  8799152 |      559  34067 |        0 |        0
1544.58/1545.16	c 1545s |      26 |  8898917 |  8809152 |      559  34098 |        0 |        0
1546.58/1547.16	c 1547s |      26 |  8909137 |  8819252 |      559  34130 |        0 |        0
1548.58/1549.18	c 1549s |      26 |  8918669 |  8828652 |      559  34159 |        0 |        0
1550.58/1551.18	c 1551s |      26 |  8928441 |  8838252 |      559  34189 |        0 |        0
1552.58/1553.19	c 1553s |      26 |  8938926 |  8848552 |      559  34221 |        0 |        0
1554.58/1555.19	c 1555s |      26 |  8949377 |  8858852 |      559  34252 |        0 |        0
1556.68/1557.20	c 1557s |      26 |  8959823 |  8869152 |      559  34284 |        0 |        0
1558.68/1559.22	c 1559s |      26 |  8970358 |  8879552 |      559  34316 |        0 |        0
1560.68/1561.22	c 1561s |      26 |  8980709 |  8889752 |      559  34348 |        0 |        0
1562.69/1563.24	c 1563s |      26 |  8991110 |  8899952 |      559  34380 |        0 |        0
1564.68/1565.25	c 1565s |      26 |  9001906 |  8910552 |      559  34412 |        0 |        0
1566.68/1567.26	c 1567s |      26 |  9012638 |  8921152 |      559  34445 |        0 |        0
1568.68/1569.27	c 1569s |      26 |  9023265 |  8931652 |      559  34478 |        0 |        0
1570.67/1571.27	c 1571s |      26 |  9034105 |  8942352 |      559  34511 |        0 |        0
1572.67/1573.28	c 1573s |      26 |  9044884 |  8952952 |      559  34544 |        0 |        0
1574.68/1575.30	c 1575s |      26 |  9055943 |  8963852 |      559  34578 |        0 |        0
1576.77/1577.31	c 1577s |      26 |  9066483 |  8974252 |      559  34610 |        0 |        0
1578.77/1579.31	c 1579s |      26 |  9076894 |  8984552 |      559  34642 |        0 |        0
1580.77/1581.33	c 1581s |      26 |  9087027 |  8994552 |      559  34673 |        0 |        0
1582.77/1583.33	c 1583s |      26 |  9096951 |  9004352 |      559  34703 |        0 |        0
1584.77/1585.33	c 1585s |      26 |  9106977 |  9014252 |      559  34734 |        0 |        0
1586.78/1587.35	c 1587s |      26 |  9116968 |  9024152 |      559  34765 |        0 |        0
1588.78/1589.36	c 1589s |      26 |  9127589 |  9034552 |      559  34797 |        0 |        0
1590.78/1591.38	c 1591s |      26 |  9137731 |  9044552 |      559  34828 |        0 |        0
1592.77/1593.39	c 1593s |      26 |  9147737 |  9054452 |      559  34859 |        0 |        0
1594.87/1595.40	c 1595s |      26 |  9158689 |  9065252 |      559  34892 |        0 |        0
1596.87/1597.42	c 1597s |      26 |  9169362 |  9075752 |      559  34925 |        0 |        0
1598.88/1599.43	c 1599s |      26 |  9179365 |  9085652 |      559  34955 |        0 |        0
1600.88/1601.44	c 1601s |      26 |  9189614 |  9095752 |      559  34987 |        0 |        0
1602.87/1603.44	c 1603s |      26 |  9199911 |  9105952 |      559  35018 |        0 |        0
1604.87/1605.46	c 1605s |      26 |  9210158 |  9116052 |      559  35050 |        0 |        0
1606.87/1607.46	c 1607s |      26 |  9220276 |  9126052 |      559  35081 |        0 |        0
1608.88/1609.46	c 1609s |      26 |  9230416 |  9136052 |      559  35112 |        0 |        0
1610.87/1611.47	c 1611s |      26 |  9241142 |  9146552 |      559  35145 |        0 |        0
1612.87/1613.48	c 1613s |      26 |  9251466 |  9156752 |      559  35176 |        0 |        0
1614.87/1615.49	c 1615s |      26 |  9261900 |  9167052 |      559  35208 |        0 |        0
1616.97/1617.50	c 1617s |      26 |  9271838 |  9176852 |      559  35239 |        0 |        0
1618.97/1619.51	c 1619s |      26 |  9282163 |  9187052 |      559  35271 |        0 |        0
1620.98/1621.53	c 1621s |      26 |  9292317 |  9197052 |      559  35302 |        0 |        0
1622.96/1623.54	c 1623s |      26 |  9302528 |  9207152 |      559  35333 |        0 |        0
1624.97/1625.56	c 1625s |      26 |  9312870 |  9217352 |      559  35365 |        0 |        0
1626.97/1627.57	c 1627s |      26 |  9323137 |  9227552 |      559  35397 |        0 |        0
1628.97/1629.58	c 1629s |      26 |  9333242 |  9237552 |      559  35428 |        0 |        0
1630.97/1631.59	c 1631s |      26 |  9343242 |  9247452 |      559  35459 |        0 |        0
1633.07/1633.60	c 1633s |      26 |  9353366 |  9257452 |      559  35490 |        0 |        0
1635.07/1635.61	c 1635s |      26 |  9363498 |  9267452 |      559  35521 |        0 |        0
1637.07/1637.61	c 1637s |      26 |  9373821 |  9277652 |      559  35552 |        0 |        0
1639.06/1639.63	c 1639s |      26 |  9383891 |  9287652 |      559  35584 |        0 |        0
1641.06/1641.63	c 1641s |      26 |  9394199 |  9297852 |      559  35615 |        0 |        0
1643.06/1643.64	c 1643s |      26 |  9404862 |  9308352 |      559  35648 |        0 |        0
1645.07/1645.66	c 1645s |      26 |  9415073 |  9318452 |      559  35679 |        0 |        0
1647.07/1647.67	c 1647s |      26 |  9425147 |  9328452 |      559  35711 |        0 |        0
1649.07/1649.69	c 1649s |      26 |  9435102 |  9338352 |      559  35742 |        0 |        0
1651.17/1651.70	c 1651s |      26 |  9445145 |  9348252 |      559  35772 |        0 |        0
1653.17/1653.72	c 1653s |      26 |  9455064 |  9358052 |      559  35803 |        0 |        0
1655.16/1655.72	c 1655s |      26 |  9464963 |  9367852 |      559  35833 |        0 |        0
1657.17/1657.73	c 1657s |      26 |  9474510 |  9377252 |      559  35863 |        0 |        0
1659.16/1659.73	c 1659s |      26 |  9484380 |  9386952 |      559  35893 |        0 |        0
1661.16/1661.76	c 1661s |      26 |  9494148 |  9396552 |      559  35923 |        0 |        0
1663.16/1663.77	c 1663s |      26 |  9503806 |  9406052 |      559  35952 |        0 |        0
1665.16/1665.77	c 1665s |      26 |  9513229 |  9415352 |      559  35981 |        0 |        0
1667.17/1667.79	c 1667s |      26 |  9522819 |  9424852 |      559  36011 |        0 |        0
1669.16/1669.79	c 1669s |      26 |  9532698 |  9434652 |      559  36042 |        0 |        0
1671.26/1671.80	c 1671s |      26 |  9542661 |  9444552 |      559  36072 |        0 |        0
1673.26/1673.82	c 1673s |      26 |  9552887 |  9454652 |      559  36104 |        0 |        0
1675.26/1675.83	c 1675s |      26 |  9562897 |  9464552 |      559  36135 |        0 |        0
1677.26/1677.83	c 1677s |      26 |  9572757 |  9474252 |      559  36165 |        0 |        0
1679.26/1679.83	c 1679s |      26 |  9582707 |  9484052 |      559  36196 |        0 |        0
1681.26/1681.85	c 1681s |      26 |  9593079 |  9494352 |      559  36228 |        0 |        0
1683.26/1683.87	c 1683s |      26 |  9603286 |  9504452 |      559  36259 |        0 |        0
1685.26/1685.88	c 1685s |      26 |  9613114 |  9514152 |      559  36290 |        0 |        0
1687.25/1687.89	c 1687s |      26 |  9622763 |  9523652 |      559  36319 |        0 |        0
1689.35/1689.91	c 1689s |      26 |  9632618 |  9533352 |      559  36350 |        0 |        0
1691.36/1691.92	c 1691s |      26 |  9642142 |  9542752 |      559  36379 |        0 |        0
1693.36/1693.94	c 1693s |      26 |  9651669 |  9552152 |      559  36409 |        0 |        0
1695.35/1695.94	c 1695s |      26 |  9662313 |  9562552 |      559  36441 |        0 |        0
1697.36/1697.95	c 1697s |      26 |  9673840 |  9573852 |      559  36475 |        0 |        0
1699.35/1699.96	c 1699s |      26 |  9684506 |  9584452 |      559  36508 |        0 |        0
1701.36/1701.98	c 1701s |      26 |  9695287 |  9595152 |      559  36541 |        0 |        0
1703.36/1703.99	c 1703s |      26 |  9706041 |  9605852 |      559  36574 |        0 |        0
1705.45/1706.00	c 1705s |      26 |  9716404 |  9616152 |      559  36605 |        0 |        0
1707.46/1708.01	c 1707s |      26 |  9726815 |  9626452 |      559  36637 |        0 |        0
1709.45/1710.03	c 1710s |      26 |  9736783 |  9636352 |      559  36667 |        0 |        0
1711.46/1712.04	c 1712s |      26 |  9747471 |  9646952 |      559  36700 |        0 |        0
1713.45/1714.04	c 1714s |      26 |  9758062 |  9657452 |      559  36732 |        0 |        0
1715.46/1716.05	c 1716s |      26 |  9768943 |  9668252 |      559  36765 |        0 |        0
1717.45/1718.07	c 1718s |      26 |  9779935 |  9679152 |      559  36799 |        0 |        0
1719.46/1720.07	c 1720s |      26 |  9791025 |  9690152 |      559  36833 |        0 |        0
1721.46/1722.07	c 1722s |      26 |  9801910 |  9700952 |      559  36866 |        0 |        0
1723.46/1724.09	c 1724s |      26 |  9812702 |  9711652 |      559  36899 |        0 |        0
1725.46/1726.09	c 1726s |      26 |  9823580 |  9722452 |      559  36932 |        0 |        0
1727.45/1728.10	c 1728s |      26 |  9834662 |  9733452 |      559  36966 |        0 |        0
1729.55/1730.10	c 1730s |      26 |  9845757 |  9744452 |      559  37000 |        0 |        0
1731.55/1732.11	c 1732s |      26 |  9856544 |  9755152 |      559  37033 |        0 |        0
1733.55/1734.12	c 1734s |      26 |  9867107 |  9765652 |      559  37065 |        0 |        0
1735.55/1736.12	c 1736s |      26 |  9878053 |  9776452 |      559  37099 |        0 |        0
1737.55/1738.14	c 1738s |      26 |  9888840 |  9787152 |      559  37132 |        0 |        0
1739.55/1740.16	c 1740s |      26 |  9899728 |  9797952 |      559  37165 |        0 |        0
1741.55/1742.16	c 1742s |      26 |  9910321 |  9808452 |      559  37197 |        0 |        0
1743.55/1744.18	c 1744s |      26 |  9921213 |  9819252 |      559  37231 |        0 |        0
1745.54/1746.20	c 1746s |      26 |  9931818 |  9829752 |      559  37263 |        0 |        0
1747.65/1748.21	c 1748s |      26 |  9942414 |  9840252 |      559  37296 |        0 |        0
1749.66/1750.23	c 1750s |      26 |  9953224 |  9850952 |      559  37329 |        0 |        0
1751.65/1752.24	c 1752s |      26 |  9964152 |  9861752 |      559  37362 |        0 |        0
1753.65/1754.25	c 1754s |      26 |  9974830 |  9872352 |      559  37395 |        0 |        0
1755.65/1756.26	c 1756s |      26 |  9985868 |  9883252 |      559  37428 |        0 |        0
1757.64/1758.28	c 1758s |      26 |  9996451 |  9893752 |      559  37461 |        0 |        0
1759.65/1760.28	c 1760s |      26 | 10007237 |  9904452 |      559  37494 |        0 |        0
1761.65/1762.30	c 1762s |      26 | 10018318 |  9915352 |      559  37527 |        0 |        0
1763.74/1764.30	c 1764s |      26 | 10029026 |  9925952 |      559  37560 |        0 |        0
1765.75/1766.31	c 1766s |      26 | 10039931 |  9936752 |      559  37594 |        0 |        0
1767.75/1768.31	c 1768s |      26 | 10050347 |  9947052 |      559  37625 |        0 |        0
1769.74/1770.33	c 1770s |      26 | 10060819 |  9957452 |      559  37657 |        0 |        0
1771.74/1772.34	c 1772s |      26 | 10071324 |  9967852 |      559  37690 |        0 |        0
1773.76/1774.35	c 1774s |      26 | 10081755 |  9978152 |      559  37721 |        0 |        0
1775.74/1776.36	c 1776s |      26 | 10092487 |  9988752 |      559  37754 |        0 |        0
1777.74/1778.39	c 1778s |      26 | 10102795 |  9998952 |      559  37786 |        0 |        0
1779.85/1780.40	c 1780s |      26 | 10113183 | 10009252 |      559  37818 |        0 |        0
1781.85/1782.42	c 1782s |      26 | 10123810 | 10019752 |      559  37850 |        0 |        0
1783.84/1784.42	c 1784s |      26 | 10133998 | 10029852 |      559  37881 |        0 |        0
1785.85/1786.44	c 1786s |      26 | 10144072 | 10039852 |      559  37913 |        0 |        0
1787.84/1788.45	c 1788s |      26 | 10154189 | 10049852 |      559  37944 |        0 |        0
1789.84/1790.46	c 1790s |      26 | 10165358 | 10060952 |      559  37978 |        0 |        0
1791.84/1792.47	c 1792s |      26 | 10176214 | 10071752 |      559  38011 |        0 |        0
1793.84/1794.48	c 1794s |      26 | 10187146 | 10082552 |      559  38044 |        0 |        0
1795.85/1796.49	c 1796s |      26 | 10197893 | 10093152 |      559  38077 |        0 |        0
1797.95/1798.50	c 1798s |      26 | 10208868 | 10104052 |      559  38110 |        0 |        0
1799.94/1800.52	c 1800s |      26 | 10219339 | 10114452 |      559  38142 |        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-4079747-1465245554/watcher-4079747-1465245554 -o /tmp/evaluation-result-4079747-1465245554/solver-4079747-1465245554 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079747-1465245554.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.16 2.10 2.03 3/179 11826
/proc/meminfo: memFree=30569228/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=698812 CPUtime=0 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 2605 0 0 0 0 0 0 0 20 0 4 0 106488876 715583488 2965 33554432000 4194304 16246674 140733385750176 140733385749600 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 175215 2973 441 2943 0 172109 0
[pid=11826/tid=11827] ppid=11823 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 733409280 3034 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=721340 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 738652160 3052 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=725436 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488876 742846464 3068 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.16 2.10 2.03 3/179 11826
/proc/meminfo: memFree=30569228/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 22641 0 0 0 6 3 0 0 20 0 4 0 106488876 1247350784 22989 33554432000 4194304 16246674 140733385750176 140733385749600 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 304529 23004 770 2943 0 301423 0
[pid=11826/tid=11827] ppid=11823 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1247350784 23009 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1247350784 23011 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488876 1247350784 23014 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200534 s]
/proc/loadavg: 2.16 2.10 2.03 3/179 11826
/proc/meminfo: memFree=30569228/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 43769 0 0 0 13 6 0 0 20 0 4 0 106488876 1247350784 44117 33554432000 4194304 16246674 140733385750176 140733385749600 5531957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 304529 44134 770 2943 0 301423 0
[pid=11826/tid=11827] ppid=11823 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1247350784 44144 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1247350784 44154 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488876 1247350784 44163 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300479 s]
/proc/loadavg: 2.16 2.10 2.03 3/179 11826
/proc/meminfo: memFree=30569228/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 63962 0 0 0 20 9 0 0 20 0 4 0 106488876 1247350784 64310 33554432000 4194304 16246674 140733385750176 140733385749600 5723366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 304529 64323 770 2943 0 301423 0
[pid=11826/tid=11827] ppid=11823 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1247350784 64329 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1247350784 64331 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488876 1247350784 64334 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700413 s]
/proc/loadavg: 2.16 2.10 2.03 3/179 11826
/proc/meminfo: memFree=30569228/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 149867 0 0 0 49 19 0 0 20 0 4 0 106488876 1247350784 150215 33554432000 4194304 16246674 140733385750176 140733385749600 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 304529 150227 770 2943 0 301423 0
[pid=11826/tid=11827] ppid=11823 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1247350784 150235 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1247350784 150240 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488876 1247350784 150245 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.16 2.10 2.03 3/183 11830
/proc/meminfo: memFree=29632800/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 245640 0 0 0 118 31 0 0 20 0 4 0 106488876 1248399360 245965 33554432000 4194304 16246674 140733385750176 140733385749488 5754801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 304785 245965 833 2943 0 301679 0
[pid=11826/tid=11827] ppid=11823 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1248399360 245965 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1248399360 245965 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488876 1248399360 245965 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10044 s]
/proc/loadavg: 2.16 2.10 2.03 3/183 11830
/proc/meminfo: memFree=29499128/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 267463 0 0 0 275 34 0 0 20 0 4 0 106488876 1337528320 267788 33554432000 4194304 16246674 140733385750176 140733385732096 5828757 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 326545 267788 833 2943 0 323439 0
[pid=11826/tid=11827] ppid=11823 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1337528320 267788 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1337528320 267788 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488876 1337528320 267788 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.15 2.10 2.03 3/183 11830
/proc/meminfo: memFree=29498392/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 267489 0 0 0 595 34 0 0 20 0 4 0 106488876 1337528320 267814 33554432000 4194304 16246674 140733385750176 140733385733176 12415785 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 326545 267814 833 2943 0 323439 0
[pid=11826/tid=11827] ppid=11823 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1337528320 267814 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1337528320 267814 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488876 1337528320 267814 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.14 2.10 2.03 3/183 11830
/proc/meminfo: memFree=29498556/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 267551 0 0 0 1235 34 0 0 20 0 4 0 106488876 1337528320 267876 33554432000 4194304 16246674 140733385750176 140733385732096 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 326545 267876 833 2943 0 323439 0
[pid=11826/tid=11827] ppid=11823 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1337528320 267876 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1337528320 267876 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488876 1337528320 267876 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.10 2.09 2.03 3/183 11830
/proc/meminfo: memFree=29499240/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 267552 0 0 0 2514 34 0 0 20 0 4 0 106488876 1337528320 267877 33554432000 4194304 16246674 140733385750176 140733385732096 5516342 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 326545 267877 833 2943 0 323439 0
[pid=11826/tid=11827] ppid=11823 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1337528320 267877 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1337528320 267877 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488876 1337528320 267877 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.07 2.08 2.03 3/184 11833
/proc/meminfo: memFree=29498588/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 267573 0 0 0 5072 36 0 0 20 0 4 0 106488876 1337528320 267898 33554432000 4194304 16246674 140733385750176 140733385732096 5712600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 326545 267898 836 2943 0 323439 0
[pid=11826/tid=11827] ppid=11823 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1337528320 267898 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1337528320 267898 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488876 1337528320 267898 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.10 2.08 2.03 3/184 11834
/proc/meminfo: memFree=29498840/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 267595 0 0 0 10190 38 0 0 20 0 4 0 106488876 1337528320 267920 33554432000 4194304 16246674 140733385750176 140733385733176 13759557 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 326545 267920 836 2943 0 323439 0
[pid=11826/tid=11827] ppid=11823 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1337528320 267920 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1337528320 267920 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488876 1337528320 267920 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268089 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 11963
/proc/meminfo: memFree=29431992/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1307204 CPUtime=1301.86 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 268150 0 0 0 130077 109 0 0 20 0 4 0 106488876 1338576896 268089 33554432000 4194304 16246674 140733385750176 140733385732096 12477709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 326801 268089 837 2943 0 323695 0
[pid=11826/tid=11827] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268089 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268089 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268089 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.05 2.03 2.00 3/184 11988
/proc/meminfo: memFree=29412440/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1307204 CPUtime=1361.82 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 268193 0 0 0 136068 114 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140733385732096 12415796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 326801 268090 838 2943 0 323695 0
[pid=11826/tid=11827] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 11989
/proc/meminfo: memFree=29412860/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1307204 CPUtime=1421.81 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 268213 0 0 0 142060 121 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140733385732096 5546200 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 326801 268090 838 2943 0 323695 0
[pid=11826/tid=11827] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 11990
/proc/meminfo: memFree=29396516/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1307204 CPUtime=1481.79 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 268213 0 0 0 148056 123 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140733385732096 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 326801 268090 838 2943 0 323695 0
[pid=11826/tid=11827] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 11991
/proc/meminfo: memFree=29396296/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1307204 CPUtime=1541.79 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 268213 0 0 0 154046 133 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140733385733176 6021268 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 326801 268090 838 2943 0 323695 0
[pid=11826/tid=11827] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 11992
/proc/meminfo: memFree=29396080/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1307204 CPUtime=1601.77 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 268213 0 0 0 160041 136 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140733385732096 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 326801 268090 838 2943 0 323695 0
[pid=11826/tid=11827] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/182 11993
/proc/meminfo: memFree=29395988/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1307204 CPUtime=1661.76 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 268213 0 0 0 166034 142 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140733385732096 5589389 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 326801 268090 838 2943 0 323695 0
[pid=11826/tid=11827] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 11995
/proc/meminfo: memFree=29335372/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1307204 CPUtime=1721.76 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 268213 0 0 0 172026 150 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140733385732096 5545840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 326801 268090 838 2943 0 323695 0
[pid=11826/tid=11827] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 11996
/proc/meminfo: memFree=29335148/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1307204 CPUtime=1781.75 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 268213 0 0 0 178019 156 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140733385732096 13193344 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 326801 268090 838 2943 0 323695 0
[pid=11826/tid=11827] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 11996
/proc/meminfo: memFree=29335260/32872528 swapFree=11196/354588
[pid=11826] ppid=11823 vsize=1307204 CPUtime=1800.04 cores=1,3,5,7
/proc/11826/stat : 11826 (toysat) R 11823 11826 8429 0 -1 4202496 268213 0 0 0 179845 159 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140733385732096 13963975 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11826/statm: 326801 268090 838 2943 0 323695 0
[pid=11826/tid=11827] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11827/stat : 11827 (toysat) S 11823 11826 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547758992624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11826/tid=11828] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11828/stat : 11828 (toysat) S 11823 11826 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547748502768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11826/tid=11829] ppid=11823 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11826/task/11829/stat : 11829 (toysat) S 11823 11826 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106488876 1338576896 268090 33554432000 4194304 16246674 140733385750176 140547738029232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 11826 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.06
CPU user time (s): 1798.46
CPU system time (s): 1.59076
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.46
system time used= 1.59076
maximum resident set size= 1072360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268213
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= 466
involuntary context switches= 1867

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.78727 second user time and 6.77197 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-06 22:39:14
IDJOB=4079747
IDBENCH=2926
IDSOLVER=2542
FILE ID=node126/4079747-1465245554
RUNJOBID= node126-1465218023-8446
PBS_JOBID= 19843210
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_2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079747-1465245554/watcher-4079747-1465245554 -o /tmp/evaluation-result-4079747-1465245554/solver-4079747-1465245554 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079747-1465245554.opb

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

MD5SUM BENCH= c0264878059fff5e6fa5f51839a60b24
RANDOM SEED=2091501875

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.500
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.500
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:        30569368 kB
Buffers:           47536 kB
Cached:           126304 kB
SwapCached:         2248 kB
Active:          1153816 kB
Inactive:          94148 kB
Active(anon):    1074340 kB
Inactive(anon):     2384 kB
Active(file):      79476 kB
Inactive(file):    91764 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098544 kB
Dirty:             16568 kB
Writeback:             0 kB
AnonPages:       1427856 kB
Mapped:            10540 kB
Shmem:                 0 kB
Slab:             567920 kB
SReclaimable:      11880 kB
SUnreclaim:       556040 kB
KernelStack:        1480 kB
PageTables:         6996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1572824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1411072 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= 71704 MiB
End job on node126 at 2016-06-06 23:09:15