Trace number 4079752

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
MD5SUM8d16c34d0eecf3c16ca4b890652c15ca
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark1800.72
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
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 constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
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 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4321
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:26:40+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-4079752-1465244800.opb"]
0.00/0.01	c use --random-gen="461582574 669425188 2401160580 843711953 630821959 241483888 4081083739 782706985 2587084607 2450456522 1739497026 2969626070 1665603026 4167449084 2638050758 2549250279 2347469581 1955114156 724818847 190090142 446896709 18761020 3093379107 592664632 3211628219 177757044 1909524373 309535422 1731433668 451879545 3481238567 1426634681 3103197827 2798322294 392846600 4059058745 3938457425 2269776418 2204794455 1483284638 3248536727 978400086 648937919 1155823197 2186473736 447054898 1713456667 1699633388 1123268443 2858931758 2984183347 2608368621 1207218573 2139483182 2599949908 2837056340 1240784477 841664255 2755428138 2070563247 1385211772 652718829 2861279633 2524564267 535885878 483899746 3127956150 3109295303 407052542 1497284639 2620341392 1367537035 1231890541 480389825 1641452902 3735755456 3496134541 3359739268 4228448371 337174435 2588121936 144755065 790382545 440881416 3634172168 4075427805 2157022320 280299867 2497804922 3617962659 1737123429 4225511977 3175427300 483051083 695867777 2233255735 3571071323 1916506221 1695908719 2103748926 4062512363 711090279 763489475 3469850420 3711119685 3138590753 742970027 3458307988 3729544182 345706757 1097851381 3439785793 2274809162 1519807582 1899398266 1018500323 3617227486 2963604099 3033439040 24125780 2913552470 1186292908 2803563406 1635975449 1020374577 459410681 83274735 292781196 1310768822 3393618176 326757834 1614475286 2765555012 4106414857 1254429439 445238358 1924137560 286256566 4128171485 2412648850 4043438143 4064948961 3923745748 1416162857 4256138302 4263895379 3498344389 2056959661 4019986379 2530026530 2061985081 2592912688 2868634856 3627973715 184385555 3258579066 2866122366 3041227522 2183224865 62162096 3522042733 2800237287 856624735 1810578123 2244384429 4212651632 2442880616 4213997002 1910316097 602849406 2166795469 1462271309 3755267303 1480774258 989513700 2658157097 4116608386 1372767019 769555557 4072131481 2900286607 351820270 3428308422 2207511334 2755826548 3453190378 3252113475 863339938 707300200 632559183 3986898557 4235356261 3922930928 1800279142 1543809160 1850366644 2804020733 3850564494 3271740938 99695224 3231190819 3402754041 3135121756 277643337 3001367889 1864520644 3490431387 2842500147 2442516731 2822579415 2327813737 3248859552 168218290 3814462054 178074956 3458875951 3644476971 311017282 557743818 3646591580 1927018776 3294467943 1290447430 3779456911 1511146233 3267325026 33857193 3005202870 1822834423 3717201087 1633334437 2058414545 241985640 1178575441 978418469 359523109 3012639672 486935969 1276341019 3648047411 147620366 754840955 3828516397 649374528 2032817369 2481082309 3776494999 3275889923 2979296419 4219501925 3994689534 2903824234 2005491523 3282757867 2259696031 2037184286 255 362436" option to reproduce the execution
0.00/0.01	c #vars 146
0.00/0.01	c #constraints 12
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 |       52      0 |        0 |        0
0.00/0.01	c  0.0s |       0 |       66 |        0 |       52      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 = 66
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 1940
0.00/0.01	c BCD2: updating upper bound: 3060 -> 1939
0.00/0.01	c BCD2: 0 <= obj <= 1939
0.00/0.01	c BCD2: #cores=0, #unrelaxed=96, #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 |       52      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      228 |      100 |       52      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      503 |      250 |       58      2 |        0 |        0
0.09/0.14	c  0.1s |       3 |      852 |      475 |       64      4 |        0 |        0
0.19/0.24	c  0.2s |       4 |     1316 |      813 |       71      8 |        0 |        0
0.29/0.39	c  0.4s |       5 |     1947 |     1320 |       79     14 |        0 |        0
0.59/0.62	c  0.6s |       6 |     2847 |     2081 |       96     22 |        0 |        0
0.89/0.94	c  0.9s |       7 |     4122 |     3223 |      106     33 |        0 |        0
1.29/1.31	c  1.3s |       8 |     5959 |     4936 |      117     48 |        0 |        0
1.69/1.79	c  1.8s |       9 |     8662 |     7506 |      129     71 |        0 |        0
2.48/2.55	c  2.5s |      10 |    12657 |    11361 |      142    102 |        0 |        0
3.59/3.61	c  3.6s |      11 |    18595 |    17144 |      157    147 |        0 |        0
5.19/5.27	c  5.3s |      12 |    27456 |    25819 |      173    210 |        0 |        0
7.19/7.29	c  7.3s |      12 |    38539 |    36719 |      173    285 |        0 |        0
7.59/7.67	c  7.7s |      13 |    40664 |    38832 |      191    299 |        0 |        0
9.59/9.68	c  9.7s |      13 |    51347 |    49332 |      191    368 |        0 |        0
11.29/11.37	c 11.4s |      14 |    60411 |    58352 |      211    426 |        0 |        0
13.30/13.39	c 13.4s |      14 |    71247 |    68952 |      211    491 |        0 |        0
15.29/15.40	c 15.4s |      14 |    81732 |    79352 |      211    555 |        0 |        0
16.99/17.01	c 17.0s |      15 |    90054 |    87632 |      233    606 |        0 |        0
18.99/19.02	c 19.0s |      15 |   101053 |    98432 |      233    668 |        0 |        0
20.99/21.04	c 21.0s |      15 |   111736 |   109032 |      233    730 |        0 |        0
22.99/23.05	c 23.0s |      15 |   122217 |   119432 |      233    790 |        0 |        0
24.99/25.05	c 25.0s |      15 |   133031 |   130132 |      233    852 |        0 |        0
25.29/25.33	c 25.3s |      16 |   134466 |   131552 |      257    859 |        0 |        0
27.29/27.34	c 27.3s |      16 |   144668 |   141552 |      257    913 |        0 |        0
29.28/29.36	c 29.3s |      16 |   155066 |   151852 |      257    968 |        0 |        0
31.28/31.37	c 31.4s |      16 |   165159 |   161852 |      257   1022 |        0 |        0
33.28/33.38	c 33.4s |      16 |   175536 |   172052 |      257   1077 |        0 |        0
35.29/35.39	c 35.4s |      16 |   185618 |   182052 |      257   1131 |        0 |        0
37.28/37.40	c 37.4s |      16 |   195483 |   191852 |      257   1185 |        0 |        0
38.49/38.55	c 38.5s |      17 |   201110 |   197432 |      283   1215 |        0 |        0
40.48/40.56	c 40.5s |      17 |   211738 |   207832 |      283   1267 |        0 |        0
42.48/42.58	c 42.6s |      17 |   222353 |   218332 |      283   1319 |        0 |        0
44.48/44.59	c 44.6s |      17 |   232557 |   228432 |      283   1370 |        0 |        0
46.58/46.60	c 46.6s |      17 |   243282 |   239032 |      283   1423 |        0 |        0
48.58/48.60	c 48.6s |      17 |   254328 |   249932 |      283   1478 |        0 |        0
50.59/50.61	c 50.6s |      17 |   264850 |   260332 |      283   1531 |        0 |        0
52.59/52.63	c 52.6s |      17 |   275154 |   270532 |      283   1582 |        0 |        0
54.58/54.64	c 54.6s |      17 |   285333 |   280632 |      283   1634 |        0 |        0
56.58/56.65	c 56.6s |      17 |   295417 |   290632 |      283   1685 |        0 |        0
57.68/57.77	c 57.8s |      18 |   301134 |   296252 |      312   1712 |        0 |        0
59.68/59.77	c 59.8s |      18 |   311765 |   306552 |      312   1761 |        0 |        0
61.69/61.77	c 61.8s |      18 |   322857 |   317452 |      312   1812 |        0 |        0
63.68/63.78	c 63.8s |      18 |   333614 |   328052 |      312   1862 |        0 |        0
65.68/65.78	c 65.8s |      18 |   343729 |   338052 |      312   1909 |        0 |        0
67.68/67.78	c 67.8s |      18 |   354109 |   348352 |      312   1957 |        0 |        0
69.68/69.79	c 69.8s |      18 |   364303 |   358452 |      312   2005 |        0 |        0
71.78/71.80	c 71.8s |      18 |   375006 |   369052 |      312   2055 |        0 |        0
73.78/73.81	c 73.8s |      18 |   385704 |   379552 |      312   2104 |        0 |        0
75.78/75.82	c 75.8s |      18 |   395930 |   389652 |      312   2151 |        0 |        0
77.78/77.84	c 77.8s |      18 |   405862 |   399452 |      312   2198 |        0 |        0
79.78/79.85	c 79.8s |      18 |   416032 |   409452 |      312   2245 |        0 |        0
81.78/81.86	c 81.8s |      18 |   426744 |   419952 |      312   2294 |        0 |        0
83.78/83.86	c 83.8s |      18 |   437344 |   430352 |      312   2343 |        0 |        0
85.78/85.87	c 85.9s |      18 |   447725 |   440552 |      312   2392 |        0 |        0
86.57/86.62	c 86.6s |      19 |   451717 |   444482 |      344   2409 |        0 |        0
88.57/88.63	c 88.6s |      19 |   463014 |   455382 |      344   2457 |        0 |        0
90.57/90.63	c 90.6s |      19 |   473686 |   465882 |      344   2503 |        0 |        0
92.57/92.65	c 92.6s |      19 |   484326 |   476282 |      344   2549 |        0 |        0
94.58/94.66	c 94.6s |      19 |   495132 |   486882 |      344   2595 |        0 |        0
96.57/96.66	c 96.6s |      19 |   505537 |   497082 |      344   2640 |        0 |        0
98.57/98.67	c 98.7s |      19 |   517315 |   508482 |      344   2690 |        0 |        0
100.58/100.67	c  100s |      19 |   528472 |   519382 |      344   2739 |        0 |        0
102.58/102.69	c  102s |      19 |   539416 |   530182 |      344   2787 |        0 |        0
104.68/104.70	c  104s |      19 |   551158 |   541782 |      344   2837 |        0 |        0
106.68/106.70	c  106s |      19 |   562471 |   552882 |      344   2885 |        0 |        0
108.68/108.72	c  108s |      19 |   573580 |   563782 |      344   2933 |        0 |        0
110.68/110.72	c  110s |      19 |   585214 |   575182 |      344   2983 |        0 |        0
112.67/112.74	c  112s |      19 |   596120 |   585882 |      344   3030 |        0 |        0
114.67/114.74	c  114s |      19 |   606488 |   596082 |      344   3075 |        0 |        0
116.68/116.76	c  116s |      19 |   617968 |   607282 |      344   3124 |        0 |        0
118.67/118.77	c  118s |      19 |   628797 |   617782 |      344   3170 |        0 |        0
120.67/120.78	c  120s |      19 |   639686 |   628482 |      344   3217 |        0 |        0
122.67/122.79	c  122s |      19 |   650606 |   639182 |      344   3264 |        0 |        0
124.67/124.80	c  124s |      19 |   660887 |   649282 |      344   3309 |        0 |        0
126.77/126.80	c  126s |      19 |   671177 |   659382 |      344   3354 |        0 |        0
128.17/128.22	c  128s |      20 |   678700 |   666827 |      379   3385 |        0 |        0
130.17/130.24	c  130s |      20 |   689753 |   677627 |      379   3429 |        0 |        0
132.17/132.25	c  132s |      20 |   700227 |   687927 |      379   3471 |        0 |        0
134.17/134.25	c  134s |      20 |   711086 |   698527 |      379   3515 |        0 |        0
136.16/136.26	c  136s |      20 |   722590 |   709727 |      379   3560 |        0 |        0
138.16/138.26	c  138s |      20 |   733546 |   720427 |      379   3604 |        0 |        0
140.16/140.27	c  140s |      20 |   744500 |   731127 |      379   3648 |        0 |        0
142.16/142.29	c  142s |      20 |   755163 |   741627 |      379   3691 |        0 |        0
144.26/144.30	c  144s |      20 |   765787 |   752127 |      379   3733 |        0 |        0
146.27/146.32	c  146s |      20 |   776043 |   762227 |      379   3775 |        0 |        0
148.27/148.33	c  148s |      20 |   786526 |   772527 |      379   3817 |        0 |        0
150.27/150.34	c  150s |      20 |   797260 |   783027 |      379   3860 |        0 |        0
152.27/152.35	c  152s |      20 |   807764 |   793327 |      379   3902 |        0 |        0
154.27/154.35	c  154s |      20 |   817898 |   803327 |      379   3943 |        0 |        0
156.28/156.36	c  156s |      20 |   828257 |   813527 |      379   3985 |        0 |        0
158.27/158.38	c  158s |      20 |   838440 |   823527 |      379   4026 |        0 |        0
160.27/160.39	c  160s |      20 |   848865 |   833727 |      379   4068 |        0 |        0
162.37/162.40	c  162s |      20 |   859183 |   843827 |      379   4109 |        0 |        0
164.37/164.40	c  164s |      20 |   869305 |   853727 |      379   4150 |        0 |        0
166.37/166.41	c  166s |      20 |   879468 |   863627 |      379   4191 |        0 |        0
168.37/168.43	c  168s |      20 |   890274 |   874127 |      379   4234 |        0 |        0
170.36/170.44	c  170s |      20 |   900419 |   884027 |      379   4275 |        0 |        0
172.36/172.46	c  172s |      20 |   910505 |   893927 |      379   4316 |        0 |        0
174.36/174.47	c  174s |      20 |   921109 |   904327 |      379   4359 |        0 |        0
176.36/176.47	c  176s |      20 |   931216 |   914227 |      379   4400 |        0 |        0
178.36/178.47	c  178s |      20 |   941454 |   924227 |      379   4441 |        0 |        0
180.37/180.48	c  180s |      20 |   951711 |   934227 |      379   4482 |        0 |        0
182.36/182.49	c  182s |      20 |   962088 |   944327 |      379   4524 |        0 |        0
184.46/184.50	c  184s |      20 |   971720 |   953827 |      379   4564 |        0 |        0
186.46/186.51	c  186s |      20 |   981656 |   963527 |      379   4604 |        0 |        0
188.46/188.53	c  188s |      20 |   991521 |   973227 |      379   4644 |        0 |        0
190.46/190.53	c  190s |      20 |  1000989 |   982627 |      379   4682 |        0 |        0
192.47/192.55	c  192s |      20 |  1011158 |   992627 |      379   4723 |        0 |        0
194.06/194.13	c  194s |      21 |  1019064 |  1000345 |      417   4752 |        0 |        0
196.06/196.15	c  196s |      21 |  1028933 |  1009945 |      417   4789 |        0 |        0
198.07/198.17	c  198s |      21 |  1038394 |  1019245 |      417   4824 |        0 |        0
200.06/200.18	c  200s |      21 |  1048092 |  1028845 |      417   4860 |        0 |        0
202.06/202.19	c  202s |      21 |  1057819 |  1038445 |      417   4896 |        0 |        0
204.16/204.21	c  204s |      21 |  1067329 |  1047845 |      417   4932 |        0 |        0
206.16/206.23	c  206s |      21 |  1077013 |  1057345 |      417   4968 |        0 |        0
208.16/208.25	c  208s |      21 |  1086428 |  1066645 |      417   5003 |        0 |        0
210.17/210.25	c  210s |      21 |  1096150 |  1076245 |      417   5039 |        0 |        0
212.16/212.27	c  212s |      21 |  1106277 |  1086145 |      417   5077 |        0 |        0
214.16/214.28	c  214s |      21 |  1116119 |  1095845 |      417   5113 |        0 |        0
216.26/216.30	c  216s |      21 |  1126564 |  1106145 |      417   5152 |        0 |        0
218.26/218.30	c  218s |      21 |  1136458 |  1115945 |      417   5189 |        0 |        0
220.26/220.31	c  220s |      21 |  1146109 |  1125445 |      417   5225 |        0 |        0
222.26/222.32	c  222s |      21 |  1155685 |  1134845 |      417   5261 |        0 |        0
224.26/224.33	c  224s |      21 |  1165407 |  1144445 |      417   5298 |        0 |        0
226.26/226.33	c  226s |      21 |  1174849 |  1153745 |      417   5333 |        0 |        0
228.26/228.34	c  228s |      21 |  1184191 |  1162945 |      417   5368 |        0 |        0
230.26/230.34	c  230s |      21 |  1193613 |  1172245 |      417   5403 |        0 |        0
232.25/232.36	c  232s |      21 |  1203307 |  1181845 |      417   5439 |        0 |        0
234.26/234.37	c  234s |      21 |  1212605 |  1191045 |      417   5474 |        0 |        0
236.25/236.38	c  236s |      21 |  1222884 |  1201245 |      417   5513 |        0 |        0
238.25/238.38	c  238s |      21 |  1232373 |  1210645 |      417   5548 |        0 |        0
240.25/240.39	c  240s |      21 |  1241870 |  1220045 |      417   5584 |        0 |        0
242.35/242.40	c  242s |      21 |  1251372 |  1229445 |      417   5620 |        0 |        0
244.35/244.41	c  244s |      21 |  1260460 |  1238445 |      417   5654 |        0 |        0
246.36/246.41	c  246s |      21 |  1269942 |  1247745 |      417   5689 |        0 |        0
248.35/248.42	c  248s |      21 |  1279408 |  1257045 |      417   5724 |        0 |        0
250.35/250.43	c  250s |      21 |  1288496 |  1266045 |      417   5759 |        0 |        0
252.35/252.44	c  252s |      21 |  1297944 |  1275345 |      417   5794 |        0 |        0
254.35/254.45	c  254s |      21 |  1307329 |  1284645 |      417   5830 |        0 |        0
256.35/256.47	c  256s |      21 |  1316324 |  1293545 |      417   5864 |        0 |        0
258.35/258.47	c  258s |      21 |  1325626 |  1302745 |      417   5899 |        0 |        0
260.35/260.50	c  260s |      21 |  1335569 |  1312445 |      417   5936 |        0 |        0
262.45/262.52	c  262s |      21 |  1345740 |  1322445 |      417   5973 |        0 |        0
264.44/264.53	c  264s |      21 |  1355168 |  1331745 |      417   6008 |        0 |        0
266.44/266.53	c  266s |      21 |  1365093 |  1341445 |      417   6045 |        0 |        0
268.45/268.54	c  268s |      21 |  1374589 |  1350845 |      417   6080 |        0 |        0
270.44/270.54	c  270s |      21 |  1384007 |  1360145 |      417   6116 |        0 |        0
272.44/272.55	c  272s |      21 |  1393567 |  1369545 |      417   6151 |        0 |        0
274.44/274.55	c  274s |      21 |  1402867 |  1378745 |      417   6187 |        0 |        0
276.45/276.55	c  276s |      21 |  1411879 |  1387645 |      417   6221 |        0 |        0
278.45/278.55	c  278s |      21 |  1421419 |  1397045 |      417   6256 |        0 |        0
280.45/280.57	c  280s |      21 |  1431150 |  1406645 |      417   6293 |        0 |        0
282.45/282.58	c  282s |      21 |  1440899 |  1416245 |      417   6329 |        0 |        0
284.44/284.59	c  284s |      21 |  1450189 |  1425445 |      417   6364 |        0 |        0
286.44/286.59	c  286s |      21 |  1459620 |  1434745 |      417   6400 |        0 |        0
288.54/288.61	c  288s |      21 |  1470008 |  1445045 |      417   6438 |        0 |        0
290.54/290.62	c  290s |      21 |  1480005 |  1454945 |      417   6476 |        0 |        0
292.54/292.63	c  292s |      21 |  1489993 |  1464745 |      417   6513 |        0 |        0
294.53/294.65	c  294s |      21 |  1499657 |  1474245 |      417   6549 |        0 |        0
296.53/296.65	c  296s |      21 |  1509321 |  1483745 |      417   6585 |        0 |        0
298.53/298.67	c  298s |      21 |  1518963 |  1493245 |      459   6620 |        0 |        0
300.13/300.25	c  300s |      22 |  1526430 |  1500622 |      459   6646 |        0 |        0
302.13/302.27	c  302s |      22 |  1535642 |  1509622 |      459   6677 |        0 |        0
304.13/304.28	c  304s |      22 |  1544907 |  1518722 |      459   6709 |        0 |        0
306.23/306.30	c  306s |      22 |  1554182 |  1527822 |      459   6741 |        0 |        0
308.23/308.31	c  308s |      22 |  1563217 |  1536722 |      459   6773 |        0 |        0
310.23/310.33	c  310s |      22 |  1572479 |  1545822 |      459   6805 |        0 |        0
312.23/312.35	c  312s |      22 |  1583132 |  1556322 |      459   6842 |        0 |        0
314.22/314.36	c  314s |      22 |  1593757 |  1566722 |      459   6878 |        0 |        0
316.22/316.37	c  316s |      22 |  1604171 |  1576922 |      459   6913 |        0 |        0
318.22/318.37	c  318s |      22 |  1614001 |  1586622 |      459   6947 |        0 |        0
320.22/320.37	c  320s |      22 |  1623942 |  1596422 |      459   6981 |        0 |        0
322.23/322.39	c  322s |      22 |  1633756 |  1606122 |      459   7015 |        0 |        0
324.22/324.39	c  324s |      22 |  1643505 |  1615722 |      459   7049 |        0 |        0
326.32/326.41	c  326s |      22 |  1653312 |  1625422 |      459   7083 |        0 |        0
328.32/328.42	c  328s |      22 |  1663070 |  1635022 |      459   7116 |        0 |        0
330.32/330.44	c  330s |      22 |  1672790 |  1644522 |      459   7149 |        0 |        0
332.32/332.44	c  332s |      22 |  1682610 |  1654122 |      459   7183 |        0 |        0
334.32/334.45	c  334s |      22 |  1692135 |  1663522 |      459   7216 |        0 |        0
336.31/336.46	c  336s |      22 |  1701561 |  1672822 |      459   7249 |        0 |        0
338.31/338.47	c  338s |      22 |  1710989 |  1682122 |      459   7282 |        0 |        0
340.31/340.48	c  340s |      22 |  1720082 |  1691122 |      459   7313 |        0 |        0
342.31/342.49	c  342s |      22 |  1729477 |  1700322 |      459   7345 |        0 |        0
344.41/344.50	c  344s |      22 |  1738784 |  1709522 |      459   7378 |        0 |        0
346.42/346.51	c  346s |      22 |  1748494 |  1719022 |      459   7411 |        0 |        0
348.42/348.52	c  348s |      22 |  1757952 |  1728322 |      459   7444 |        0 |        0
350.42/350.53	c  350s |      22 |  1767359 |  1737622 |      459   7477 |        0 |        0
352.42/352.53	c  352s |      22 |  1776840 |  1746922 |      459   7509 |        0 |        0
354.41/354.55	c  354s |      22 |  1786045 |  1756022 |      459   7542 |        0 |        0
356.42/356.57	c  356s |      22 |  1795604 |  1765422 |      459   7575 |        0 |        0
358.41/358.58	c  358s |      22 |  1804821 |  1774522 |      459   7606 |        0 |        0
360.51/360.60	c  360s |      22 |  1814252 |  1783822 |      459   7639 |        0 |        0
362.51/362.62	c  362s |      22 |  1823440 |  1792922 |      459   7671 |        0 |        0
364.50/364.64	c  364s |      22 |  1832500 |  1801922 |      459   7702 |        0 |        0
366.50/366.65	c  366s |      22 |  1841617 |  1810922 |      459   7734 |        0 |        0
368.51/368.66	c  368s |      22 |  1850632 |  1819822 |      459   7766 |        0 |        0
370.50/370.67	c  370s |      22 |  1859317 |  1828422 |      459   7796 |        0 |        0
372.50/372.68	c  372s |      22 |  1868249 |  1837222 |      459   7827 |        0 |        0
374.60/374.70	c  374s |      22 |  1877221 |  1846122 |      459   7858 |        0 |        0
376.60/376.70	c  376s |      22 |  1887530 |  1856222 |      459   7893 |        0 |        0
378.60/378.71	c  378s |      22 |  1897161 |  1865722 |      459   7926 |        0 |        0
380.60/380.72	c  380s |      22 |  1906561 |  1875022 |      459   7959 |        0 |        0
382.59/382.74	c  382s |      22 |  1915454 |  1883822 |      459   7990 |        0 |        0
384.59/384.74	c  384s |      22 |  1924268 |  1892522 |      459   8021 |        0 |        0
386.59/386.74	c  386s |      22 |  1933669 |  1901822 |      459   8053 |        0 |        0
388.60/388.75	c  388s |      22 |  1942882 |  1910922 |      459   8085 |        0 |        0
390.60/390.75	c  390s |      22 |  1951884 |  1919822 |      459   8117 |        0 |        0
392.60/392.76	c  392s |      22 |  1960717 |  1928522 |      459   8147 |        0 |        0
394.59/394.77	c  394s |      22 |  1969759 |  1937422 |      459   8179 |        0 |        0
396.59/396.79	c  396s |      22 |  1978855 |  1946422 |      459   8211 |        0 |        0
398.59/398.80	c  398s |      22 |  1988546 |  1956022 |      459   8244 |        0 |        0
400.69/400.81	c  400s |      22 |  1997946 |  1965322 |      459   8277 |        0 |        0
402.69/402.83	c  402s |      22 |  2007546 |  1974822 |      459   8310 |        0 |        0
404.69/404.84	c  404s |      22 |  2016971 |  1984122 |      459   8342 |        0 |        0
406.68/406.84	c  406s |      22 |  2026006 |  1993022 |      459   8374 |        0 |        0
408.68/408.85	c  408s |      22 |  2034830 |  2001722 |      459   8404 |        0 |        0
410.68/410.86	c  410s |      22 |  2043429 |  2010222 |      459   8434 |        0 |        0
412.68/412.87	c  412s |      22 |  2052041 |  2018722 |      459   8464 |        0 |        0
414.69/414.88	c  414s |      22 |  2060901 |  2027422 |      459   8495 |        0 |        0
416.68/416.90	c  416s |      22 |  2069805 |  2036222 |      459   8526 |        0 |        0
418.78/418.91	c  418s |      22 |  2079227 |  2045522 |      459   8558 |        0 |        0
420.78/420.93	c  420s |      22 |  2089263 |  2055422 |      459   8593 |        0 |        0
422.78/422.94	c  422s |      22 |  2098872 |  2064922 |      459   8626 |        0 |        0
424.78/424.96	c  424s |      22 |  2108192 |  2074122 |      459   8658 |        0 |        0
426.78/426.97	c  426s |      22 |  2117706 |  2083522 |      459   8691 |        0 |        0
428.77/428.97	c  428s |      22 |  2126937 |  2092622 |      459   8723 |        0 |        0
430.77/430.98	c  430s |      22 |  2136491 |  2102022 |      459   8756 |        0 |        0
432.87/433.00	c  432s |      22 |  2145807 |  2111222 |      459   8788 |        0 |        0
434.87/435.00	c  434s |      22 |  2154706 |  2120022 |      459   8819 |        0 |        0
436.87/437.02	c  437s |      22 |  2163583 |  2128822 |      459   8851 |        0 |        0
438.88/439.03	c  439s |      22 |  2172494 |  2137622 |      459   8882 |        0 |        0
440.88/441.04	c  441s |      22 |  2181485 |  2146522 |      459   8913 |        0 |        0
442.88/443.06	c  443s |      22 |  2190610 |  2155522 |      459   8945 |        0 |        0
444.87/445.07	c  445s |      22 |  2199722 |  2164522 |      459   8976 |        0 |        0
446.87/447.08	c  447s |      22 |  2208943 |  2173522 |      459   9008 |        0 |        0
448.87/449.10	c  449s |      22 |  2217983 |  2182422 |      459   9040 |        0 |        0
450.88/451.10	c  451s |      22 |  2226824 |  2191122 |      459   9071 |        0 |        0
452.97/453.11	c  453s |      22 |  2235569 |  2199722 |      459   9101 |        0 |        0
454.96/455.12	c  455s |      22 |  2244701 |  2208722 |      459   9133 |        0 |        0
456.96/457.14	c  457s |      22 |  2253306 |  2217222 |      459   9163 |        0 |        0
458.96/459.14	c  459s |      22 |  2262651 |  2226422 |      459   9195 |        0 |        0
460.96/461.15	c  461s |      22 |  2271233 |  2234922 |      459   9225 |        0 |        0
462.97/463.17	c  463s |      22 |  2280174 |  2243722 |      505   9254 |        0 |        0
464.75/464.91	c  464s |      23 |  2287577 |  2251038 |      505   9278 |        0 |        0
466.75/466.92	c  466s |      23 |  2297235 |  2260438 |      505   9308 |        0 |        0
468.75/468.92	c  468s |      23 |  2306321 |  2269438 |      505   9337 |        0 |        0
470.76/470.94	c  470s |      23 |  2315532 |  2278538 |      505   9367 |        0 |        0
472.75/472.96	c  472s |      23 |  2324594 |  2287438 |      505   9396 |        0 |        0
474.75/474.98	c  474s |      23 |  2333583 |  2296338 |      505   9425 |        0 |        0
476.85/477.00	c  476s |      23 |  2342683 |  2305338 |      505   9454 |        0 |        0
478.84/479.00	c  478s |      23 |  2351667 |  2314238 |      505   9483 |        0 |        0
480.84/481.01	c  480s |      23 |  2360678 |  2323138 |      505   9512 |        0 |        0
482.85/483.02	c  483s |      23 |  2369802 |  2332138 |      505   9541 |        0 |        0
484.84/485.03	c  485s |      23 |  2378696 |  2340938 |      505   9570 |        0 |        0
486.85/487.04	c  487s |      23 |  2388000 |  2350138 |      505   9600 |        0 |        0
488.85/489.05	c  489s |      23 |  2396817 |  2358838 |      505   9628 |        0 |        0
490.85/491.05	c  491s |      23 |  2405702 |  2367638 |      505   9656 |        0 |        0
492.85/493.06	c  493s |      23 |  2414730 |  2376538 |      505   9686 |        0 |        0
494.85/495.08	c  495s |      23 |  2423632 |  2385338 |      505   9714 |        0 |        0
496.84/497.08	c  497s |      23 |  2432349 |  2393938 |      505   9742 |        0 |        0
498.84/499.09	c  499s |      23 |  2441349 |  2402838 |      505   9771 |        0 |        0
500.94/501.11	c  501s |      23 |  2450251 |  2411638 |      505   9800 |        0 |        0
502.94/503.11	c  503s |      23 |  2459592 |  2420838 |      505   9830 |        0 |        0
504.94/505.13	c  505s |      23 |  2468930 |  2430038 |      505   9860 |        0 |        0
506.94/507.15	c  507s |      23 |  2477911 |  2438938 |      505   9889 |        0 |        0
508.94/509.15	c  509s |      23 |  2486835 |  2447738 |      505   9918 |        0 |        0
510.94/511.15	c  511s |      23 |  2495438 |  2456238 |      505   9946 |        0 |        0
512.94/513.17	c  513s |      23 |  2504165 |  2464838 |      505   9974 |        0 |        0
514.93/515.18	c  515s |      23 |  2513086 |  2473638 |      505  10003 |        0 |        0
517.03/517.20	c  517s |      23 |  2522315 |  2482738 |      505  10032 |        0 |        0
519.04/519.20	c  519s |      23 |  2531210 |  2491538 |      505  10061 |        0 |        0
521.03/521.22	c  521s |      23 |  2540445 |  2500638 |      505  10091 |        0 |        0
523.03/523.22	c  523s |      23 |  2549230 |  2509238 |      505  10119 |        0 |        0
525.03/525.24	c  525s |      23 |  2558335 |  2518238 |      505  10148 |        0 |        0
527.03/527.26	c  527s |      23 |  2567224 |  2527038 |      505  10177 |        0 |        0
529.03/529.27	c  529s |      23 |  2576230 |  2535938 |      505  10206 |        0 |        0
531.03/531.29	c  531s |      23 |  2585803 |  2545438 |      505  10237 |        0 |        0
533.13/533.31	c  533s |      23 |  2595212 |  2554738 |      505  10267 |        0 |        0
535.12/535.33	c  535s |      23 |  2604041 |  2563438 |      505  10295 |        0 |        0
537.12/537.34	c  537s |      23 |  2613354 |  2572538 |      505  10325 |        0 |        0
539.12/539.36	c  539s |      23 |  2622259 |  2581338 |      505  10354 |        0 |        0
541.12/541.36	c  541s |      23 |  2631147 |  2590138 |      505  10382 |        0 |        0
543.12/543.37	c  543s |      23 |  2640776 |  2599638 |      505  10413 |        0 |        0
545.11/545.37	c  545s |      23 |  2650164 |  2608938 |      505  10443 |        0 |        0
547.11/547.37	c  547s |      23 |  2659068 |  2617738 |      505  10472 |        0 |        0
549.11/549.37	c  549s |      23 |  2667771 |  2626338 |      505  10500 |        0 |        0
551.11/551.40	c  551s |      23 |  2676372 |  2634838 |      505  10528 |        0 |        0
553.21/553.41	c  553s |      23 |  2685744 |  2644138 |      505  10558 |        0 |        0
555.21/555.42	c  555s |      23 |  2695049 |  2653338 |      505  10588 |        0 |        0
557.21/557.44	c  557s |      23 |  2704075 |  2662238 |      505  10617 |        0 |        0
559.21/559.46	c  559s |      23 |  2712896 |  2670938 |      505  10645 |        0 |        0
561.20/561.47	c  561s |      23 |  2721764 |  2679638 |      505  10673 |        0 |        0
563.20/563.49	c  563s |      23 |  2730697 |  2688438 |      505  10702 |        0 |        0
565.21/565.49	c  565s |      23 |  2739490 |  2697138 |      505  10730 |        0 |        0
567.30/567.50	c  567s |      23 |  2747958 |  2705538 |      505  10758 |        0 |        0
569.30/569.50	c  569s |      23 |  2756478 |  2713938 |      505  10785 |        0 |        0
571.31/571.51	c  571s |      23 |  2765176 |  2722438 |      505  10813 |        0 |        0
573.30/573.52	c  573s |      23 |  2773493 |  2730638 |      505  10840 |        0 |        0
575.30/575.52	c  575s |      23 |  2782228 |  2739238 |      505  10868 |        0 |        0
577.30/577.54	c  577s |      23 |  2791185 |  2748038 |      505  10896 |        0 |        0
579.30/579.55	c  579s |      23 |  2800730 |  2757338 |      505  10927 |        0 |        0
581.30/581.57	c  581s |      23 |  2810165 |  2766538 |      505  10956 |        0 |        0
583.29/583.57	c  583s |      23 |  2818938 |  2775138 |      505  10985 |        0 |        0
585.29/585.59	c  585s |      23 |  2827965 |  2784038 |      505  11013 |        0 |        0
587.30/587.59	c  587s |      23 |  2836857 |  2792838 |      505  11042 |        0 |        0
589.29/589.59	c  589s |      23 |  2845655 |  2801538 |      505  11070 |        0 |        0
591.29/591.59	c  591s |      23 |  2854364 |  2810138 |      505  11098 |        0 |        0
593.38/593.60	c  593s |      23 |  2863071 |  2818738 |      505  11126 |        0 |        0
595.38/595.62	c  595s |      23 |  2871884 |  2827438 |      505  11155 |        0 |        0
597.38/597.64	c  597s |      23 |  2880692 |  2836138 |      505  11183 |        0 |        0
599.39/599.65	c  599s |      23 |  2889524 |  2844838 |      505  11212 |        0 |        0
601.38/601.66	c  601s |      23 |  2898313 |  2853538 |      505  11240 |        0 |        0
603.38/603.68	c  603s |      23 |  2907018 |  2862138 |      505  11268 |        0 |        0
605.38/605.68	c  605s |      23 |  2916557 |  2871538 |      505  11299 |        0 |        0
607.37/607.69	c  607s |      23 |  2926039 |  2880838 |      505  11329 |        0 |        0
609.47/609.70	c  609s |      23 |  2935420 |  2890038 |      505  11359 |        0 |        0
611.49/611.71	c  611s |      23 |  2944442 |  2898938 |      505  11388 |        0 |        0
613.47/613.73	c  613s |      23 |  2953533 |  2907838 |      505  11417 |        0 |        0
615.47/615.73	c  615s |      23 |  2962436 |  2916638 |      505  11446 |        0 |        0
617.47/617.73	c  617s |      23 |  2971117 |  2925238 |      505  11474 |        0 |        0
619.47/619.75	c  619s |      23 |  2980337 |  2934338 |      505  11504 |        0 |        0
621.47/621.77	c  621s |      23 |  2989240 |  2943138 |      505  11533 |        0 |        0
623.47/623.78	c  623s |      23 |  2997791 |  2951538 |      505  11560 |        0 |        0
625.47/625.78	c  625s |      23 |  3006461 |  2960038 |      505  11588 |        0 |        0
627.47/627.79	c  627s |      23 |  3014961 |  2968438 |      505  11615 |        0 |        0
629.47/629.79	c  629s |      23 |  3023340 |  2976738 |      505  11642 |        0 |        0
631.57/631.80	c  631s |      23 |  3031798 |  2985138 |      505  11670 |        0 |        0
633.56/633.82	c  633s |      23 |  3040089 |  2993338 |      505  11697 |        0 |        0
635.57/635.84	c  635s |      23 |  3048701 |  3001838 |      505  11725 |        0 |        0
637.56/637.85	c  637s |      23 |  3058159 |  3011138 |      505  11755 |        0 |        0
639.56/639.85	c  639s |      23 |  3066898 |  3019738 |      505  11783 |        0 |        0
641.56/641.86	c  641s |      23 |  3076177 |  3028938 |      505  11813 |        0 |        0
643.55/643.88	c  643s |      23 |  3085421 |  3038038 |      505  11843 |        0 |        0
645.65/645.90	c  645s |      23 |  3094467 |  3046938 |      505  11872 |        0 |        0
647.66/647.92	c  647s |      23 |  3103311 |  3055638 |      505  11900 |        0 |        0
649.65/649.93	c  649s |      23 |  3112140 |  3064338 |      505  11928 |        0 |        0
651.65/651.94	c  651s |      23 |  3120955 |  3073038 |      505  11957 |        0 |        0
653.64/653.94	c  653s |      23 |  3129664 |  3081638 |      505  11985 |        0 |        0
655.64/655.96	c  655s |      23 |  3139239 |  3091038 |      505  12016 |        0 |        0
657.65/657.97	c  657s |      23 |  3148201 |  3099838 |      505  12044 |        0 |        0
659.65/659.99	c  659s |      23 |  3156854 |  3108338 |      505  12072 |        0 |        0
661.65/662.00	c  661s |      23 |  3165417 |  3116738 |      505  12100 |        0 |        0
663.75/664.01	c  663s |      23 |  3173907 |  3125138 |      505  12127 |        0 |        0
665.75/666.03	c  666s |      23 |  3182508 |  3133638 |      505  12155 |        0 |        0
667.75/668.04	c  668s |      23 |  3191126 |  3142138 |      505  12183 |        0 |        0
669.75/670.05	c  670s |      23 |  3200264 |  3151138 |      505  12212 |        0 |        0
671.74/672.06	c  672s |      23 |  3209080 |  3159838 |      505  12241 |        0 |        0
673.74/674.08	c  674s |      23 |  3217971 |  3168638 |      505  12269 |        0 |        0
675.74/676.10	c  676s |      23 |  3227196 |  3177738 |      505  12299 |        0 |        0
677.84/678.11	c  678s |      23 |  3236445 |  3186838 |      505  12329 |        0 |        0
679.84/680.13	c  680s |      23 |  3245514 |  3195738 |      505  12358 |        0 |        0
681.84/682.14	c  682s |      23 |  3254672 |  3204738 |      505  12387 |        0 |        0
683.83/684.15	c  684s |      23 |  3263764 |  3213738 |      505  12416 |        0 |        0
685.83/686.16	c  686s |      23 |  3272684 |  3222538 |      505  12445 |        0 |        0
687.83/688.17	c  688s |      23 |  3281196 |  3230938 |      505  12472 |        0 |        0
689.83/690.19	c  690s |      23 |  3290030 |  3239638 |      505  12501 |        0 |        0
691.93/692.21	c  692s |      23 |  3298748 |  3248238 |      505  12529 |        0 |        0
693.93/694.21	c  694s |      23 |  3307382 |  3256738 |      505  12556 |        0 |        0
695.92/696.23	c  696s |      23 |  3315901 |  3265138 |      505  12584 |        0 |        0
697.92/698.23	c  698s |      23 |  3324604 |  3273738 |      505  12612 |        0 |        0
699.92/700.24	c  700s |      23 |  3332818 |  3281838 |      505  12639 |        0 |        0
701.92/702.25	c  702s |      23 |  3341578 |  3290438 |      505  12667 |        0 |        0
703.92/704.25	c  704s |      23 |  3350282 |  3299038 |      505  12695 |        0 |        0
705.92/706.27	c  706s |      23 |  3358976 |  3307638 |      505  12723 |        0 |        0
707.91/708.28	c  708s |      23 |  3367685 |  3316238 |      505  12751 |        0 |        0
709.92/710.29	c  710s |      23 |  3376259 |  3324638 |      505  12778 |        0 |        0
711.92/712.29	c  712s |      23 |  3384940 |  3333138 |      505  12806 |        0 |        0
714.02/714.30	c  714s |      23 |  3393362 |  3341438 |      505  12833 |        0 |        0
716.02/716.31	c  716s |      23 |  3401870 |  3349838 |      505  12861 |        0 |        0
718.02/718.32	c  718s |      23 |  3410349 |  3358238 |      556  12887 |        0 |        0
720.01/720.33	c  720s |      23 |  3418618 |  3366438 |      556  12912 |        0 |        0
722.01/722.33	c  722s |      23 |  3426881 |  3374638 |      556  12937 |        0 |        0
722.52/722.83	c  722s |      24 |  3428924 |  3376662 |      556  12943 |        0 |        0
724.51/724.85	c  724s |      24 |  3437798 |  3385262 |      556  12969 |        0 |        0
726.51/726.87	c  726s |      24 |  3446593 |  3393962 |      556  12995 |        0 |        0
728.51/728.89	c  728s |      24 |  3455732 |  3402962 |      556  13022 |        0 |        0
730.61/730.90	c  730s |      24 |  3465038 |  3412162 |      556  13049 |        0 |        0
732.60/732.90	c  732s |      24 |  3474134 |  3421162 |      556  13076 |        0 |        0
734.61/734.91	c  734s |      24 |  3483597 |  3430562 |      556  13105 |        0 |        0
736.60/736.91	c  736s |      24 |  3492756 |  3439562 |      556  13132 |        0 |        0
738.60/738.93	c  738s |      24 |  3502075 |  3448762 |      556  13159 |        0 |        0
740.60/740.95	c  740s |      24 |  3510908 |  3457462 |      556  13185 |        0 |        0
742.61/742.95	c  742s |      24 |  3519599 |  3466062 |      556  13211 |        0 |        0
744.60/744.97	c  744s |      24 |  3528459 |  3474862 |      556  13237 |        0 |        0
746.61/746.97	c  746s |      24 |  3537607 |  3483962 |      556  13265 |        0 |        0
748.60/748.97	c  748s |      24 |  3546982 |  3493262 |      556  13292 |        0 |        0
750.60/750.97	c  750s |      24 |  3556150 |  3502362 |      556  13320 |        0 |        0
752.60/752.99	c  752s |      24 |  3565328 |  3511462 |      556  13347 |        0 |        0
754.60/754.99	c  754s |      24 |  3573998 |  3520062 |      556  13373 |        0 |        0
756.70/757.01	c  756s |      24 |  3582865 |  3528862 |      556  13400 |        0 |        0
758.70/759.01	c  758s |      24 |  3591918 |  3537862 |      556  13427 |        0 |        0
760.69/761.02	c  761s |      24 |  3601012 |  3546862 |      556  13454 |        0 |        0
762.69/763.02	c  763s |      24 |  3609775 |  3555562 |      556  13480 |        0 |        0
764.69/765.04	c  765s |      24 |  3618275 |  3563962 |      556  13505 |        0 |        0
766.69/767.05	c  767s |      24 |  3626786 |  3572362 |      556  13531 |        0 |        0
768.70/769.07	c  769s |      24 |  3635751 |  3581262 |      556  13558 |        0 |        0
770.69/771.09	c  771s |      24 |  3644550 |  3589962 |      556  13584 |        0 |        0
772.79/773.10	c  773s |      24 |  3652957 |  3598262 |      556  13609 |        0 |        0
774.79/775.13	c  775s |      24 |  3661467 |  3606662 |      556  13635 |        0 |        0
776.79/777.13	c  777s |      24 |  3670493 |  3615562 |      556  13661 |        0 |        0
778.79/779.13	c  779s |      24 |  3680209 |  3625162 |      556  13690 |        0 |        0
780.79/781.15	c  781s |      24 |  3689621 |  3634462 |      556  13718 |        0 |        0
782.79/783.17	c  783s |      24 |  3698898 |  3643662 |      556  13745 |        0 |        0
784.78/785.19	c  785s |      24 |  3707907 |  3652562 |      556  13772 |        0 |        0
786.78/787.19	c  787s |      24 |  3717296 |  3661862 |      556  13799 |        0 |        0
788.88/789.21	c  789s |      24 |  3726678 |  3671162 |      556  13827 |        0 |        0
790.88/791.21	c  791s |      24 |  3735781 |  3680162 |      556  13854 |        0 |        0
792.88/793.22	c  793s |      24 |  3744732 |  3689062 |      556  13881 |        0 |        0
794.87/795.22	c  795s |      24 |  3753928 |  3698162 |      556  13908 |        0 |        0
796.87/797.23	c  797s |      24 |  3763302 |  3707462 |      556  13936 |        0 |        0
798.87/799.25	c  799s |      24 |  3772294 |  3716362 |      556  13963 |        0 |        0
800.87/801.27	c  801s |      24 |  3781422 |  3725362 |      556  13990 |        0 |        0
802.87/803.28	c  803s |      24 |  3790116 |  3733962 |      556  14015 |        0 |        0
804.87/805.29	c  805s |      24 |  3799004 |  3742762 |      556  14042 |        0 |        0
806.97/807.31	c  807s |      24 |  3808384 |  3752062 |      556  14069 |        0 |        0
808.97/809.33	c  809s |      24 |  3817456 |  3761062 |      556  14096 |        0 |        0
810.97/811.34	c  811s |      24 |  3826444 |  3769962 |      556  14123 |        0 |        0
812.97/813.36	c  813s |      24 |  3835755 |  3779162 |      556  14151 |        0 |        0
814.96/815.37	c  815s |      24 |  3844826 |  3788062 |      556  14177 |        0 |        0
816.97/817.37	c  817s |      24 |  3853721 |  3796862 |      556  14204 |        0 |        0
818.96/819.39	c  819s |      24 |  3862629 |  3805662 |      556  14230 |        0 |        0
820.96/821.39	c  821s |      24 |  3871301 |  3814262 |      556  14256 |        0 |        0
823.06/823.41	c  823s |      24 |  3880018 |  3822862 |      556  14282 |        0 |        0
825.06/825.43	c  825s |      24 |  3888413 |  3831162 |      556  14307 |        0 |        0
827.06/827.44	c  827s |      24 |  3897033 |  3839662 |      556  14332 |        0 |        0
829.06/829.47	c  829s |      24 |  3906038 |  3848562 |      556  14359 |        0 |        0
831.05/831.47	c  831s |      24 |  3915203 |  3857562 |      556  14386 |        0 |        0
833.05/833.47	c  833s |      24 |  3924129 |  3866362 |      556  14412 |        0 |        0
835.05/835.49	c  835s |      24 |  3933325 |  3875462 |      556  14439 |        0 |        0
837.05/837.49	c  837s |      24 |  3941973 |  3883962 |      556  14465 |        0 |        0
839.15/839.51	c  839s |      24 |  3950511 |  3892362 |      556  14490 |        0 |        0
841.16/841.53	c  841s |      24 |  3959239 |  3900962 |      556  14516 |        0 |        0
843.15/843.54	c  843s |      24 |  3968524 |  3910162 |      556  14543 |        0 |        0
845.14/845.55	c  845s |      24 |  3976955 |  3918562 |      556  14569 |        0 |        0
847.14/847.56	c  847s |      24 |  3985637 |  3927162 |      556  14594 |        0 |        0
849.14/849.57	c  849s |      24 |  3993829 |  3935262 |      556  14619 |        0 |        0
851.15/851.57	c  851s |      24 |  4002020 |  3943362 |      556  14643 |        0 |        0
853.14/853.59	c  853s |      24 |  4010595 |  3951862 |      556  14668 |        0 |        0
855.14/855.59	c  855s |      24 |  4019065 |  3960262 |      556  14694 |        0 |        0
857.24/857.61	c  857s |      24 |  4027263 |  3968362 |      556  14718 |        0 |        0
859.24/859.64	c  859s |      24 |  4036169 |  3977162 |      556  14745 |        0 |        0
861.24/861.66	c  861s |      24 |  4045006 |  3985862 |      556  14771 |        0 |        0
863.24/863.68	c  863s |      24 |  4053605 |  3994362 |      556  14796 |        0 |        0
865.23/865.69	c  865s |      24 |  4061878 |  4002562 |      556  14821 |        0 |        0
867.33/867.71	c  867s |      24 |  4069880 |  4010462 |      556  14845 |        0 |        0
869.33/869.72	c  869s |      24 |  4077859 |  4018362 |      556  14869 |        0 |        0
871.33/871.72	c  871s |      24 |  4085929 |  4026362 |      556  14893 |        0 |        0
873.32/873.73	c  873s |      24 |  4094046 |  4034362 |      556  14917 |        0 |        0
875.33/875.74	c  875s |      24 |  4102298 |  4042462 |      556  14941 |        0 |        0
877.32/877.76	c  877s |      24 |  4110491 |  4050562 |      556  14966 |        0 |        0
879.32/879.78	c  879s |      24 |  4118639 |  4058662 |      556  14990 |        0 |        0
881.32/881.79	c  881s |      24 |  4126640 |  4066562 |      556  15014 |        0 |        0
883.41/883.81	c  883s |      24 |  4134965 |  4074762 |      556  15039 |        0 |        0
885.41/885.82	c  885s |      24 |  4142966 |  4082662 |      556  15062 |        0 |        0
887.42/887.83	c  887s |      24 |  4150895 |  4090462 |      556  15086 |        0 |        0
889.41/889.83	c  889s |      24 |  4158927 |  4098362 |      556  15110 |        0 |        0
891.41/891.85	c  891s |      24 |  4167508 |  4106862 |      556  15135 |        0 |        0
893.41/893.87	c  893s |      24 |  4175905 |  4115162 |      556  15160 |        0 |        0
895.41/895.87	c  895s |      24 |  4183861 |  4123062 |      556  15184 |        0 |        0
897.41/897.87	c  897s |      24 |  4191910 |  4131062 |      556  15208 |        0 |        0
899.42/899.87	c  899s |      24 |  4200376 |  4139462 |      556  15234 |        0 |        0
901.41/901.88	c  901s |      24 |  4208968 |  4147962 |      556  15259 |        0 |        0
903.40/903.90	c  903s |      24 |  4217313 |  4156262 |      556  15284 |        0 |        0
905.50/905.91	c  905s |      24 |  4225633 |  4164462 |      556  15309 |        0 |        0
907.50/907.92	c  907s |      24 |  4233782 |  4172462 |      556  15333 |        0 |        0
909.50/909.95	c  909s |      24 |  4242048 |  4180662 |      556  15358 |        0 |        0
911.51/911.96	c  911s |      24 |  4250165 |  4188662 |      556  15382 |        0 |        0
913.50/913.98	c  913s |      24 |  4258191 |  4196562 |      556  15405 |        0 |        0
915.50/915.99	c  915s |      24 |  4266111 |  4204362 |      556  15429 |        0 |        0
917.50/918.00	c  917s |      24 |  4273691 |  4211862 |      556  15452 |        0 |        0
919.60/920.02	c  920s |      24 |  4281573 |  4219662 |      556  15475 |        0 |        0
921.61/922.03	c  922s |      24 |  4289349 |  4227362 |      556  15499 |        0 |        0
923.61/924.04	c  924s |      24 |  4297021 |  4234962 |      556  15522 |        0 |        0
925.60/926.05	c  926s |      24 |  4304567 |  4242462 |      556  15544 |        0 |        0
927.60/928.06	c  928s |      24 |  4313459 |  4251262 |      556  15571 |        0 |        0
929.60/930.07	c  930s |      24 |  4321955 |  4259662 |      556  15596 |        0 |        0
931.60/932.08	c  932s |      24 |  4330170 |  4267762 |      556  15620 |        0 |        0
933.61/934.09	c  934s |      24 |  4338270 |  4275762 |      556  15644 |        0 |        0
935.71/936.11	c  936s |      24 |  4346458 |  4283862 |      556  15668 |        0 |        0
937.70/938.13	c  938s |      24 |  4354598 |  4291862 |      556  15692 |        0 |        0
939.70/940.14	c  940s |      24 |  4362702 |  4299862 |      556  15716 |        0 |        0
941.70/942.16	c  942s |      24 |  4371008 |  4308062 |      556  15740 |        0 |        0
943.70/944.17	c  944s |      24 |  4379366 |  4316262 |      556  15765 |        0 |        0
945.71/946.18	c  946s |      24 |  4387567 |  4324362 |      556  15789 |        0 |        0
947.70/948.18	c  948s |      24 |  4395441 |  4332162 |      556  15812 |        0 |        0
949.80/950.20	c  950s |      24 |  4403531 |  4340162 |      556  15836 |        0 |        0
951.80/952.22	c  952s |      24 |  4411568 |  4348062 |      556  15860 |        0 |        0
953.80/954.24	c  954s |      24 |  4419442 |  4355862 |      556  15883 |        0 |        0
955.79/956.26	c  956s |      24 |  4427319 |  4363662 |      556  15907 |        0 |        0
957.80/958.28	c  958s |      24 |  4435345 |  4371562 |      556  15931 |        0 |        0
959.79/960.30	c  960s |      24 |  4443470 |  4379562 |      556  15955 |        0 |        0
961.89/962.30	c  962s |      24 |  4451890 |  4387862 |      556  15980 |        0 |        0
963.89/964.31	c  964s |      24 |  4460090 |  4395962 |      556  16004 |        0 |        0
965.89/966.33	c  966s |      24 |  4468327 |  4404062 |      556  16029 |        0 |        0
967.89/968.34	c  968s |      24 |  4476405 |  4412062 |      556  16053 |        0 |        0
969.90/970.36	c  970s |      24 |  4484512 |  4420062 |      556  16077 |        0 |        0
971.89/972.37	c  972s |      24 |  4492522 |  4427962 |      556  16100 |        0 |        0
973.89/974.37	c  974s |      24 |  4500517 |  4435862 |      556  16124 |        0 |        0
975.89/976.38	c  976s |      24 |  4508317 |  4443562 |      556  16147 |        0 |        0
977.99/978.40	c  978s |      24 |  4516120 |  4451262 |      556  16171 |        0 |        0
979.99/980.40	c  980s |      24 |  4524306 |  4459262 |      556  16195 |        0 |        0
982.00/982.42	c  982s |      24 |  4532179 |  4467062 |      556  16218 |        0 |        0
984.00/984.42	c  984s |      24 |  4540177 |  4474962 |      556  16242 |        0 |        0
986.00/986.42	c  986s |      24 |  4548259 |  4482962 |      556  16266 |        0 |        0
987.99/988.43	c  988s |      24 |  4556659 |  4491262 |      556  16291 |        0 |        0
989.99/990.44	c  990s |      24 |  4564509 |  4499062 |      556  16314 |        0 |        0
991.99/992.46	c  992s |      24 |  4572157 |  4506662 |      556  16337 |        0 |        0
994.00/994.46	c  994s |      24 |  4580093 |  4514462 |      556  16361 |        0 |        0
995.99/996.48	c  996s |      24 |  4588330 |  4522562 |      556  16385 |        0 |        0
997.99/998.49	c  998s |      24 |  4596233 |  4530362 |      556  16408 |        0 |        0
1000.09/1000.50	c 1000s |      24 |  4604113 |  4538162 |      556  16432 |        0 |        0
1002.09/1002.52	c 1002s |      24 |  4612426 |  4546362 |      556  16456 |        0 |        0
1004.09/1004.54	c 1004s |      24 |  4620224 |  4554062 |      556  16479 |        0 |        0
1006.10/1006.56	c 1006s |      24 |  4627915 |  4561662 |      556  16502 |        0 |        0
1008.09/1008.57	c 1008s |      24 |  4635891 |  4569562 |      556  16526 |        0 |        0
1010.09/1010.58	c 1010s |      24 |  4643579 |  4577162 |      556  16549 |        0 |        0
1012.09/1012.58	c 1012s |      24 |  4651241 |  4584762 |      556  16572 |        0 |        0
1014.19/1014.60	c 1014s |      24 |  4659235 |  4592662 |      556  16596 |        0 |        0
1016.19/1016.60	c 1016s |      24 |  4666829 |  4600162 |      556  16618 |        0 |        0
1018.19/1018.63	c 1018s |      24 |  4674501 |  4607762 |      556  16641 |        0 |        0
1020.19/1020.63	c 1020s |      24 |  4682172 |  4615362 |      556  16665 |        0 |        0
1022.19/1022.64	c 1022s |      24 |  4691484 |  4624562 |      556  16692 |        0 |        0
1024.18/1024.65	c 1024s |      24 |  4700378 |  4633362 |      556  16718 |        0 |        0
1026.18/1026.65	c 1026s |      24 |  4709478 |  4642362 |      556  16745 |        0 |        0
1028.19/1028.67	c 1028s |      24 |  4718590 |  4651362 |      556  16772 |        0 |        0
1030.18/1030.68	c 1030s |      24 |  4727384 |  4660062 |      556  16798 |        0 |        0
1032.18/1032.69	c 1032s |      24 |  4735777 |  4668362 |      556  16823 |        0 |        0
1034.18/1034.70	c 1034s |      24 |  4744562 |  4677062 |      556  16849 |        0 |        0
1036.28/1036.72	c 1036s |      24 |  4753367 |  4685762 |      556  16875 |        0 |        0
1038.28/1038.72	c 1038s |      24 |  4761771 |  4694062 |      556  16900 |        0 |        0
1040.29/1040.74	c 1040s |      24 |  4770915 |  4703062 |      556  16926 |        0 |        0
1042.28/1042.76	c 1042s |      24 |  4779644 |  4711662 |      556  16952 |        0 |        0
1044.28/1044.76	c 1044s |      24 |  4788098 |  4719962 |      556  16977 |        0 |        0
1046.28/1046.76	c 1046s |      24 |  4796416 |  4728162 |      556  17002 |        0 |        0
1048.28/1048.78	c 1048s |      24 |  4804613 |  4736262 |      556  17026 |        0 |        0
1050.28/1050.78	c 1050s |      24 |  4812628 |  4744162 |      556  17050 |        0 |        0
1052.39/1052.80	c 1052s |      24 |  4820733 |  4752162 |      556  17074 |        0 |        0
1054.38/1054.81	c 1054s |      24 |  4829018 |  4760362 |      556  17098 |        0 |        0
1056.38/1056.82	c 1056s |      24 |  4836893 |  4768162 |      556  17122 |        0 |        0
1058.38/1058.83	c 1058s |      24 |  4844768 |  4775962 |      556  17145 |        0 |        0
1060.38/1060.84	c 1060s |      24 |  4852735 |  4783862 |      556  17169 |        0 |        0
1062.38/1062.84	c 1062s |      24 |  4860717 |  4791762 |      556  17193 |        0 |        0
1064.38/1064.86	c 1064s |      24 |  4868591 |  4799562 |      556  17216 |        0 |        0
1066.38/1066.88	c 1066s |      24 |  4876581 |  4807462 |      556  17240 |        0 |        0
1068.38/1068.88	c 1068s |      24 |  4885328 |  4816062 |      556  17266 |        0 |        0
1070.38/1070.89	c 1070s |      24 |  4894396 |  4824962 |      556  17292 |        0 |        0
1072.48/1072.90	c 1072s |      24 |  4902779 |  4833262 |      556  17317 |        0 |        0
1074.47/1074.92	c 1074s |      24 |  4910961 |  4841362 |      556  17342 |        0 |        0
1076.48/1076.92	c 1076s |      24 |  4919069 |  4849362 |      556  17366 |        0 |        0
1078.47/1078.92	c 1078s |      24 |  4927469 |  4857662 |      556  17391 |        0 |        0
1080.47/1080.93	c 1080s |      24 |  4935575 |  4865662 |      556  17414 |        0 |        0
1082.47/1082.93	c 1082s |      24 |  4943674 |  4873662 |      556  17438 |        0 |        0
1084.47/1084.94	c 1084s |      24 |  4951784 |  4881662 |      556  17463 |        0 |        0
1086.48/1086.95	c 1086s |      24 |  4959976 |  4889762 |      556  17487 |        0 |        0
1088.47/1088.96	c 1088s |      24 |  4968086 |  4897762 |      556  17511 |        0 |        0
1090.47/1090.99	c 1090s |      24 |  4976609 |  4906162 |      556  17536 |        0 |        0
1092.57/1093.00	c 1092s |      24 |  4984751 |  4914162 |      556  17560 |        0 |        0
1094.57/1095.02	c 1095s |      24 |  4993799 |  4923062 |      556  17587 |        0 |        0
1096.58/1097.04	c 1097s |      24 |  5002215 |  4931362 |      556  17612 |        0 |        0
1098.59/1099.05	c 1099s |      24 |  5010422 |  4939462 |      556  17636 |        0 |        0
1100.58/1101.07	c 1101s |      24 |  5018318 |  4947262 |      556  17660 |        0 |        0
1102.58/1103.09	c 1103s |      24 |  5026091 |  4954962 |      556  17683 |        0 |        0
1104.58/1105.09	c 1105s |      24 |  5033788 |  4962562 |      556  17706 |        0 |        0
1106.68/1107.11	c 1107s |      24 |  5041537 |  4970262 |      556  17729 |        0 |        0
1108.68/1109.12	c 1109s |      24 |  5049333 |  4977962 |      556  17752 |        0 |        0
1110.68/1111.14	c 1111s |      24 |  5057104 |  4985662 |      556  17775 |        0 |        0
1112.67/1113.16	c 1113s |      24 |  5064903 |  4993362 |      556  17798 |        0 |        0
1114.67/1115.17	c 1115s |      24 |  5072599 |  5000962 |      556  17821 |        0 |        0
1116.67/1117.18	c 1117s |      24 |  5080063 |  5008362 |      556  17844 |        0 |        0
1118.77/1119.20	c 1119s |      24 |  5087646 |  5015862 |      556  17866 |        0 |        0
1120.77/1121.21	c 1121s |      24 |  5095248 |  5023362 |      556  17889 |        0 |        0
1122.78/1123.22	c 1123s |      24 |  5103168 |  5031162 |      612  17912 |        0 |        0
1124.77/1125.23	c 1125s |      24 |  5111099 |  5038962 |      612  17933 |        0 |        0
1126.77/1127.24	c 1127s |      24 |  5118921 |  5046662 |      612  17955 |        0 |        0
1128.77/1129.25	c 1129s |      24 |  5126845 |  5054462 |      612  17976 |        0 |        0
1130.77/1131.26	c 1131s |      24 |  5134555 |  5062062 |      612  17998 |        0 |        0
1131.58/1132.05	c 1132s |      25 |  5137638 |  5065098 |      612  18006 |        0 |        0
1133.57/1134.08	c 1134s |      25 |  5145801 |  5072998 |      612  18028 |        0 |        0
1135.57/1136.09	c 1136s |      25 |  5153797 |  5080898 |      612  18050 |        0 |        0
1137.67/1138.11	c 1138s |      25 |  5162038 |  5088998 |      612  18072 |        0 |        0
1139.67/1140.13	c 1140s |      25 |  5170184 |  5096998 |      612  18094 |        0 |        0
1141.67/1142.13	c 1142s |      25 |  5178067 |  5104798 |      612  18116 |        0 |        0
1143.68/1144.16	c 1144s |      25 |  5185980 |  5112598 |      612  18138 |        0 |        0
1145.67/1146.17	c 1146s |      25 |  5194377 |  5120898 |      612  18160 |        0 |        0
1147.67/1148.19	c 1148s |      25 |  5202272 |  5128698 |      612  18182 |        0 |        0
1149.67/1150.19	c 1150s |      25 |  5210373 |  5136698 |      612  18204 |        0 |        0
1151.67/1152.20	c 1152s |      25 |  5218402 |  5144598 |      612  18226 |        0 |        0
1153.77/1154.20	c 1154s |      25 |  5226269 |  5152398 |      612  18247 |        0 |        0
1155.77/1156.21	c 1156s |      25 |  5234233 |  5160298 |      612  18269 |        0 |        0
1157.77/1158.21	c 1158s |      25 |  5241992 |  5167998 |      612  18291 |        0 |        0
1159.76/1160.22	c 1160s |      25 |  5249682 |  5175598 |      612  18312 |        0 |        0
1161.76/1162.24	c 1162s |      25 |  5257156 |  5182998 |      612  18333 |        0 |        0
1163.76/1164.26	c 1164s |      25 |  5265250 |  5190998 |      612  18355 |        0 |        0
1165.76/1166.27	c 1166s |      25 |  5273256 |  5198898 |      612  18377 |        0 |        0
1167.77/1168.28	c 1168s |      25 |  5281035 |  5206598 |      612  18398 |        0 |        0
1169.76/1170.29	c 1170s |      25 |  5288976 |  5214398 |      612  18420 |        0 |        0
1171.86/1172.30	c 1172s |      25 |  5297175 |  5222498 |      612  18442 |        0 |        0
1173.86/1174.30	c 1174s |      25 |  5304966 |  5230198 |      612  18464 |        0 |        0
1175.86/1176.30	c 1176s |      25 |  5312763 |  5237898 |      612  18485 |        0 |        0
1177.86/1178.31	c 1178s |      25 |  5320652 |  5245698 |      612  18507 |        0 |        0
1179.87/1180.32	c 1180s |      25 |  5328439 |  5253398 |      612  18528 |        0 |        0
1181.86/1182.33	c 1182s |      25 |  5336369 |  5261198 |      612  18550 |        0 |        0
1183.86/1184.35	c 1184s |      25 |  5344261 |  5268998 |      612  18572 |        0 |        0
1185.86/1186.36	c 1186s |      25 |  5351948 |  5276598 |      612  18593 |        0 |        0
1187.86/1188.37	c 1188s |      25 |  5359571 |  5284098 |      612  18614 |        0 |        0
1189.87/1190.38	c 1190s |      25 |  5368184 |  5292598 |      612  18637 |        0 |        0
1191.86/1192.39	c 1192s |      25 |  5376472 |  5300798 |      612  18660 |        0 |        0
1193.96/1194.40	c 1194s |      25 |  5384471 |  5308698 |      612  18682 |        0 |        0
1195.96/1196.41	c 1196s |      25 |  5392178 |  5316298 |      612  18703 |        0 |        0
1197.95/1198.41	c 1198s |      25 |  5400419 |  5324398 |      612  18725 |        0 |        0
1199.96/1200.44	c 1200s |      25 |  5408226 |  5332098 |      612  18747 |        0 |        0
1201.97/1202.47	c 1202s |      25 |  5416030 |  5339798 |      612  18768 |        0 |        0
1203.96/1204.48	c 1204s |      25 |  5424140 |  5347798 |      612  18790 |        0 |        0
1205.96/1206.49	c 1206s |      25 |  5432017 |  5355598 |      612  18812 |        0 |        0
1208.06/1208.51	c 1208s |      25 |  5439889 |  5363398 |      612  18834 |        0 |        0
1210.06/1210.53	c 1210s |      25 |  5447784 |  5371198 |      612  18855 |        0 |        0
1212.06/1212.53	c 1212s |      25 |  5455950 |  5379198 |      612  18877 |        0 |        0
1214.07/1214.54	c 1214s |      25 |  5464114 |  5387198 |      612  18900 |        0 |        0
1216.06/1216.55	c 1216s |      25 |  5472589 |  5395398 |      612  18922 |        0 |        0
1218.06/1218.57	c 1218s |      25 |  5480747 |  5403398 |      612  18945 |        0 |        0
1220.06/1220.58	c 1220s |      25 |  5488959 |  5411398 |      612  18967 |        0 |        0
1222.16/1222.60	c 1222s |      25 |  5497421 |  5419698 |      612  18990 |        0 |        0
1224.16/1224.61	c 1224s |      25 |  5505435 |  5427598 |      612  19012 |        0 |        0
1226.16/1226.64	c 1226s |      25 |  5513346 |  5435398 |      612  19034 |        0 |        0
1228.16/1228.64	c 1228s |      25 |  5521385 |  5443298 |      612  19056 |        0 |        0
1230.16/1230.65	c 1230s |      25 |  5529302 |  5451098 |      612  19078 |        0 |        0
1232.16/1232.67	c 1232s |      25 |  5537493 |  5459098 |      612  19100 |        0 |        0
1234.15/1234.68	c 1234s |      25 |  5545697 |  5467198 |      612  19122 |        0 |        0
1236.15/1236.70	c 1236s |      25 |  5553789 |  5475198 |      612  19145 |        0 |        0
1238.26/1238.71	c 1238s |      25 |  5561791 |  5483098 |      612  19166 |        0 |        0
1240.25/1240.73	c 1240s |      25 |  5569654 |  5490898 |      612  19188 |        0 |        0
1242.25/1242.74	c 1242s |      25 |  5577549 |  5498698 |      612  19210 |        0 |        0
1244.25/1244.76	c 1244s |      25 |  5585820 |  5506798 |      612  19232 |        0 |        0
1246.25/1246.78	c 1246s |      25 |  5594054 |  5514898 |      612  19254 |        0 |        0
1248.35/1248.80	c 1248s |      25 |  5601977 |  5522698 |      612  19276 |        0 |        0
1250.36/1250.81	c 1250s |      25 |  5609961 |  5530498 |      612  19298 |        0 |        0
1252.35/1252.83	c 1252s |      25 |  5617537 |  5537998 |      612  19319 |        0 |        0
1254.35/1254.84	c 1254s |      25 |  5625825 |  5546098 |      612  19341 |        0 |        0
1256.35/1256.84	c 1256s |      25 |  5633913 |  5553998 |      612  19363 |        0 |        0
1258.35/1258.86	c 1258s |      25 |  5641833 |  5561798 |      612  19385 |        0 |        0
1260.35/1260.87	c 1260s |      25 |  5649557 |  5569398 |      612  19406 |        0 |        0
1262.36/1262.87	c 1262s |      25 |  5657213 |  5576898 |      612  19427 |        0 |        0
1264.45/1264.91	c 1264s |      25 |  5664826 |  5584398 |      612  19448 |        0 |        0
1266.45/1266.91	c 1266s |      25 |  5673130 |  5592598 |      612  19470 |        0 |        0
1268.45/1268.91	c 1268s |      25 |  5681309 |  5600698 |      612  19493 |        0 |        0
1270.45/1270.92	c 1270s |      25 |  5689231 |  5608498 |      612  19515 |        0 |        0
1272.45/1272.92	c 1272s |      25 |  5696998 |  5616198 |      612  19536 |        0 |        0
1274.45/1274.93	c 1274s |      25 |  5704559 |  5623698 |      612  19557 |        0 |        0
1276.45/1276.94	c 1276s |      25 |  5712141 |  5631198 |      612  19578 |        0 |        0
1278.45/1278.96	c 1278s |      25 |  5719990 |  5638898 |      612  19599 |        0 |        0
1280.45/1280.97	c 1280s |      25 |  5727867 |  5646698 |      612  19621 |        0 |        0
1282.45/1282.98	c 1282s |      25 |  5735773 |  5654498 |      612  19643 |        0 |        0
1284.55/1285.00	c 1284s |      25 |  5743550 |  5662198 |      612  19664 |        0 |        0
1286.55/1287.02	c 1287s |      25 |  5751435 |  5669998 |      612  19686 |        0 |        0
1288.55/1289.04	c 1289s |      25 |  5759720 |  5678098 |      612  19708 |        0 |        0
1290.54/1291.04	c 1291s |      25 |  5767395 |  5685698 |      612  19730 |        0 |        0
1292.54/1293.05	c 1293s |      25 |  5775056 |  5693298 |      612  19751 |        0 |        0
1294.54/1295.05	c 1295s |      25 |  5782778 |  5700898 |      612  19772 |        0 |        0
1296.55/1297.07	c 1297s |      25 |  5790362 |  5708398 |      612  19793 |        0 |        0
1298.54/1299.09	c 1299s |      25 |  5798028 |  5715998 |      612  19814 |        0 |        0
1300.64/1301.11	c 1301s |      25 |  5805702 |  5723598 |      612  19836 |        0 |        0
1302.64/1303.13	c 1303s |      25 |  5813511 |  5731298 |      612  19857 |        0 |        0
1304.64/1305.15	c 1305s |      25 |  5822327 |  5739998 |      612  19881 |        0 |        0
1306.64/1307.16	c 1307s |      25 |  5831238 |  5748798 |      612  19905 |        0 |        0
1308.65/1309.17	c 1309s |      25 |  5840672 |  5758098 |      612  19931 |        0 |        0
1310.64/1311.18	c 1311s |      25 |  5849950 |  5767198 |      612  19956 |        0 |        0
1312.64/1313.19	c 1313s |      25 |  5858804 |  5775898 |      612  19980 |        0 |        0
1314.74/1315.20	c 1315s |      25 |  5867170 |  5784198 |      612  20003 |        0 |        0
1316.75/1317.21	c 1317s |      25 |  5875769 |  5792698 |      612  20026 |        0 |        0
1318.74/1319.22	c 1319s |      25 |  5884405 |  5801198 |      612  20050 |        0 |        0
1320.75/1321.23	c 1321s |      25 |  5893469 |  5810098 |      612  20074 |        0 |        0
1322.74/1323.24	c 1323s |      25 |  5901849 |  5818398 |      612  20097 |        0 |        0
1324.74/1325.24	c 1325s |      25 |  5910162 |  5826598 |      612  20120 |        0 |        0
1326.74/1327.26	c 1327s |      25 |  5918601 |  5834898 |      612  20143 |        0 |        0
1328.74/1329.27	c 1329s |      25 |  5926954 |  5843098 |      612  20166 |        0 |        0
1330.74/1331.29	c 1331s |      25 |  5935045 |  5851098 |      612  20188 |        0 |        0
1332.75/1333.29	c 1333s |      25 |  5943123 |  5859098 |      612  20210 |        0 |        0
1334.84/1335.31	c 1335s |      25 |  5951285 |  5867198 |      612  20232 |        0 |        0
1336.84/1337.34	c 1337s |      25 |  5959135 |  5874998 |      612  20254 |        0 |        0
1338.84/1339.36	c 1339s |      25 |  5967100 |  5882898 |      612  20276 |        0 |        0
1340.84/1341.39	c 1341s |      25 |  5975461 |  5891198 |      612  20299 |        0 |        0
1342.84/1343.40	c 1343s |      25 |  5983556 |  5899198 |      612  20321 |        0 |        0
1344.84/1345.40	c 1345s |      25 |  5992109 |  5907598 |      612  20344 |        0 |        0
1346.94/1347.40	c 1347s |      25 |  6000526 |  5915898 |      612  20367 |        0 |        0
1348.94/1349.41	c 1349s |      25 |  6008493 |  5923798 |      612  20389 |        0 |        0
1350.94/1351.42	c 1351s |      25 |  6016491 |  5931698 |      612  20411 |        0 |        0
1352.94/1353.43	c 1353s |      25 |  6024490 |  5939598 |      612  20433 |        0 |        0
1354.94/1355.44	c 1355s |      25 |  6033501 |  5948498 |      612  20457 |        0 |        0
1356.94/1357.45	c 1357s |      25 |  6042232 |  5957098 |      612  20481 |        0 |        0
1358.94/1359.46	c 1359s |      25 |  6050636 |  5965398 |      612  20504 |        0 |        0
1360.93/1361.47	c 1361s |      25 |  6059238 |  5973898 |      612  20527 |        0 |        0
1362.93/1363.47	c 1363s |      25 |  6067427 |  5981998 |      612  20550 |        0 |        0
1364.93/1365.48	c 1365s |      25 |  6075662 |  5990098 |      612  20572 |        0 |        0
1366.94/1367.49	c 1367s |      25 |  6084059 |  5998398 |      612  20595 |        0 |        0
1368.93/1369.50	c 1369s |      25 |  6092243 |  6006498 |      612  20617 |        0 |        0
1371.03/1371.50	c 1371s |      25 |  6100019 |  6014198 |      612  20639 |        0 |        0
1373.03/1373.51	c 1373s |      25 |  6108003 |  6022098 |      612  20661 |        0 |        0
1375.03/1375.52	c 1375s |      25 |  6115884 |  6029898 |      612  20682 |        0 |        0
1377.03/1377.53	c 1377s |      25 |  6123640 |  6037598 |      612  20704 |        0 |        0
1379.04/1379.54	c 1379s |      25 |  6131398 |  6045298 |      612  20725 |        0 |        0
1381.03/1381.56	c 1381s |      25 |  6139376 |  6053198 |      612  20747 |        0 |        0
1383.03/1383.57	c 1383s |      25 |  6147864 |  6061598 |      612  20770 |        0 |        0
1385.13/1385.60	c 1385s |      25 |  6156084 |  6069698 |      612  20793 |        0 |        0
1387.13/1387.61	c 1387s |      25 |  6163888 |  6077398 |      612  20814 |        0 |        0
1389.13/1389.64	c 1389s |      25 |  6171606 |  6084998 |      612  20835 |        0 |        0
1391.13/1391.65	c 1391s |      25 |  6179678 |  6092998 |      612  20857 |        0 |        0
1393.13/1393.66	c 1393s |      25 |  6187564 |  6100798 |      612  20879 |        0 |        0
1395.13/1395.67	c 1395s |      25 |  6195690 |  6108798 |      612  20901 |        0 |        0
1397.13/1397.67	c 1397s |      25 |  6203869 |  6116898 |      612  20923 |        0 |        0
1399.13/1399.68	c 1399s |      25 |  6211832 |  6124798 |      612  20945 |        0 |        0
1401.13/1401.70	c 1401s |      25 |  6219811 |  6132698 |      612  20967 |        0 |        0
1403.13/1403.70	c 1403s |      25 |  6227603 |  6140398 |      612  20989 |        0 |        0
1405.23/1405.71	c 1405s |      25 |  6235382 |  6148098 |      612  21010 |        0 |        0
1407.23/1407.73	c 1407s |      25 |  6242938 |  6155598 |      612  21031 |        0 |        0
1409.22/1409.73	c 1409s |      25 |  6250710 |  6163298 |      612  21052 |        0 |        0
1411.22/1411.74	c 1411s |      25 |  6258409 |  6170898 |      612  21073 |        0 |        0
1413.22/1413.75	c 1413s |      25 |  6266009 |  6178398 |      612  21094 |        0 |        0
1415.23/1415.77	c 1415s |      25 |  6273883 |  6186198 |      612  21116 |        0 |        0
1417.22/1417.79	c 1417s |      25 |  6281678 |  6193898 |      612  21137 |        0 |        0
1419.32/1419.81	c 1419s |      25 |  6289472 |  6201598 |      612  21158 |        0 |        0
1421.32/1421.83	c 1421s |      25 |  6297446 |  6209498 |      612  21180 |        0 |        0
1423.32/1423.85	c 1423s |      25 |  6305036 |  6216998 |      612  21201 |        0 |        0
1425.32/1425.86	c 1425s |      25 |  6313434 |  6225298 |      612  21224 |        0 |        0
1427.33/1427.86	c 1427s |      25 |  6321536 |  6233298 |      612  21246 |        0 |        0
1429.32/1429.86	c 1429s |      25 |  6329644 |  6241298 |      612  21268 |        0 |        0
1431.32/1431.87	c 1431s |      25 |  6337639 |  6249198 |      612  21290 |        0 |        0
1433.32/1433.88	c 1433s |      25 |  6345412 |  6256898 |      612  21312 |        0 |        0
1435.32/1435.88	c 1435s |      25 |  6353203 |  6264598 |      612  21333 |        0 |        0
1437.33/1437.89	c 1437s |      25 |  6360886 |  6272198 |      612  21354 |        0 |        0
1439.43/1439.91	c 1439s |      25 |  6368785 |  6279998 |      612  21376 |        0 |        0
1441.42/1441.92	c 1441s |      25 |  6376363 |  6287498 |      612  21397 |        0 |        0
1443.42/1443.94	c 1443s |      25 |  6384241 |  6295298 |      612  21419 |        0 |        0
1445.43/1445.94	c 1445s |      25 |  6391922 |  6302898 |      612  21440 |        0 |        0
1447.43/1447.97	c 1447s |      25 |  6399598 |  6310498 |      612  21461 |        0 |        0
1449.43/1449.98	c 1449s |      25 |  6407281 |  6318098 |      612  21482 |        0 |        0
1451.53/1452.01	c 1451s |      25 |  6415226 |  6325898 |      612  21504 |        0 |        0
1453.52/1454.02	c 1454s |      25 |  6423021 |  6333598 |      612  21525 |        0 |        0
1455.52/1456.04	c 1456s |      25 |  6430897 |  6341398 |      612  21547 |        0 |        0
1457.52/1458.06	c 1458s |      25 |  6438692 |  6349098 |      612  21568 |        0 |        0
1459.52/1460.06	c 1460s |      25 |  6446362 |  6356698 |      612  21589 |        0 |        0
1461.53/1462.08	c 1462s |      25 |  6454121 |  6364398 |      612  21610 |        0 |        0
1463.52/1464.10	c 1464s |      25 |  6461775 |  6371998 |      612  21632 |        0 |        0
1465.62/1466.11	c 1466s |      25 |  6469457 |  6379598 |      612  21653 |        0 |        0
1467.62/1468.12	c 1468s |      25 |  6477524 |  6387598 |      612  21675 |        0 |        0
1469.62/1470.13	c 1470s |      25 |  6485399 |  6395398 |      612  21697 |        0 |        0
1471.62/1472.15	c 1472s |      25 |  6493060 |  6402998 |      612  21718 |        0 |        0
1473.63/1474.17	c 1474s |      25 |  6500617 |  6410498 |      612  21739 |        0 |        0
1475.62/1476.20	c 1476s |      25 |  6508095 |  6417898 |      612  21759 |        0 |        0
1477.72/1478.21	c 1478s |      25 |  6515783 |  6425498 |      612  21780 |        0 |        0
1479.72/1480.22	c 1480s |      25 |  6523449 |  6433098 |      612  21802 |        0 |        0
1481.72/1482.23	c 1482s |      25 |  6531123 |  6440698 |      612  21823 |        0 |        0
1483.72/1484.23	c 1484s |      25 |  6539102 |  6448598 |      612  21845 |        0 |        0
1485.72/1486.24	c 1486s |      25 |  6546909 |  6456298 |      612  21866 |        0 |        0
1487.71/1488.25	c 1488s |      25 |  6554592 |  6463898 |      612  21887 |        0 |        0
1489.71/1490.27	c 1490s |      25 |  6562164 |  6471398 |      612  21908 |        0 |        0
1491.71/1492.28	c 1492s |      25 |  6569857 |  6478998 |      612  21929 |        0 |        0
1493.81/1494.30	c 1494s |      25 |  6578119 |  6487198 |      612  21952 |        0 |        0
1495.81/1496.32	c 1496s |      25 |  6585804 |  6494798 |      612  21973 |        0 |        0
1497.82/1498.32	c 1498s |      25 |  6593386 |  6502298 |      612  21994 |        0 |        0
1499.81/1500.32	c 1500s |      25 |  6601418 |  6510198 |      612  22016 |        0 |        0
1501.81/1502.34	c 1502s |      25 |  6609345 |  6517998 |      612  22038 |        0 |        0
1503.81/1504.35	c 1504s |      25 |  6617156 |  6525698 |      612  22059 |        0 |        0
1505.81/1506.38	c 1506s |      25 |  6624852 |  6533298 |      612  22081 |        0 |        0
1507.81/1508.39	c 1508s |      25 |  6632765 |  6541098 |      612  22102 |        0 |        0
1509.82/1510.39	c 1510s |      25 |  6640340 |  6548598 |      612  22123 |        0 |        0
1511.91/1512.41	c 1512s |      25 |  6647944 |  6556098 |      612  22144 |        0 |        0
1513.91/1514.42	c 1514s |      25 |  6655548 |  6563598 |      612  22165 |        0 |        0
1515.91/1516.44	c 1516s |      25 |  6663139 |  6571098 |      612  22186 |        0 |        0
1517.91/1518.45	c 1518s |      25 |  6671455 |  6579298 |      612  22209 |        0 |        0
1519.91/1520.45	c 1520s |      25 |  6679563 |  6587298 |      612  22231 |        0 |        0
1521.91/1522.48	c 1522s |      25 |  6687311 |  6594998 |      612  22253 |        0 |        0
1523.91/1524.49	c 1524s |      25 |  6694966 |  6602598 |      612  22274 |        0 |        0
1526.01/1526.50	c 1526s |      25 |  6702878 |  6610398 |      612  22296 |        0 |        0
1528.00/1528.51	c 1528s |      25 |  6710473 |  6617898 |      612  22317 |        0 |        0
1530.00/1530.52	c 1530s |      25 |  6718187 |  6625498 |      612  22338 |        0 |        0
1532.00/1532.53	c 1532s |      25 |  6725850 |  6633098 |      612  22359 |        0 |        0
1534.01/1534.54	c 1534s |      25 |  6733438 |  6640598 |      612  22380 |        0 |        0
1536.00/1536.54	c 1536s |      25 |  6741056 |  6648098 |      612  22401 |        0 |        0
1538.01/1538.56	c 1538s |      25 |  6748568 |  6655498 |      612  22422 |        0 |        0
1540.01/1540.57	c 1540s |      25 |  6756369 |  6663198 |      612  22444 |        0 |        0
1542.01/1542.57	c 1542s |      25 |  6763661 |  6670398 |      612  22464 |        0 |        0
1544.02/1544.58	c 1544s |      25 |  6771702 |  6678298 |      612  22486 |        0 |        0
1546.01/1546.60	c 1546s |      25 |  6779633 |  6686098 |      612  22507 |        0 |        0
1548.11/1548.60	c 1548s |      25 |  6787426 |  6693798 |      612  22529 |        0 |        0
1550.11/1550.61	c 1550s |      25 |  6795209 |  6701498 |      612  22550 |        0 |        0
1552.11/1552.62	c 1552s |      25 |  6803010 |  6709198 |      612  22571 |        0 |        0
1554.11/1554.64	c 1554s |      25 |  6810997 |  6717098 |      612  22593 |        0 |        0
1556.11/1556.65	c 1556s |      25 |  6818780 |  6724798 |      612  22615 |        0 |        0
1558.11/1558.67	c 1558s |      25 |  6826653 |  6732598 |      612  22636 |        0 |        0
1560.11/1560.68	c 1560s |      25 |  6835342 |  6741198 |      612  22660 |        0 |        0
1562.20/1562.70	c 1562s |      25 |  6843527 |  6749298 |      612  22683 |        0 |        0
1564.20/1564.72	c 1564s |      25 |  6851834 |  6757498 |      612  22705 |        0 |        0
1566.20/1566.72	c 1566s |      25 |  6859823 |  6765398 |      612  22727 |        0 |        0
1568.21/1568.74	c 1568s |      25 |  6867617 |  6773098 |      612  22749 |        0 |        0
1570.20/1570.76	c 1570s |      25 |  6875472 |  6780898 |      612  22770 |        0 |        0
1572.20/1572.76	c 1572s |      25 |  6883346 |  6788698 |      612  22792 |        0 |        0
1574.20/1574.78	c 1574s |      25 |  6891235 |  6796498 |      612  22814 |        0 |        0
1576.20/1576.79	c 1576s |      25 |  6898802 |  6803998 |      612  22835 |        0 |        0
1578.20/1578.79	c 1578s |      25 |  6906580 |  6811698 |      612  22856 |        0 |        0
1580.31/1580.81	c 1580s |      25 |  6914362 |  6819398 |      612  22877 |        0 |        0
1582.30/1582.82	c 1582s |      25 |  6921933 |  6826898 |      612  22898 |        0 |        0
1584.30/1584.84	c 1584s |      25 |  6929637 |  6834498 |      612  22920 |        0 |        0
1586.30/1586.85	c 1586s |      25 |  6937442 |  6842198 |      612  22941 |        0 |        0
1588.30/1588.87	c 1588s |      25 |  6945164 |  6849798 |      612  22962 |        0 |        0
1590.30/1590.89	c 1590s |      25 |  6952967 |  6857498 |      612  22984 |        0 |        0
1592.30/1592.90	c 1592s |      25 |  6960967 |  6865398 |      612  23006 |        0 |        0
1594.39/1594.92	c 1594s |      25 |  6969546 |  6873898 |      612  23029 |        0 |        0
1596.40/1596.94	c 1596s |      25 |  6978066 |  6882298 |      612  23052 |        0 |        0
1598.40/1598.94	c 1598s |      25 |  6986330 |  6890498 |      612  23075 |        0 |        0
1600.40/1600.96	c 1600s |      25 |  6994723 |  6898798 |      612  23098 |        0 |        0
1602.40/1602.96	c 1602s |      25 |  7002935 |  6906898 |      612  23121 |        0 |        0
1604.41/1604.96	c 1604s |      25 |  7011149 |  6914998 |      612  23143 |        0 |        0
1606.40/1606.97	c 1606s |      25 |  7019354 |  6923098 |      612  23165 |        0 |        0
1608.40/1608.99	c 1608s |      25 |  7027453 |  6931098 |      612  23188 |        0 |        0
1610.40/1610.99	c 1610s |      25 |  7035447 |  6938998 |      612  23210 |        0 |        0
1612.50/1613.00	c 1612s |      25 |  7043297 |  6946798 |      612  23231 |        0 |        0
1614.50/1615.01	c 1614s |      25 |  7051167 |  6954598 |      612  23253 |        0 |        0
1616.50/1617.03	c 1617s |      25 |  7059038 |  6962398 |      612  23275 |        0 |        0
1618.50/1619.03	c 1619s |      25 |  7066577 |  6969898 |      612  23296 |        0 |        0
1620.50/1621.03	c 1621s |      25 |  7074240 |  6977498 |      612  23317 |        0 |        0
1622.50/1623.04	c 1623s |      25 |  7082041 |  6985198 |      612  23338 |        0 |        0
1624.50/1625.06	c 1625s |      25 |  7089911 |  6992998 |      612  23360 |        0 |        0
1626.50/1627.06	c 1627s |      25 |  7097923 |  7000898 |      612  23382 |        0 |        0
1628.49/1629.07	c 1629s |      25 |  7105506 |  7008398 |      612  23403 |        0 |        0
1630.49/1631.09	c 1631s |      25 |  7113400 |  7016198 |      612  23424 |        0 |        0
1632.59/1633.10	c 1633s |      25 |  7121203 |  7023898 |      612  23446 |        0 |        0
1634.59/1635.12	c 1635s |      25 |  7129129 |  7031698 |      612  23467 |        0 |        0
1636.59/1637.13	c 1637s |      25 |  7137127 |  7039598 |      612  23489 |        0 |        0
1638.60/1639.13	c 1639s |      25 |  7145142 |  7047498 |      612  23511 |        0 |        0
1640.59/1641.15	c 1641s |      25 |  7153058 |  7055298 |      612  23533 |        0 |        0
1642.59/1643.16	c 1643s |      25 |  7160835 |  7062998 |      612  23555 |        0 |        0
1644.59/1645.18	c 1645s |      25 |  7168943 |  7070998 |      612  23577 |        0 |        0
1646.59/1647.19	c 1647s |      25 |  7176749 |  7078698 |      612  23598 |        0 |        0
1648.60/1649.19	c 1649s |      25 |  7184499 |  7086298 |      612  23620 |        0 |        0
1650.60/1651.20	c 1651s |      25 |  7192179 |  7093898 |      612  23641 |        0 |        0
1652.69/1653.21	c 1653s |      25 |  7199868 |  7101498 |      612  23662 |        0 |        0
1654.69/1655.22	c 1655s |      25 |  7207824 |  7109398 |      612  23684 |        0 |        0
1656.69/1657.22	c 1657s |      25 |  7215810 |  7117298 |      612  23706 |        0 |        0
1658.69/1659.23	c 1659s |      25 |  7223589 |  7124998 |      612  23727 |        0 |        0
1660.69/1661.24	c 1661s |      25 |  7231159 |  7132498 |      612  23748 |        0 |        0
1662.70/1663.27	c 1663s |      25 |  7238655 |  7139898 |      612  23769 |        0 |        0
1664.69/1665.29	c 1665s |      25 |  7246143 |  7147298 |      612  23789 |        0 |        0
1666.79/1667.30	c 1667s |      25 |  7253713 |  7154798 |      612  23810 |        0 |        0
1668.79/1669.32	c 1669s |      25 |  7261097 |  7162098 |      612  23831 |        0 |        0
1670.79/1671.33	c 1671s |      25 |  7268776 |  7169698 |      612  23852 |        0 |        0
1672.79/1673.35	c 1673s |      25 |  7276445 |  7177298 |      612  23873 |        0 |        0
1674.80/1675.37	c 1675s |      25 |  7284104 |  7184898 |      612  23894 |        0 |        0
1676.79/1677.38	c 1677s |      25 |  7291710 |  7192398 |      612  23915 |        0 |        0
1678.79/1679.39	c 1679s |      25 |  7299266 |  7199898 |      612  23936 |        0 |        0
1680.89/1681.41	c 1681s |      25 |  7306846 |  7207398 |      612  23957 |        0 |        0
1682.89/1683.43	c 1683s |      25 |  7314330 |  7214798 |      612  23978 |        0 |        0
1684.89/1685.45	c 1685s |      25 |  7321697 |  7222098 |      612  23998 |        0 |        0
1686.89/1687.47	c 1687s |      25 |  7329268 |  7229598 |      612  24019 |        0 |        0
1688.89/1689.49	c 1689s |      25 |  7337142 |  7237398 |      612  24041 |        0 |        0
1690.99/1691.50	c 1691s |      25 |  7345133 |  7245298 |      612  24063 |        0 |        0
1692.99/1693.51	c 1693s |      25 |  7353187 |  7253198 |      612  24085 |        0 |        0
1694.99/1695.52	c 1695s |      25 |  7361084 |  7260998 |      612  24107 |        0 |        0
1696.99/1697.54	c 1697s |      25 |  7368778 |  7268598 |      612  24128 |        0 |        0
1698.99/1699.54	c 1699s |      25 |  7376727 |  7276498 |      612  24150 |        0 |        0
1700.98/1701.56	c 1701s |      25 |  7384633 |  7284298 |      612  24171 |        0 |        0
1702.98/1703.59	c 1703s |      25 |  7392316 |  7291898 |      612  24193 |        0 |        0
1705.08/1705.61	c 1705s |      25 |  7400304 |  7299798 |      612  24215 |        0 |        0
1707.08/1707.62	c 1707s |      25 |  7407962 |  7307398 |      612  24236 |        0 |        0
1709.08/1709.62	c 1709s |      25 |  7415638 |  7314998 |      612  24257 |        0 |        0
1711.09/1711.63	c 1711s |      25 |  7423296 |  7322598 |      612  24278 |        0 |        0
1713.08/1713.64	c 1713s |      25 |  7431583 |  7330798 |      612  24301 |        0 |        0
1715.08/1715.67	c 1715s |      25 |  7440212 |  7339298 |      612  24325 |        0 |        0
1717.08/1717.68	c 1717s |      25 |  7448392 |  7347398 |      612  24347 |        0 |        0
1719.08/1719.69	c 1719s |      25 |  7456843 |  7355698 |      612  24370 |        0 |        0
1721.09/1721.69	c 1721s |      25 |  7465124 |  7363898 |      612  24393 |        0 |        0
1723.08/1723.70	c 1723s |      25 |  7473014 |  7371698 |      612  24415 |        0 |        0
1725.18/1725.70	c 1725s |      25 |  7480909 |  7379498 |      612  24437 |        0 |        0
1727.18/1727.72	c 1727s |      25 |  7488807 |  7387298 |      612  24458 |        0 |        0
1729.18/1729.73	c 1729s |      25 |  7496396 |  7394798 |      612  24479 |        0 |        0
1731.17/1731.75	c 1731s |      25 |  7504267 |  7402598 |      612  24501 |        0 |        0
1733.18/1733.77	c 1733s |      25 |  7511711 |  7409998 |      612  24522 |        0 |        0
1735.17/1735.77	c 1735s |      25 |  7519438 |  7417598 |      612  24543 |        0 |        0
1737.17/1737.77	c 1737s |      25 |  7527537 |  7425598 |      612  24565 |        0 |        0
1739.17/1739.78	c 1739s |      25 |  7535547 |  7433498 |      612  24587 |        0 |        0
1741.17/1741.79	c 1741s |      25 |  7543541 |  7441398 |      612  24609 |        0 |        0
1743.17/1743.80	c 1743s |      25 |  7551761 |  7449498 |      612  24631 |        0 |        0
1745.18/1745.80	c 1745s |      25 |  7559576 |  7457198 |      612  24653 |        0 |        0
1747.28/1747.82	c 1747s |      25 |  7567145 |  7464698 |      612  24674 |        0 |        0
1749.28/1749.84	c 1749s |      25 |  7574690 |  7472198 |      612  24695 |        0 |        0
1751.28/1751.84	c 1751s |      25 |  7582367 |  7479798 |      612  24716 |        0 |        0
1753.28/1753.84	c 1753s |      25 |  7590358 |  7487698 |      612  24738 |        0 |        0
1755.28/1755.84	c 1755s |      25 |  7598329 |  7495598 |      612  24760 |        0 |        0
1757.28/1757.85	c 1757s |      25 |  7606258 |  7503398 |      612  24782 |        0 |        0
1759.28/1759.86	c 1759s |      25 |  7613958 |  7510998 |      612  24803 |        0 |        0
1761.28/1761.87	c 1761s |      25 |  7621732 |  7518698 |      612  24824 |        0 |        0
1763.28/1763.88	c 1763s |      25 |  7629520 |  7526398 |      612  24846 |        0 |        0
1765.28/1765.89	c 1765s |      25 |  7637209 |  7533998 |      612  24867 |        0 |        0
1767.38/1767.91	c 1767s |      25 |  7644886 |  7541598 |      612  24889 |        0 |        0
1769.38/1769.92	c 1769s |      25 |  7652669 |  7549298 |      674  24909 |        0 |        0
1771.37/1771.92	c 1771s |      25 |  7660225 |  7556798 |      674  24928 |        0 |        0
1773.37/1773.93	c 1773s |      25 |  7668011 |  7564498 |      674  24948 |        0 |        0
1775.37/1775.95	c 1775s |      25 |  7675840 |  7572198 |      674  24968 |        0 |        0
1777.37/1777.97	c 1777s |      25 |  7683584 |  7579898 |      674  24988 |        0 |        0
1779.38/1780.00	c 1779s |      25 |  7691618 |  7587798 |      674  25008 |        0 |        0
1781.48/1782.02	c 1782s |      25 |  7699396 |  7595498 |      674  25028 |        0 |        0
1782.07/1782.62	c 1782s |      26 |  7701687 |  7597752 |      674  25034 |        0 |        0
1784.07/1784.64	c 1784s |      26 |  7709532 |  7605352 |      674  25053 |        0 |        0
1786.07/1786.66	c 1786s |      26 |  7717323 |  7613052 |      674  25073 |        0 |        0
1788.07/1788.68	c 1788s |      26 |  7724930 |  7620552 |      674  25092 |        0 |        0
1790.17/1790.70	c 1790s |      26 |  7732396 |  7627952 |      674  25111 |        0 |        0
1792.17/1792.72	c 1792s |      26 |  7739891 |  7635352 |      674  25130 |        0 |        0
1794.17/1794.73	c 1794s |      26 |  7747594 |  7642952 |      674  25150 |        0 |        0
1796.17/1796.74	c 1796s |      26 |  7755707 |  7650952 |      674  25170 |        0 |        0
1798.17/1798.74	c 1798s |      26 |  7763394 |  7658552 |      674  25190 |        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-4079752-1465244800/watcher-4079752-1465244800 -o /tmp/evaluation-result-4079752-1465244800/solver-4079752-1465244800 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079752-1465244800.opb 

