Trace number 4093394

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.01 1800.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo
MD5SUMf8d5ed276152247cc0d8dd0253710bfc
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.723889
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables150
Total number of constraints25
Number of soft constraints21
Number of constraints which are clauses15
Number of constraints which are cardinality constraints (but not clauses)10
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15
Top cost 877
Min constraint cost 1
Max constraint cost 83
Sum of constraints costs 876
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 16
Number of bits of the biggest sum of numbers5
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-16T15:09:34+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","--wbo","--search=bcd2","HOME/instance-4093394-1466082573.wbo"]
0.00/0.01	c use --random-gen="4181518379 657098211 3800008161 103773397 2990174664 1564205524 448105603 413161746 4027037152 2537058486 9303524 138708651 2038755376 4038578866 3080554891 2958481780 3303027363 1477864204 2569069969 2279384378 1747617619 4259116891 2822445000 3282608554 1270770002 3062766315 4091958603 601303878 2381202944 1629374158 1458122393 1104310504 1430884071 1255603847 4003005589 3430420619 2873524013 3506844102 2272492189 646435972 1419019712 3610533772 749593897 3307119780 2622199196 3721217337 4071575917 3185580556 457338818 2299098129 2594205105 2899609956 1077178395 1290850304 874281350 4207591548 3434105499 1854351423 4008361851 1021077856 3974184807 1653038325 2171179356 932418591 878713603 4285771557 953094250 2833942843 2662739423 773398111 3494261259 995546723 465207288 2701073420 3724855967 3001509957 2006176063 4056678442 4117602593 307916363 3675758064 946596412 3350700043 4252226277 1286631934 2673465687 2083504216 3370308488 1894042764 2054229404 2820899196 770187004 426470248 2125810306 1592737533 774201798 2363498370 576306813 4096664297 2425565429 2828135960 3908094866 3057767816 3422069138 4275626517 3925919886 3675640277 1424548934 112164290 1256924156 2693911901 3010435004 1612190005 3225852035 4245546075 3138279419 871474449 41144215 3777000580 877811736 1082441735 4038201421 1120144224 167597907 3725193590 3458736328 2682951845 672237682 356360503 3677560805 1511890623 3031208466 1756444765 4265579575 3631661480 3175780545 1468183670 3395739673 2589152941 302508508 533105306 3708239427 2864524245 8678831 3608386267 2085472880 54779546 1007120749 2822254369 2619774475 4003337640 3005083789 350400406 2544826796 262611129 4058367783 3546333483 3890085539 3161671884 1580749088 2576061815 3948866816 4239830450 4248870209 1410861627 2279814002 656235970 2956973808 2155444698 2556494411 1941997941 1564021181 2278338665 3704025015 1243645680 3431387038 3635979981 1200427735 4117303502 91637305 2088798682 4207519860 3616911626 2816251367 795955663 468982895 3846820319 3467892387 2535711542 3890533075 3139353598 166661453 2853787884 4249537633 202033057 1775331073 1830088498 2487197053 1195539362 2890811643 1070281915 384975098 1366482465 2620625730 2457618189 2124629294 4239774402 4248780139 1163866633 154290009 818962848 1949958468 3970646079 2290927076 3289402974 3238210355 846769796 1510802753 1566719526 2676076783 18831810 3332463197 3159810999 3488531730 2722469217 1601355557 4062069099 677515063 2233553679 2839893604 1261508915 3249382280 2242379512 2474079833 1412710593 3893992364 1273582260 1795675707 2241924286 241956463 899212379 2838459927 409116892 2309912381 1263790116 3464331055 1134262955 2416975859 2564073217 795287117 3493437902 625126807 208561380 4145594436 4108449119 150639738 255 362436" option to reproduce the execution
0.00/0.01	c #vars 150
0.00/0.01	c #constraints 25
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 |       65      0 |        0 |        0
0.00/0.01	c  0.0s |       0 |       31 |        0 |       65      0 |        0 |        0
0.00/0.01	c #cpu_time = 0.000s
0.00/0.01	c #wall_clock_time = 0.000s
0.00/0.01	c #decision = 31
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 557
0.00/0.01	c BCD2: updating upper bound: 876 -> 556
0.00/0.02	c BCD2: 0 <= obj <= 556
0.00/0.02	c BCD2: #cores=0, #unrelaxed=21, #relaxed=0, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       65      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      144 |      100 |       65      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      498 |      250 |       72      1 |        0 |        0
0.00/0.09	c  0.1s |       3 |      914 |      475 |       80      4 |        0 |        0
0.09/0.16	c  0.1s |       4 |     1639 |      813 |       88      9 |        0 |        0
0.19/0.26	c  0.2s |       5 |     2522 |     1320 |       97     14 |        0 |        0
0.39/0.43	c  0.4s |       6 |     3751 |     2081 |      118     22 |        0 |        0
0.59/0.69	c  0.7s |       7 |     5501 |     3223 |      130     33 |        0 |        0
0.89/0.98	c  1.0s |       8 |     7770 |     4936 |      143     48 |        0 |        0
1.29/1.33	c  1.3s |       9 |    11003 |     7506 |      158     73 |        0 |        0
1.79/1.89	c  1.9s |      10 |    15583 |    11361 |      174    108 |        0 |        0
2.69/2.74	c  2.7s |      11 |    22584 |    17144 |      192    153 |        0 |        0
3.99/4.09	c  4.1s |      12 |    35297 |    25819 |      212    215 |        0 |        0
5.99/6.09	c  6.1s |      12 |    52220 |    38519 |      212    298 |        0 |        0
6.09/6.14	c  6.1s |      13 |    52606 |    38832 |      234    300 |        0 |        0
8.09/8.16	c  8.1s |      13 |    68915 |    50332 |      234    370 |        0 |        0
9.59/9.67	c  9.7s |      14 |    78569 |    58352 |      258    418 |        0 |        0
11.58/11.68	c 11.7s |      14 |    93948 |    70652 |      258    487 |        0 |        0
13.58/13.69	c 13.7s |      14 |   105695 |    80852 |      258    545 |        0 |        0
14.98/15.03	c 15.0s |      15 |   113625 |    87632 |      284    583 |        0 |        0
16.98/17.03	c 17.0s |      15 |   127807 |    99732 |      284    647 |        0 |        0
18.98/19.04	c 19.0s |      15 |   139633 |   110132 |      284    702 |        0 |        0
20.99/21.05	c 21.0s |      15 |   152245 |   121132 |      284    762 |        0 |        0
22.88/22.95	c 22.9s |      16 |   164086 |   131552 |      313    817 |        0 |        0
24.88/24.95	c 24.9s |      16 |   178894 |   142852 |      313    874 |        0 |        0
26.88/26.95	c 26.9s |      16 |   191524 |   153652 |      313    928 |        0 |        0
28.88/28.95	c 28.9s |      16 |   203856 |   164352 |      313    980 |        0 |        0
30.89/30.96	c 30.9s |      16 |   215332 |   174352 |      313   1030 |        0 |        0
32.88/32.97	c 33.0s |      16 |   226623 |   184152 |      313   1079 |        0 |        0
34.89/34.98	c 35.0s |      16 |   239185 |   195152 |      313   1134 |        0 |        0
35.30/35.36	c 35.3s |      17 |   241822 |   197432 |      345   1145 |        0 |        0
37.29/37.38	c 37.4s |      17 |   254688 |   208532 |      345   1196 |        0 |        0
39.29/39.38	c 39.4s |      17 |   266815 |   219032 |      345   1245 |        0 |        0
41.39/41.40	c 41.4s |      17 |   280813 |   230932 |      345   1300 |        0 |        0
43.39/43.41	c 43.4s |      17 |   293677 |   241932 |      345   1351 |        0 |        0
45.39/45.42	c 45.4s |      17 |   306106 |   252632 |      345   1401 |        0 |        0
47.39/47.42	c 47.4s |      17 |   318146 |   263032 |      345   1449 |        0 |        0
49.38/49.42	c 49.4s |      17 |   330621 |   273932 |      345   1500 |        0 |        0
51.38/51.42	c 51.4s |      17 |   342046 |   284132 |      345   1547 |        0 |        0
53.38/53.44	c 53.4s |      17 |   353766 |   294432 |      380   1594 |        0 |        0
53.78/53.83	c 53.8s |      18 |   355786 |   296252 |      380   1602 |        0 |        0
55.78/55.85	c 55.8s |      18 |   369193 |   307452 |      380   1650 |        0 |        0
57.78/57.86	c 57.8s |      18 |   381181 |   317852 |      380   1694 |        0 |        0
59.78/59.87	c 59.9s |      18 |   393772 |   328652 |      380   1741 |        0 |        0
61.78/61.88	c 61.9s |      18 |   407481 |   340152 |      380   1790 |        0 |        0
63.79/63.89	c 63.9s |      18 |   419514 |   350552 |      380   1835 |        0 |        0
65.88/65.90	c 65.9s |      18 |   431745 |   361252 |      380   1880 |        0 |        0
67.88/67.91	c 67.9s |      18 |   443953 |   371852 |      380   1925 |        0 |        0
69.88/69.92	c 69.9s |      18 |   454684 |   381252 |      380   1964 |        0 |        0
71.87/71.94	c 71.9s |      18 |   465818 |   390752 |      380   2005 |        0 |        0
73.88/73.95	c 73.9s |      18 |   477580 |   400752 |      380   2048 |        0 |        0
75.89/75.96	c 75.9s |      18 |   489124 |   410652 |      380   2091 |        0 |        0
77.88/77.97	c 78.0s |      18 |   499999 |   420052 |      380   2131 |        0 |        0
79.88/79.98	c 80.0s |      18 |   511167 |   429552 |      380   2171 |        0 |        0
81.88/81.98	c 82.0s |      18 |   522921 |   439552 |      380   2215 |        0 |        0
82.88/82.97	c 83.0s |      19 |   528805 |   444482 |      419   2235 |        0 |        0
84.88/84.99	c 85.0s |      19 |   540505 |   454182 |      419   2273 |        0 |        0
86.88/86.99	c 87.0s |      19 |   552397 |   464382 |      419   2313 |        0 |        0
88.97/89.01	c 89.0s |      19 |   564030 |   474182 |      419   2351 |        0 |        0
90.97/91.02	c 91.0s |      19 |   575863 |   484582 |      419   2391 |        0 |        0
92.97/93.03	c 93.0s |      19 |   587247 |   494582 |      419   2430 |        0 |        0
94.97/95.04	c 95.0s |      19 |   598131 |   503882 |      419   2466 |        0 |        0
96.97/97.05	c 97.0s |      19 |   608754 |   513182 |      419   2503 |        0 |        0
98.98/99.06	c 99.0s |      19 |   618905 |   522082 |      419   2538 |        0 |        0
100.97/101.07	c  101s |      19 |   628949 |   530882 |      419   2572 |        0 |        0
102.97/103.09	c  103s |      19 |   640540 |   540882 |      419   2612 |        0 |        0
105.07/105.10	c  105s |      19 |   651654 |   550382 |      419   2649 |        0 |        0
107.07/107.11	c  107s |      19 |   662738 |   559882 |      419   2686 |        0 |        0
109.07/109.11	c  109s |      19 |   673524 |   569182 |      419   2723 |        0 |        0
111.08/111.12	c  111s |      19 |   685080 |   579282 |      419   2762 |        0 |        0
113.08/113.14	c  113s |      19 |   697352 |   590082 |      419   2804 |        0 |        0
115.08/115.14	c  115s |      19 |   708662 |   600082 |      419   2844 |        0 |        0
117.08/117.15	c  117s |      19 |   719103 |   609282 |      419   2881 |        0 |        0
119.07/119.16	c  119s |      19 |   730226 |   619082 |      419   2919 |        0 |        0
121.08/121.17	c  121s |      19 |   741689 |   628982 |      419   2958 |        0 |        0
123.07/123.19	c  123s |      19 |   751713 |   637882 |      419   2993 |        0 |        0
125.07/125.20	c  125s |      19 |   762487 |   647382 |      419   3030 |        0 |        0
127.17/127.21	c  127s |      19 |   773430 |   656982 |      419   3068 |        0 |        0
129.17/129.22	c  129s |      19 |   783676 |   665982 |      461   3102 |        0 |        0
129.27/129.39	c  129s |      20 |   784634 |   666827 |      461   3105 |        0 |        0
131.37/131.41	c  131s |      20 |   797281 |   677327 |      461   3144 |        0 |        0
133.37/133.42	c  133s |      20 |   809560 |   687427 |      461   3181 |        0 |        0
135.38/135.42	c  135s |      20 |   821122 |   696627 |      461   3214 |        0 |        0
137.37/137.44	c  137s |      20 |   834285 |   706827 |      461   3252 |        0 |        0
139.37/139.45	c  139s |      20 |   846630 |   716527 |      461   3287 |        0 |        0
141.37/141.45	c  141s |      20 |   858168 |   726327 |      461   3323 |        0 |        0
143.37/143.47	c  143s |      20 |   870947 |   736227 |      461   3359 |        0 |        0
145.37/145.49	c  145s |      20 |   883472 |   746027 |      461   3395 |        0 |        0
147.38/147.50	c  147s |      20 |   896974 |   755727 |      461   3431 |        0 |        0
149.47/149.50	c  149s |      20 |   908505 |   765327 |      461   3466 |        0 |        0
151.47/151.53	c  151s |      20 |   920164 |   775427 |      461   3503 |        0 |        0
153.47/153.54	c  153s |      20 |   931670 |   785327 |      461   3538 |        0 |        0
155.47/155.55	c  155s |      20 |   943642 |   794927 |      461   3573 |        0 |        0
157.47/157.57	c  157s |      20 |   954512 |   804027 |      461   3606 |        0 |        0
159.47/159.58	c  159s |      20 |   965324 |   813227 |      461   3640 |        0 |        0
161.56/161.60	c  161s |      20 |   975456 |   821927 |      461   3671 |        0 |        0
163.56/163.61	c  163s |      20 |   985979 |   830627 |      461   3702 |        0 |        0
165.56/165.61	c  165s |      20 |   995615 |   838927 |      461   3733 |        0 |        0
167.56/167.62	c  167s |      20 |  1006833 |   848727 |      461   3768 |        0 |        0
169.56/169.63	c  169s |      20 |  1017578 |   857927 |      461   3802 |        0 |        0
171.57/171.65	c  171s |      20 |  1028667 |   867427 |      461   3836 |        0 |        0
173.56/173.65	c  173s |      20 |  1039570 |   876727 |      461   3870 |        0 |        0
175.56/175.66	c  175s |      20 |  1050063 |   885627 |      461   3902 |        0 |        0
177.56/177.67	c  177s |      20 |  1060035 |   894327 |      461   3934 |        0 |        0
179.56/179.69	c  179s |      20 |  1071198 |   903827 |      461   3969 |        0 |        0
181.57/181.69	c  181s |      20 |  1081625 |   912727 |      461   4002 |        0 |        0
183.56/183.70	c  183s |      20 |  1092231 |   921927 |      461   4035 |        0 |        0
185.66/185.71	c  185s |      20 |  1102099 |   930627 |      461   4067 |        0 |        0
187.66/187.72	c  187s |      20 |  1112542 |   939927 |      461   4101 |        0 |        0
189.66/189.74	c  189s |      20 |  1123110 |   949327 |      461   4136 |        0 |        0
191.66/191.74	c  191s |      20 |  1133070 |   958127 |      461   4168 |        0 |        0
193.67/193.76	c  193s |      20 |  1142788 |   966727 |      461   4200 |        0 |        0
195.66/195.77	c  195s |      20 |  1153185 |   975827 |      461   4233 |        0 |        0
197.66/197.77	c  197s |      20 |  1164324 |   985627 |      461   4269 |        0 |        0
199.66/199.79	c  199s |      20 |  1174949 |   995027 |      508   4303 |        0 |        0
200.86/200.97	c  200s |      21 |  1180908 |  1000345 |      508   4321 |        0 |        0
202.86/202.98	c  202s |      21 |  1192759 |  1010245 |      508   4354 |        0 |        0
204.86/204.98	c  204s |      21 |  1204382 |  1020145 |      508   4388 |        0 |        0
206.96/207.00	c  206s |      21 |  1214713 |  1028645 |      508   4416 |        0 |        0
208.86/209.00	c  208s |      21 |  1225524 |  1037445 |      508   4445 |        0 |        0
210.96/211.01	c  210s |      21 |  1235574 |  1045945 |      508   4473 |        0 |        0
212.96/213.03	c  213s |      21 |  1246770 |  1055045 |      508   4504 |        0 |        0
214.96/215.04	c  215s |      21 |  1257963 |  1064345 |      508   4535 |        0 |        0
216.96/217.05	c  217s |      21 |  1269058 |  1073645 |      508   4567 |        0 |        0
218.96/219.06	c  219s |      21 |  1280401 |  1083145 |      508   4599 |        0 |        0
220.95/221.07	c  221s |      21 |  1291198 |  1092245 |      508   4630 |        0 |        0
222.95/223.09	c  223s |      21 |  1301429 |  1101145 |      508   4660 |        0 |        0
225.05/225.10	c  225s |      21 |  1311710 |  1109945 |      508   4689 |        0 |        0
227.06/227.10	c  227s |      21 |  1321550 |  1118445 |      508   4718 |        0 |        0
229.06/229.12	c  229s |      21 |  1331121 |  1126545 |      508   4746 |        0 |        0
231.07/231.13	c  231s |      21 |  1341644 |  1135345 |      508   4775 |        0 |        0
233.06/233.16	c  233s |      21 |  1352035 |  1144245 |      508   4805 |        0 |        0
235.06/235.16	c  235s |      21 |  1362853 |  1153145 |      508   4835 |        0 |        0
237.06/237.17	c  237s |      21 |  1373469 |  1162045 |      508   4865 |        0 |        0
239.06/239.18	c  239s |      21 |  1383483 |  1170545 |      508   4893 |        0 |        0
241.06/241.18	c  241s |      21 |  1393767 |  1179145 |      508   4922 |        0 |        0
243.06/243.19	c  243s |      21 |  1404185 |  1188045 |      508   4952 |        0 |        0
245.15/245.20	c  245s |      21 |  1415197 |  1197345 |      508   4983 |        0 |        0
247.15/247.22	c  247s |      21 |  1425403 |  1206145 |      508   5013 |        0 |        0
249.15/249.23	c  249s |      21 |  1435306 |  1214845 |      508   5042 |        0 |        0
251.15/251.25	c  251s |      21 |  1444946 |  1223345 |      508   5071 |        0 |        0
253.15/253.28	c  253s |      21 |  1454499 |  1231945 |      508   5099 |        0 |        0
255.16/255.28	c  255s |      21 |  1465147 |  1241045 |      508   5130 |        0 |        0
257.15/257.29	c  257s |      21 |  1476417 |  1250945 |      508   5164 |        0 |        0
259.15/259.29	c  259s |      21 |  1487460 |  1260445 |      508   5196 |        0 |        0
261.25/261.31	c  261s |      21 |  1498407 |  1269845 |      508   5228 |        0 |        0
263.25/263.33	c  263s |      21 |  1509285 |  1279245 |      508   5260 |        0 |        0
265.25/265.35	c  265s |      21 |  1519857 |  1288445 |      508   5291 |        0 |        0
267.25/267.36	c  267s |      21 |  1530696 |  1297645 |      508   5322 |        0 |        0
269.25/269.37	c  269s |      21 |  1541335 |  1306945 |      508   5355 |        0 |        0
271.25/271.38	c  271s |      21 |  1550727 |  1315145 |      508   5383 |        0 |        0
273.25/273.39	c  273s |      21 |  1560519 |  1323745 |      508   5412 |        0 |        0
275.35/275.40	c  275s |      21 |  1570799 |  1332645 |      508   5443 |        0 |        0
277.35/277.41	c  277s |      21 |  1581403 |  1341845 |      508   5474 |        0 |        0
279.36/279.42	c  279s |      21 |  1592142 |  1351245 |      508   5507 |        0 |        0
281.35/281.43	c  281s |      21 |  1602661 |  1360345 |      508   5538 |        0 |        0
283.35/283.44	c  283s |      21 |  1613085 |  1369245 |      508   5568 |        0 |        0
285.35/285.44	c  285s |      21 |  1623115 |  1377945 |      508   5598 |        0 |        0
287.35/287.45	c  287s |      21 |  1633460 |  1386745 |      508   5628 |        0 |        0
289.35/289.45	c  289s |      21 |  1642867 |  1395045 |      508   5656 |        0 |        0
291.34/291.46	c  291s |      21 |  1651925 |  1403045 |      508   5684 |        0 |        0
293.34/293.46	c  293s |      21 |  1661647 |  1411545 |      508   5712 |        0 |        0
295.34/295.48	c  295s |      21 |  1671810 |  1420245 |      508   5742 |        0 |        0
297.34/297.49	c  297s |      21 |  1682421 |  1429145 |      508   5772 |        0 |        0
299.44/299.51	c  299s |      21 |  1694002 |  1439045 |      508   5806 |        0 |        0
301.45/301.52	c  301s |      21 |  1704819 |  1448245 |      508   5838 |        0 |        0
303.44/303.52	c  303s |      21 |  1715466 |  1457445 |      508   5870 |        0 |        0
305.44/305.53	c  305s |      21 |  1725958 |  1466545 |      508   5901 |        0 |        0
307.44/307.54	c  307s |      21 |  1735540 |  1474845 |      508   5929 |        0 |        0
309.44/309.55	c  309s |      21 |  1746421 |  1484245 |      508   5962 |        0 |        0
311.44/311.55	c  311s |      21 |  1757131 |  1493545 |      559   5993 |        0 |        0
312.84/312.97	c  312s |      22 |  1765320 |  1500622 |      559   6015 |        0 |        0
314.84/314.97	c  314s |      22 |  1776817 |  1509822 |      559   6044 |        0 |        0
316.84/316.98	c  316s |      22 |  1788793 |  1519222 |      559   6072 |        0 |        0
318.84/319.00	c  318s |      22 |  1801288 |  1528122 |      559   6100 |        0 |        0
320.94/321.02	c  321s |      22 |  1811438 |  1536322 |      559   6125 |        0 |        0
322.94/323.03	c  323s |      22 |  1821130 |  1544322 |      559   6150 |        0 |        0
324.94/325.05	c  325s |      22 |  1832130 |  1552522 |      559   6176 |        0 |        0
326.94/327.06	c  327s |      22 |  1841078 |  1559622 |      559   6198 |        0 |        0
328.94/329.08	c  329s |      22 |  1850116 |  1567022 |      559   6221 |        0 |        0
330.93/331.09	c  331s |      22 |  1860621 |  1575622 |      559   6247 |        0 |        0
333.04/333.11	c  333s |      22 |  1870380 |  1583922 |      559   6273 |        0 |        0
335.04/335.12	c  335s |      22 |  1878042 |  1590822 |      559   6294 |        0 |        0
337.04/337.15	c  337s |      22 |  1886505 |  1598222 |      559   6317 |        0 |        0
339.04/339.16	c  339s |      22 |  1896090 |  1606422 |      559   6342 |        0 |        0
341.05/341.17	c  341s |      22 |  1905482 |  1614322 |      559   6366 |        0 |        0
343.04/343.20	c  343s |      22 |  1915204 |  1622222 |      559   6391 |        0 |        0
345.14/345.22	c  345s |      22 |  1925753 |  1631022 |      559   6418 |        0 |        0
347.14/347.23	c  347s |      22 |  1935845 |  1639022 |      559   6443 |        0 |        0
349.14/349.24	c  349s |      22 |  1945174 |  1646822 |      559   6467 |        0 |        0
351.14/351.26	c  351s |      22 |  1952621 |  1653322 |      559   6487 |        0 |        0
353.15/353.28	c  353s |      22 |  1961884 |  1661122 |      559   6511 |        0 |        0
355.14/355.30	c  355s |      22 |  1970151 |  1668322 |      559   6533 |        0 |        0
357.24/357.31	c  357s |      22 |  1979854 |  1676122 |      559   6557 |        0 |        0
359.24/359.32	c  359s |      22 |  1990551 |  1685322 |      559   6586 |        0 |        0
361.24/361.35	c  361s |      22 |  2000548 |  1694122 |      559   6613 |        0 |        0
363.24/363.35	c  363s |      22 |  2010313 |  1702522 |      559   6638 |        0 |        0
365.24/365.35	c  365s |      22 |  2020093 |  1711122 |      559   6665 |        0 |        0
367.24/367.36	c  367s |      22 |  2029772 |  1719622 |      559   6691 |        0 |        0
369.23/369.37	c  369s |      22 |  2039519 |  1728022 |      559   6717 |        0 |        0
371.23/371.38	c  371s |      22 |  2049247 |  1736422 |      559   6743 |        0 |        0
373.23/373.38	c  373s |      22 |  2060598 |  1746222 |      559   6773 |        0 |        0
375.23/375.39	c  375s |      22 |  2073521 |  1756622 |      559   6805 |        0 |        0
377.34/377.41	c  377s |      22 |  2083674 |  1765522 |      559   6833 |        0 |        0
379.33/379.42	c  379s |      22 |  2093198 |  1774022 |      559   6859 |        0 |        0
381.33/381.42	c  381s |      22 |  2103050 |  1782622 |      559   6885 |        0 |        0
383.33/383.44	c  383s |      22 |  2113701 |  1792122 |      559   6915 |        0 |        0
385.33/385.44	c  385s |      22 |  2123456 |  1800822 |      559   6942 |        0 |        0
387.33/387.46	c  387s |      22 |  2133508 |  1809422 |      559   6968 |        0 |        0
389.34/389.46	c  389s |      22 |  2143285 |  1817922 |      559   6995 |        0 |        0
391.33/391.46	c  391s |      22 |  2152918 |  1826422 |      559   7021 |        0 |        0
393.33/393.47	c  393s |      22 |  2162498 |  1834722 |      559   7046 |        0 |        0
395.43/395.50	c  395s |      22 |  2171794 |  1842822 |      559   7072 |        0 |        0
397.43/397.51	c  397s |      22 |  2181387 |  1850822 |      559   7097 |        0 |        0
399.43/399.52	c  399s |      22 |  2191626 |  1859222 |      559   7123 |        0 |        0
401.43/401.54	c  401s |      22 |  2201248 |  1867122 |      559   7148 |        0 |        0
403.42/403.57	c  403s |      22 |  2209671 |  1874522 |      559   7171 |        0 |        0
405.42/405.59	c  405s |      22 |  2219523 |  1882822 |      559   7197 |        0 |        0
407.52/407.62	c  407s |      22 |  2227945 |  1890222 |      559   7220 |        0 |        0
409.52/409.63	c  409s |      22 |  2238657 |  1899022 |      559   7247 |        0 |        0
411.52/411.63	c  411s |      22 |  2248393 |  1907222 |      559   7273 |        0 |        0
413.53/413.65	c  413s |      22 |  2257808 |  1914922 |      559   7297 |        0 |        0
415.52/415.66	c  415s |      22 |  2268827 |  1923422 |      559   7323 |        0 |        0
417.52/417.67	c  417s |      22 |  2277406 |  1931022 |      559   7347 |        0 |        0
419.53/419.69	c  419s |      22 |  2287483 |  1939422 |      559   7373 |        0 |        0
421.63/421.70	c  421s |      22 |  2298676 |  1948222 |      559   7400 |        0 |        0
423.63/423.72	c  423s |      22 |  2308975 |  1956822 |      559   7427 |        0 |        0
425.63/425.73	c  425s |      22 |  2318164 |  1964922 |      559   7452 |        0 |        0
427.63/427.75	c  427s |      22 |  2326976 |  1972822 |      559   7476 |        0 |        0
429.63/429.78	c  429s |      22 |  2335696 |  1980622 |      559   7500 |        0 |        0
431.73/431.80	c  431s |      22 |  2344344 |  1988222 |      559   7524 |        0 |        0
433.72/433.82	c  433s |      22 |  2352994 |  1995922 |      559   7548 |        0 |        0
435.72/435.84	c  435s |      22 |  2362842 |  2004422 |      559   7574 |        0 |        0
437.73/437.85	c  437s |      22 |  2372812 |  2012822 |      559   7600 |        0 |        0
439.72/439.85	c  439s |      22 |  2382338 |  2021022 |      559   7625 |        0 |        0
441.72/441.87	c  441s |      22 |  2392504 |  2029322 |      559   7651 |        0 |        0
443.72/443.88	c  443s |      22 |  2402023 |  2037322 |      559   7676 |        0 |        0
445.72/445.88	c  445s |      22 |  2410993 |  2044722 |      559   7699 |        0 |        0
447.73/447.89	c  447s |      22 |  2423463 |  2054422 |      559   7729 |        0 |        0
449.83/449.91	c  449s |      22 |  2434201 |  2063422 |      559   7757 |        0 |        0
451.82/451.92	c  451s |      22 |  2444142 |  2071822 |      559   7783 |        0 |        0
453.82/453.94	c  453s |      22 |  2453253 |  2079622 |      559   7807 |        0 |        0
455.82/455.95	c  455s |      22 |  2462588 |  2087322 |      559   7831 |        0 |        0
457.82/457.96	c  457s |      22 |  2473677 |  2095922 |      559   7857 |        0 |        0
459.83/459.96	c  459s |      22 |  2484935 |  2105022 |      559   7886 |        0 |        0
461.82/461.98	c  461s |      22 |  2495895 |  2113822 |      559   7914 |        0 |        0
463.81/463.99	c  463s |      22 |  2507056 |  2122622 |      559   7941 |        0 |        0
465.91/466.01	c  465s |      22 |  2517924 |  2131322 |      559   7969 |        0 |        0
467.91/468.02	c  468s |      22 |  2528539 |  2140522 |      559   7998 |        0 |        0
469.91/470.03	c  470s |      22 |  2538928 |  2149422 |      559   8026 |        0 |        0
471.93/472.05	c  472s |      22 |  2549116 |  2158222 |      559   8053 |        0 |        0
473.92/474.06	c  474s |      22 |  2559488 |  2167122 |      559   8081 |        0 |        0
475.92/476.08	c  476s |      22 |  2569402 |  2175522 |      559   8107 |        0 |        0
477.92/478.08	c  478s |      22 |  2579337 |  2184222 |      559   8134 |        0 |        0
479.92/480.08	c  480s |      22 |  2589037 |  2192722 |      559   8161 |        0 |        0
481.92/482.09	c  482s |      22 |  2599383 |  2201622 |      559   8188 |        0 |        0
483.93/484.09	c  484s |      22 |  2609867 |  2210722 |      559   8217 |        0 |        0
486.02/486.11	c  486s |      22 |  2619933 |  2219622 |      559   8245 |        0 |        0
488.02/488.12	c  488s |      22 |  2630525 |  2229022 |      559   8274 |        0 |        0
490.02/490.15	c  490s |      22 |  2640451 |  2237922 |      615   8301 |        0 |        0
492.02/492.15	c  492s |      22 |  2650477 |  2246722 |      615   8326 |        0 |        0
493.02/493.14	c  493s |      23 |  2655410 |  2251038 |      615   8338 |        0 |        0
495.02/495.15	c  495s |      23 |  2667151 |  2261238 |      615   8367 |        0 |        0
497.01/497.16	c  497s |      23 |  2678857 |  2271638 |      615   8397 |        0 |        0
499.01/499.17	c  499s |      23 |  2690610 |  2281738 |      615   8426 |        0 |        0
501.01/501.17	c  501s |      23 |  2701580 |  2291438 |      615   8454 |        0 |        0
503.01/503.18	c  503s |      23 |  2711968 |  2300338 |      615   8479 |        0 |        0
505.11/505.20	c  505s |      23 |  2722135 |  2309138 |      615   8504 |        0 |        0
507.12/507.22	c  507s |      23 |  2732261 |  2318038 |      615   8530 |        0 |        0
509.11/509.23	c  509s |      23 |  2742336 |  2326638 |      615   8554 |        0 |        0
511.11/511.23	c  511s |      23 |  2752596 |  2335338 |      615   8579 |        0 |        0
513.11/513.25	c  513s |      23 |  2762363 |  2343838 |      615   8603 |        0 |        0
515.11/515.25	c  515s |      23 |  2772181 |  2352138 |      615   8627 |        0 |        0
517.11/517.26	c  517s |      23 |  2782557 |  2360938 |      615   8652 |        0 |        0
519.12/519.28	c  519s |      23 |  2792966 |  2369938 |      615   8678 |        0 |        0
521.11/521.29	c  521s |      23 |  2803005 |  2378438 |      615   8702 |        0 |        0
523.21/523.30	c  523s |      23 |  2812578 |  2386638 |      615   8725 |        0 |        0
525.21/525.32	c  525s |      23 |  2821307 |  2394138 |      615   8747 |        0 |        0
527.21/527.33	c  527s |      23 |  2830260 |  2401638 |      615   8768 |        0 |        0
529.21/529.35	c  529s |      23 |  2839477 |  2409638 |      615   8791 |        0 |        0
531.21/531.37	c  531s |      23 |  2849123 |  2417938 |      615   8815 |        0 |        0
533.20/533.38	c  533s |      23 |  2858781 |  2426238 |      615   8838 |        0 |        0
535.20/535.39	c  535s |      23 |  2869010 |  2435038 |      615   8864 |        0 |        0
537.30/537.41	c  537s |      23 |  2878554 |  2443038 |      615   8887 |        0 |        0
539.30/539.42	c  539s |      23 |  2887845 |  2451038 |      615   8909 |        0 |        0
541.30/541.43	c  541s |      23 |  2897070 |  2459138 |      615   8933 |        0 |        0
543.31/543.45	c  543s |      23 |  2906719 |  2467238 |      615   8956 |        0 |        0
545.30/545.46	c  545s |      23 |  2917031 |  2476038 |      615   8981 |        0 |        0
547.30/547.48	c  547s |      23 |  2927633 |  2484538 |      615   9005 |        0 |        0
549.40/549.50	c  549s |      23 |  2937059 |  2492638 |      615   9028 |        0 |        0
551.40/551.52	c  551s |      23 |  2946434 |  2500638 |      615   9050 |        0 |        0
553.40/553.53	c  553s |      23 |  2955825 |  2508838 |      615   9073 |        0 |        0
555.42/555.54	c  555s |      23 |  2966451 |  2517938 |      615   9099 |        0 |        0
557.41/557.56	c  557s |      23 |  2976528 |  2526638 |      615   9124 |        0 |        0
559.41/559.58	c  559s |      23 |  2986383 |  2535238 |      615   9149 |        0 |        0
561.51/561.60	c  561s |      23 |  2995448 |  2543138 |      615   9172 |        0 |        0
563.51/563.61	c  563s |      23 |  3004332 |  2550838 |      615   9194 |        0 |        0
565.51/565.62	c  565s |      23 |  3015243 |  2560138 |      615   9221 |        0 |        0
567.51/567.64	c  567s |      23 |  3026250 |  2569638 |      615   9248 |        0 |        0
569.51/569.65	c  569s |      23 |  3038013 |  2579438 |      615   9276 |        0 |        0
571.51/571.65	c  571s |      23 |  3048963 |  2588638 |      615   9302 |        0 |        0
573.51/573.66	c  573s |      23 |  3058594 |  2596938 |      615   9325 |        0 |        0
575.50/575.67	c  575s |      23 |  3068231 |  2605038 |      615   9348 |        0 |        0
577.51/577.68	c  577s |      23 |  3077321 |  2612838 |      615   9370 |        0 |        0
579.50/579.70	c  579s |      23 |  3087296 |  2621238 |      615   9394 |        0 |        0
581.60/581.71	c  581s |      23 |  3096197 |  2629038 |      615   9416 |        0 |        0
583.60/583.72	c  583s |      23 |  3106354 |  2637538 |      615   9440 |        0 |        0
585.60/585.74	c  585s |      23 |  3115637 |  2645338 |      615   9462 |        0 |        0
587.60/587.74	c  587s |      23 |  3125055 |  2653338 |      615   9485 |        0 |        0
589.60/589.76	c  589s |      23 |  3135149 |  2662138 |      615   9510 |        0 |        0
591.60/591.77	c  591s |      23 |  3147048 |  2672038 |      615   9539 |        0 |        0
593.59/593.79	c  593s |      23 |  3158373 |  2681638 |      615   9566 |        0 |        0
595.69/595.80	c  595s |      23 |  3168874 |  2690738 |      615   9592 |        0 |        0
597.69/597.82	c  597s |      23 |  3179959 |  2700038 |      615   9619 |        0 |        0
599.69/599.84	c  599s |      23 |  3189699 |  2708538 |      615   9643 |        0 |        0
601.70/601.85	c  601s |      23 |  3198248 |  2716138 |      615   9665 |        0 |        0
603.69/603.86	c  603s |      23 |  3207028 |  2723838 |      615   9687 |        0 |        0
605.69/605.86	c  605s |      23 |  3217054 |  2732438 |      615   9711 |        0 |        0
607.69/607.88	c  607s |      23 |  3227238 |  2741138 |      615   9736 |        0 |        0
609.69/609.88	c  609s |      23 |  3236021 |  2748838 |      615   9758 |        0 |        0
611.69/611.89	c  611s |      23 |  3244256 |  2756138 |      615   9780 |        0 |        0
613.70/613.89	c  613s |      23 |  3252869 |  2763638 |      615   9801 |        0 |        0
615.79/615.92	c  615s |      23 |  3261430 |  2771038 |      615   9822 |        0 |        0
617.79/617.93	c  617s |      23 |  3271115 |  2779338 |      615   9846 |        0 |        0
619.79/619.94	c  619s |      23 |  3281230 |  2788038 |      615   9871 |        0 |        0
621.80/621.94	c  621s |      23 |  3291329 |  2796738 |      615   9896 |        0 |        0
623.80/623.98	c  623s |      23 |  3300265 |  2804638 |      615   9918 |        0 |        0
625.81/625.99	c  625s |      23 |  3309705 |  2812638 |      615   9941 |        0 |        0
627.90/628.01	c  627s |      23 |  3319597 |  2821238 |      615   9965 |        0 |        0
629.90/630.02	c  630s |      23 |  3328999 |  2829638 |      615   9989 |        0 |        0
631.90/632.03	c  632s |      23 |  3338949 |  2838038 |      615  10013 |        0 |        0
633.90/634.04	c  634s |      23 |  3347966 |  2845838 |      615  10035 |        0 |        0
635.90/636.05	c  636s |      23 |  3356466 |  2853238 |      615  10056 |        0 |        0
637.90/638.06	c  638s |      23 |  3365840 |  2861338 |      615  10080 |        0 |        0
639.90/640.06	c  640s |      23 |  3374672 |  2868738 |      615  10101 |        0 |        0
641.90/642.07	c  642s |      23 |  3384020 |  2876838 |      615  10124 |        0 |        0
643.89/644.08	c  644s |      23 |  3393372 |  2884838 |      615  10147 |        0 |        0
645.89/646.09	c  646s |      23 |  3401464 |  2891838 |      615  10167 |        0 |        0
647.99/648.11	c  648s |      23 |  3410243 |  2899538 |      615  10189 |        0 |        0
650.00/650.12	c  650s |      23 |  3419184 |  2907038 |      615  10210 |        0 |        0
651.99/652.14	c  652s |      23 |  3428728 |  2915138 |      615  10233 |        0 |        0
653.99/654.16	c  654s |      23 |  3437761 |  2923138 |      615  10255 |        0 |        0
655.99/656.18	c  656s |      23 |  3447047 |  2931438 |      615  10278 |        0 |        0
658.09/658.21	c  658s |      23 |  3456423 |  2939738 |      615  10302 |        0 |        0
660.09/660.23	c  660s |      23 |  3465836 |  2947838 |      615  10324 |        0 |        0
662.09/662.23	c  662s |      23 |  3474802 |  2955738 |      615  10347 |        0 |        0
664.09/664.25	c  664s |      23 |  3483768 |  2963738 |      615  10369 |        0 |        0
666.08/666.25	c  666s |      23 |  3492134 |  2971238 |      615  10390 |        0 |        0
668.08/668.26	c  668s |      23 |  3502163 |  2980138 |      615  10415 |        0 |        0
670.08/670.29	c  670s |      23 |  3511714 |  2988638 |      615  10439 |        0 |        0
672.18/672.31	c  672s |      23 |  3522011 |  2997738 |      615  10465 |        0 |        0
674.19/674.32	c  674s |      23 |  3531433 |  3006038 |      615  10488 |        0 |        0
676.18/676.32	c  676s |      23 |  3540724 |  3014438 |      615  10512 |        0 |        0
678.19/678.33	c  678s |      23 |  3549469 |  3022338 |      615  10534 |        0 |        0
680.19/680.33	c  680s |      23 |  3558638 |  3030438 |      615  10557 |        0 |        0
682.19/682.36	c  682s |      23 |  3567769 |  3038538 |      615  10579 |        0 |        0
684.20/684.37	c  684s |      23 |  3576612 |  3046338 |      615  10601 |        0 |        0
686.19/686.37	c  686s |      23 |  3585276 |  3054038 |      615  10623 |        0 |        0
688.19/688.39	c  688s |      23 |  3594764 |  3062338 |      615  10646 |        0 |        0
690.29/690.40	c  690s |      23 |  3603557 |  3070138 |      615  10668 |        0 |        0
692.29/692.41	c  692s |      23 |  3612677 |  3078038 |      615  10690 |        0 |        0
694.29/694.42	c  694s |      23 |  3621221 |  3085538 |      615  10711 |        0 |        0
696.29/696.43	c  696s |      23 |  3630477 |  3093438 |      615  10733 |        0 |        0
698.28/698.44	c  698s |      23 |  3638899 |  3100838 |      615  10754 |        0 |        0
700.28/700.44	c  700s |      23 |  3647491 |  3108438 |      615  10775 |        0 |        0
702.28/702.47	c  702s |      23 |  3655731 |  3115838 |      615  10796 |        0 |        0
704.38/704.50	c  704s |      23 |  3664698 |  3123738 |      615  10819 |        0 |        0
706.38/706.51	c  706s |      23 |  3674559 |  3132338 |      615  10843 |        0 |        0
708.39/708.52	c  708s |      23 |  3683318 |  3140238 |      615  10865 |        0 |        0
710.38/710.53	c  710s |      23 |  3691761 |  3147738 |      615  10886 |        0 |        0
712.38/712.54	c  712s |      23 |  3699833 |  3155038 |      615  10907 |        0 |        0
714.38/714.57	c  714s |      23 |  3707803 |  3162138 |      615  10927 |        0 |        0
716.48/716.60	c  716s |      23 |  3714894 |  3168538 |      615  10945 |        0 |        0
718.48/718.60	c  718s |      23 |  3724279 |  3176638 |      615  10968 |        0 |        0
720.38/720.60	c  720s |      23 |  3734649 |  3185638 |      615  10993 |        0 |        0
722.48/722.62	c  722s |      23 |  3744010 |  3193838 |      615  11016 |        0 |        0
724.48/724.62	c  724s |      23 |  3753073 |  3201738 |      615  11039 |        0 |        0
726.47/726.64	c  726s |      23 |  3762040 |  3209638 |      615  11061 |        0 |        0
728.48/728.66	c  728s |      23 |  3770707 |  3217338 |      615  11083 |        0 |        0
730.48/730.68	c  730s |      23 |  3780225 |  3225838 |      615  11107 |        0 |        0
732.49/732.70	c  732s |      23 |  3790143 |  3234738 |      615  11132 |        0 |        0
734.58/734.73	c  734s |      23 |  3799689 |  3243238 |      615  11156 |        0 |        0
736.58/736.73	c  736s |      23 |  3809013 |  3251538 |      615  11179 |        0 |        0
738.58/738.75	c  738s |      23 |  3818259 |  3259838 |      615  11203 |        0 |        0
740.58/740.76	c  740s |      23 |  3828285 |  3268638 |      615  11227 |        0 |        0
742.58/742.76	c  742s |      23 |  3838062 |  3277438 |      615  11252 |        0 |        0
744.58/744.78	c  744s |      23 |  3847617 |  3285938 |      615  11276 |        0 |        0
746.67/746.80	c  746s |      23 |  3856373 |  3293838 |      615  11298 |        0 |        0
748.67/748.81	c  748s |      23 |  3865360 |  3301838 |      615  11321 |        0 |        0
750.67/750.81	c  750s |      23 |  3873971 |  3309538 |      615  11342 |        0 |        0
752.67/752.82	c  752s |      23 |  3882458 |  3317238 |      615  11364 |        0 |        0
754.67/754.84	c  754s |      23 |  3892212 |  3325838 |      615  11388 |        0 |        0
756.69/756.85	c  756s |      23 |  3901893 |  3334438 |      615  11413 |        0 |        0
758.68/758.86	c  758s |      23 |  3911443 |  3342838 |      615  11437 |        0 |        0
760.68/760.88	c  760s |      23 |  3920345 |  3350838 |      615  11459 |        0 |        0
762.78/762.90	c  762s |      23 |  3929197 |  3358738 |      677  11480 |        0 |        0
764.78/764.91	c  764s |      23 |  3938134 |  3366638 |      677  11501 |        0 |        0
766.78/766.93	c  766s |      23 |  3947661 |  3375138 |      677  11523 |        0 |        0
767.18/767.30	c  767s |      24 |  3949380 |  3376662 |      677  11527 |        0 |        0
769.18/769.31	c  769s |      24 |  3960808 |  3386262 |      677  11552 |        0 |        0
771.18/771.32	c  771s |      24 |  3971477 |  3395562 |      677  11576 |        0 |        0
773.18/773.32	c  773s |      24 |  3981786 |  3404562 |      677  11600 |        0 |        0
775.18/775.33	c  775s |      24 |  3992039 |  3413562 |      677  11624 |        0 |        0
777.18/777.34	c  777s |      24 |  4002986 |  3423162 |      677  11649 |        0 |        0
779.18/779.36	c  779s |      24 |  4013007 |  3431862 |      677  11672 |        0 |        0
781.17/781.37	c  781s |      24 |  4023519 |  3440962 |      677  11696 |        0 |        0
783.18/783.39	c  783s |      24 |  4034478 |  3450462 |      677  11721 |        0 |        0
785.28/785.41	c  785s |      24 |  4044156 |  3459062 |      677  11744 |        0 |        0
787.27/787.42	c  787s |      24 |  4053535 |  3467362 |      677  11766 |        0 |        0
789.27/789.43	c  789s |      24 |  4062899 |  3475662 |      677  11787 |        0 |        0
791.27/791.44	c  791s |      24 |  4072076 |  3483762 |      677  11808 |        0 |        0
793.27/793.46	c  793s |      24 |  4082045 |  3492462 |      677  11831 |        0 |        0
795.28/795.49	c  795s |      24 |  4091016 |  3500562 |      677  11853 |        0 |        0
797.38/797.51	c  797s |      24 |  4100227 |  3508862 |      677  11874 |        0 |        0
799.37/799.53	c  799s |      24 |  4109845 |  3517462 |      677  11897 |        0 |        0
801.37/801.55	c  801s |      24 |  4119727 |  3526062 |      677  11920 |        0 |        0
803.37/803.56	c  803s |      24 |  4130295 |  3535262 |      677  11944 |        0 |        0
805.37/805.58	c  805s |      24 |  4140491 |  3544162 |      677  11967 |        0 |        0
807.47/807.60	c  807s |      24 |  4150521 |  3552862 |      677  11990 |        0 |        0
809.47/809.61	c  809s |      24 |  4160345 |  3561462 |      677  12012 |        0 |        0
811.47/811.61	c  811s |      24 |  4170400 |  3570162 |      677  12035 |        0 |        0
813.47/813.62	c  813s |      24 |  4179620 |  3578462 |      677  12057 |        0 |        0
815.47/815.64	c  815s |      24 |  4188567 |  3586462 |      677  12078 |        0 |        0
817.47/817.66	c  817s |      24 |  4197769 |  3594462 |      677  12099 |        0 |        0
819.47/819.67	c  819s |      24 |  4206203 |  3601962 |      677  12119 |        0 |        0
821.46/821.69	c  821s |      24 |  4215843 |  3610262 |      677  12141 |        0 |        0
823.56/823.71	c  823s |      24 |  4224874 |  3618162 |      677  12162 |        0 |        0
825.56/825.72	c  825s |      24 |  4233089 |  3625462 |      677  12181 |        0 |        0
827.56/827.73	c  827s |      24 |  4241091 |  3632562 |      677  12200 |        0 |        0
829.56/829.74	c  829s |      24 |  4248733 |  3639362 |      677  12218 |        0 |        0
831.57/831.75	c  831s |      24 |  4257077 |  3646762 |      677  12237 |        0 |        0
833.56/833.77	c  833s |      24 |  4265809 |  3654462 |      677  12258 |        0 |        0
835.56/835.79	c  835s |      24 |  4273909 |  3661662 |      677  12277 |        0 |        0
837.66/837.80	c  837s |      24 |  4282980 |  3669662 |      677  12298 |        0 |        0
839.66/839.81	c  839s |      24 |  4291774 |  3677362 |      677  12318 |        0 |        0
841.66/841.82	c  841s |      24 |  4300527 |  3685062 |      677  12338 |        0 |        0
843.67/843.85	c  843s |      24 |  4309567 |  3692962 |      677  12359 |        0 |        0
845.66/845.85	c  845s |      24 |  4318371 |  3700762 |      677  12379 |        0 |        0
847.66/847.86	c  847s |      24 |  4328870 |  3709862 |      677  12403 |        0 |        0
849.66/849.87	c  849s |      24 |  4338624 |  3718462 |      677  12426 |        0 |        0
851.66/851.89	c  851s |      24 |  4348277 |  3726962 |      677  12448 |        0 |        0
853.76/853.91	c  853s |      24 |  4357737 |  3735362 |      677  12471 |        0 |        0
855.77/855.92	c  855s |      24 |  4366963 |  3743562 |      677  12492 |        0 |        0
857.76/857.93	c  857s |      24 |  4376641 |  3751762 |      677  12514 |        0 |        0
859.76/859.95	c  859s |      24 |  4385663 |  3759562 |      677  12535 |        0 |        0
861.76/861.96	c  861s |      24 |  4395514 |  3767962 |      677  12558 |        0 |        0
863.76/863.98	c  863s |      24 |  4405833 |  3776962 |      677  12582 |        0 |        0
865.76/865.99	c  865s |      24 |  4416089 |  3785762 |      677  12605 |        0 |        0
867.87/868.01	c  867s |      24 |  4425857 |  3794162 |      677  12628 |        0 |        0
869.86/870.01	c  869s |      24 |  4436181 |  3802762 |      677  12650 |        0 |        0
871.86/872.03	c  872s |      24 |  4446507 |  3811862 |      677  12674 |        0 |        0
873.86/874.04	c  874s |      24 |  4455873 |  3820162 |      677  12696 |        0 |        0
875.86/876.07	c  876s |      24 |  4465307 |  3828462 |      677  12718 |        0 |        0
877.86/878.07	c  878s |      24 |  4474201 |  3836262 |      677  12739 |        0 |        0
879.87/880.10	c  880s |      24 |  4483271 |  3844262 |      677  12760 |        0 |        0
881.96/882.11	c  882s |      24 |  4491913 |  3851862 |      677  12779 |        0 |        0
883.96/884.13	c  884s |      24 |  4500452 |  3859362 |      677  12799 |        0 |        0
885.96/886.14	c  886s |      24 |  4508721 |  3866762 |      677  12818 |        0 |        0
887.96/888.16	c  888s |      24 |  4517191 |  3874362 |      677  12838 |        0 |        0
889.95/890.19	c  890s |      24 |  4524939 |  3881362 |      677  12856 |        0 |        0
892.06/892.21	c  892s |      24 |  4532947 |  3888562 |      677  12874 |        0 |        0
894.05/894.26	c  894s |      24 |  4539941 |  3894862 |      677  12891 |        0 |        0
896.05/896.27	c  896s |      24 |  4549198 |  3902962 |      677  12912 |        0 |        0
898.05/898.30	c  898s |      24 |  4557879 |  3910662 |      677  12931 |        0 |        0
900.15/900.33	c  900s |      24 |  4566443 |  3918262 |      677  12951 |        0 |        0
902.15/902.33	c  902s |      24 |  4575263 |  3926062 |      677  12972 |        0 |        0
904.16/904.36	c  904s |      24 |  4583568 |  3933462 |      677  12991 |        0 |        0
906.15/906.37	c  906s |      24 |  4591912 |  3940962 |      677  13010 |        0 |        0
908.15/908.39	c  908s |      24 |  4600521 |  3948662 |      677  13030 |        0 |        0
910.25/910.41	c  910s |      24 |  4609364 |  3956462 |      677  13051 |        0 |        0
912.25/912.42	c  912s |      24 |  4617944 |  3964162 |      677  13071 |        0 |        0
914.25/914.43	c  914s |      24 |  4626337 |  3971562 |      677  13090 |        0 |        0
916.26/916.45	c  916s |      24 |  4635473 |  3979762 |      677  13111 |        0 |        0
918.25/918.47	c  918s |      24 |  4644560 |  3987962 |      677  13133 |        0 |        0
920.25/920.48	c  920s |      24 |  4653910 |  3996362 |      677  13154 |        0 |        0
922.35/922.51	c  922s |      24 |  4662318 |  4003862 |      677  13174 |        0 |        0
924.35/924.53	c  924s |      24 |  4671068 |  4011662 |      677  13194 |        0 |        0
926.35/926.55	c  926s |      24 |  4681155 |  4020462 |      677  13217 |        0 |        0
928.35/928.56	c  928s |      24 |  4690199 |  4028562 |      677  13238 |        0 |        0
930.35/930.57	c  930s |      24 |  4698676 |  4036162 |      677  13258 |        0 |        0
932.35/932.58	c  932s |      24 |  4707422 |  4043762 |      677  13278 |        0 |        0
934.35/934.59	c  934s |      24 |  4716084 |  4051462 |      677  13297 |        0 |        0
936.34/936.59	c  936s |      24 |  4724122 |  4058662 |      677  13316 |        0 |        0
938.34/938.60	c  938s |      24 |  4732589 |  4066162 |      677  13336 |        0 |        0
940.45/940.62	c  940s |      24 |  4742221 |  4074662 |      677  13358 |        0 |        0
942.45/942.64	c  942s |      24 |  4750680 |  4082162 |      677  13377 |        0 |        0
944.45/944.65	c  944s |      24 |  4759393 |  4089762 |      677  13397 |        0 |        0
946.45/946.66	c  946s |      24 |  4769169 |  4098162 |      677  13419 |        0 |        0
948.45/948.68	c  948s |      24 |  4778686 |  4106362 |      677  13441 |        0 |        0
950.45/950.69	c  950s |      24 |  4788368 |  4114962 |      677  13464 |        0 |        0
952.46/952.70	c  952s |      24 |  4797852 |  4123262 |      677  13486 |        0 |        0
954.55/954.70	c  954s |      24 |  4807934 |  4131762 |      677  13508 |        0 |        0
956.55/956.71	c  956s |      24 |  4818080 |  4140562 |      677  13531 |        0 |        0
958.55/958.72	c  958s |      24 |  4827529 |  4148762 |      677  13552 |        0 |        0
960.55/960.74	c  960s |      24 |  4836546 |  4156662 |      677  13573 |        0 |        0
962.55/962.75	c  962s |      24 |  4845308 |  4164362 |      677  13594 |        0 |        0
964.55/964.77	c  964s |      24 |  4854000 |  4172062 |      677  13614 |        0 |        0
966.55/966.79	c  966s |      24 |  4862522 |  4179462 |      677  13633 |        0 |        0
968.54/968.79	c  968s |      24 |  4871695 |  4187562 |      677  13654 |        0 |        0
970.64/970.81	c  970s |      24 |  4880423 |  4195362 |      677  13674 |        0 |        0
972.64/972.82	c  972s |      24 |  4890065 |  4203862 |      677  13697 |        0 |        0
974.64/974.83	c  974s |      24 |  4899483 |  4212262 |      677  13719 |        0 |        0
976.65/976.84	c  976s |      24 |  4908687 |  4220362 |      677  13740 |        0 |        0
978.64/978.84	c  978s |      24 |  4918023 |  4228562 |      677  13761 |        0 |        0
980.64/980.84	c  980s |      24 |  4927444 |  4236762 |      677  13783 |        0 |        0
982.64/982.84	c  982s |      24 |  4937453 |  4245762 |      677  13806 |        0 |        0
984.64/984.85	c  984s |      24 |  4947422 |  4254562 |      677  13829 |        0 |        0
986.65/986.86	c  986s |      24 |  4956808 |  4262962 |      677  13851 |        0 |        0
988.64/988.87	c  988s |      24 |  4965913 |  4271162 |      677  13872 |        0 |        0
990.64/990.89	c  990s |      24 |  4974352 |  4278762 |      677  13892 |        0 |        0
992.74/992.93	c  992s |      24 |  4982617 |  4286062 |      677  13912 |        0 |        0
994.74/994.93	c  994s |      24 |  4991037 |  4293562 |      677  13931 |        0 |        0
996.74/996.95	c  996s |      24 |  5000141 |  4301662 |      677  13953 |        0 |        0
998.74/998.96	c  998s |      24 |  5008766 |  4309462 |      677  13973 |        0 |        0
1000.73/1000.98	c 1000s |      24 |  5017474 |  4317262 |      677  13994 |        0 |        0
1002.83/1003.00	c 1002s |      24 |  5026000 |  4324962 |      677  14014 |        0 |        0
1004.83/1005.01	c 1004s |      24 |  5034311 |  4332362 |      677  14033 |        0 |        0
1006.83/1007.03	c 1007s |      24 |  5044413 |  4341062 |      677  14056 |        0 |        0
1008.83/1009.05	c 1009s |      24 |  5053568 |  4349162 |      677  14077 |        0 |        0
1010.84/1011.07	c 1011s |      24 |  5062536 |  4357062 |      677  14098 |        0 |        0
1012.83/1013.07	c 1013s |      24 |  5071103 |  4364662 |      677  14118 |        0 |        0
1014.93/1015.10	c 1015s |      24 |  5079519 |  4372262 |      677  14138 |        0 |        0
1016.93/1017.11	c 1017s |      24 |  5087987 |  4379862 |      677  14158 |        0 |        0
1018.93/1019.12	c 1019s |      24 |  5096837 |  4387762 |      677  14178 |        0 |        0
1020.92/1021.14	c 1021s |      24 |  5105542 |  4395462 |      677  14198 |        0 |        0
1022.93/1023.14	c 1023s |      24 |  5113662 |  4402662 |      677  14217 |        0 |        0
1024.92/1025.15	c 1025s |      24 |  5121353 |  4409462 |      677  14235 |        0 |        0
1026.92/1027.17	c 1027s |      24 |  5131263 |  4417762 |      677  14257 |        0 |        0
1028.92/1029.19	c 1029s |      24 |  5140535 |  4425862 |      677  14278 |        0 |        0
1031.02/1031.20	c 1031s |      24 |  5149609 |  4433762 |      677  14299 |        0 |        0
1033.02/1033.22	c 1033s |      24 |  5159209 |  4442062 |      677  14320 |        0 |        0
1035.02/1035.23	c 1035s |      24 |  5168052 |  4449862 |      677  14341 |        0 |        0
1037.02/1037.24	c 1037s |      24 |  5177890 |  4458662 |      677  14364 |        0 |        0
1039.02/1039.25	c 1039s |      24 |  5187309 |  4466962 |      677  14385 |        0 |        0
1041.02/1041.26	c 1041s |      24 |  5196642 |  4475262 |      677  14407 |        0 |        0
1043.02/1043.28	c 1043s |      24 |  5205557 |  4483262 |      677  14428 |        0 |        0
1045.12/1045.30	c 1045s |      24 |  5215083 |  4491762 |      677  14450 |        0 |        0
1047.12/1047.31	c 1047s |      24 |  5224092 |  4499762 |      677  14471 |        0 |        0
1049.12/1049.32	c 1049s |      24 |  5232496 |  4507262 |      677  14491 |        0 |        0
1051.11/1051.33	c 1051s |      24 |  5240940 |  4514762 |      677  14511 |        0 |        0
1053.11/1053.33	c 1053s |      24 |  5251422 |  4523862 |      677  14535 |        0 |        0
1055.11/1055.34	c 1055s |      24 |  5262021 |  4533262 |      677  14560 |        0 |        0
1057.11/1057.35	c 1057s |      24 |  5272798 |  4542862 |      677  14585 |        0 |        0
1059.12/1059.35	c 1059s |      24 |  5283050 |  4552062 |      677  14609 |        0 |        0
1061.11/1061.37	c 1061s |      24 |  5292574 |  4560662 |      677  14632 |        0 |        0
1063.11/1063.38	c 1063s |      24 |  5302144 |  4569162 |      677  14654 |        0 |        0
1065.11/1065.39	c 1065s |      24 |  5311907 |  4577862 |      677  14677 |        0 |        0
1067.11/1067.39	c 1067s |      24 |  5320687 |  4585762 |      677  14697 |        0 |        0
1069.11/1069.39	c 1069s |      24 |  5329612 |  4593862 |      677  14718 |        0 |        0
1071.21/1071.41	c 1071s |      24 |  5339128 |  4602362 |      677  14741 |        0 |        0
1073.20/1073.43	c 1073s |      24 |  5349181 |  4611362 |      677  14764 |        0 |        0
1075.20/1075.44	c 1075s |      24 |  5358503 |  4619662 |      677  14786 |        0 |        0
1077.20/1077.46	c 1077s |      24 |  5366875 |  4627162 |      677  14806 |        0 |        0
1079.20/1079.46	c 1079s |      24 |  5375790 |  4634962 |      677  14826 |        0 |        0
1081.21/1081.48	c 1081s |      24 |  5385598 |  4643562 |      677  14849 |        0 |        0
1083.31/1083.50	c 1083s |      24 |  5395016 |  4651962 |      677  14871 |        0 |        0
1085.30/1085.51	c 1085s |      24 |  5404957 |  4660862 |      677  14894 |        0 |        0
1087.30/1087.53	c 1087s |      24 |  5414862 |  4669662 |      677  14917 |        0 |        0
1089.30/1089.54	c 1089s |      24 |  5423518 |  4677262 |      677  14937 |        0 |        0
1091.30/1091.55	c 1091s |      24 |  5431721 |  4684462 |      677  14956 |        0 |        0
1093.30/1093.56	c 1093s |      24 |  5439535 |  4691562 |      677  14974 |        0 |        0
1095.29/1095.57	c 1095s |      24 |  5448505 |  4699462 |      677  14995 |        0 |        0
1097.29/1097.59	c 1097s |      24 |  5457788 |  4707662 |      677  15016 |        0 |        0
1099.30/1099.59	c 1099s |      24 |  5466327 |  4715362 |      677  15037 |        0 |        0
1101.30/1101.59	c 1101s |      24 |  5475802 |  4723462 |      677  15058 |        0 |        0
1103.40/1103.60	c 1103s |      24 |  5485711 |  4732062 |      677  15080 |        0 |        0
1105.40/1105.61	c 1105s |      24 |  5495215 |  4740262 |      677  15102 |        0 |        0
1107.39/1107.61	c 1107s |      24 |  5505044 |  4748762 |      677  15124 |        0 |        0
1109.39/1109.63	c 1109s |      24 |  5514660 |  4757162 |      677  15146 |        0 |        0
1111.39/1111.65	c 1111s |      24 |  5524478 |  4765862 |      677  15168 |        0 |        0
1113.39/1113.66	c 1113s |      24 |  5533527 |  4773862 |      677  15189 |        0 |        0
1115.39/1115.66	c 1115s |      24 |  5542932 |  4782362 |      677  15212 |        0 |        0
1117.40/1117.68	c 1117s |      24 |  5552478 |  4790962 |      677  15234 |        0 |        0
1119.39/1119.69	c 1119s |      24 |  5561883 |  4799462 |      677  15256 |        0 |        0
1121.48/1121.71	c 1121s |      24 |  5570879 |  4807462 |      677  15277 |        0 |        0
1123.48/1123.73	c 1123s |      24 |  5579021 |  4814762 |      677  15296 |        0 |        0
1125.48/1125.73	c 1125s |      24 |  5587803 |  4822462 |      677  15317 |        0 |        0
1127.48/1127.76	c 1127s |      24 |  5595739 |  4829462 |      677  15335 |        0 |        0
1129.49/1129.78	c 1129s |      24 |  5605624 |  4838062 |      677  15358 |        0 |        0
1131.48/1131.79	c 1131s |      24 |  5615952 |  4847262 |      677  15382 |        0 |        0
1133.58/1133.80	c 1133s |      24 |  5624700 |  4854962 |      677  15402 |        0 |        0
1135.57/1135.81	c 1135s |      24 |  5634618 |  4863562 |      677  15424 |        0 |        0
1137.57/1137.82	c 1137s |      24 |  5644175 |  4871962 |      677  15446 |        0 |        0
1139.57/1139.84	c 1139s |      24 |  5653760 |  4880462 |      677  15469 |        0 |        0
1141.58/1141.85	c 1141s |      24 |  5664350 |  4889762 |      677  15493 |        0 |        0
1143.57/1143.85	c 1143s |      24 |  5674040 |  4898362 |      677  15515 |        0 |        0
1145.58/1145.85	c 1145s |      24 |  5683147 |  4906562 |      677  15537 |        0 |        0
1147.58/1147.87	c 1147s |      24 |  5692368 |  4914662 |      677  15558 |        0 |        0
1149.58/1149.87	c 1149s |      24 |  5701672 |  4922862 |      677  15580 |        0 |        0
1151.58/1151.89	c 1151s |      24 |  5711333 |  4931562 |      677  15602 |        0 |        0
1153.57/1153.90	c 1153s |      24 |  5721213 |  4940062 |      677  15625 |        0 |        0
1155.67/1155.92	c 1155s |      24 |  5732479 |  4949862 |      677  15651 |        0 |        0
1157.67/1157.93	c 1157s |      24 |  5742175 |  4958462 |      677  15673 |        0 |        0
1159.67/1159.95	c 1159s |      24 |  5752077 |  4967262 |      677  15697 |        0 |        0
1161.67/1161.96	c 1161s |      24 |  5761763 |  4975862 |      677  15719 |        0 |        0
1163.67/1163.98	c 1163s |      24 |  5772371 |  4985362 |      677  15744 |        0 |        0
1165.66/1165.98	c 1165s |      24 |  5783028 |  4994762 |      677  15769 |        0 |        0
1167.76/1168.00	c 1167s |      24 |  5794483 |  5004762 |      677  15795 |        0 |        0
1169.76/1170.01	c 1169s |      24 |  5804970 |  5014062 |      677  15819 |        0 |        0
1171.76/1172.03	c 1172s |      24 |  5814682 |  5022662 |      677  15842 |        0 |        0
1173.76/1174.06	c 1174s |      24 |  5824333 |  5031162 |      745  15863 |        0 |        0
1175.77/1176.07	c 1176s |      24 |  5833455 |  5039162 |      745  15883 |        0 |        0
1177.76/1178.07	c 1178s |      24 |  5843569 |  5048062 |      745  15904 |        0 |        0
1179.76/1180.08	c 1180s |      24 |  5853768 |  5057162 |      745  15926 |        0 |        0
1181.55/1181.89	c 1181s |      25 |  5862818 |  5065098 |      745  15945 |        0 |        0
1183.55/1183.89	c 1183s |      25 |  5873229 |  5073798 |      745  15966 |        0 |        0
1185.56/1185.90	c 1185s |      25 |  5882676 |  5082198 |      745  15986 |        0 |        0
1187.65/1187.92	c 1187s |      25 |  5893086 |  5091498 |      745  16008 |        0 |        0
1189.65/1189.94	c 1189s |      25 |  5902971 |  5100298 |      745  16029 |        0 |        0
1191.65/1191.96	c 1191s |      25 |  5914623 |  5110398 |      745  16053 |        0 |        0
1193.65/1193.97	c 1193s |      25 |  5925470 |  5119698 |      745  16076 |        0 |        0
1195.65/1195.98	c 1195s |      25 |  5936638 |  5129498 |      745  16099 |        0 |        0
1197.65/1197.99	c 1197s |      25 |  5947004 |  5138598 |      745  16121 |        0 |        0
1199.64/1199.99	c 1199s |      25 |  5956486 |  5146898 |      745  16141 |        0 |        0
1201.74/1202.00	c 1201s |      25 |  5965582 |  5154898 |      745  16160 |        0 |        0
1203.74/1204.02	c 1204s |      25 |  5975113 |  5163198 |      745  16180 |        0 |        0
1205.74/1206.02	c 1206s |      25 |  5984699 |  5171598 |      745  16200 |        0 |        0
1207.75/1208.02	c 1208s |      25 |  5994957 |  5180698 |      745  16222 |        0 |        0
1209.75/1210.04	c 1210s |      25 |  6005019 |  5189598 |      745  16244 |        0 |        0
1211.74/1212.04	c 1212s |      25 |  6015367 |  5198598 |      745  16266 |        0 |        0
1213.74/1214.06	c 1214s |      25 |  6025355 |  5207498 |      745  16287 |        0 |        0
1215.74/1216.06	c 1216s |      25 |  6035535 |  5216498 |      745  16309 |        0 |        0
1217.74/1218.06	c 1218s |      25 |  6046089 |  5225898 |      745  16331 |        0 |        0
1219.74/1220.09	c 1220s |      25 |  6056851 |  5235498 |      745  16355 |        0 |        0
1221.84/1222.11	c 1222s |      25 |  6067033 |  5244598 |      745  16377 |        0 |        0
1223.83/1224.12	c 1224s |      25 |  6077444 |  5253498 |      745  16398 |        0 |        0
1225.83/1226.13	c 1226s |      25 |  6087433 |  5262398 |      745  16420 |        0 |        0
1227.83/1228.14	c 1228s |      25 |  6098838 |  5272298 |      745  16443 |        0 |        0
1229.83/1230.15	c 1230s |      25 |  6108216 |  5280598 |      745  16463 |        0 |        0
1231.84/1232.15	c 1232s |      25 |  6117324 |  5288698 |      745  16483 |        0 |        0
1233.83/1234.16	c 1234s |      25 |  6126649 |  5296898 |      745  16503 |        0 |        0
1235.83/1236.17	c 1236s |      25 |  6135585 |  5304798 |      745  16522 |        0 |        0
1237.83/1238.19	c 1238s |      25 |  6144728 |  5312798 |      745  16541 |        0 |        0
1239.93/1240.21	c 1240s |      25 |  6153451 |  5320498 |      745  16559 |        0 |        0
1241.92/1242.24	c 1242s |      25 |  6162264 |  5328398 |      745  16578 |        0 |        0
1243.93/1244.26	c 1244s |      25 |  6170146 |  5335498 |      745  16596 |        0 |        0
1245.92/1246.28	c 1246s |      25 |  6179180 |  5343398 |      745  16615 |        0 |        0
1247.92/1248.29	c 1248s |      25 |  6187444 |  5350598 |      745  16632 |        0 |        0
1250.02/1250.32	c 1250s |      25 |  6195168 |  5357198 |      745  16648 |        0 |        0
1252.02/1252.33	c 1252s |      25 |  6202867 |  5363898 |      745  16664 |        0 |        0
1254.02/1254.35	c 1254s |      25 |  6212979 |  5372598 |      745  16685 |        0 |        0
1256.02/1256.36	c 1256s |      25 |  6221905 |  5380498 |      745  16704 |        0 |        0
1258.02/1258.37	c 1258s |      25 |  6231266 |  5388698 |      745  16724 |        0 |        0
1260.02/1260.39	c 1260s |      25 |  6241354 |  5397498 |      745  16745 |        0 |        0
1262.11/1262.40	c 1262s |      25 |  6251480 |  5406498 |      745  16766 |        0 |        0
1264.11/1264.42	c 1264s |      25 |  6261353 |  5414998 |      745  16787 |        0 |        0
1266.11/1266.42	c 1266s |      25 |  6270888 |  5423298 |      745  16807 |        0 |        0
1268.12/1268.43	c 1268s |      25 |  6280014 |  5431298 |      745  16826 |        0 |        0
1270.11/1270.44	c 1270s |      25 |  6289153 |  5439198 |      745  16845 |        0 |        0
1272.11/1272.46	c 1272s |      25 |  6299216 |  5447798 |      745  16866 |        0 |        0
1274.11/1274.47	c 1274s |      25 |  6309470 |  5456498 |      745  16887 |        0 |        0
1276.11/1276.48	c 1276s |      25 |  6318700 |  5464598 |      745  16906 |        0 |        0
1278.11/1278.50	c 1278s |      25 |  6327377 |  5472098 |      745  16924 |        0 |        0
1280.21/1280.52	c 1280s |      25 |  6336021 |  5479598 |      745  16942 |        0 |        0
1282.20/1282.53	c 1282s |      25 |  6344245 |  5486798 |      745  16960 |        0 |        0
1284.20/1284.55	c 1284s |      25 |  6352474 |  5493998 |      745  16977 |        0 |        0
1286.20/1286.56	c 1286s |      25 |  6360849 |  5501098 |      745  16994 |        0 |        0
1288.20/1288.57	c 1288s |      25 |  6369430 |  5508398 |      745  17012 |        0 |        0
1290.20/1290.57	c 1290s |      25 |  6378850 |  5516398 |      745  17031 |        0 |        0
1292.20/1292.57	c 1292s |      25 |  6388280 |  5524498 |      745  17051 |        0 |        0
1294.19/1294.59	c 1294s |      25 |  6396691 |  5532098 |      745  17070 |        0 |        0
1296.29/1296.61	c 1296s |      25 |  6405594 |  5539798 |      745  17088 |        0 |        0
1298.29/1298.61	c 1298s |      25 |  6413459 |  5546698 |      745  17105 |        0 |        0
1300.30/1300.62	c 1300s |      25 |  6422977 |  5554798 |      745  17124 |        0 |        0
1302.30/1302.63	c 1302s |      25 |  6432452 |  5562898 |      745  17144 |        0 |        0
1304.30/1304.64	c 1304s |      25 |  6442204 |  5571198 |      745  17164 |        0 |        0
1306.30/1306.64	c 1306s |      25 |  6451901 |  5579498 |      745  17184 |        0 |        0
1308.29/1308.65	c 1308s |      25 |  6461365 |  5587698 |      745  17204 |        0 |        0
1310.29/1310.65	c 1310s |      25 |  6469947 |  5595298 |      745  17223 |        0 |        0
1312.29/1312.67	c 1312s |      25 |  6480036 |  5604098 |      745  17244 |        0 |        0
1314.29/1314.67	c 1314s |      25 |  6489399 |  5612198 |      745  17264 |        0 |        0
1316.28/1316.70	c 1316s |      25 |  6498221 |  5619898 |      745  17283 |        0 |        0
1318.38/1318.71	c 1318s |      25 |  6506673 |  5627298 |      745  17301 |        0 |        0
1320.38/1320.71	c 1320s |      25 |  6515649 |  5635098 |      745  17319 |        0 |        0
1322.39/1322.73	c 1322s |      25 |  6524596 |  5643098 |      745  17339 |        0 |        0
1324.39/1324.74	c 1324s |      25 |  6533716 |  5651098 |      745  17358 |        0 |        0
1326.39/1326.75	c 1326s |      25 |  6542978 |  5659398 |      745  17378 |        0 |        0
1328.38/1328.76	c 1328s |      25 |  6551159 |  5666798 |      745  17396 |        0 |        0
1330.38/1330.77	c 1330s |      25 |  6559915 |  5674598 |      745  17414 |        0 |        0
1332.38/1332.78	c 1332s |      25 |  6568209 |  5681998 |      745  17432 |        0 |        0
1334.48/1334.81	c 1334s |      25 |  6576541 |  5689498 |      745  17450 |        0 |        0
1336.48/1336.83	c 1336s |      25 |  6584981 |  5697098 |      745  17469 |        0 |        0
1338.48/1338.84	c 1338s |      25 |  6593407 |  5704598 |      745  17487 |        0 |        0
1340.48/1340.84	c 1340s |      25 |  6601533 |  5711898 |      745  17504 |        0 |        0
1342.47/1342.86	c 1342s |      25 |  6609714 |  5719098 |      745  17521 |        0 |        0
1344.47/1344.87	c 1344s |      25 |  6618372 |  5726698 |      745  17540 |        0 |        0
1346.47/1346.89	c 1346s |      25 |  6627876 |  5734998 |      745  17560 |        0 |        0
1348.47/1348.89	c 1348s |      25 |  6637538 |  5743098 |      745  17579 |        0 |        0
1350.58/1350.92	c 1350s |      25 |  6645798 |  5750398 |      745  17597 |        0 |        0
1352.56/1352.94	c 1352s |      25 |  6654171 |  5757498 |      745  17614 |        0 |        0
1354.56/1354.95	c 1354s |      25 |  6662992 |  5764998 |      745  17632 |        0 |        0
1356.56/1356.96	c 1356s |      25 |  6671923 |  5772598 |      745  17650 |        0 |        0
1358.56/1358.98	c 1358s |      25 |  6681069 |  5780598 |      745  17670 |        0 |        0
1360.66/1361.00	c 1360s |      25 |  6690257 |  5788498 |      745  17689 |        0 |        0
1362.67/1363.01	c 1362s |      25 |  6698457 |  5795798 |      745  17706 |        0 |        0
1364.66/1365.03	c 1365s |      25 |  6706760 |  5803098 |      745  17724 |        0 |        0
1366.66/1367.03	c 1367s |      25 |  6714637 |  5809998 |      745  17741 |        0 |        0
1368.66/1369.04	c 1369s |      25 |  6722845 |  5817398 |      745  17758 |        0 |        0
1370.66/1371.07	c 1371s |      25 |  6729898 |  5823798 |      745  17774 |        0 |        0
1372.65/1373.08	c 1373s |      25 |  6739343 |  5831998 |      745  17794 |        0 |        0
1374.66/1375.10	c 1375s |      25 |  6747959 |  5839598 |      745  17812 |        0 |        0
1376.75/1377.12	c 1377s |      25 |  6756669 |  5847198 |      745  17830 |        0 |        0
1378.75/1379.12	c 1379s |      25 |  6764740 |  5854398 |      745  17848 |        0 |        0
1380.75/1381.12	c 1381s |      25 |  6772632 |  5861398 |      745  17865 |        0 |        0
1382.75/1383.13	c 1383s |      25 |  6781022 |  5868698 |      745  17882 |        0 |        0
1384.75/1385.14	c 1385s |      25 |  6789735 |  5876298 |      745  17900 |        0 |        0
1386.75/1387.15	c 1387s |      25 |  6798208 |  5883798 |      745  17919 |        0 |        0
1388.74/1389.15	c 1389s |      25 |  6806311 |  5890998 |      745  17936 |        0 |        0
1390.74/1391.16	c 1391s |      25 |  6814165 |  5898098 |      745  17953 |        0 |        0
1392.74/1393.19	c 1393s |      25 |  6821043 |  5904398 |      745  17968 |        0 |        0
1394.84/1395.20	c 1395s |      25 |  6829081 |  5911598 |      745  17986 |        0 |        0
1396.84/1397.21	c 1397s |      25 |  6837756 |  5919398 |      745  18004 |        0 |        0
1398.85/1399.22	c 1399s |      25 |  6847033 |  5927598 |      745  18024 |        0 |        0
1400.84/1401.24	c 1401s |      25 |  6857149 |  5936598 |      745  18046 |        0 |        0
1402.85/1403.24	c 1403s |      25 |  6866173 |  5944698 |      745  18066 |        0 |        0
1404.85/1405.26	c 1405s |      25 |  6874667 |  5952298 |      745  18084 |        0 |        0
1406.85/1407.26	c 1407s |      25 |  6883446 |  5960198 |      745  18103 |        0 |        0
1408.85/1409.27	c 1409s |      25 |  6891691 |  5967498 |      745  18121 |        0 |        0
1410.84/1411.29	c 1411s |      25 |  6899731 |  5974698 |      745  18138 |        0 |        0
1412.94/1413.31	c 1413s |      25 |  6908489 |  5982498 |      745  18157 |        0 |        0
1414.94/1415.31	c 1415s |      25 |  6917399 |  5990498 |      745  18176 |        0 |        0
1416.94/1417.33	c 1417s |      25 |  6926896 |  5998798 |      745  18196 |        0 |        0
1418.94/1419.34	c 1419s |      25 |  6935655 |  6006498 |      745  18215 |        0 |        0
1420.94/1421.35	c 1421s |      25 |  6944346 |  6014198 |      745  18233 |        0 |        0
1422.93/1423.37	c 1423s |      25 |  6952871 |  6021798 |      745  18252 |        0 |        0
1424.93/1425.39	c 1425s |      25 |  6961114 |  6029098 |      745  18269 |        0 |        0
1427.03/1427.41	c 1427s |      25 |  6969196 |  6036298 |      745  18287 |        0 |        0
1429.03/1429.43	c 1429s |      25 |  6978076 |  6044198 |      745  18306 |        0 |        0
1431.02/1431.45	c 1431s |      25 |  6986879 |  6051998 |      745  18324 |        0 |        0
1433.03/1433.47	c 1433s |      25 |  6995454 |  6059498 |      745  18343 |        0 |        0
1435.02/1435.49	c 1435s |      25 |  7003938 |  6066998 |      745  18361 |        0 |        0
1437.12/1437.50	c 1437s |      25 |  7012296 |  6074398 |      745  18379 |        0 |        0
1439.12/1439.52	c 1439s |      25 |  7020831 |  6081898 |      745  18397 |        0 |        0
1441.12/1441.53	c 1441s |      25 |  7029357 |  6089398 |      745  18415 |        0 |        0
1443.12/1443.56	c 1443s |      25 |  7038185 |  6097298 |      745  18434 |        0 |        0
1445.13/1445.56	c 1445s |      25 |  7047095 |  6105298 |      745  18454 |        0 |        0
1447.12/1447.57	c 1447s |      25 |  7055340 |  6112598 |      745  18471 |        0 |        0
1449.12/1449.57	c 1449s |      25 |  7063413 |  6119598 |      745  18488 |        0 |        0
1451.11/1451.59	c 1451s |      25 |  7071958 |  6126998 |      745  18506 |        0 |        0
1453.21/1453.60	c 1453s |      25 |  7081173 |  6134998 |      745  18525 |        0 |        0
1455.21/1455.62	c 1455s |      25 |  7089933 |  6142698 |      745  18544 |        0 |        0
1457.22/1457.63	c 1457s |      25 |  7098320 |  6150198 |      745  18562 |        0 |        0
1459.21/1459.63	c 1459s |      25 |  7107317 |  6158298 |      745  18581 |        0 |        0
1461.21/1461.64	c 1461s |      25 |  7115840 |  6165998 |      745  18600 |        0 |        0
1463.21/1463.64	c 1463s |      25 |  7124408 |  6173598 |      745  18618 |        0 |        0
1465.21/1465.64	c 1465s |      25 |  7132116 |  6180598 |      745  18635 |        0 |        0
1467.21/1467.65	c 1467s |      25 |  7139597 |  6187298 |      745  18651 |        0 |        0
1469.21/1469.65	c 1469s |      25 |  7147521 |  6194398 |      745  18669 |        0 |        0
1471.20/1471.68	c 1471s |      25 |  7156100 |  6202098 |      745  18687 |        0 |        0
1473.20/1473.69	c 1473s |      25 |  7164861 |  6209698 |      745  18706 |        0 |        0
1475.21/1475.69	c 1475s |      25 |  7173851 |  6217498 |      745  18724 |        0 |        0
1477.31/1477.72	c 1477s |      25 |  7181914 |  6224598 |      745  18742 |        0 |        0
1479.31/1479.74	c 1479s |      25 |  7189621 |  6231398 |      745  18758 |        0 |        0
1481.31/1481.75	c 1481s |      25 |  7196503 |  6237498 |      745  18773 |        0 |        0
1483.31/1483.76	c 1483s |      25 |  7204084 |  6244098 |      745  18789 |        0 |        0
1485.31/1485.79	c 1485s |      25 |  7212512 |  6251198 |      745  18806 |        0 |        0
1487.31/1487.79	c 1487s |      25 |  7220694 |  6258298 |      745  18823 |        0 |        0
1489.41/1489.80	c 1489s |      25 |  7228343 |  6264998 |      745  18839 |        0 |        0
1491.40/1491.80	c 1491s |      25 |  7236112 |  6271798 |      745  18856 |        0 |        0
1493.41/1493.81	c 1493s |      25 |  7245647 |  6280298 |      745  18876 |        0 |        0
1495.40/1495.82	c 1495s |      25 |  7254019 |  6287898 |      745  18894 |        0 |        0
1497.40/1497.82	c 1497s |      25 |  7263013 |  6295798 |      745  18913 |        0 |        0
1499.40/1499.83	c 1499s |      25 |  7272494 |  6304198 |      745  18934 |        0 |        0
1501.40/1501.85	c 1501s |      25 |  7280875 |  6311698 |      745  18952 |        0 |        0
1503.41/1503.86	c 1503s |      25 |  7288902 |  6318898 |      745  18969 |        0 |        0
1505.40/1505.89	c 1505s |      25 |  7297355 |  6326398 |      745  18987 |        0 |        0
1507.50/1507.90	c 1507s |      25 |  7305476 |  6333598 |      745  19005 |        0 |        0
1509.50/1509.92	c 1509s |      25 |  7313353 |  6340598 |      745  19022 |        0 |        0
1511.49/1511.92	c 1511s |      25 |  7322577 |  6348698 |      745  19041 |        0 |        0
1513.49/1513.93	c 1513s |      25 |  7330986 |  6356098 |      745  19059 |        0 |        0
1515.50/1515.96	c 1515s |      25 |  7339055 |  6363398 |      745  19077 |        0 |        0
1517.49/1517.98	c 1517s |      25 |  7346963 |  6370598 |      745  19094 |        0 |        0
1519.49/1519.98	c 1519s |      25 |  7355141 |  6377898 |      745  19112 |        0 |        0
1521.58/1522.01	c 1521s |      25 |  7363696 |  6385398 |      745  19130 |        0 |        0
1523.58/1524.03	c 1524s |      25 |  7371819 |  6392598 |      745  19147 |        0 |        0
1525.58/1526.06	c 1526s |      25 |  7379835 |  6399798 |      745  19165 |        0 |        0
1527.59/1528.06	c 1528s |      25 |  7388495 |  6407498 |      745  19183 |        0 |        0
1529.58/1530.08	c 1530s |      25 |  7397890 |  6415798 |      745  19203 |        0 |        0
1531.68/1532.11	c 1532s |      25 |  7406593 |  6423598 |      745  19222 |        0 |        0
1533.68/1534.12	c 1534s |      25 |  7415281 |  6431298 |      745  19240 |        0 |        0
1535.68/1536.12	c 1536s |      25 |  7423766 |  6438898 |      745  19258 |        0 |        0
1537.68/1538.13	c 1538s |      25 |  7432386 |  6446398 |      745  19276 |        0 |        0
1539.68/1540.14	c 1540s |      25 |  7440824 |  6453898 |      745  19294 |        0 |        0
1541.67/1542.15	c 1542s |      25 |  7449887 |  6461998 |      745  19314 |        0 |        0
1543.67/1544.16	c 1544s |      25 |  7458741 |  6469898 |      745  19333 |        0 |        0
1545.67/1546.19	c 1546s |      25 |  7466952 |  6477298 |      745  19351 |        0 |        0
1547.78/1548.22	c 1548s |      25 |  7475470 |  6484798 |      745  19369 |        0 |        0
1549.78/1550.22	c 1550s |      25 |  7483889 |  6492298 |      745  19387 |        0 |        0
1551.78/1552.24	c 1552s |      25 |  7491659 |  6499298 |      745  19403 |        0 |        0
1553.77/1554.24	c 1554s |      25 |  7499151 |  6506098 |      745  19420 |        0 |        0
1555.77/1556.25	c 1556s |      25 |  7507449 |  6513498 |      745  19438 |        0 |        0
1557.77/1558.25	c 1558s |      25 |  7515829 |  6521098 |      745  19456 |        0 |        0
1559.77/1560.26	c 1560s |      25 |  7524370 |  6528798 |      745  19475 |        0 |        0
1561.77/1562.29	c 1562s |      25 |  7533154 |  6536698 |      745  19494 |        0 |        0
1563.78/1564.29	c 1564s |      25 |  7541052 |  6543898 |      745  19511 |        0 |        0
1565.87/1566.31	c 1566s |      25 |  7548354 |  6550598 |      745  19527 |        0 |        0
1567.87/1568.32	c 1568s |      25 |  7555362 |  6556998 |      745  19543 |        0 |        0
1569.87/1570.32	c 1570s |      25 |  7565862 |  6566098 |      745  19564 |        0 |        0
1571.86/1572.33	c 1572s |      25 |  7575417 |  6574498 |      745  19584 |        0 |        0
1573.86/1574.34	c 1574s |      25 |  7584620 |  6582698 |      745  19604 |        0 |        0
1575.87/1576.36	c 1576s |      25 |  7593825 |  6590798 |      745  19624 |        0 |        0
1577.86/1578.38	c 1578s |      25 |  7602709 |  6598598 |      745  19642 |        0 |        0
1579.86/1580.39	c 1580s |      25 |  7612900 |  6607598 |      745  19664 |        0 |        0
1581.96/1582.41	c 1582s |      25 |  7622615 |  6616298 |      745  19685 |        0 |        0
1583.96/1584.43	c 1584s |      25 |  7633091 |  6625598 |      745  19707 |        0 |        0
1585.95/1586.44	c 1586s |      25 |  7643368 |  6634398 |      745  19728 |        0 |        0
1587.96/1588.45	c 1588s |      25 |  7654505 |  6643798 |      745  19751 |        0 |        0
1589.95/1590.45	c 1590s |      25 |  7664745 |  6652598 |      745  19773 |        0 |        0
1591.95/1592.47	c 1592s |      25 |  7673595 |  6660298 |      745  19792 |        0 |        0
1593.95/1594.48	c 1594s |      25 |  7682324 |  6667798 |      745  19810 |        0 |        0
1595.95/1596.48	c 1596s |      25 |  7692370 |  6676498 |      745  19831 |        0 |        0
1598.05/1598.50	c 1598s |      25 |  7702474 |  6685098 |      745  19852 |        0 |        0
1600.05/1600.52	c 1600s |      25 |  7711566 |  6693098 |      745  19871 |        0 |        0
1602.04/1602.52	c 1602s |      25 |  7720596 |  6701198 |      745  19891 |        0 |        0
1604.04/1604.53	c 1604s |      25 |  7730006 |  6709598 |      745  19911 |        0 |        0
1606.04/1606.54	c 1606s |      25 |  7740139 |  6718398 |      745  19933 |        0 |        0
1608.04/1608.55	c 1608s |      25 |  7749826 |  6726798 |      745  19953 |        0 |        0
1610.05/1610.58	c 1610s |      25 |  7759635 |  6735398 |      745  19974 |        0 |        0
1612.04/1612.60	c 1612s |      25 |  7769143 |  6743698 |      745  19994 |        0 |        0
1614.13/1614.61	c 1614s |      25 |  7778266 |  6751798 |      745  20014 |        0 |        0
1616.13/1616.61	c 1616s |      25 |  7787650 |  6760098 |      745  20035 |        0 |        0
1618.13/1618.63	c 1618s |      25 |  7797189 |  6768498 |      745  20055 |        0 |        0
1620.13/1620.64	c 1620s |      25 |  7807047 |  6777098 |      745  20076 |        0 |        0
1622.15/1622.65	c 1622s |      25 |  7816919 |  6785698 |      745  20097 |        0 |        0
1624.14/1624.66	c 1624s |      25 |  7826736 |  6794398 |      745  20118 |        0 |        0
1626.14/1626.68	c 1626s |      25 |  7836288 |  6802798 |      745  20138 |        0 |        0
1628.24/1628.70	c 1628s |      25 |  7845343 |  6810898 |      745  20157 |        0 |        0
1630.24/1630.71	c 1630s |      25 |  7855744 |  6819698 |      745  20178 |        0 |        0
1632.23/1632.72	c 1632s |      25 |  7865490 |  6828298 |      745  20199 |        0 |        0
1634.24/1634.73	c 1634s |      25 |  7875049 |  6836698 |      745  20219 |        0 |        0
1636.23/1636.73	c 1636s |      25 |  7883800 |  6844298 |      745  20238 |        0 |        0
1638.23/1638.74	c 1638s |      25 |  7893730 |  6852998 |      745  20258 |        0 |        0
1640.23/1640.75	c 1640s |      25 |  7903198 |  6861398 |      745  20279 |        0 |        0
1642.23/1642.76	c 1642s |      25 |  7912683 |  6869698 |      745  20299 |        0 |        0
1644.23/1644.77	c 1644s |      25 |  7922506 |  6878298 |      745  20319 |        0 |        0
1646.23/1646.77	c 1646s |      25 |  7931689 |  6886398 |      745  20339 |        0 |        0
1648.23/1648.79	c 1648s |      25 |  7941726 |  6895198 |      745  20360 |        0 |        0
1650.23/1650.79	c 1650s |      25 |  7951579 |  6903898 |      745  20381 |        0 |        0
1652.32/1652.81	c 1652s |      25 |  7960697 |  6912098 |      745  20401 |        0 |        0
1654.32/1654.81	c 1654s |      25 |  7969836 |  6920098 |      745  20420 |        0 |        0
1656.32/1656.83	c 1656s |      25 |  7979525 |  6928598 |      745  20441 |        0 |        0
1658.33/1658.85	c 1658s |      25 |  7988654 |  6936698 |      745  20460 |        0 |        0
1660.32/1660.86	c 1660s |      25 |  7998015 |  6945098 |      745  20480 |        0 |        0
1662.32/1662.87	c 1662s |      25 |  8007879 |  6953898 |      745  20501 |        0 |        0
1664.32/1664.87	c 1664s |      25 |  8017581 |  6962498 |      745  20522 |        0 |        0
1666.31/1666.89	c 1666s |      25 |  8028493 |  6971998 |      745  20545 |        0 |        0
1668.41/1668.90	c 1668s |      25 |  8038534 |  6980798 |      745  20566 |        0 |        0
1670.42/1670.92	c 1670s |      25 |  8049189 |  6989798 |      745  20588 |        0 |        0
1672.41/1672.93	c 1672s |      25 |  8059681 |  6998898 |      745  20610 |        0 |        0
1674.41/1674.93	c 1674s |      25 |  8070417 |  7008198 |      745  20633 |        0 |        0
1676.41/1676.94	c 1676s |      25 |  8080693 |  7017398 |      745  20655 |        0 |        0
1678.41/1678.95	c 1678s |      25 |  8090812 |  7026398 |      745  20677 |        0 |        0
1680.43/1680.96	c 1680s |      25 |  8100873 |  7035498 |      745  20699 |        0 |        0
1682.42/1682.97	c 1682s |      25 |  8111121 |  7044398 |      745  20720 |        0 |        0
1684.42/1684.98	c 1684s |      25 |  8121457 |  7053498 |      745  20742 |        0 |        0
1686.42/1686.98	c 1686s |      25 |  8132640 |  7063398 |      745  20766 |        0 |        0
1688.52/1689.00	c 1688s |      25 |  8144102 |  7073398 |      745  20791 |        0 |        0
1690.52/1691.01	c 1690s |      25 |  8155536 |  7083498 |      745  20815 |        0 |        0
1692.52/1693.02	c 1693s |      25 |  8166953 |  7093698 |      745  20840 |        0 |        0
1694.52/1695.03	c 1695s |      25 |  8177741 |  7103198 |      745  20863 |        0 |        0
1696.52/1697.05	c 1697s |      25 |  8188415 |  7112598 |      745  20886 |        0 |        0
1698.51/1699.06	c 1699s |      25 |  8198876 |  7121698 |      745  20908 |        0 |        0
1700.51/1701.06	c 1701s |      25 |  8208698 |  7130298 |      745  20929 |        0 |        0
1702.51/1703.08	c 1703s |      25 |  8218134 |  7138498 |      745  20949 |        0 |        0
1704.52/1705.09	c 1705s |      25 |  8227662 |  7146898 |      745  20969 |        0 |        0
1706.61/1707.12	c 1707s |      25 |  8237318 |  7155198 |      745  20989 |        0 |        0
1708.61/1709.13	c 1709s |      25 |  8246584 |  7163398 |      745  21009 |        0 |        0
1710.61/1711.13	c 1711s |      25 |  8255602 |  7171398 |      745  21028 |        0 |        0
1712.61/1713.13	c 1713s |      25 |  8264666 |  7179298 |      745  21047 |        0 |        0
1714.61/1715.15	c 1715s |      25 |  8273449 |  7187198 |      745  21066 |        0 |        0
1716.62/1717.16	c 1717s |      25 |  8282472 |  7195298 |      745  21086 |        0 |        0
1718.61/1719.17	c 1719s |      25 |  8291645 |  7203398 |      745  21105 |        0 |        0
1720.61/1721.19	c 1721s |      25 |  8300901 |  7211598 |      745  21125 |        0 |        0
1722.71/1723.20	c 1723s |      25 |  8309740 |  7219498 |      745  21144 |        0 |        0
1724.71/1725.22	c 1725s |      25 |  8318553 |  7227298 |      745  21163 |        0 |        0
1726.71/1727.22	c 1727s |      25 |  8327661 |  7235398 |      745  21182 |        0 |        0
1728.71/1729.22	c 1729s |      25 |  8336402 |  7243098 |      745  21201 |        0 |        0
1730.71/1731.22	c 1731s |      25 |  8345439 |  7250898 |      745  21220 |        0 |        0
1732.70/1733.24	c 1733s |      25 |  8354895 |  7259098 |      745  21240 |        0 |        0
1734.70/1735.27	c 1735s |      25 |  8364157 |  7267398 |      745  21260 |        0 |        0
1736.70/1737.27	c 1737s |      25 |  8373366 |  7275598 |      745  21279 |        0 |        0
1738.72/1739.27	c 1739s |      25 |  8383360 |  7284598 |      745  21301 |        0 |        0
1740.71/1741.28	c 1741s |      25 |  8392424 |  7292798 |      745  21321 |        0 |        0
1742.71/1743.29	c 1743s |      25 |  8402342 |  7301498 |      745  21342 |        0 |        0
1744.81/1745.30	c 1745s |      25 |  8411826 |  7309798 |      745  21362 |        0 |        0
1746.81/1747.33	c 1747s |      25 |  8421283 |  7318198 |      745  21382 |        0 |        0
1748.81/1749.33	c 1749s |      25 |  8431749 |  7327398 |      745  21404 |        0 |        0
1750.82/1751.35	c 1751s |      25 |  8441663 |  7336198 |      745  21426 |        0 |        0
1752.81/1753.36	c 1753s |      25 |  8450391 |  7343898 |      745  21444 |        0 |        0
1754.81/1755.38	c 1755s |      25 |  8460448 |  7352798 |      745  21466 |        0 |        0
1756.91/1757.40	c 1757s |      25 |  8469576 |  7360998 |      745  21485 |        0 |        0
1758.91/1759.40	c 1759s |      25 |  8478316 |  7368798 |      745  21504 |        0 |        0
1760.91/1761.42	c 1761s |      25 |  8488642 |  7377998 |      745  21526 |        0 |        0
1762.91/1763.44	c 1763s |      25 |  8499533 |  7387498 |      745  21549 |        0 |        0
1764.90/1765.46	c 1765s |      25 |  8509842 |  7396698 |      745  21571 |        0 |        0
1766.90/1767.48	c 1767s |      25 |  8519692 |  7405498 |      745  21593 |        0 |        0
1768.90/1769.49	c 1769s |      25 |  8529794 |  7414498 |      745  21614 |        0 |        0
1771.00/1771.50	c 1771s |      25 |  8540092 |  7423598 |      745  21636 |        0 |        0
1773.00/1773.53	c 1773s |      25 |  8550450 |  7432798 |      745  21659 |        0 |        0
1775.01/1775.54	c 1775s |      25 |  8561432 |  7442498 |      745  21682 |        0 |        0
1777.00/1777.54	c 1777s |      25 |  8572016 |  7451898 |      745  21705 |        0 |        0
1779.00/1779.56	c 1779s |      25 |  8581917 |  7460798 |      745  21726 |        0 |        0
1781.00/1781.58	c 1781s |      25 |  8591367 |  7469298 |      745  21747 |        0 |        0
1783.00/1783.59	c 1783s |      25 |  8600523 |  7477498 |      745  21766 |        0 |        0
1785.10/1785.62	c 1785s |      25 |  8609292 |  7485398 |      745  21786 |        0 |        0
1787.10/1787.64	c 1787s |      25 |  8619669 |  7494298 |      745  21807 |        0 |        0
1789.10/1789.65	c 1789s |      25 |  8630445 |  7503698 |      745  21829 |        0 |        0
1791.09/1791.66	c 1791s |      25 |  8640849 |  7512998 |      745  21852 |        0 |        0
1793.10/1793.68	c 1793s |      25 |  8651690 |  7522598 |      745  21875 |        0 |        0
1795.10/1795.68	c 1795s |      25 |  8662541 |  7532198 |      745  21898 |        0 |        0
1797.10/1797.69	c 1797s |      25 |  8673323 |  7541798 |      745  21921 |        0 |        0
1799.11/1799.69	c 1799s |      25 |  8682485 |  7549998 |      820  21940 |        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-4093394-1466082573/watcher-4093394-1466082573 -o /tmp/evaluation-result-4093394-1466082573/solver-4093394-1466082573 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466075295-13239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093394-1466082573.wbo 