pid=3918
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.13 2.09 2.01 2/179 3921
/proc/meminfo: memFree=30671984/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=810428 CPUtime=0 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 3039 0 0 0 0 0 0 0 20 0 4 0 106415494 829878272 3399 33554432000 4194304 16246674 140737306737120 140737306736544 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 203119 3407 441 2943 0 200013 0
[pid=3921/tid=3922] ppid=3918 vsize=827836 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 847704064 3467 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=831932 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 851898368 3484 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=836028 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 856092672 3500 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100155 s]
/proc/loadavg: 2.13 2.09 2.01 2/179 3921
/proc/meminfo: memFree=30671984/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 22589 0 0 0 6 3 0 0 20 0 4 0 106415494 1247350784 22937 33554432000 4194304 16246674 140737306737120 140737306736544 5830026 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 304529 22943 770 2943 0 301423 0
[pid=3921/tid=3922] ppid=3918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1247350784 22946 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1247350784 22950 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1247350784 22953 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200531 s]
/proc/loadavg: 2.13 2.09 2.01 2/179 3921
/proc/meminfo: memFree=30671984/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 42784 0 0 0 14 5 0 0 20 0 4 0 106415494 1247350784 43132 33554432000 4194304 16246674 140737306737120 140737306736544 5712452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 304529 43137 770 2943 0 301423 0
[pid=3921/tid=3922] ppid=3918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1247350784 43141 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1247350784 43145 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1247350784 43151 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300495 s]
/proc/loadavg: 2.13 2.09 2.01 2/179 3921
/proc/meminfo: memFree=30671984/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 62840 0 0 0 21 8 0 0 20 0 4 0 106415494 1247350784 63187 33554432000 4194304 16246674 140737306737120 140737306736544 5711820 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 304529 63195 770 2943 0 301423 0
[pid=3921/tid=3922] ppid=3918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1247350784 63201 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1247350784 63210 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1247350784 63222 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700411 s]
/proc/loadavg: 2.13 2.09 2.01 2/179 3921
/proc/meminfo: memFree=30671984/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 150112 0 0 0 50 19 0 0 20 0 4 0 106415494 1247350784 150460 33554432000 4194304 16246674 140737306737120 140737306736544 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 304529 150476 770 2943 0 301423 0
[pid=3921/tid=3922] ppid=3918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1247350784 150484 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1247350784 150492 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1247350784 150496 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.13 2.09 2.01 3/183 3925
/proc/meminfo: memFree=29736292/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 245664 0 0 0 117 32 0 0 20 0 4 0 106415494 1248399360 245989 33554432000 4194304 16246674 140737306737120 140737306736432 6012046 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 304785 245989 834 2943 0 301679 0
[pid=3921/tid=3922] ppid=3918 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1248399360 245989 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1248399360 245989 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1248399360 245989 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10043 s]
/proc/loadavg: 2.13 2.09 2.01 3/183 3925
/proc/meminfo: memFree=29601876/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 267460 0 0 0 273 36 0 0 20 0 4 0 106415494 1337528320 267785 33554432000 4194304 16246674 140737306737120 140737306720120 5721373 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 326545 267785 834 2943 0 323439 0
[pid=3921/tid=3922] ppid=3918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1337528320 267785 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1337528320 267785 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1337528320 267785 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30044 s]
/proc/loadavg: 2.12 2.08 2.01 3/183 3925
/proc/meminfo: memFree=29601228/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 267514 0 0 0 593 36 0 0 20 0 4 0 106415494 1337528320 267839 33554432000 4194304 16246674 140737306737120 140737306719040 13927447 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 326545 267839 834 2943 0 323439 0
[pid=3921/tid=3922] ppid=3918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1337528320 267839 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1337528320 267839 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1337528320 267839 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.11 2.08 2.01 3/183 3925
/proc/meminfo: memFree=29601024/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 267620 0 0 0 1233 36 0 0 20 0 4 0 106415494 1337528320 267945 33554432000 4194304 16246674 140737306737120 140737306719040 6022115 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 326545 267945 834 2943 0 323439 0
[pid=3921/tid=3922] ppid=3918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1337528320 267945 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1337528320 267945 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1337528320 267945 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.09 2.08 2.01 3/183 3925
/proc/meminfo: memFree=29601716/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 267622 0 0 0 2513 36 0 0 20 0 4 0 106415494 1337528320 267947 33554432000 4194304 16246674 140737306737120 140737306720120 5545984 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 326545 267947 836 2943 0 323439 0
[pid=3921/tid=3922] ppid=3918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1337528320 267947 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1337528320 267947 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1337528320 267947 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.06 2.07 2.01 3/183 3925
/proc/meminfo: memFree=29601568/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1306180 CPUtime=51.09 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 267623 0 0 0 5072 37 0 0 20 0 4 0 106415494 1337528320 267948 33554432000 4194304 16246674 140737306737120 140737306720120 5546160 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 326545 267948 836 2943 0 323439 0
[pid=3921/tid=3922] ppid=3918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1337528320 267948 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1337528320 267948 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1337528320 267948 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.02 2.06 2.00 3/183 3926
/proc/meminfo: memFree=29601096/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1306180 CPUtime=102.29 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 267623 0 0 0 10191 38 0 0 20 0 4 0 106415494 1337528320 267948 33554432000 4194304 16246674 140737306737120 140737306720120 6021388 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 326545 267948 836 2943 0 323439 0
[pid=3921/tid=3922] ppid=3918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1337528320 267948 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1337528320 267948 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1337528320 267948 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1306180


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