pid=14275
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.26 2.20 2.14 3/179 14278
/proc/meminfo: memFree=30009188/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=827836 CPUtime=0 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 3105 0 0 0 0 0 0 0 20 0 4 0 10306278 847704064 2955 33554432000 4194304 16246674 140734104361600 140734104361024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 207471 2962 441 2943 0 204365 0
[pid=14278/tid=14279] ppid=14275 vsize=845244 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 865529856 3023 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=849340 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 869724160 3041 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=853436 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10306278 873918464 3057 33554432000 4194304 16246674 140734104361600 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.26 2.20 2.14 3/179 14278
/proc/meminfo: memFree=30009188/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 28148 0 0 0 5 4 0 0 20 0 4 0 10306278 1247350784 27983 33554432000 4194304 16246674 140734104361600 140734104361024 6844325 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 304529 27991 814 2943 0 301423 0
[pid=14278/tid=14279] ppid=14275 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1247350784 27996 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1247350784 28003 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10306278 1247350784 28008 33554432000 4194304 16246674 140734104361600 139905790364848 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.200518 s]
/proc/loadavg: 2.26 2.20 2.14 3/179 14278
/proc/meminfo: memFree=30009188/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 54385 0 0 0 12 7 0 0 20 0 4 0 10306278 1247350784 54220 33554432000 4194304 16246674 140734104361600 140734104361024 12874965 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 304529 54227 814 2943 0 301423 0
[pid=14278/tid=14279] ppid=14275 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1247350784 54234 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1247350784 54245 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10306278 1247350784 54256 33554432000 4194304 16246674 140734104361600 139905790364848 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.300505 s]
/proc/loadavg: 2.26 2.20 2.14 3/179 14278
/proc/meminfo: memFree=30009188/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 80711 0 0 0 18 11 0 0 20 0 4 0 10306278 1247350784 80547 33554432000 4194304 16246674 140734104361600 140734104361024 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 304529 80563 814 2943 0 301423 0
[pid=14278/tid=14279] ppid=14275 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1247350784 80572 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1247350784 80579 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10306278 1247350784 80586 33554432000 4194304 16246674 140734104361600 139905790364848 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.700424 s]
/proc/loadavg: 2.26 2.20 2.14 3/179 14278
/proc/meminfo: memFree=30009188/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 197131 0 0 0 43 26 0 0 20 0 4 0 10306278 1247350784 196966 33554432000 4194304 16246674 140734104361600 140734104361024 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 304529 196974 814 2943 0 301423 0
[pid=14278/tid=14279] ppid=14275 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1247350784 196980 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1247350784 196988 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10306278 1247350784 196998 33554432000 4194304 16246674 140734104361600 139905790364848 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.50043 s]
/proc/loadavg: 2.26 2.20 2.14 3/183 14282
/proc/meminfo: memFree=29028292/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1306180 CPUtime=1.49 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 263328 0 0 0 113 36 0 0 20 0 4 0 10306278 1337528320 263141 33554432000 4194304 16246674 140734104361600 140734104344600 12474890 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 326545 263155 875 2943 0 323439 0
[pid=14278/tid=14279] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 263161 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 263168 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 263177 33554432000 4194304 16246674 140734104361600 139905790364848 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) 1306180

[startup+3.10043 s]
/proc/loadavg: 2.26 2.20 2.14 3/183 14282
/proc/meminfo: memFree=28940500/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 267498 0 0 0 273 36 0 0 20 0 4 0 10306278 1337528320 267311 33554432000 4194304 16246674 140734104361600 140734104343488 5676609 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 326545 267311 875 2943 0 323439 0
[pid=14278/tid=14279] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 267311 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 267311 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 267311 33554432000 4194304 16246674 140734104361600 139905790364848 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.24 2.20 2.14 3/183 14282
/proc/meminfo: memFree=28939764/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 267522 0 0 0 593 36 0 0 20 0 4 0 10306278 1337528320 267335 33554432000 4194304 16246674 140734104361600 140734104343488 13192855 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 326545 267335 875 2943 0 323439 0
[pid=14278/tid=14279] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 267335 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 267335 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 267335 33554432000 4194304 16246674 140734104361600 139905790364848 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.22 2.20 2.13 4/183 14282
/proc/meminfo: memFree=28939552/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 267524 0 0 0 1232 36 0 0 20 0 4 0 10306278 1337528320 267337 33554432000 4194304 16246674 140734104361600 140734104344600 13927320 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 326545 267337 876 2943 0 323439 0
[pid=14278/tid=14279] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 267337 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 267337 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 267337 33554432000 4194304 16246674 140734104361600 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.24 2.20 2.14 3/183 14282
/proc/meminfo: memFree=28939716/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 267549 0 0 0 2512 36 0 0 20 0 4 0 10306278 1337528320 267362 33554432000 4194304 16246674 140734104361600 140734104344600 5523464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 326545 267362 876 2943 0 323439 0
[pid=14278/tid=14279] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 267362 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 267362 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 267362 33554432000 4194304 16246674 140734104361600 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.15 2.19 2.13 3/184 14285
/proc/meminfo: memFree=28939672/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 267549 0 0 0 5071 37 0 0 20 0 4 0 10306278 1337528320 267362 33554432000 4194304 16246674 140734104361600 140734104343488 12477190 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 326545 267362 876 2943 0 323439 0
[pid=14278/tid=14279] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 267362 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 267362 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 267362 33554432000 4194304 16246674 140734104361600 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.24 2.20 2.14 4/183 14286
/proc/meminfo: memFree=28939720/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 267559 0 0 0 10190 38 0 0 20 0 4 0 10306278 1337528320 267372 33554432000 4194304 16246674 140734104361600 140734104343488 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 326545 267372 879 2943 0 323439 0
[pid=14278/tid=14279] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 267372 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 267372 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 267372 33554432000 4194304 16246674 140734104361600 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10306278 1337528320 267732 33554432000 4194304 16246674 140734104361600 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1306180