/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268123 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 4052
/proc/meminfo: memFree=29601228/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1307204 CPUtime=1301.84 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 268205 0 0 0 130130 54 0 0 20 0 4 0 106415494 1338576896 268123 33554432000 4194304 16246674 140737306737120 140737306719040 5546177 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 326801 268123 837 2943 0 323695 0
[pid=3921/tid=3922] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268123 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268123 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268123 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 4053
/proc/meminfo: memFree=29601140/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1307204 CPUtime=1361.83 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 268210 0 0 0 136128 55 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140737306719040 5808428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 326801 268128 837 2943 0 323695 0
[pid=3921/tid=3922] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/184 4057
/proc/meminfo: memFree=29601112/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1307204 CPUtime=1421.83 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 268210 0 0 0 142128 55 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140737306719040 5711688 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 326801 268128 837 2943 0 323695 0
[pid=3921/tid=3922] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.11 2.05 2.00 3/183 4059
/proc/meminfo: memFree=29601128/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1307204 CPUtime=1481.82 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 268210 0 0 0 148126 56 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140737306719040 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 326801 268128 837 2943 0 323695 0
[pid=3921/tid=3922] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 4060
/proc/meminfo: memFree=29600752/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1307204 CPUtime=1541.82 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 268210 0 0 0 154125 57 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140737306719040 5709677 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 326801 268128 837 2943 0 323695 0
[pid=3921/tid=3922] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 4061
/proc/meminfo: memFree=29600244/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1307204 CPUtime=1601.8 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 268210 0 0 0 160122 58 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140737306719040 5665431 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 326801 268128 837 2943 0 323695 0
[pid=3921/tid=3922] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 4062
/proc/meminfo: memFree=29600356/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1307204 CPUtime=1661.79 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 268210 0 0 0 166120 59 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140737306719040 6011754 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 326801 268128 837 2943 0 323695 0
[pid=3921/tid=3922] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 4063
/proc/meminfo: memFree=29600228/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1307204 CPUtime=1721.78 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 268210 0 0 0 172119 59 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140737306719040 5546494 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 326801 268128 837 2943 0 323695 0
[pid=3921/tid=3922] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 4065
/proc/meminfo: memFree=29599492/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1307204 CPUtime=1781.77 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 268210 0 0 0 178117 60 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140737306736216 5545776 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 326801 268128 837 2943 0 323695 0
[pid=3921/tid=3922] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 4066
/proc/meminfo: memFree=29599288/32872528 swapFree=10676/249824
[pid=3921] ppid=3918 vsize=1307204 CPUtime=1800.07 cores=1,3,5,7
/proc/3921/stat : 3921 (toysat) R 3918 3921 1222 0 -1 4202496 268210 0 0 0 179947 60 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140737306719040 5723504 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3921/statm: 326801 268128 837 2943 0 323695 0
[pid=3921/tid=3922] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3922/stat : 3922 (toysat) S 3918 3921 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327850585328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3921/tid=3923] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3923/stat : 3923 (toysat) S 3918 3921 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327840095472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3921/tid=3924] ppid=3918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3921/task/3924/stat : 3924 (toysat) S 3918 3921 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106415494 1338576896 268128 33554432000 4194304 16246674 140737306737120 140327721626800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 3921 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.48
CPU system time (s): 0.607907
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.607907
maximum resident set size= 1072512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268210
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= 421
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47832 second user time and 7.10392 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-06 22:26:40
IDJOB=4079752
IDBENCH=2910
IDSOLVER=2542
FILE ID=node103/4079752-1465244800
RUNJOBID= node103-1465221288-1239
PBS_JOBID= 19843228
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca
RANDOM SEED=1545088272

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
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.760
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:        30672528 kB
Buffers:           47464 kB
Cached:           124904 kB
SwapCached:         1716 kB
Active:          1173464 kB
Inactive:          74260 kB
Active(anon):    1076424 kB
Inactive(anon):     1160 kB
Active(file):      97040 kB
Inactive(file):    73100 kB
Unevictable:      249824 kB
Mlocked:           10676 kB
SwapTotal:      67108856 kB
SwapFree:       67096644 kB
Dirty:             16356 kB
Writeback:             0 kB
AnonPages:       1326460 kB
Mapped:            10472 kB
Shmem:                 0 kB
Slab:             569012 kB
SReclaimable:      12996 kB
SUnreclaim:       556016 kB
KernelStack:        1480 kB
PageTables:         6384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1468596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    911360 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 node103 at 2016-06-06 22:56:41