[startup+1362.3 s]
/proc/loadavg: 2.30 2.26 2.20 4/183 14318
/proc/meminfo: memFree=28926352/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1307204 CPUtime=1361.96 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 267952 0 0 0 136138 58 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 140734104343488 13927363 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 326801 267765 879 2943 0 323695 0
[pid=14278/tid=14279] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.21 2.24 2.19 3/183 14319
/proc/meminfo: memFree=28926628/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1307204 CPUtime=1421.94 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 267995 0 0 0 142135 59 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 140734104343488 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 326801 267765 879 2943 0 323695 0
[pid=14278/tid=14279] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 14320
/proc/meminfo: memFree=28926160/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1307204 CPUtime=1481.91 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 268035 0 0 0 148131 60 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 140734104343488 13191773 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 326801 267765 879 2943 0 323695 0
[pid=14278/tid=14279] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.15 2.21 2.18 4/183 14321
/proc/meminfo: memFree=28925200/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1307204 CPUtime=1541.88 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 268078 0 0 0 154128 60 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 140734104344600 6012036 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 326801 267765 879 2943 0 323695 0
[pid=14278/tid=14279] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/183 14322
/proc/meminfo: memFree=28924232/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1307204 CPUtime=1601.84 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 268116 0 0 0 160123 61 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 140734104343488 5523480 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 326801 267765 879 2943 0 323695 0
[pid=14278/tid=14279] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.15 2.20 2.18 4/183 14324
/proc/meminfo: memFree=28924276/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1307204 CPUtime=1661.82 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 268154 0 0 0 166120 62 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 140734104343488 5523464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 326801 267765 879 2943 0 323695 0
[pid=14278/tid=14279] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.16 2.19 2.18 4/183 14325
/proc/meminfo: memFree=28924528/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1307204 CPUtime=1721.81 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 268154 0 0 0 172118 63 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 140734104343488 5523513 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 326801 267765 879 2943 0 323695 0
[pid=14278/tid=14279] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267765 33554432000 4194304 16246674 140734104361600 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.29 2.22 2.19 4/183 14375
/proc/meminfo: memFree=29375028/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1307204 CPUtime=1781.8 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 268182 0 0 0 178116 64 0 0 20 0 4 0 10306278 1338576896 267793 33554432000 4194304 16246674 140734104361600 140734104344600 5553724 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 326801 267793 879 2943 0 323695 0
[pid=14278/tid=14279] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267793 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267793 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267793 33554432000 4194304 16246674 140734104361600 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 14375
/proc/meminfo: memFree=29375408/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1307204 CPUtime=1800 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 268196 0 0 0 179935 65 0 0 20 0 4 0 10306278 1338576896 267807 33554432000 4194304 16246674 140734104361600 140734104344600 5515728 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 326801 267807 879 2943 0 323695 0
[pid=14278/tid=14279] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267807 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267807 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267807 33554432000 4194304 16246674 140734104361600 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 14278 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 14375
/proc/meminfo: memFree=29375408/32872528 swapFree=876280/941688
[pid=14278] ppid=14275 vsize=1307204 CPUtime=1800 cores=1,3,5,7
/proc/14278/stat : 14278 (toysat) R 14275 14278 7213 0 -1 4202496 268196 0 0 0 179935 65 0 0 20 0 4 0 10306278 1338576896 267807 33554432000 4194304 16246674 140734104361600 140734104344600 5515728 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14278/statm: 326801 267807 879 2943 0 323695 0
[pid=14278/tid=14279] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14279/stat : 14279 (toysat) S 14275 14278 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267807 33554432000 4194304 16246674 140734104361600 139905811328240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14278/tid=14280] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14280/stat : 14280 (toysat) S 14275 14278 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267807 33554432000 4194304 16246674 140734104361600 139905800838384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14278/tid=14281] ppid=14275 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14278/task/14281/stat : 14281 (toysat) S 14275 14278 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10306278 1338576896 267807 33554432000 4194304 16246674 140734104361600 139905790364848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.36
CPU system time (s): 0.6529
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.6529
maximum resident set size= 1071228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268196
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= 471
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5722 second user time and 17.0914 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-16 15:09:33
IDJOB=4093394
IDBENCH=78712
IDSOLVER=2553
FILE ID=node113/4093394-1466082573
RUNJOBID= node113-1466075295-13239
PBS_JOBID= 19904023
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093394-1466082573/watcher-4093394-1466082573 -o /tmp/evaluation-result-4093394-1466082573/solver-4093394-1466082573 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466075295-13239 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093394-1466082573.wbo

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

MD5SUM BENCH= f8d5ed276152247cc0d8dd0253710bfc
RANDOM SEED=1225285096

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30008948 kB
Buffers:           32228 kB
Cached:           108552 kB
SwapCached:         2160 kB
Active:          1160104 kB
Inactive:          60728 kB
Active(anon):    1080756 kB
Inactive(anon):     1612 kB
Active(file):      79348 kB
Inactive(file):    59116 kB
Unevictable:      941688 kB
Mlocked:          876280 kB
SwapTotal:      67108856 kB
SwapFree:       67098740 kB
Dirty:             16304 kB
Writeback:             0 kB
AnonPages:       2020560 kB
Mapped:            10528 kB
Shmem:                 0 kB
Slab:             567464 kB
SReclaimable:      11500 kB
SUnreclaim:       555964 kB
KernelStack:        1472 kB
PageTables:         8024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2164940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 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= 71708 MiB
End job on node113 at 2016-06-16 15:39:34