Trace number 4093316

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMea89038de81a2a24e795de2249a907ab
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1860
Total number of constraints122
Number of soft constraints42
Number of constraints which are clauses62
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint31
Top cost 2134
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 2133
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 32
Number of bits of the biggest sum of numbers6
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-16T14:43:49+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-4093316-1466081028.wbo"]
0.00/0.01	c use --random-gen="3909272261 1509087348 1363656829 1236642405 2544495504 4269081344 25135156 936847214 1301749528 674516375 1958255334 2771446170 2279743749 3306995625 2371764529 3751253086 407961158 4046458554 3020593572 2349609663 594697424 3434812168 1077066542 3212257315 3959548450 842283798 901213247 244285344 3162459726 510850361 985224963 1565133671 3776995324 2149862687 686923209 3584366040 3961522679 3271250443 56692261 551969015 4047646461 2449703198 299271679 377520021 3853101013 4036499331 2140870200 777865235 2950399306 2097139554 438813590 1393486526 1681575619 114509728 607086913 3610085218 1247832598 2839676297 110844274 14484604 3646751265 3631248250 2878674291 1597212010 2215415780 2487597152 1790744626 1758855399 441604173 2808418768 649409988 608769999 1107161092 2471535277 4246258561 340775730 3552388270 2204307856 3145778554 395892976 3321554214 1670646105 932892827 3361604354 382052884 4223474089 1791978457 3844979387 3270341929 3686654910 351511030 2345381644 3424773035 1077830465 3574963495 136841496 3440594964 619667022 4212965484 1467088789 3859026627 4174975957 4042670994 1226263176 2618979455 3268240641 2715865451 300315713 3868182027 2614682530 1607088839 1460647580 937168557 2221434353 4144391208 3575621403 3306705515 2055616588 528884227 1118788892 148375377 3574262044 92035856 4091303242 1788677828 1183860507 3867560174 32777203 1023748445 850687985 1417945550 1780574367 1881147203 2048913667 203855981 2941956686 1858192456 3553879291 3485362309 3056828427 4242466323 3267368440 4190139470 2831592329 1516049115 833988654 3623095580 3712754077 2318484185 991511475 1919572122 945283344 3624668948 572783552 3560987117 332312980 3095725049 990327478 29692178 1818099051 1723141026 1026898101 782850118 744846016 1318880209 3529508698 64668459 3828591031 2341106915 1673283039 1292469287 1428697407 900440127 819599570 3932216981 3855590957 2494144734 944982005 1180173317 1174879124 361051522 2634143950 1414307583 452739120 3948295401 2027092727 2263489745 564249087 2537220747 2594226656 878703003 3810487553 405770078 627348966 426980924 1058615046 3954356708 3995348887 3295429400 981580965 386226315 252646387 3709850843 2154071427 2943687277 342317167 261452760 4233810138 3852580007 1887533594 1847026603 3443541744 2930680909 3714820896 4255387778 2929410607 741169739 917090307 2416338910 1667515243 4090348679 1829054805 2160774974 448848028 1905221229 198297788 447478033 1602789495 3688517183 1234316619 1255622409 4136186916 3367330233 3991935666 2763724020 2485282571 3735051156 2716846399 630248171 673532895 219998883 140138603 1614726985 338862565 3401117911 3389010498 2857981092 1894698523 2560558578 829877068 2398552548 3725478458 1156373657 1394860849 4089427171 2982461836 255 362436" option to reproduce the execution
0.00/0.09	c #vars 1860
0.00/0.09	c #constraints 122
0.09/0.10	c BCD2: Hardening is enabled.
0.09/0.10	c BCD2: BiasedSearch is enabled.
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |      674      0 |        0 |        0
0.09/0.13	c  0.0s |       1 |      189 |      100 |      674      0 |        0 |        0
0.09/0.13	c  0.0s |       1 |     1220 |      101 |      742      0 |        0 |        0
0.09/0.13	c #cpu_time = 0.036s
0.09/0.13	c #wall_clock_time = 0.036s
0.09/0.13	c #decision = 1220
0.09/0.13	c #random_decision = 2
0.09/0.13	c #conflict = 101
0.09/0.13	c #restart = 1
0.09/0.13	o 1197
0.09/0.13	c BCD2: updating upper bound: 2133 -> 1196
0.09/0.13	c BCD2: 0 <= obj <= 1196
0.09/0.13	c BCD2: #cores=0, #unrelaxed=42, #relaxed=0, #hardened=0
0.09/0.13	c BCD2: #sat=1 #unsat=1 bias=1/2
0.09/0.13	c Solving starts ...
0.09/0.13	c ============================[ Search Statistics ]============================
0.09/0.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.13	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.13	c =============================================================================
0.09/0.13	c  0.0s |       0 |        0 |        0 |      742      0 |        0 |        0
0.09/0.17	c  0.0s |       1 |      398 |      100 |      742      0 |        0 |        0
0.19/0.27	c  0.1s |       2 |     1242 |      250 |      817      0 |        0 |        0
0.39/0.44	c  0.3s |       3 |     3046 |      475 |      899      0 |        0 |        0
0.59/0.60	c  0.5s |       4 |     4624 |      813 |      989      0 |        0 |        0
0.89/0.93	c  0.8s |       5 |     6176 |     1320 |     1088      0 |        0 |        0
1.29/1.35	c  1.2s |       6 |     7537 |     2081 |     1197      1 |        0 |        0
2.09/2.14	c  2.0s |       7 |     9894 |     3223 |     1317      2 |        0 |        0
3.19/3.22	c  3.1s |       8 |    12474 |     4936 |     1449      4 |        0 |        0
4.79/4.80	c  4.7s |       9 |    15916 |     7506 |     1594      6 |        0 |        0
6.79/6.82	c  6.7s |       9 |    20044 |    10706 |     1594      9 |        0 |        0
7.19/7.28	c  7.1s |      10 |    20758 |    11361 |     1754      9 |        0 |        0
9.29/9.31	c  9.2s |      10 |    24142 |    13561 |     1754     11 |        0 |        0
11.29/11.32	c 11.2s |      10 |    26425 |    15561 |     1754     13 |        0 |        0
12.69/12.79	c 12.7s |      11 |    28262 |    17144 |     1930     14 |        0 |        0
14.78/14.86	c 14.7s |      11 |    31935 |    19844 |     1930     16 |        0 |        0
16.78/16.90	c 16.8s |      11 |    34249 |    21944 |     1930     17 |        0 |        0
18.88/18.96	c 18.8s |      11 |    36552 |    24044 |     1930     19 |        0 |        0
20.78/20.82	c 20.7s |      12 |    38632 |    25819 |     2123     20 |        0 |        0
22.88/22.93	c 22.8s |      12 |    42515 |    28019 |     2123     21 |        0 |        0
24.88/24.99	c 24.9s |      12 |    44810 |    29819 |     2123     22 |        0 |        0
26.98/27.03	c 26.9s |      12 |    47002 |    31419 |     2123     23 |        0 |        0
29.08/29.17	c 29.0s |      12 |    48463 |    32719 |     2123     24 |        0 |        0
31.28/31.30	c 31.2s |      12 |    49918 |    34019 |     2123     25 |        0 |        0
33.28/33.34	c 33.2s |      12 |    51287 |    35219 |     2123     26 |        0 |        0
35.48/35.50	c 35.4s |      12 |    52771 |    36519 |     2123     27 |        0 |        0
37.49/37.56	c 37.4s |      12 |    54124 |    37719 |     2123     28 |        0 |        0
39.39/39.49	c 39.4s |      13 |    55368 |    38832 |     2336     28 |        0 |        0
41.49/41.54	c 41.4s |      13 |    59204 |    40832 |     2336     30 |        0 |        0
43.49/43.55	c 43.4s |      13 |    62199 |    43332 |     2336     32 |        0 |        0
45.49/45.60	c 45.5s |      13 |    65879 |    46532 |     2336     34 |        0 |        0
47.58/47.65	c 47.5s |      13 |    69234 |    49432 |     2336     36 |        0 |        0
49.59/49.69	c 49.6s |      13 |    73603 |    53032 |     2336     39 |        0 |        0
51.69/51.71	c 51.6s |      13 |    77327 |    56232 |     2336     41 |        0 |        0
53.08/53.14	c 53.0s |      14 |    79837 |    58352 |     2570     42 |        0 |        0
55.18/55.20	c 55.1s |      14 |    84077 |    61252 |     2570     44 |        0 |        0
57.19/57.25	c 57.1s |      14 |    86537 |    63452 |     2570     45 |        0 |        0
59.28/59.34	c 59.2s |      14 |    88772 |    65452 |     2570     46 |        0 |        0
61.38/61.45	c 61.3s |      14 |    91044 |    67452 |     2570     47 |        0 |        0
63.48/63.50	c 63.4s |      14 |    93089 |    69352 |     2570     47 |        0 |        0
65.48/65.52	c 65.4s |      14 |    94987 |    71052 |     2570     48 |        0 |        0
67.48/67.60	c 67.5s |      14 |    96966 |    72852 |     2570     49 |        0 |        0
69.58/69.63	c 69.5s |      14 |    98869 |    74552 |     2570     50 |        0 |        0
71.68/71.71	c 71.6s |      14 |   101060 |    76452 |     2570     51 |        0 |        0
73.69/73.72	c 73.6s |      14 |   102812 |    78052 |     2570     52 |        0 |        0
75.78/75.80	c 75.7s |      14 |   105269 |    80252 |     2570     53 |        0 |        0
77.78/77.88	c 77.8s |      14 |   107443 |    82152 |     2570     54 |        0 |        0
79.78/79.89	c 79.8s |      14 |   109359 |    83852 |     2570     54 |        0 |        0
81.88/81.91	c 81.8s |      14 |   111138 |    85452 |     2570     55 |        0 |        0
83.88/83.97	c 83.8s |      14 |   113050 |    87152 |     2828     56 |        0 |        0
84.38/84.46	c 84.3s |      15 |   113578 |    87632 |     2828     56 |        0 |        0
86.48/86.51	c 86.4s |      15 |   117196 |    90132 |     2828     58 |        0 |        0
88.48/88.52	c 88.4s |      15 |   119671 |    92332 |     2828     59 |        0 |        0
90.58/90.60	c 90.5s |      15 |   122182 |    94532 |     2828     60 |        0 |        0
92.57/92.64	c 92.5s |      15 |   124457 |    96532 |     2828     61 |        0 |        0
94.58/94.67	c 94.5s |      15 |   126334 |    98232 |     2828     62 |        0 |        0
96.67/96.72	c 96.6s |      15 |   128476 |   100132 |     2828     63 |        0 |        0
98.77/98.81	c 98.7s |      15 |   130602 |   102032 |     2828     64 |        0 |        0
100.87/100.94	c  100s |      15 |   132794 |   104032 |     2828     65 |        0 |        0
102.87/102.94	c  102s |      15 |   134865 |   105932 |     2828     65 |        0 |        0
104.87/104.95	c  104s |      15 |   137016 |   107832 |     2828     66 |        0 |        0
106.87/106.99	c  106s |      15 |   139093 |   109732 |     2828     67 |        0 |        0
108.98/109.06	c  108s |      15 |   141002 |   111432 |     2828     68 |        0 |        0
110.97/111.10	c  110s |      15 |   142790 |   113032 |     2828     69 |        0 |        0
113.07/113.14	c  113s |      15 |   144636 |   114732 |     2828     70 |        0 |        0
115.17/115.21	c  115s |      15 |   146754 |   116632 |     2828     71 |        0 |        0
117.17/117.28	c  117s |      15 |   148955 |   118632 |     2828     72 |        0 |        0
119.17/119.29	c  119s |      15 |   151136 |   120532 |     2828     73 |        0 |        0
121.27/121.37	c  121s |      15 |   152961 |   122232 |     2828     74 |        0 |        0
123.28/123.38	c  123s |      15 |   154825 |   123932 |     2828     75 |        0 |        0
125.37/125.42	c  125s |      15 |   156767 |   125732 |     2828     75 |        0 |        0
127.37/127.45	c  127s |      15 |   158690 |   127432 |     2828     76 |        0 |        0
129.47/129.51	c  129s |      15 |   160557 |   129132 |     2828     77 |        0 |        0
131.47/131.54	c  131s |      15 |   162330 |   130732 |     3111     78 |        0 |        0
132.47/132.53	c  132s |      16 |   163214 |   131552 |     3111     78 |        0 |        0
134.47/134.59	c  134s |      16 |   167067 |   134152 |     3111     79 |        0 |        0
136.57/136.64	c  136s |      16 |   169480 |   136252 |     3111     80 |        0 |        0
138.57/138.70	c  138s |      16 |   171517 |   138052 |     3111     81 |        0 |        0
140.67/140.79	c  140s |      16 |   173751 |   140052 |     3111     82 |        0 |        0
142.77/142.80	c  142s |      16 |   177971 |   142952 |     3111     83 |        0 |        0
144.77/144.83	c  144s |      16 |   180567 |   145252 |     3111     85 |        0 |        0
146.86/146.93	c  146s |      16 |   183120 |   147552 |     3111     86 |        0 |        0
148.96/149.01	c  148s |      16 |   185432 |   149652 |     3111     87 |        0 |        0
150.96/151.06	c  150s |      16 |   187748 |   151752 |     3111     88 |        0 |        0
153.06/153.13	c  152s |      16 |   190707 |   154352 |     3111     89 |        0 |        0
155.07/155.19	c  155s |      16 |   193149 |   156552 |     3111     90 |        0 |        0
157.16/157.25	c  157s |      16 |   195703 |   158852 |     3111     91 |        0 |        0
159.26/159.31	c  159s |      16 |   198180 |   161052 |     3111     92 |        0 |        0
161.26/161.36	c  161s |      16 |   200285 |   162952 |     3111     93 |        0 |        0
163.36/163.43	c  163s |      16 |   202892 |   165252 |     3111     94 |        0 |        0
165.36/165.49	c  165s |      16 |   205352 |   167452 |     3111     95 |        0 |        0
167.46/167.55	c  167s |      16 |   207684 |   169552 |     3111     96 |        0 |        0
169.56/169.63	c  169s |      16 |   210041 |   171652 |     3111     97 |        0 |        0
171.57/171.64	c  171s |      16 |   212528 |   173852 |     3111     99 |        0 |        0
173.66/173.70	c  173s |      16 |   214714 |   175852 |     3111    100 |        0 |        0
175.66/175.71	c  175s |      16 |   217057 |   177952 |     3111    101 |        0 |        0
177.66/177.76	c  177s |      16 |   219342 |   179952 |     3111    102 |        0 |        0
179.66/179.79	c  179s |      16 |   221432 |   181852 |     3111    102 |        0 |        0
181.76/181.80	c  181s |      16 |   223420 |   183652 |     3111    103 |        0 |        0
183.76/183.83	c  183s |      16 |   225380 |   185452 |     3111    104 |        0 |        0
185.76/185.89	c  185s |      16 |   227806 |   187552 |     3111    105 |        0 |        0
187.76/187.89	c  187s |      16 |   229946 |   189452 |     3111    106 |        0 |        0
189.86/189.98	c  189s |      16 |   231942 |   191252 |     3111    107 |        0 |        0
191.95/192.01	c  191s |      16 |   234295 |   193352 |     3111    108 |        0 |        0
193.95/194.02	c  193s |      16 |   236396 |   195252 |     3111    109 |        0 |        0
195.95/196.08	c  195s |      16 |   238636 |   197252 |     3423    110 |        0 |        0
196.15/196.26	c  196s |      17 |   238841 |   197432 |     3423    110 |        0 |        0
198.25/198.35	c  198s |      17 |   242627 |   199932 |     3423    111 |        0 |        0
200.26/200.36	c  200s |      17 |   244895 |   201932 |     3423    112 |        0 |        0
202.26/202.36	c  202s |      17 |   246550 |   203432 |     3423    113 |        0 |        0
204.36/204.44	c  204s |      17 |   248982 |   205532 |     3423    113 |        0 |        0
206.46/206.51	c  206s |      17 |   251075 |   207332 |     3423    114 |        0 |        0
208.46/208.58	c  208s |      17 |   253321 |   209332 |     3423    115 |        0 |        0
210.56/210.68	c  210s |      17 |   255567 |   211332 |     3423    116 |        0 |        0
212.66/212.78	c  212s |      17 |   257888 |   213432 |     3423    117 |        0 |        0
214.76/214.86	c  214s |      17 |   259884 |   215232 |     3423    118 |        0 |        0
216.86/216.93	c  216s |      17 |   261849 |   217032 |     3423    119 |        0 |        0
218.87/218.97	c  218s |      17 |   263948 |   218932 |     3423    119 |        0 |        0
220.86/220.98	c  220s |      17 |   266049 |   220832 |     3423    120 |        0 |        0
222.96/223.08	c  222s |      17 |   268232 |   222832 |     3423    121 |        0 |        0
225.06/225.13	c  225s |      17 |   270440 |   224732 |     3423    122 |        0 |        0
227.06/227.17	c  227s |      17 |   272212 |   226332 |     3423    123 |        0 |        0
229.16/229.20	c  229s |      17 |   273778 |   227732 |     3423    123 |        0 |        0
231.16/231.25	c  231s |      17 |   275177 |   229032 |     3423    124 |        0 |        0
233.16/233.26	c  233s |      17 |   277158 |   230732 |     3423    125 |        0 |        0
235.16/235.28	c  235s |      17 |   279048 |   232432 |     3423    125 |        0 |        0
237.25/237.36	c  237s |      17 |   281060 |   234232 |     3423    126 |        0 |        0
239.35/239.43	c  239s |      17 |   283339 |   236232 |     3423    127 |        0 |        0
241.45/241.53	c  241s |      17 |   285343 |   238032 |     3423    128 |        0 |        0
243.55/243.60	c  243s |      17 |   287315 |   239832 |     3423    129 |        0 |        0
245.65/245.75	c  245s |      17 |   289288 |   241632 |     3423    130 |        0 |        0
247.65/247.76	c  247s |      17 |   291420 |   243532 |     3423    130 |        0 |        0
249.76/249.86	c  249s |      17 |   293765 |   245532 |     3423    131 |        0 |        0
251.86/251.94	c  251s |      17 |   295642 |   247232 |     3423    132 |        0 |        0
253.95/254.02	c  253s |      17 |   297674 |   249032 |     3423    133 |        0 |        0
255.95/256.04	c  255s |      17 |   299552 |   250732 |     3423    134 |        0 |        0
257.95/258.08	c  257s |      17 |   301373 |   252432 |     3423    134 |        0 |        0
260.05/260.18	c  260s |      17 |   303252 |   254132 |     3423    135 |        0 |        0
262.15/262.22	c  262s |      17 |   305740 |   256332 |     3423    136 |        0 |        0
264.15/264.24	c  264s |      17 |   307810 |   258232 |     3423    137 |        0 |        0
266.16/266.27	c  266s |      17 |   310014 |   260232 |     3423    138 |        0 |        0
268.15/268.28	c  268s |      17 |   311962 |   262032 |     3423    139 |        0 |        0
270.25/270.38	c  270s |      17 |   313953 |   263832 |     3423    139 |        0 |        0
272.35/272.45	c  272s |      17 |   315936 |   265632 |     3423    140 |        0 |        0
274.45/274.54	c  274s |      17 |   318144 |   267632 |     3423    141 |        0 |        0
276.45/276.55	c  276s |      17 |   319781 |   269132 |     3423    142 |        0 |        0
278.55/278.62	c  278s |      17 |   321905 |   271032 |     3423    143 |        0 |        0
280.55/280.65	c  280s |      17 |   324113 |   272932 |     3423    144 |        0 |        0
282.55/282.67	c  282s |      17 |   326109 |   274732 |     3423    144 |        0 |        0
284.65/284.70	c  284s |      17 |   328004 |   276432 |     3423    145 |        0 |        0
286.65/286.74	c  286s |      17 |   329852 |   278132 |     3423    146 |        0 |        0
288.75/288.83	c  288s |      17 |   331836 |   279932 |     3423    147 |        0 |        0
290.74/290.85	c  290s |      17 |   334162 |   282032 |     3423    148 |        0 |        0
292.74/292.85	c  292s |      17 |   336051 |   283732 |     3423    148 |        0 |        0
294.85/294.96	c  294s |      17 |   337885 |   285432 |     3423    149 |        0 |        0
296.84/296.98	c  296s |      17 |   339878 |   287232 |     3423    150 |        0 |        0
298.94/299.03	c  298s |      17 |   341787 |   288932 |     3423    151 |        0 |        0
301.04/301.10	c  300s |      17 |   343890 |   290832 |     3423    151 |        0 |        0
303.04/303.14	c  303s |      17 |   346008 |   292732 |     3423    152 |        0 |        0
305.14/305.25	c  305s |      17 |   347727 |   294332 |     3766    153 |        0 |        0
307.24/307.31	c  307s |      17 |   349592 |   296032 |     3766    154 |        0 |        0
307.44/307.54	c  307s |      18 |   349834 |   296252 |     3766    154 |        0 |        0
309.44/309.55	c  309s |      18 |   353681 |   299052 |     3766    155 |        0 |        0
311.44/311.57	c  311s |      18 |   356305 |   301352 |     3766    156 |        0 |        0
313.55/313.66	c  313s |      18 |   358705 |   303452 |     3766    157 |        0 |        0
315.54/315.70	c  315s |      18 |   361345 |   305552 |     3766    158 |        0 |        0
317.64/317.77	c  317s |      18 |   363693 |   307652 |     3766    158 |        0 |        0
319.64/319.80	c  319s |      18 |   366026 |   309752 |     3766    159 |        0 |        0
321.74/321.87	c  321s |      18 |   368342 |   311852 |     3766    160 |        0 |        0
323.84/323.95	c  323s |      18 |   370445 |   313752 |     3766    161 |        0 |        0
325.94/326.04	c  325s |      18 |   372702 |   315752 |     3766    162 |        0 |        0
328.04/328.12	c  327s |      18 |   374808 |   317652 |     3766    163 |        0 |        0
330.14/330.20	c  330s |      18 |   377155 |   319652 |     3766    163 |        0 |        0
332.14/332.29	c  332s |      18 |   379356 |   321452 |     3766    164 |        0 |        0
334.34/334.42	c  334s |      18 |   380915 |   322852 |     3766    165 |        0 |        0
336.44/336.55	c  336s |      18 |   382679 |   324452 |     3766    166 |        0 |        0
338.44/338.58	c  338s |      18 |   384486 |   326052 |     3766    166 |        0 |        0
340.54/340.68	c  340s |      18 |   386135 |   327552 |     3766    167 |        0 |        0
342.74/342.80	c  342s |      18 |   387891 |   329152 |     3766    167 |        0 |        0
344.74/344.88	c  344s |      18 |   389440 |   330552 |     3766    168 |        0 |        0
346.84/346.93	c  346s |      18 |   390863 |   331852 |     3766    169 |        0 |        0
348.84/348.95	c  348s |      18 |   392388 |   333252 |     3766    169 |        0 |        0
350.94/351.01	c  350s |      18 |   393912 |   334652 |     3766    170 |        0 |        0
352.93/353.05	c  352s |      18 |   395442 |   336052 |     3766    170 |        0 |        0
355.03/355.17	c  355s |      18 |   396987 |   337452 |     3766    171 |        0 |        0
357.13/357.24	c  357s |      18 |   398392 |   338752 |     3766    171 |        0 |        0
359.23/359.36	c  359s |      18 |   403432 |   340752 |     3766    172 |        0 |        0
361.33/361.41	c  361s |      18 |   406367 |   342852 |     3766    173 |        0 |        0
363.33/363.46	c  363s |      18 |   408547 |   344752 |     3766    174 |        0 |        0
365.33/365.49	c  365s |      18 |   410429 |   346352 |     3766    175 |        0 |        0
367.44/367.55	c  367s |      18 |   412733 |   348252 |     3766    176 |        0 |        0
369.53/369.66	c  369s |      18 |   415287 |   350052 |     3766    176 |        0 |        0
371.53/371.67	c  371s |      18 |   417079 |   351552 |     3766    177 |        0 |        0
373.63/373.77	c  373s |      18 |   418727 |   352952 |     3766    178 |        0 |        0
375.63/375.80	c  375s |      18 |   420725 |   354552 |     3766    178 |        0 |        0
377.83/377.90	c  377s |      18 |   422767 |   356252 |     3766    179 |        0 |        0
379.83/379.97	c  379s |      18 |   424428 |   357752 |     3766    180 |        0 |        0
381.83/381.99	c  381s |      18 |   425915 |   359052 |     3766    180 |        0 |        0
383.84/383.99	c  383s |      18 |   427359 |   360352 |     3766    181 |        0 |        0
385.93/386.03	c  385s |      18 |   428940 |   361752 |     3766    181 |        0 |        0
387.93/388.08	c  387s |      18 |   430740 |   363352 |     3766    182 |        0 |        0
390.03/390.17	c  390s |      18 |   432372 |   364852 |     3766    183 |        0 |        0
392.23/392.31	c  392s |      18 |   433994 |   366252 |     3766    183 |        0 |        0
394.33/394.45	c  394s |      18 |   435576 |   367652 |     3766    184 |        0 |        0
396.43/396.55	c  396s |      18 |   437078 |   368952 |     3766    185 |        0 |        0
398.53/398.63	c  398s |      18 |   438759 |   370452 |     3766    185 |        0 |        0
400.53/400.66	c  400s |      18 |   440194 |   371752 |     3766    186 |        0 |        0
402.54/402.67	c  402s |      18 |   441521 |   372952 |     3766    186 |        0 |        0
404.63/404.70	c  404s |      18 |   442870 |   374152 |     3766    187 |        0 |        0
406.63/406.79	c  406s |      18 |   444705 |   375652 |     3766    187 |        0 |        0
408.73/408.82	c  408s |      18 |   446503 |   377052 |     3766    188 |        0 |        0
410.83/410.92	c  410s |      18 |   448103 |   378352 |     3766    189 |        0 |        0
412.83/412.99	c  412s |      18 |   449661 |   379752 |     3766    189 |        0 |        0
414.93/415.05	c  414s |      18 |   451000 |   380952 |     3766    190 |        0 |        0
417.03/417.16	c  417s |      18 |   452986 |   382552 |     3766    190 |        0 |        0
419.04/419.18	c  419s |      18 |   454590 |   383952 |     3766    191 |        0 |        0
421.13/421.26	c  421s |      18 |   456223 |   385352 |     3766    192 |        0 |        0
423.23/423.38	c  423s |      18 |   458064 |   386752 |     3766    192 |        0 |        0
425.33/425.48	c  425s |      18 |   459924 |   388152 |     3766    193 |        0 |        0
427.43/427.53	c  427s |      18 |   461671 |   389352 |     3766    193 |        0 |        0
429.53/429.65	c  429s |      18 |   463204 |   390652 |     3766    194 |        0 |        0
431.72/431.85	c  431s |      18 |   464582 |   391852 |     3766    195 |        0 |        0
433.82/433.93	c  433s |      18 |   466249 |   393252 |     3766    195 |        0 |        0
435.82/435.98	c  435s |      18 |   467546 |   394452 |     3766    196 |        0 |        0
437.92/438.02	c  437s |      18 |   468785 |   395552 |     3766    196 |        0 |        0
440.12/440.23	c  440s |      18 |   469843 |   396452 |     3766    197 |        0 |        0
442.23/442.36	c  442s |      18 |   472401 |   398352 |     3766    197 |        0 |        0
444.33/444.43	c  444s |      18 |   474134 |   399852 |     3766    198 |        0 |        0
446.32/446.45	c  446s |      18 |   475753 |   401252 |     3766    199 |        0 |        0
448.42/448.51	c  448s |      18 |   477510 |   402752 |     3766    199 |        0 |        0
450.52/450.63	c  450s |      18 |   479233 |   404252 |     3766    200 |        0 |        0
452.52/452.69	c  452s |      18 |   480681 |   405552 |     3766    200 |        0 |        0
454.62/454.72	c  454s |      18 |   482845 |   407252 |     3766    201 |        0 |        0
456.72/456.83	c  456s |      18 |   484623 |   408752 |     3766    202 |        0 |        0
458.82/458.93	c  458s |      18 |   486205 |   410052 |     3766    202 |        0 |        0
460.93/461.01	c  460s |      18 |   487931 |   411252 |     3766    203 |        0 |        0
463.03/463.14	c  463s |      18 |   489471 |   412552 |     3766    204 |        0 |        0
465.12/465.21	c  465s |      18 |   490932 |   413852 |     3766    204 |        0 |        0
467.22/467.34	c  467s |      18 |   492226 |   415052 |     3766    205 |        0 |        0
469.42/469.50	c  469s |      18 |   493536 |   416252 |     3766    205 |        0 |        0
471.42/471.56	c  471s |      18 |   495487 |   417852 |     3766    206 |        0 |        0
473.42/473.59	c  473s |      18 |   497352 |   419452 |     3766    206 |        0 |        0
475.62/475.71	c  475s |      18 |   499217 |   421052 |     3766    207 |        0 |        0
477.72/477.85	c  477s |      18 |   500798 |   422452 |     3766    208 |        0 |        0
479.82/479.93	c  479s |      18 |   502506 |   423952 |     3766    208 |        0 |        0
481.92/482.00	c  481s |      18 |   504338 |   425552 |     3766    209 |        0 |        0
483.92/484.01	c  483s |      18 |   505909 |   426852 |     3766    210 |        0 |        0
485.92/486.05	c  485s |      18 |   507508 |   428252 |     3766    210 |        0 |        0
488.01/488.12	c  487s |      18 |   509118 |   429652 |     3766    211 |        0 |        0
490.01/490.13	c  489s |      18 |   510579 |   430952 |     3766    211 |        0 |        0
492.01/492.17	c  492s |      18 |   512240 |   432352 |     3766    212 |        0 |        0
494.11/494.23	c  494s |      18 |   513983 |   433852 |     3766    213 |        0 |        0
496.12/496.24	c  496s |      18 |   515784 |   435352 |     3766    213 |        0 |        0
498.11/498.26	c  498s |      18 |   517515 |   436852 |     3766    214 |        0 |        0
500.21/500.34	c  500s |      18 |   519112 |   438152 |     3766    215 |        0 |        0
502.31/502.46	c  502s |      18 |   521049 |   439752 |     3766    215 |        0 |        0
504.41/504.59	c  504s |      18 |   522522 |   441052 |     3766    216 |        0 |        0
506.51/506.63	c  506s |      18 |   523812 |   442252 |     4143    216 |        0 |        0
508.61/508.71	c  508s |      18 |   525577 |   443752 |     4143    217 |        0 |        0
509.71/509.87	c  509s |      19 |   526398 |   444482 |     4143    217 |        0 |        0
511.71/511.88	c  511s |      19 |   529698 |   446582 |     4143    218 |        0 |        0
513.81/513.90	c  513s |      19 |   532025 |   448582 |     4143    219 |        0 |        0
515.81/515.97	c  515s |      19 |   534124 |   450482 |     4143    219 |        0 |        0
517.91/518.03	c  517s |      19 |   536106 |   452282 |     4143    220 |        0 |        0
519.91/520.07	c  519s |      19 |   538238 |   454182 |     4143    221 |        0 |        0
521.91/522.07	c  521s |      19 |   540093 |   455882 |     4143    222 |        0 |        0
523.91/524.08	c  523s |      19 |   542223 |   457782 |     4143    222 |        0 |        0
526.01/526.18	c  526s |      19 |   544281 |   459582 |     4143    223 |        0 |        0
528.20/528.31	c  528s |      19 |   545937 |   461082 |     4143    224 |        0 |        0
530.21/530.39	c  530s |      19 |   547926 |   462882 |     4143    224 |        0 |        0
532.20/532.39	c  532s |      19 |   549468 |   464282 |     4143    225 |        0 |        0
534.30/534.48	c  534s |      19 |   551352 |   465982 |     4143    225 |        0 |        0
536.40/536.53	c  536s |      19 |   553255 |   467682 |     4143    226 |        0 |        0
538.40/538.59	c  538s |      19 |   555122 |   469382 |     4143    227 |        0 |        0
540.50/540.69	c  540s |      19 |   556989 |   471082 |     4143    227 |        0 |        0
542.60/542.79	c  542s |      19 |   558971 |   472882 |     4143    228 |        0 |        0
544.71/544.85	c  544s |      19 |   560722 |   474482 |     4143    229 |        0 |        0
546.72/546.85	c  546s |      19 |   562590 |   476182 |     4143    229 |        0 |        0
548.71/548.88	c  548s |      19 |   564360 |   477782 |     4143    230 |        0 |        0
550.81/550.93	c  550s |      19 |   566239 |   479482 |     4143    231 |        0 |        0
552.91/553.00	c  552s |      19 |   568007 |   481082 |     4143    231 |        0 |        0
554.91/555.04	c  554s |      19 |   569658 |   482582 |     4143    232 |        0 |        0
556.91/557.08	c  556s |      19 |   571564 |   484282 |     4143    233 |        0 |        0
559.01/559.19	c  559s |      19 |   573405 |   485982 |     4143    233 |        0 |        0
561.21/561.30	c  561s |      19 |   575138 |   487582 |     4143    234 |        0 |        0
563.21/563.32	c  563s |      19 |   576774 |   489082 |     4143    234 |        0 |        0
565.31/565.42	c  565s |      19 |   578511 |   490682 |     4143    235 |        0 |        0
567.31/567.45	c  567s |      19 |   580472 |   492382 |     4143    236 |        0 |        0
569.41/569.55	c  569s |      19 |   582317 |   494082 |     4143    236 |        0 |        0
571.50/571.63	c  571s |      19 |   584000 |   495582 |     4143    237 |        0 |        0
573.60/573.75	c  573s |      19 |   585545 |   496982 |     4143    238 |        0 |        0
575.70/575.86	c  575s |      19 |   587736 |   498882 |     4143    238 |        0 |        0
577.70/577.87	c  577s |      19 |   589509 |   500482 |     4143    239 |        0 |        0
579.90/580.02	c  579s |      19 |   590903 |   501782 |     4143    239 |        0 |        0
582.00/582.17	c  582s |      19 |   592400 |   503182 |     4143    240 |        0 |        0
584.11/584.22	c  584s |      19 |   593801 |   504482 |     4143    240 |        0 |        0
586.21/586.34	c  586s |      19 |   595334 |   505882 |     4143    241 |        0 |        0
588.30/588.45	c  588s |      19 |   597308 |   507682 |     4143    242 |        0 |        0
590.40/590.56	c  590s |      19 |   599107 |   509282 |     4143    242 |        0 |        0
592.50/592.60	c  592s |      19 |   600649 |   510682 |     4143    243 |        0 |        0
594.60/594.76	c  594s |      19 |   602398 |   512282 |     4143    244 |        0 |        0
596.70/596.80	c  596s |      19 |   604160 |   513882 |     4143    244 |        0 |        0
598.70/598.88	c  598s |      19 |   605698 |   515282 |     4143    245 |        0 |        0
600.80/600.93	c  600s |      19 |   607746 |   517082 |     4143    245 |        0 |        0
602.81/602.96	c  602s |      19 |   609268 |   518482 |     4143    246 |        0 |        0
604.91/605.08	c  604s |      19 |   610903 |   519982 |     4143    247 |        0 |        0
607.00/607.10	c  606s |      19 |   612546 |   521482 |     4143    247 |        0 |        0
609.00/609.13	c  608s |      19 |   614228 |   522982 |     4143    248 |        0 |        0
611.10/611.21	c  611s |      19 |   616288 |   524782 |     4143    248 |        0 |        0
613.20/613.31	c  613s |      19 |   618022 |   526382 |     4143    249 |        0 |        0
615.20/615.33	c  615s |      19 |   619860 |   527982 |     4143    250 |        0 |        0
617.30/617.40	c  617s |      19 |   621866 |   529782 |     4143    250 |        0 |        0
619.30/619.45	c  619s |      19 |   623651 |   531382 |     4143    251 |        0 |        0
621.30/621.47	c  621s |      19 |   625289 |   532882 |     4143    252 |        0 |        0
623.50/623.60	c  623s |      19 |   627149 |   534582 |     4143    252 |        0 |        0
625.50/625.67	c  625s |      19 |   628857 |   536182 |     4143    253 |        0 |        0
627.50/627.69	c  627s |      19 |   630486 |   537682 |     4143    253 |        0 |        0
629.70/629.81	c  629s |      19 |   632205 |   539282 |     4143    254 |        0 |        0
631.70/631.83	c  631s |      19 |   634080 |   540882 |     4143    255 |        0 |        0
633.79/633.92	c  633s |      19 |   635953 |   542582 |     4143    255 |        0 |        0
635.80/635.98	c  635s |      19 |   637679 |   544182 |     4143    256 |        0 |        0
637.90/638.06	c  637s |      19 |   639310 |   545682 |     4143    257 |        0 |        0
639.99/640.12	c  639s |      19 |   641145 |   547382 |     4143    257 |        0 |        0
641.99/642.14	c  642s |      19 |   642720 |   548782 |     4143    258 |        0 |        0
643.99/644.14	c  644s |      19 |   644703 |   550482 |     4143    258 |        0 |        0
646.09/646.21	c  646s |      19 |   646654 |   552282 |     4143    259 |        0 |        0
648.09/648.26	c  648s |      19 |   648422 |   553882 |     4143    260 |        0 |        0
650.19/650.37	c  650s |      19 |   650285 |   555582 |     4143    260 |        0 |        0
652.20/652.37	c  652s |      19 |   652044 |   557182 |     4143    261 |        0 |        0
654.29/654.44	c  654s |      19 |   653680 |   558682 |     4143    262 |        0 |        0
656.39/656.54	c  656s |      19 |   655521 |   560382 |     4143    262 |        0 |        0
658.49/658.69	c  658s |      19 |   657342 |   562082 |     4143    263 |        0 |        0
660.59/660.70	c  660s |      19 |   658723 |   563382 |     4143    263 |        0 |        0
662.59/662.76	c  662s |      19 |   660168 |   564682 |     4143    264 |        0 |        0
664.69/664.88	c  664s |      19 |   662167 |   566482 |     4143    265 |        0 |        0
666.79/666.99	c  666s |      19 |   663899 |   568082 |     4143    265 |        0 |        0
668.89/669.04	c  668s |      19 |   665801 |   569782 |     4143    266 |        0 |        0
670.99/671.12	c  670s |      19 |   667529 |   571382 |     4143    267 |        0 |        0
673.09/673.24	c  673s |      19 |   669413 |   573082 |     4143    267 |        0 |        0
675.18/675.36	c  675s |      19 |   671046 |   574582 |     4143    268 |        0 |        0
677.28/677.49	c  677s |      19 |   672875 |   576182 |     4143    269 |        0 |        0
679.38/679.54	c  679s |      19 |   674629 |   577782 |     4143    269 |        0 |        0
681.38/681.58	c  681s |      19 |   676291 |   579282 |     4143    270 |        0 |        0
683.48/683.64	c  683s |      19 |   677917 |   580782 |     4143    270 |        0 |        0
685.48/685.65	c  685s |      19 |   679561 |   582282 |     4143    271 |        0 |        0
687.58/687.72	c  687s |      19 |   681173 |   583782 |     4143    271 |        0 |        0
689.59/689.77	c  689s |      19 |   682968 |   585382 |     4143    272 |        0 |        0
691.68/691.86	c  691s |      19 |   684867 |   587082 |     4143    273 |        0 |        0
693.78/693.97	c  693s |      19 |   686720 |   588782 |     4143    273 |        0 |        0
695.88/696.03	c  695s |      19 |   688403 |   590282 |     4143    274 |        0 |        0
697.88/698.07	c  697s |      19 |   690054 |   591782 |     4143    275 |        0 |        0
699.98/700.11	c  699s |      19 |   691693 |   593282 |     4143    275 |        0 |        0
701.98/702.11	c  701s |      19 |   693353 |   594782 |     4143    276 |        0 |        0
704.08/704.21	c  704s |      19 |   695003 |   596282 |     4143    276 |        0 |        0
706.08/706.23	c  706s |      19 |   696908 |   597982 |     4143    277 |        0 |        0
708.08/708.25	c  708s |      19 |   698593 |   599482 |     4143    278 |        0 |        0
710.08/710.27	c  710s |      19 |   700340 |   601082 |     4143    278 |        0 |        0
712.18/712.30	c  712s |      19 |   701983 |   602582 |     4143    279 |        0 |        0
714.18/714.35	c  714s |      19 |   703612 |   604082 |     4143    279 |        0 |        0
716.28/716.42	c  716s |      19 |   705253 |   605582 |     4143    280 |        0 |        0
718.28/718.49	c  718s |      19 |   706658 |   606882 |     4143    281 |        0 |        0
720.38/720.53	c  720s |      19 |   708663 |   608682 |     4143    281 |        0 |        0
722.48/722.65	c  722s |      19 |   710450 |   610282 |     4143    282 |        0 |        0
724.58/724.79	c  724s |      19 |   712207 |   611882 |     4143    282 |        0 |        0
726.78/726.90	c  726s |      19 |   714099 |   613582 |     4143    283 |        0 |        0
728.78/728.94	c  728s |      19 |   715547 |   614882 |     4143    284 |        0 |        0
730.88/731.01	c  730s |      19 |   717161 |   616282 |     4143    284 |        0 |        0
732.98/733.10	c  732s |      19 |   718622 |   617582 |     4143    285 |        0 |        0
735.08/735.22	c  735s |      19 |   720062 |   618882 |     4143    285 |        0 |        0
737.18/737.30	c  737s |      19 |   721559 |   620282 |     4143    286 |        0 |        0
739.18/739.31	c  739s |      19 |   723104 |   621682 |     4143    286 |        0 |        0
741.18/741.39	c  741s |      19 |   724669 |   623082 |     4143    287 |        0 |        0
743.28/743.40	c  743s |      19 |   725982 |   624282 |     4143    287 |        0 |        0
745.27/745.47	c  745s |      19 |   727653 |   625782 |     4143    288 |        0 |        0
747.37/747.60	c  747s |      19 |   729412 |   627382 |     4143    289 |        0 |        0
749.57/749.70	c  749s |      19 |   731206 |   628982 |     4143    289 |        0 |        0
751.67/751.85	c  751s |      19 |   732649 |   630282 |     4143    290 |        0 |        0
753.77/753.90	c  753s |      19 |   734077 |   631582 |     4143    290 |        0 |        0
755.87/756.02	c  755s |      19 |   735653 |   632982 |     4143    291 |        0 |        0
757.88/758.08	c  757s |      19 |   737108 |   634282 |     4143    291 |        0 |        0
759.98/760.12	c  759s |      19 |   738561 |   635582 |     4143    292 |        0 |        0
762.07/762.23	c  762s |      19 |   740025 |   636882 |     4143    292 |        0 |        0
764.07/764.26	c  764s |      19 |   741371 |   638082 |     4143    293 |        0 |        0
766.17/766.34	c  766s |      19 |   742924 |   639482 |     4143    293 |        0 |        0
768.26/768.47	c  768s |      19 |   744454 |   640882 |     4143    294 |        0 |        0
770.46/770.62	c  770s |      19 |   745728 |   642082 |     4143    294 |        0 |        0
772.46/772.65	c  772s |      19 |   747244 |   643382 |     4143    295 |        0 |        0
774.66/774.82	c  774s |      19 |   749446 |   645282 |     4143    296 |        0 |        0
776.66/776.85	c  776s |      19 |   751301 |   646982 |     4143    296 |        0 |        0
778.66/778.86	c  778s |      19 |   753061 |   648582 |     4143    297 |        0 |        0
780.76/780.96	c  780s |      19 |   754825 |   650082 |     4143    297 |        0 |        0
782.76/782.98	c  782s |      19 |   756518 |   651582 |     4143    298 |        0 |        0
784.85/785.01	c  784s |      19 |   758209 |   653082 |     4143    299 |        0 |        0
786.85/787.03	c  786s |      19 |   759986 |   654682 |     4143    299 |        0 |        0
788.95/789.13	c  788s |      19 |   761647 |   656182 |     4143    300 |        0 |        0
790.96/791.13	c  790s |      19 |   763533 |   657882 |     4143    300 |        0 |        0
792.96/793.14	c  793s |      19 |   765311 |   659482 |     4143    301 |        0 |        0
794.96/795.17	c  795s |      19 |   766939 |   660982 |     4143    302 |        0 |        0
797.06/797.29	c  797s |      19 |   768856 |   662682 |     4558    302 |        0 |        0
799.15/799.36	c  799s |      19 |   770508 |   664182 |     4558    303 |        0 |        0
801.15/801.38	c  801s |      19 |   772325 |   665782 |     4558    303 |        0 |        0
802.55/802.70	c  802s |      20 |   773473 |   666827 |     4558    304 |        0 |        0
804.55/804.75	c  804s |      20 |   777124 |   669527 |     4558    305 |        0 |        0
806.65/806.85	c  806s |      20 |   779480 |   671627 |     4558    305 |        0 |        0
808.64/808.88	c  808s |      20 |   781530 |   673527 |     4558    306 |        0 |        0
810.74/810.91	c  810s |      20 |   783608 |   675427 |     4558    307 |        0 |        0
812.75/812.97	c  812s |      20 |   786051 |   677527 |     4558    307 |        0 |        0
814.84/815.06	c  814s |      20 |   788393 |   679627 |     4558    308 |        0 |        0
816.94/817.10	c  816s |      20 |   790398 |   681427 |     4558    309 |        0 |        0
818.94/819.12	c  818s |      20 |   792219 |   683027 |     4558    309 |        0 |        0
820.94/821.18	c  821s |      20 |   794240 |   684827 |     4558    310 |        0 |        0
823.03/823.25	c  823s |      20 |   795913 |   686327 |     4558    311 |        0 |        0
825.03/825.29	c  825s |      20 |   798039 |   688227 |     4558    311 |        0 |        0
827.14/827.32	c  827s |      20 |   800149 |   690127 |     4558    312 |        0 |        0
829.13/829.36	c  829s |      20 |   802020 |   691827 |     4558    313 |        0 |        0
831.13/831.39	c  831s |      20 |   804228 |   693827 |     4558    313 |        0 |        0
833.23/833.49	c  833s |      20 |   806439 |   695827 |     4558    314 |        0 |        0
835.33/835.51	c  835s |      20 |   808681 |   697827 |     4558    315 |        0 |        0
837.42/837.62	c  837s |      20 |   810954 |   699827 |     4558    315 |        0 |        0
839.42/839.68	c  839s |      20 |   813005 |   701727 |     4558    316 |        0 |        0
841.52/841.71	c  841s |      20 |   815068 |   703527 |     4558    317 |        0 |        0
843.53/843.74	c  843s |      20 |   817296 |   705527 |     4558    317 |        0 |        0
845.52/845.76	c  845s |      20 |   819360 |   707327 |     4558    318 |        0 |        0
847.62/847.86	c  847s |      20 |   821399 |   709227 |     4558    319 |        0 |        0
849.71/849.94	c  849s |      20 |   823730 |   711327 |     4558    320 |        0 |        0
851.71/851.99	c  851s |      20 |   825963 |   713327 |     4558    320 |        0 |        0
853.81/854.06	c  853s |      20 |   827941 |   715127 |     4558    321 |        0 |        0
855.81/856.07	c  855s |      20 |   829937 |   716927 |     4558    322 |        0 |        0
857.92/858.14	c  858s |      20 |   832167 |   718927 |     4558    322 |        0 |        0
860.01/860.24	c  860s |      20 |   834435 |   721027 |     4558    323 |        0 |        0
862.11/862.35	c  862s |      20 |   836364 |   722727 |     4558    324 |        0 |        0
864.11/864.39	c  864s |      20 |   838912 |   724727 |     4558    324 |        0 |        0
866.21/866.40	c  866s |      20 |   840908 |   726427 |     4558    325 |        0 |        0
868.20/868.43	c  868s |      20 |   842750 |   728127 |     4558    326 |        0 |        0
870.30/870.56	c  870s |      20 |   844933 |   730027 |     4558    326 |        0 |        0
872.40/872.63	c  872s |      20 |   846671 |   731527 |     4558    327 |        0 |        0
874.41/874.69	c  874s |      20 |   848622 |   733227 |     4558    327 |        0 |        0
876.51/876.72	c  876s |      20 |   850524 |   734927 |     4558    328 |        0 |        0
878.70/878.90	c  878s |      20 |   852224 |   736427 |     4558    329 |        0 |        0
880.69/880.94	c  880s |      20 |   854369 |   738327 |     4558    329 |        0 |        0
882.69/882.96	c  882s |      20 |   856039 |   739827 |     4558    330 |        0 |        0
884.79/885.08	c  884s |      20 |   857896 |   741427 |     4558    330 |        0 |        0
886.89/887.15	c  887s |      20 |   859811 |   743127 |     4558    331 |        0 |        0
888.99/889.25	c  889s |      20 |   861694 |   744827 |     4558    332 |        0 |        0
890.99/891.28	c  891s |      20 |   863320 |   746327 |     4558    332 |        0 |        0
893.10/893.34	c  893s |      20 |   864772 |   747627 |     4558    333 |        0 |        0
895.09/895.36	c  895s |      20 |   866776 |   749427 |     4558    333 |        0 |        0
897.19/897.42	c  897s |      20 |   868669 |   751127 |     4558    334 |        0 |        0
899.28/899.51	c  899s |      20 |   870787 |   753027 |     4558    334 |        0 |        0
901.38/901.61	c  901s |      20 |   872868 |   754927 |     4558    335 |        0 |        0
903.38/903.69	c  903s |      20 |   874952 |   756827 |     4558    336 |        0 |        0
905.38/905.69	c  905s |      20 |   876794 |   758527 |     4558    336 |        0 |        0
907.48/907.76	c  907s |      20 |   878803 |   760327 |     4558    337 |        0 |        0
909.58/909.82	c  909s |      20 |   880614 |   761927 |     4558    338 |        0 |        0
911.57/911.83	c  911s |      20 |   882610 |   763727 |     4558    338 |        0 |        0
913.67/913.90	c  913s |      20 |   884481 |   765427 |     4558    339 |        0 |        0
915.77/916.09	c  915s |      20 |   886373 |   767127 |     4558    340 |        0 |        0
917.87/918.14	c  918s |      20 |   888569 |   769127 |     4558    340 |        0 |        0
919.96/920.20	c  920s |      20 |   890309 |   770727 |     4558    341 |        0 |        0
921.96/922.26	c  922s |      20 |   892118 |   772327 |     4558    341 |        0 |        0
924.06/924.35	c  924s |      20 |   893942 |   773927 |     4558    342 |        0 |        0
926.26/926.54	c  926s |      20 |   895627 |   775427 |     4558    343 |        0 |        0
928.37/928.60	c  928s |      20 |   897746 |   777227 |     4558    343 |        0 |        0
930.37/930.66	c  930s |      20 |   899733 |   779027 |     4558    344 |        0 |        0
932.47/932.75	c  932s |      20 |   901694 |   780827 |     4558    344 |        0 |        0
934.56/934.82	c  934s |      20 |   903674 |   782627 |     4558    345 |        0 |        0
936.56/936.88	c  936s |      20 |   905431 |   784227 |     4558    346 |        0 |        0
938.56/938.89	c  938s |      20 |   907257 |   785927 |     4558    346 |        0 |        0
940.66/940.99	c  940s |      20 |   908989 |   787527 |     4558    347 |        0 |        0
942.76/943.00	c  942s |      20 |   910894 |   789227 |     4558    347 |        0 |        0
944.77/945.06	c  944s |      20 |   912879 |   791027 |     4558    348 |        0 |        0
946.87/947.13	c  947s |      20 |   914610 |   792627 |     4558    349 |        0 |        0
948.96/949.20	c  949s |      20 |   916344 |   794227 |     4558    349 |        0 |        0
950.96/951.27	c  951s |      20 |   917963 |   795727 |     4558    350 |        0 |        0
953.06/953.34	c  953s |      20 |   919707 |   797327 |     4558    350 |        0 |        0
955.06/955.38	c  955s |      20 |   921477 |   798927 |     4558    351 |        0 |        0
957.16/957.47	c  957s |      20 |   923490 |   800727 |     4558    352 |        0 |        0
959.25/959.58	c  959s |      20 |   925223 |   802327 |     4558    352 |        0 |        0
961.35/961.68	c  961s |      20 |   926961 |   803927 |     4558    353 |        0 |        0
963.46/963.72	c  963s |      20 |   928691 |   805527 |     4558    353 |        0 |        0
965.45/965.79	c  965s |      20 |   930318 |   807027 |     4558    354 |        0 |        0
967.55/967.89	c  967s |      20 |   931920 |   808527 |     4558    354 |        0 |        0
969.64/969.97	c  969s |      20 |   934101 |   810327 |     4558    355 |        0 |        0
971.74/972.06	c  971s |      20 |   935956 |   812027 |     4558    356 |        0 |        0
973.84/974.13	c  973s |      20 |   937921 |   813827 |     4558    356 |        0 |        0
975.84/976.18	c  976s |      20 |   939808 |   815527 |     4558    357 |        0 |        0
978.03/978.30	c  978s |      20 |   941779 |   817327 |     4558    358 |        0 |        0
980.03/980.36	c  980s |      20 |   943876 |   819227 |     4558    358 |        0 |        0
982.04/982.37	c  982s |      20 |   945781 |   820927 |     4558    359 |        0 |        0
984.13/984.44	c  984s |      20 |   947651 |   822627 |     4558    359 |        0 |        0
986.23/986.53	c  986s |      20 |   949385 |   824227 |     4558    360 |        0 |        0
988.23/988.56	c  988s |      20 |   950993 |   825727 |     4558    361 |        0 |        0
990.33/990.68	c  990s |      20 |   952949 |   827527 |     4558    361 |        0 |        0
992.53/992.82	c  992s |      20 |   954574 |   829027 |     4558    362 |        0 |        0
994.53/994.86	c  994s |      20 |   956820 |   831027 |     4558    362 |        0 |        0
996.63/996.97	c  996s |      20 |   958892 |   832827 |     4558    363 |        0 |        0
998.72/999.03	c  998s |      20 |   960625 |   834427 |     4558    364 |        0 |        0
1000.83/1001.13	c 1000s |      20 |   962464 |   836127 |     4558    364 |        0 |        0
1002.82/1003.14	c 1003s |      20 |   964295 |   837827 |     4558    365 |        0 |        0
1004.82/1005.15	c 1005s |      20 |   965910 |   839327 |     4558    365 |        0 |        0
1006.92/1007.23	c 1007s |      20 |   967559 |   840827 |     4558    366 |        0 |        0
1008.92/1009.29	c 1009s |      20 |   969935 |   842927 |     4558    367 |        0 |        0
1011.02/1011.33	c 1011s |      20 |   971954 |   844727 |     4558    367 |        0 |        0
1013.12/1013.45	c 1013s |      20 |   973730 |   846327 |     4558    368 |        0 |        0
1015.22/1015.51	c 1015s |      20 |   975372 |   847827 |     4558    368 |        0 |        0
1017.32/1017.60	c 1017s |      20 |   977277 |   849527 |     4558    369 |        0 |        0
1019.42/1019.71	c 1019s |      20 |   979063 |   851127 |     4558    370 |        0 |        0
1021.51/1021.81	c 1021s |      20 |   980903 |   852827 |     4558    370 |        0 |        0
1023.61/1023.94	c 1023s |      20 |   982642 |   854427 |     4558    371 |        0 |        0
1025.61/1026.00	c 1025s |      20 |   984821 |   856327 |     4558    372 |        0 |        0
1027.81/1028.10	c 1027s |      20 |   987333 |   858527 |     4558    372 |        0 |        0
1029.80/1030.15	c 1030s |      20 |   989472 |   860427 |     4558    373 |        0 |        0
1031.80/1032.19	c 1032s |      20 |   991371 |   862127 |     4558    374 |        0 |        0
1033.90/1034.22	c 1034s |      20 |   993369 |   863927 |     4558    374 |        0 |        0
1035.91/1036.30	c 1036s |      20 |   995173 |   865527 |     4558    375 |        0 |        0
1038.00/1038.40	c 1038s |      20 |   997272 |   867427 |     4558    376 |        0 |        0
1040.10/1040.46	c 1040s |      20 |   999324 |   869227 |     4558    376 |        0 |        0
1042.10/1042.46	c 1042s |      20 |  1001380 |   871027 |     4558    377 |        0 |        0
1044.20/1044.50	c 1044s |      20 |  1003370 |   872827 |     4558    377 |        0 |        0
1046.20/1046.55	c 1046s |      20 |  1005367 |   874627 |     4558    378 |        0 |        0
1048.19/1048.55	c 1048s |      20 |  1007150 |   876227 |     4558    379 |        0 |        0
1050.20/1050.56	c 1050s |      20 |  1009169 |   878027 |     4558    379 |        0 |        0
1052.29/1052.63	c 1052s |      20 |  1011022 |   879727 |     4558    380 |        0 |        0
1054.39/1054.77	c 1054s |      20 |  1012763 |   881327 |     4558    380 |        0 |        0
1056.49/1056.88	c 1056s |      20 |  1014738 |   883027 |     4558    381 |        0 |        0
1058.49/1058.89	c 1058s |      20 |  1016852 |   884827 |     4558    382 |        0 |        0
1060.69/1061.01	c 1060s |      20 |  1019011 |   886727 |     4558    382 |        0 |        0
1062.79/1063.12	c 1062s |      20 |  1020998 |   888427 |     4558    383 |        0 |        0
1064.79/1065.17	c 1065s |      20 |  1023296 |   890427 |     4558    384 |        0 |        0
1066.89/1067.20	c 1067s |      20 |  1025075 |   892027 |     4558    384 |        0 |        0
1068.99/1069.33	c 1069s |      20 |  1026902 |   893627 |     4558    385 |        0 |        0
1071.09/1071.42	c 1071s |      20 |  1028825 |   895327 |     4558    386 |        0 |        0
1073.19/1073.55	c 1073s |      20 |  1031055 |   897327 |     4558    386 |        0 |        0
1075.19/1075.59	c 1075s |      20 |  1032677 |   898827 |     4558    387 |        0 |        0
1077.29/1077.64	c 1077s |      20 |  1034614 |   900627 |     4558    387 |        0 |        0
1079.38/1079.74	c 1079s |      20 |  1036747 |   902527 |     4558    388 |        0 |        0
1081.38/1081.78	c 1081s |      20 |  1038846 |   904427 |     4558    389 |        0 |        0
1083.48/1083.84	c 1083s |      20 |  1040973 |   906327 |     4558    389 |        0 |        0
1085.49/1085.89	c 1085s |      20 |  1043011 |   908127 |     4558    390 |        0 |        0
1087.48/1087.89	c 1087s |      20 |  1044678 |   909627 |     4558    391 |        0 |        0
1089.57/1089.93	c 1089s |      20 |  1046549 |   911327 |     4558    391 |        0 |        0
1091.67/1092.02	c 1091s |      20 |  1048283 |   912927 |     4558    392 |        0 |        0
1093.77/1094.12	c 1093s |      20 |  1050031 |   914527 |     4558    392 |        0 |        0
1095.77/1096.19	c 1096s |      20 |  1051645 |   916027 |     4558    393 |        0 |        0
1097.87/1098.28	c 1098s |      20 |  1053746 |   917827 |     4558    394 |        0 |        0
1099.87/1100.28	c 1100s |      20 |  1055575 |   919427 |     4558    394 |        0 |        0
1101.97/1102.35	c 1102s |      20 |  1057493 |   921127 |     4558    395 |        0 |        0
1104.07/1104.43	c 1104s |      20 |  1059387 |   922827 |     4558    395 |        0 |        0
1106.06/1106.49	c 1106s |      20 |  1061032 |   924327 |     4558    396 |        0 |        0
1108.16/1108.58	c 1108s |      20 |  1062903 |   926027 |     4558    397 |        0 |        0
1110.26/1110.63	c 1110s |      20 |  1065236 |   928027 |     4558    397 |        0 |        0
1112.26/1112.66	c 1112s |      20 |  1067103 |   929727 |     4558    398 |        0 |        0
1114.36/1114.73	c 1114s |      20 |  1068981 |   931427 |     4558    398 |        0 |        0
1116.46/1116.81	c 1116s |      20 |  1070879 |   933127 |     4558    399 |        0 |        0
1118.46/1118.88	c 1118s |      20 |  1072866 |   934927 |     4558    400 |        0 |        0
1120.56/1120.94	c 1120s |      20 |  1074844 |   936727 |     4558    400 |        0 |        0
1122.65/1123.04	c 1122s |      20 |  1076588 |   938327 |     4558    401 |        0 |        0
1124.65/1125.06	c 1124s |      20 |  1078130 |   939727 |     4558    401 |        0 |        0
1126.65/1127.07	c 1126s |      20 |  1080034 |   941427 |     4558    402 |        0 |        0
1128.75/1129.18	c 1129s |      20 |  1081906 |   943127 |     4558    403 |        0 |        0
1130.85/1131.29	c 1131s |      20 |  1083946 |   944927 |     4558    403 |        0 |        0
1132.94/1133.38	c 1133s |      20 |  1085678 |   946527 |     4558    404 |        0 |        0
1134.95/1135.39	c 1135s |      20 |  1087423 |   948127 |     4558    404 |        0 |        0
1137.05/1137.47	c 1137s |      20 |  1088917 |   949527 |     4558    405 |        0 |        0
1139.14/1139.58	c 1139s |      20 |  1090501 |   950927 |     4558    405 |        0 |        0
1141.24/1141.62	c 1141s |      20 |  1092437 |   952627 |     4558    406 |        0 |        0
1143.24/1143.66	c 1143s |      20 |  1094082 |   954127 |     4558    407 |        0 |        0
1145.33/1145.71	c 1145s |      20 |  1095699 |   955627 |     4558    407 |        0 |        0
1147.33/1147.72	c 1147s |      20 |  1097135 |   956927 |     4558    408 |        0 |        0
1149.43/1149.83	c 1149s |      20 |  1098903 |   958527 |     4558    408 |        0 |        0
1151.53/1151.95	c 1151s |      20 |  1100754 |   960227 |     4558    409 |        0 |        0
1153.53/1153.95	c 1153s |      20 |  1102404 |   961727 |     4558    409 |        0 |        0
1155.53/1155.97	c 1155s |      20 |  1104078 |   963227 |     4558    410 |        0 |        0
1157.63/1158.03	c 1157s |      20 |  1105853 |   964827 |     4558    410 |        0 |        0
1159.63/1160.10	c 1159s |      20 |  1107488 |   966327 |     4558    411 |        0 |        0
1161.83/1162.21	c 1162s |      20 |  1109058 |   967727 |     4558    412 |        0 |        0
1163.83/1164.26	c 1164s |      20 |  1111042 |   969527 |     4558    412 |        0 |        0
1165.83/1166.27	c 1166s |      20 |  1112662 |   971027 |     4558    413 |        0 |        0
1167.84/1168.30	c 1168s |      20 |  1114439 |   972627 |     4558    413 |        0 |        0
1169.93/1170.33	c 1170s |      20 |  1116062 |   974127 |     4558    414 |        0 |        0
1172.02/1172.41	c 1172s |      20 |  1117696 |   975627 |     4558    414 |        0 |        0
1174.02/1174.42	c 1174s |      20 |  1119111 |   976927 |     4558    415 |        0 |        0
1176.02/1176.42	c 1176s |      20 |  1120729 |   978427 |     4558    415 |        0 |        0
1178.12/1178.52	c 1178s |      20 |  1122359 |   979927 |     4558    416 |        0 |        0
1180.12/1180.52	c 1180s |      20 |  1123804 |   981227 |     4558    416 |        0 |        0
1182.23/1182.63	c 1182s |      20 |  1125456 |   982727 |     4558    417 |        0 |        0
1184.22/1184.63	c 1184s |      20 |  1126866 |   984027 |     4558    417 |        0 |        0
1186.32/1186.72	c 1186s |      20 |  1128552 |   985427 |     4558    418 |        0 |        0
1188.41/1188.83	c 1188s |      20 |  1130566 |   987227 |     4558    419 |        0 |        0
1190.51/1190.91	c 1190s |      20 |  1132460 |   988927 |     4558    419 |        0 |        0
1192.51/1192.96	c 1192s |      20 |  1134103 |   990427 |     4558    420 |        0 |        0
1194.61/1195.00	c 1194s |      20 |  1135841 |   992027 |     4558    420 |        0 |        0
1196.61/1197.02	c 1196s |      20 |  1137870 |   993827 |     5014    421 |        0 |        0
1198.62/1199.06	c 1198s |      20 |  1139741 |   995527 |     5014    421 |        0 |        0
1200.61/1201.09	c 1200s |      20 |  1141545 |   997127 |     5014    422 |        0 |        0
1202.71/1203.13	c 1202s |      20 |  1143491 |   998927 |     5014    422 |        0 |        0
1204.51/1204.91	c 1204s |      21 |  1145074 |  1000345 |     5014    423 |        0 |        0
1206.51/1206.98	c 1206s |      21 |  1148831 |  1002745 |     5014    424 |        0 |        0
1208.61/1209.04	c 1208s |      21 |  1151230 |  1004745 |     5014    424 |        0 |        0
1210.60/1211.09	c 1210s |      21 |  1153228 |  1006445 |     5014    425 |        0 |        0
1212.70/1213.16	c 1213s |      21 |  1155301 |  1008145 |     5014    425 |        0 |        0
1214.80/1215.21	c 1215s |      21 |  1157036 |  1009645 |     5014    426 |        0 |        0
1216.90/1217.33	c 1217s |      21 |  1158953 |  1011345 |     5014    426 |        0 |        0
1219.00/1219.42	c 1219s |      21 |  1160528 |  1012745 |     5014    426 |        0 |        0
1221.00/1221.45	c 1221s |      21 |  1162607 |  1014545 |     5014    427 |        0 |        0
1223.10/1223.54	c 1223s |      21 |  1164830 |  1016445 |     5014    428 |        0 |        0
1225.10/1225.58	c 1225s |      21 |  1167320 |  1018545 |     5014    428 |        0 |        0
1227.10/1227.60	c 1227s |      21 |  1169243 |  1020245 |     5014    429 |        0 |        0
1229.19/1229.69	c 1229s |      21 |  1171221 |  1022045 |     5014    429 |        0 |        0
1231.39/1231.80	c 1231s |      21 |  1173394 |  1023945 |     5014    430 |        0 |        0
1233.39/1233.83	c 1233s |      21 |  1175789 |  1025945 |     5014    430 |        0 |        0
1235.39/1235.84	c 1235s |      21 |  1178301 |  1027945 |     5014    431 |        0 |        0
1237.39/1237.87	c 1237s |      21 |  1180300 |  1029645 |     5014    432 |        0 |        0
1239.48/1239.95	c 1239s |      21 |  1182939 |  1031945 |     5014    432 |        0 |        0
1241.59/1242.05	c 1241s |      21 |  1185025 |  1033745 |     5014    433 |        0 |        0
1243.58/1244.08	c 1243s |      21 |  1187159 |  1035645 |     5014    433 |        0 |        0
1245.68/1246.15	c 1246s |      21 |  1189216 |  1037445 |     5014    434 |        0 |        0
1247.78/1248.23	c 1248s |      21 |  1191138 |  1039145 |     5014    434 |        0 |        0
1249.88/1250.35	c 1250s |      21 |  1193290 |  1040945 |     5014    435 |        0 |        0
1251.98/1252.44	c 1252s |      21 |  1195405 |  1042745 |     5014    435 |        0 |        0
1254.08/1254.51	c 1254s |      21 |  1197147 |  1044245 |     5014    436 |        0 |        0
1256.08/1256.59	c 1256s |      21 |  1199178 |  1045945 |     5014    436 |        0 |        0
1258.17/1258.62	c 1258s |      21 |  1201050 |  1047645 |     5014    437 |        0 |        0
1260.28/1260.74	c 1260s |      21 |  1202806 |  1049245 |     5014    437 |        0 |        0
1262.27/1262.75	c 1262s |      21 |  1204564 |  1050845 |     5014    438 |        0 |        0
1264.37/1264.83	c 1264s |      21 |  1206318 |  1052445 |     5014    438 |        0 |        0
1266.37/1266.88	c 1266s |      21 |  1207979 |  1053945 |     5014    439 |        0 |        0
1268.37/1268.88	c 1268s |      21 |  1209910 |  1055645 |     5014    439 |        0 |        0
1270.46/1270.93	c 1270s |      21 |  1211699 |  1057245 |     5014    440 |        0 |        0
1272.46/1272.98	c 1272s |      21 |  1213579 |  1058945 |     5014    440 |        0 |        0
1274.47/1274.99	c 1274s |      21 |  1215412 |  1060545 |     5014    441 |        0 |        0
1276.56/1277.08	c 1276s |      21 |  1217265 |  1062245 |     5014    441 |        0 |        0
1278.66/1279.16	c 1279s |      21 |  1219065 |  1063845 |     5014    442 |        0 |        0
1280.76/1281.23	c 1281s |      21 |  1220862 |  1065445 |     5014    442 |        0 |        0
1282.86/1283.32	c 1283s |      21 |  1222415 |  1066845 |     5014    443 |        0 |        0
1284.85/1285.38	c 1285s |      21 |  1224496 |  1068645 |     5014    443 |        0 |        0
1286.95/1287.45	c 1287s |      21 |  1226493 |  1070345 |     5014    444 |        0 |        0
1288.95/1289.47	c 1289s |      21 |  1228326 |  1071945 |     5014    444 |        0 |        0
1290.95/1291.48	c 1291s |      21 |  1229673 |  1073145 |     5014    445 |        0 |        0
1293.05/1293.53	c 1293s |      21 |  1232024 |  1074945 |     5014    445 |        0 |        0
1295.05/1295.55	c 1295s |      21 |  1234152 |  1076645 |     5014    446 |        0 |        0
1297.15/1297.62	c 1297s |      21 |  1236155 |  1078345 |     5014    446 |        0 |        0
1299.14/1299.63	c 1299s |      21 |  1238312 |  1079945 |     5014    447 |        0 |        0
1301.24/1301.73	c 1301s |      21 |  1240492 |  1081745 |     5014    447 |        0 |        0
1303.34/1303.83	c 1303s |      21 |  1242303 |  1083245 |     5014    448 |        0 |        0
1305.44/1305.90	c 1305s |      21 |  1244455 |  1085045 |     5014    448 |        0 |        0
1307.45/1307.92	c 1307s |      21 |  1246123 |  1086545 |     5014    449 |        0 |        0
1309.43/1309.97	c 1309s |      21 |  1247977 |  1088145 |     5014    449 |        0 |        0
1311.53/1312.03	c 1311s |      21 |  1249582 |  1089545 |     5014    449 |        0 |        0
1313.63/1314.14	c 1314s |      21 |  1251130 |  1090945 |     5014    450 |        0 |        0
1315.73/1316.25	c 1316s |      21 |  1252872 |  1092445 |     5014    450 |        0 |        0
1317.83/1318.35	c 1318s |      21 |  1254642 |  1093945 |     5014    451 |        0 |        0
1319.92/1320.43	c 1320s |      21 |  1256729 |  1095645 |     5014    451 |        0 |        0
1322.03/1322.53	c 1322s |      21 |  1258343 |  1097045 |     5014    452 |        0 |        0
1324.13/1324.63	c 1324s |      21 |  1260025 |  1098445 |     5014    452 |        0 |        0
1326.24/1326.76	c 1326s |      21 |  1261567 |  1099745 |     5014    453 |        0 |        0
1328.22/1328.78	c 1328s |      21 |  1263501 |  1101445 |     5014    453 |        0 |        0
1330.42/1330.95	c 1330s |      21 |  1265083 |  1102845 |     5014    453 |        0 |        0
1332.52/1333.04	c 1332s |      21 |  1266839 |  1104345 |     5014    454 |        0 |        0
1334.62/1335.12	c 1334s |      21 |  1268613 |  1105945 |     5014    454 |        0 |        0
1336.72/1337.26	c 1337s |      21 |  1270321 |  1107445 |     5014    455 |        0 |        0
1338.92/1339.44	c 1339s |      21 |  1271994 |  1108945 |     5014    455 |        0 |        0
1340.92/1341.48	c 1341s |      21 |  1273120 |  1109945 |     5014    456 |        0 |        0
1343.02/1343.59	c 1343s |      21 |  1274655 |  1111345 |     5014    456 |        0 |        0
1345.22/1345.70	c 1345s |      21 |  1275961 |  1112545 |     5014    456 |        0 |        0
1347.32/1347.81	c 1347s |      21 |  1277248 |  1113745 |     5014    457 |        0 |        0
1349.32/1349.86	c 1349s |      21 |  1278694 |  1115045 |     5014    457 |        0 |        0
1351.31/1351.90	c 1351s |      21 |  1280019 |  1116245 |     5014    457 |        0 |        0
1353.51/1354.08	c 1353s |      21 |  1281233 |  1117345 |     5014    458 |        0 |        0
1355.71/1356.21	c 1356s |      21 |  1282635 |  1118645 |     5014    458 |        0 |        0
1357.81/1358.39	c 1358s |      21 |  1283942 |  1119845 |     5014    459 |        0 |        0
1360.01/1360.54	c 1360s |      21 |  1285628 |  1121345 |     5014    459 |        0 |        0
1362.11/1362.61	c 1362s |      21 |  1286925 |  1122545 |     5014    459 |        0 |        0
1364.21/1364.76	c 1364s |      21 |  1288527 |  1123945 |     5014    460 |        0 |        0
1366.21/1366.78	c 1366s |      21 |  1289838 |  1125145 |     5014    460 |        0 |        0
1368.40/1368.93	c 1368s |      21 |  1291045 |  1126245 |     5014    460 |        0 |        0
1370.50/1371.09	c 1370s |      21 |  1292482 |  1127545 |     5014    461 |        0 |        0
1372.60/1373.18	c 1373s |      21 |  1293828 |  1128745 |     5014    461 |        0 |        0
1374.80/1375.30	c 1375s |      21 |  1295035 |  1129845 |     5014    462 |        0 |        0
1376.81/1377.31	c 1377s |      21 |  1296245 |  1130945 |     5014    462 |        0 |        0
1378.80/1379.39	c 1379s |      21 |  1297662 |  1132245 |     5014    462 |        0 |        0
1381.00/1381.51	c 1381s |      21 |  1298701 |  1133245 |     5014    463 |        0 |        0
1382.99/1383.51	c 1383s |      21 |  1299875 |  1134345 |     5014    463 |        0 |        0
1385.09/1385.65	c 1385s |      21 |  1301680 |  1135745 |     5014    463 |        0 |        0
1387.19/1387.77	c 1387s |      21 |  1303114 |  1137045 |     5014    464 |        0 |        0
1389.18/1389.78	c 1389s |      21 |  1304680 |  1138445 |     5014    464 |        0 |        0
1391.28/1391.87	c 1391s |      21 |  1306135 |  1139745 |     5014    464 |        0 |        0
1393.29/1393.89	c 1393s |      21 |  1307700 |  1141145 |     5014    465 |        0 |        0
1395.39/1395.94	c 1395s |      21 |  1309417 |  1142545 |     5014    465 |        0 |        0
1397.38/1397.97	c 1397s |      21 |  1311026 |  1143945 |     5014    466 |        0 |        0
1399.48/1400.07	c 1399s |      21 |  1312671 |  1145345 |     5014    466 |        0 |        0
1401.58/1402.16	c 1402s |      21 |  1314131 |  1146545 |     5014    467 |        0 |        0
1403.68/1404.27	c 1404s |      21 |  1315826 |  1148045 |     5014    467 |        0 |        0
1405.78/1406.32	c 1406s |      21 |  1317562 |  1149545 |     5014    467 |        0 |        0
1407.78/1408.35	c 1408s |      21 |  1319133 |  1150945 |     5014    468 |        0 |        0
1409.78/1410.39	c 1410s |      21 |  1320888 |  1152445 |     5014    468 |        0 |        0
1411.88/1412.47	c 1412s |      21 |  1322333 |  1153745 |     5014    469 |        0 |        0
1413.97/1414.53	c 1414s |      21 |  1324025 |  1155245 |     5014    469 |        0 |        0
1415.97/1416.55	c 1416s |      21 |  1325347 |  1156445 |     5014    469 |        0 |        0
1418.07/1418.63	c 1418s |      21 |  1327048 |  1157945 |     5014    470 |        0 |        0
1420.07/1420.65	c 1420s |      21 |  1328664 |  1159345 |     5014    470 |        0 |        0
1422.07/1422.65	c 1422s |      21 |  1330063 |  1160545 |     5014    471 |        0 |        0
1424.27/1424.82	c 1424s |      21 |  1331801 |  1161945 |     5014    471 |        0 |        0
1426.47/1427.08	c 1426s |      21 |  1333258 |  1163245 |     5014    472 |        0 |        0
1428.67/1429.24	c 1429s |      21 |  1334686 |  1164545 |     5014    472 |        0 |        0
1430.68/1431.24	c 1431s |      21 |  1336182 |  1165845 |     5014    472 |        0 |        0
1432.79/1433.32	c 1433s |      21 |  1337648 |  1167145 |     5014    473 |        0 |        0
1434.88/1435.44	c 1435s |      21 |  1339152 |  1168445 |     5014    473 |        0 |        0
1437.08/1437.61	c 1437s |      21 |  1340497 |  1169645 |     5014    473 |        0 |        0
1439.08/1439.62	c 1439s |      21 |  1341607 |  1170645 |     5014    474 |        0 |        0
1441.08/1441.66	c 1441s |      21 |  1342835 |  1171745 |     5014    474 |        0 |        0
1443.18/1443.77	c 1443s |      21 |  1344318 |  1172945 |     5014    474 |        0 |        0
1445.28/1445.82	c 1445s |      21 |  1345793 |  1174245 |     5014    475 |        0 |        0
1447.38/1447.96	c 1447s |      21 |  1347188 |  1175445 |     5014    475 |        0 |        0
1449.58/1450.19	c 1450s |      21 |  1348267 |  1176445 |     5014    475 |        0 |        0
1451.68/1452.25	c 1452s |      21 |  1349375 |  1177445 |     5014    476 |        0 |        0
1453.68/1454.25	c 1454s |      21 |  1351144 |  1178945 |     5014    476 |        0 |        0
1455.77/1456.35	c 1456s |      21 |  1352860 |  1180445 |     5014    477 |        0 |        0
1457.87/1458.40	c 1458s |      21 |  1354715 |  1181845 |     5014    477 |        0 |        0
1460.07/1460.62	c 1460s |      21 |  1356356 |  1183245 |     5014    478 |        0 |        0
1462.17/1462.71	c 1462s |      21 |  1357818 |  1184545 |     5014    478 |        0 |        0
1464.17/1464.72	c 1464s |      21 |  1359148 |  1185745 |     5014    478 |        0 |        0
1466.17/1466.72	c 1466s |      21 |  1360651 |  1187045 |     5014    479 |        0 |        0
1468.17/1468.76	c 1468s |      21 |  1362239 |  1188445 |     5014    479 |        0 |        0
1470.18/1470.78	c 1470s |      21 |  1363449 |  1189545 |     5014    479 |        0 |        0
1472.27/1472.88	c 1472s |      21 |  1364672 |  1190645 |     5014    480 |        0 |        0
1474.47/1475.03	c 1474s |      21 |  1366268 |  1192045 |     5014    480 |        0 |        0
1476.67/1477.21	c 1477s |      21 |  1367678 |  1193245 |     5014    480 |        0 |        0
1478.67/1479.27	c 1479s |      21 |  1368876 |  1194345 |     5014    481 |        0 |        0
1480.77/1481.34	c 1481s |      21 |  1370102 |  1195445 |     5014    481 |        0 |        0
1482.87/1483.40	c 1483s |      21 |  1371331 |  1196545 |     5014    481 |        0 |        0
1484.87/1485.44	c 1485s |      21 |  1372785 |  1197845 |     5014    482 |        0 |        0
1486.97/1487.58	c 1487s |      21 |  1374240 |  1199145 |     5014    482 |        0 |        0
1489.06/1489.68	c 1489s |      21 |  1375390 |  1200145 |     5014    483 |        0 |        0
1491.17/1491.74	c 1491s |      21 |  1376899 |  1201445 |     5014    483 |        0 |        0
1493.27/1493.90	c 1493s |      21 |  1378243 |  1202645 |     5014    483 |        0 |        0
1495.36/1495.90	c 1495s |      21 |  1379323 |  1203645 |     5014    484 |        0 |        0
1497.46/1498.02	c 1497s |      21 |  1380657 |  1204845 |     5014    484 |        0 |        0
1499.56/1500.18	c 1500s |      21 |  1381861 |  1205945 |     5014    484 |        0 |        0
1501.66/1502.23	c 1502s |      21 |  1383284 |  1207145 |     5014    485 |        0 |        0
1503.76/1504.34	c 1504s |      21 |  1385006 |  1208645 |     5014    485 |        0 |        0
1505.76/1506.34	c 1506s |      21 |  1386419 |  1209845 |     5014    485 |        0 |        0
1507.86/1508.46	c 1508s |      21 |  1387872 |  1211145 |     5014    486 |        0 |        0
1509.96/1510.54	c 1510s |      21 |  1389334 |  1212445 |     5014    486 |        0 |        0
1512.06/1512.67	c 1512s |      21 |  1390622 |  1213545 |     5014    487 |        0 |        0
1514.16/1514.76	c 1514s |      21 |  1392056 |  1214845 |     5014    487 |        0 |        0
1516.26/1516.82	c 1516s |      21 |  1393425 |  1216045 |     5014    487 |        0 |        0
1518.26/1518.85	c 1518s |      21 |  1394809 |  1217245 |     5014    488 |        0 |        0
1520.26/1520.85	c 1520s |      21 |  1396133 |  1218445 |     5014    488 |        0 |        0
1522.36/1522.90	c 1522s |      21 |  1397344 |  1219545 |     5014    488 |        0 |        0
1524.36/1524.98	c 1524s |      21 |  1398572 |  1220645 |     5014    489 |        0 |        0
1526.46/1527.07	c 1526s |      21 |  1399883 |  1221845 |     5014    489 |        0 |        0
1528.66/1529.23	c 1529s |      21 |  1401013 |  1222845 |     5014    489 |        0 |        0
1530.77/1531.37	c 1531s |      21 |  1402469 |  1224145 |     5014    490 |        0 |        0
1532.97/1533.53	c 1533s |      21 |  1403971 |  1225445 |     5014    490 |        0 |        0
1535.17/1535.78	c 1535s |      21 |  1405420 |  1226745 |     5014    491 |        0 |        0
1537.37/1537.93	c 1537s |      21 |  1406854 |  1228045 |     5014    491 |        0 |        0
1539.36/1539.94	c 1539s |      21 |  1408106 |  1229145 |     5014    491 |        0 |        0
1541.46/1542.00	c 1541s |      21 |  1409186 |  1230145 |     5014    492 |        0 |        0
1543.56/1544.15	c 1544s |      21 |  1410616 |  1231445 |     5014    492 |        0 |        0
1545.56/1546.17	c 1546s |      21 |  1411827 |  1232545 |     5014    492 |        0 |        0
1547.66/1548.30	c 1548s |      21 |  1412845 |  1233445 |     5014    493 |        0 |        0
1549.76/1550.36	c 1550s |      21 |  1414443 |  1234845 |     5014    493 |        0 |        0
1551.76/1552.36	c 1552s |      21 |  1416155 |  1236345 |     5014    493 |        0 |        0
1553.96/1554.51	c 1554s |      21 |  1417689 |  1237745 |     5014    494 |        0 |        0
1555.97/1556.58	c 1556s |      21 |  1419120 |  1239045 |     5014    494 |        0 |        0
1558.17/1558.71	c 1558s |      21 |  1420573 |  1240345 |     5014    495 |        0 |        0
1560.26/1560.80	c 1560s |      21 |  1422328 |  1241845 |     5014    495 |        0 |        0
1562.26/1562.89	c 1562s |      21 |  1423919 |  1243245 |     5014    495 |        0 |        0
1564.36/1564.98	c 1564s |      21 |  1425727 |  1244745 |     5014    496 |        0 |        0
1566.55/1567.14	c 1567s |      21 |  1427247 |  1246145 |     5014    496 |        0 |        0
1568.55/1569.16	c 1569s |      21 |  1428707 |  1247445 |     5014    497 |        0 |        0
1570.65/1571.28	c 1571s |      21 |  1430250 |  1248845 |     5014    497 |        0 |        0
1572.85/1573.48	c 1573s |      21 |  1431706 |  1250145 |     5014    498 |        0 |        0
1574.95/1575.57	c 1575s |      21 |  1433522 |  1251645 |     5014    498 |        0 |        0
1577.05/1577.66	c 1577s |      21 |  1434958 |  1252945 |     5014    498 |        0 |        0
1579.16/1579.76	c 1579s |      21 |  1436307 |  1254145 |     5014    499 |        0 |        0
1581.26/1581.81	c 1581s |      21 |  1438068 |  1255645 |     5014    499 |        0 |        0
1583.35/1583.91	c 1583s |      21 |  1439395 |  1256845 |     5014    500 |        0 |        0
1585.35/1585.93	c 1585s |      21 |  1441139 |  1258345 |     5014    500 |        0 |        0
1587.45/1588.00	c 1587s |      21 |  1442688 |  1259645 |     5014    500 |        0 |        0
1589.55/1590.12	c 1589s |      21 |  1444164 |  1260945 |     5014    501 |        0 |        0
1591.65/1592.28	c 1592s |      21 |  1445921 |  1262445 |     5014    501 |        0 |        0
1593.75/1594.36	c 1594s |      21 |  1447309 |  1263645 |     5014    502 |        0 |        0
1595.75/1596.37	c 1596s |      21 |  1448955 |  1265045 |     5014    502 |        0 |        0
1597.95/1598.53	c 1598s |      21 |  1450342 |  1266245 |     5014    502 |        0 |        0
1600.05/1600.66	c 1600s |      21 |  1451732 |  1267445 |     5014    503 |        0 |        0
1602.05/1602.69	c 1602s |      21 |  1453289 |  1268745 |     5014    503 |        0 |        0
1604.15/1604.71	c 1604s |      21 |  1454775 |  1270045 |     5014    503 |        0 |        0
1606.25/1606.86	c 1606s |      21 |  1456376 |  1271445 |     5014    504 |        0 |        0
1608.35/1608.99	c 1608s |      21 |  1457910 |  1272745 |     5014    504 |        0 |        0
1610.55/1611.12	c 1610s |      21 |  1459171 |  1273845 |     5014    505 |        0 |        0
1612.65/1613.25	c 1613s |      21 |  1460544 |  1275045 |     5014    505 |        0 |        0
1614.85/1615.48	c 1615s |      21 |  1461733 |  1276145 |     5014    505 |        0 |        0
1616.85/1617.48	c 1617s |      21 |  1463150 |  1277345 |     5014    506 |        0 |        0
1619.04/1619.60	c 1619s |      21 |  1464851 |  1278845 |     5014    506 |        0 |        0
1621.14/1621.70	c 1621s |      21 |  1466303 |  1280145 |     5014    506 |        0 |        0
1623.15/1623.75	c 1623s |      21 |  1467740 |  1281345 |     5014    507 |        0 |        0
1625.25/1625.86	c 1625s |      21 |  1469356 |  1282745 |     5014    507 |        0 |        0
1627.34/1627.96	c 1627s |      21 |  1470812 |  1284045 |     5014    508 |        0 |        0
1629.34/1629.98	c 1629s |      21 |  1472061 |  1285145 |     5014    508 |        0 |        0
1631.44/1632.04	c 1631s |      21 |  1473449 |  1286345 |     5014    508 |        0 |        0
1633.54/1634.11	c 1633s |      21 |  1474872 |  1287545 |     5014    509 |        0 |        0
1635.54/1636.19	c 1636s |      21 |  1476202 |  1288745 |     5014    509 |        0 |        0
1637.54/1638.20	c 1638s |      21 |  1477304 |  1289745 |     5014    509 |        0 |        0
1639.65/1640.25	c 1640s |      21 |  1478478 |  1290745 |     5014    510 |        0 |        0
1641.85/1642.40	c 1642s |      21 |  1480193 |  1292245 |     5014    510 |        0 |        0
1643.95/1644.50	c 1644s |      21 |  1481687 |  1293545 |     5014    511 |        0 |        0
1645.94/1646.54	c 1646s |      21 |  1483342 |  1294945 |     5014    511 |        0 |        0
1647.94/1648.58	c 1648s |      21 |  1484890 |  1296245 |     5014    511 |        0 |        0
1649.94/1650.60	c 1650s |      21 |  1486164 |  1297345 |     5014    512 |        0 |        0
1652.14/1652.71	c 1652s |      21 |  1487538 |  1298545 |     5014    512 |        0 |        0
1654.24/1654.87	c 1654s |      21 |  1488885 |  1299745 |     5014    512 |        0 |        0
1656.34/1656.96	c 1656s |      21 |  1490133 |  1300845 |     5014    513 |        0 |        0
1658.34/1658.99	c 1658s |      21 |  1491323 |  1301945 |     5014    513 |        0 |        0
1660.44/1661.03	c 1660s |      21 |  1492382 |  1302945 |     5014    513 |        0 |        0
1662.44/1663.07	c 1662s |      21 |  1493582 |  1304045 |     5014    514 |        0 |        0
1664.64/1665.26	c 1665s |      21 |  1494805 |  1305145 |     5014    514 |        0 |        0
1666.83/1667.43	c 1667s |      21 |  1495905 |  1306145 |     5014    514 |        0 |        0
1668.83/1669.44	c 1669s |      21 |  1497040 |  1307145 |     5014    515 |        0 |        0
1670.83/1671.48	c 1671s |      21 |  1498436 |  1308345 |     5014    515 |        0 |        0
1673.03/1673.65	c 1673s |      21 |  1499730 |  1309445 |     5014    515 |        0 |        0
1675.03/1675.68	c 1675s |      21 |  1500784 |  1310345 |     5014    516 |        0 |        0
1677.13/1677.72	c 1677s |      21 |  1501904 |  1311345 |     5014    516 |        0 |        0
1679.24/1679.88	c 1679s |      21 |  1503141 |  1312445 |     5014    516 |        0 |        0
1681.63/1682.20	c 1682s |      21 |  1504476 |  1313645 |     5014    517 |        0 |        0
1683.73/1684.36	c 1684s |      21 |  1505808 |  1314845 |     5014    517 |        0 |        0
1686.03/1686.64	c 1686s |      21 |  1507075 |  1315945 |     5014    517 |        0 |        0
1688.04/1688.67	c 1688s |      21 |  1508201 |  1316945 |     5014    518 |        0 |        0
1690.14/1690.78	c 1690s |      21 |  1509689 |  1318245 |     5014    518 |        0 |        0
1692.34/1692.92	c 1692s |      21 |  1511098 |  1319445 |     5014    518 |        0 |        0
1694.43/1695.05	c 1694s |      21 |  1512403 |  1320545 |     5014    519 |        0 |        0
1696.53/1697.12	c 1696s |      21 |  1513668 |  1321645 |     5014    519 |        0 |        0
1698.63/1699.26	c 1699s |      21 |  1514867 |  1322745 |     5014    519 |        0 |        0
1700.73/1701.31	c 1701s |      21 |  1515919 |  1323645 |     5014    520 |        0 |        0
1702.73/1703.36	c 1703s |      21 |  1517856 |  1325245 |     5014    520 |        0 |        0
1704.83/1705.49	c 1705s |      21 |  1519742 |  1326745 |     5014    520 |        0 |        0
1706.93/1707.51	c 1707s |      21 |  1521403 |  1328145 |     5014    521 |        0 |        0
1708.94/1709.53	c 1709s |      21 |  1523112 |  1329545 |     5014    521 |        0 |        0
1710.93/1711.57	c 1711s |      21 |  1524394 |  1330645 |     5014    522 |        0 |        0
1713.03/1713.61	c 1713s |      21 |  1526041 |  1332045 |     5014    522 |        0 |        0
1715.13/1715.75	c 1715s |      21 |  1527517 |  1333345 |     5014    522 |        0 |        0
1717.23/1717.89	c 1717s |      21 |  1528909 |  1334545 |     5014    523 |        0 |        0
1719.33/1719.93	c 1719s |      21 |  1530388 |  1335845 |     5014    523 |        0 |        0
1721.53/1722.18	c 1722s |      21 |  1531582 |  1336945 |     5014    524 |        0 |        0
1723.63/1724.23	c 1724s |      21 |  1533378 |  1338445 |     5014    524 |        0 |        0
1725.63/1726.28	c 1726s |      21 |  1534897 |  1339745 |     5014    524 |        0 |        0
1727.83/1728.44	c 1728s |      21 |  1536395 |  1341045 |     5014    525 |        0 |        0
1729.93/1730.51	c 1730s |      21 |  1537906 |  1342345 |     5014    525 |        0 |        0
1731.94/1732.60	c 1732s |      21 |  1539271 |  1343545 |     5014    525 |        0 |        0
1734.03/1734.64	c 1734s |      21 |  1540511 |  1344645 |     5014    526 |        0 |        0
1736.13/1736.70	c 1736s |      21 |  1541863 |  1345845 |     5014    526 |        0 |        0
1738.23/1738.84	c 1738s |      21 |  1543060 |  1346945 |     5014    527 |        0 |        0
1740.33/1740.96	c 1740s |      21 |  1544676 |  1348345 |     5014    527 |        0 |        0
1742.53/1743.15	c 1743s |      21 |  1546162 |  1349645 |     5014    527 |        0 |        0
1744.52/1745.17	c 1745s |      21 |  1547403 |  1350745 |     5014    528 |        0 |        0
1746.62/1747.28	c 1747s |      21 |  1548857 |  1352045 |     5014    528 |        0 |        0
1748.82/1749.40	c 1749s |      21 |  1550076 |  1353145 |     5014    528 |        0 |        0
1750.82/1751.43	c 1751s |      21 |  1551232 |  1354145 |     5014    529 |        0 |        0
1752.83/1753.47	c 1753s |      21 |  1552729 |  1355445 |     5014    529 |        0 |        0
1754.92/1755.51	c 1755s |      21 |  1553977 |  1356545 |     5014    529 |        0 |        0
1757.12/1757.70	c 1757s |      21 |  1555202 |  1357645 |     5014    530 |        0 |        0
1759.12/1759.78	c 1759s |      21 |  1556573 |  1358845 |     5014    530 |        0 |        0
1761.12/1761.78	c 1761s |      21 |  1558316 |  1360345 |     5014    531 |        0 |        0
1763.12/1763.78	c 1763s |      21 |  1559986 |  1361845 |     5014    531 |        0 |        0
1765.22/1765.89	c 1765s |      21 |  1561434 |  1363145 |     5014    531 |        0 |        0
1767.32/1767.97	c 1767s |      21 |  1562929 |  1364445 |     5014    532 |        0 |        0
1769.43/1770.09	c 1769s |      21 |  1564716 |  1366045 |     5014    532 |        0 |        0
1771.53/1772.15	c 1772s |      21 |  1566047 |  1367245 |     5014    533 |        0 |        0
1773.62/1774.26	c 1774s |      21 |  1567661 |  1368645 |     5014    533 |        0 |        0
1775.72/1776.33	c 1776s |      21 |  1569241 |  1370045 |     5014    533 |        0 |        0
1777.72/1778.39	c 1778s |      21 |  1570807 |  1371445 |     5014    534 |        0 |        0
1779.82/1780.44	c 1780s |      21 |  1572259 |  1372745 |     5014    534 |        0 |        0
1781.82/1782.46	c 1782s |      21 |  1573499 |  1373845 |     5014    535 |        0 |        0
1783.92/1784.54	c 1784s |      21 |  1575314 |  1375345 |     5014    535 |        0 |        0
1786.02/1786.62	c 1786s |      21 |  1577188 |  1376845 |     5014    535 |        0 |        0
1788.02/1788.70	c 1788s |      21 |  1578800 |  1378245 |     5014    536 |        0 |        0
1790.22/1790.83	c 1790s |      21 |  1580423 |  1379645 |     5014    536 |        0 |        0
1792.32/1792.93	c 1792s |      21 |  1581870 |  1380845 |     5014    537 |        0 |        0
1794.32/1794.98	c 1794s |      21 |  1583377 |  1382145 |     5014    537 |        0 |        0
1796.41/1797.03	c 1796s |      21 |  1584879 |  1383445 |     5014    537 |        0 |        0
1798.51/1799.14	c 1799s |      21 |  1586544 |  1384745 |     5014    538 |        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-4093316-1466081028/watcher-4093316-1466081028 -o /tmp/evaluation-result-4093316-1466081028/solver-4093316-1466081028 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466075445-11101 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093316-1466081028.wbo 

pid=12019
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.17 2.11 2.09 3/179 12022
/proc/meminfo: memFree=30225828/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=636348 CPUtime=0 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 2355 0 0 0 0 0 0 0 20 0 4 0 10152081 651620352 2716 33554432000 4194304 16246674 140736150641696 140736150641120 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 159599 2725 441 2943 0 156493 0
[pid=12022/tid=12023] ppid=12019 vsize=653756 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 669446144 2784 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=658876 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 674689024 2804 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=662972 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10152082 678883328 2819 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.17 2.11 2.09 3/179 12022
/proc/meminfo: memFree=30225828/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 25734 0 0 0 6 3 0 0 20 0 4 0 10152081 1247350784 26085 33554432000 4194304 16246674 140736150641696 140736150641120 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 304529 26099 680 2943 0 301423 0
[pid=12022/tid=12023] ppid=12019 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1247350784 26110 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1247350784 26120 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10152082 1247350784 26129 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200534 s]
/proc/loadavg: 2.17 2.11 2.09 3/179 12022
/proc/meminfo: memFree=30225828/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 49771 0 0 0 13 6 0 0 20 0 4 0 10152081 1247350784 50119 33554432000 4194304 16246674 140736150641696 140736150641120 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 304529 50138 807 2943 0 301423 0
[pid=12022/tid=12023] ppid=12019 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1247350784 50147 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1247350784 50157 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10152082 1247350784 50167 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300502 s]
/proc/loadavg: 2.17 2.11 2.09 3/179 12022
/proc/meminfo: memFree=30225828/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 77211 0 0 0 19 9 0 0 20 0 4 0 10152081 1247350784 77558 33554432000 4194304 16246674 140736150641696 140736150641120 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 304529 77577 807 2943 0 301423 0
[pid=12022/tid=12023] ppid=12019 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1247350784 77588 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1247350784 77599 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10152082 1247350784 77608 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700422 s]
/proc/loadavg: 2.17 2.11 2.09 3/179 12022
/proc/meminfo: memFree=30225828/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1221188 CPUtime=0.69 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 135286 0 0 0 53 16 0 0 20 0 4 0 10152081 1250496512 135612 33554432000 4194304 16246674 140736150641696 140736150641008 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 305297 135632 867 2943 0 302191 0
[pid=12022/tid=12023] ppid=12019 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1250496512 135640 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1250496512 135647 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10152082 1250496512 135653 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50038 s]
/proc/loadavg: 2.17 2.11 2.09 3/183 12026
/proc/meminfo: memFree=29177312/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 266546 0 0 0 118 31 0 0 20 0 4 0 10152081 1333334016 266871 33554432000 4194304 16246674 140736150641696 140736150623616 5523416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 325521 266871 871 2943 0 322415 0
[pid=12022/tid=12023] ppid=12019 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1333334016 266871 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1333334016 266871 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10152082 1333334016 266871 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10043 s]
/proc/loadavg: 2.17 2.11 2.09 3/183 12026
/proc/meminfo: memFree=29154000/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 267868 0 0 0 278 31 0 0 20 0 4 0 10152081 1338576896 268193 33554432000 4194304 16246674 140736150641696 140736150623616 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 326801 268193 872 2943 0 323695 0
[pid=12022/tid=12023] ppid=12019 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1338576896 268193 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1338576896 268193 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10152082 1338576896 268193 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30044 s]
/proc/loadavg: 2.15 2.10 2.09 3/183 12026
/proc/meminfo: memFree=29150704/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1309252 CPUtime=6.29 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 268429 0 0 0 598 31 0 0 20 0 4 0 10152081 1340674048 268754 33554432000 4194304 16246674 140736150641696 140736150623616 5545752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 327313 268754 872 2943 0 324207 0
[pid=12022/tid=12023] ppid=12019 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1340674048 268754 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1340674048 268754 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10152082 1340674048 268754 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.14 2.10 2.09 3/183 12026
/proc/meminfo: memFree=29150524/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1310276 CPUtime=12.69 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 268524 0 0 0 1238 31 0 0 20 0 4 0 10152081 1341722624 268849 33554432000 4194304 16246674 140736150641696 140736150623616 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 327569 268849 872 2943 0 324463 0
[pid=12022/tid=12023] ppid=12019 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1341722624 268849 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1341722624 268849 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10152082 1341722624 268849 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.11 2.10 2.09 3/183 12027
/proc/meminfo: memFree=29147316/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 269453 0 0 0 2517 31 0 0 20 0 4 0 10152081 1344868352 269778 33554432000 4194304 16246674 140736150641696 140736150623616 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 328337 269778 872 2943 0 325231 0
[pid=12022/tid=12023] ppid=12019 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1344868352 269778 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1344868352 269778 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10152082 1344868352 269778 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.07 2.09 2.09 3/183 12027
/proc/meminfo: memFree=29144220/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1316420 CPUtime=51.08 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 270221 0 0 0 5076 32 0 0 20 0 4 0 10152081 1348014080 270546 33554432000 4194304 16246674 140736150641696 140736150623616 5673225 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 329105 270546 872 2943 0 325999 0
[pid=12022/tid=12023] ppid=12019 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1348014080 270546 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1348014080 270546 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10152082 1348014080 270546 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.301 s]
/proc/loadavg: 2.09 2.09 2.09 3/183 12028
/proc/meminfo: memFree=29142308/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1316420 CPUtime=102.28 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 270223 0 0 0 10196 32 0 0 20 0 4 0 10152081 1348014080 270548 33554432000 4194304 16246674 140736150641696 140736150623616 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 329105 270548 874 2943 0 325999 0
[pid=12022/tid=12023] ppid=12019 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1348014080 270548 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1348014080 270548 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10152082 1348014080 270548 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1316420


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

/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10152082 1356402688 272600 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1324612

[startup+1302.3 s]
/proc/loadavg: 2.04 2.07 2.07 3/183 12082
/proc/meminfo: memFree=29107760/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1328708 CPUtime=1301.84 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 273697 0 0 0 130144 40 0 0 20 0 4 0 10152081 1360596992 273624 33554432000 4194304 16246674 140736150641696 140736150623616 13191661 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 332177 273624 875 2943 0 329071 0
[pid=12022/tid=12023] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273624 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273624 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273624 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1328708

[startup+1362.3 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 12083
/proc/meminfo: memFree=29107444/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1328708 CPUtime=1361.81 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 273742 0 0 0 136140 41 0 0 20 0 4 0 10152081 1360596992 273625 33554432000 4194304 16246674 140736150641696 140736150623616 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 332177 273625 875 2943 0 329071 0
[pid=12022/tid=12023] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1328708

[startup+1422.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/183 12084
/proc/meminfo: memFree=29107492/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1328708 CPUtime=1421.78 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 273775 0 0 0 142137 41 0 0 20 0 4 0 10152081 1360596992 273625 33554432000 4194304 16246674 140736150641696 140736150623616 5523456 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 332177 273625 875 2943 0 329071 0
[pid=12022/tid=12023] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1328708

[startup+1482.3 s]
/proc/loadavg: 2.07 2.05 2.06 3/183 12085
/proc/meminfo: memFree=29108356/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1328708 CPUtime=1481.77 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 273775 0 0 0 148135 42 0 0 20 0 4 0 10152081 1360596992 273625 33554432000 4194304 16246674 140736150641696 140736150623616 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 332177 273625 875 2943 0 329071 0
[pid=12022/tid=12023] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1328708

[startup+1542.31 s]
/proc/loadavg: 2.06 2.05 2.06 4/182 12086
/proc/meminfo: memFree=29108384/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1328708 CPUtime=1541.77 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 273775 0 0 0 154134 43 0 0 20 0 4 0 10152081 1360596992 273625 33554432000 4194304 16246674 140736150641696 140736150623616 5675905 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 332177 273625 875 2943 0 329071 0
[pid=12022/tid=12023] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1328708

[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.06 3/184 12091
/proc/meminfo: memFree=29107872/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1328708 CPUtime=1601.75 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 273775 0 0 0 160132 43 0 0 20 0 4 0 10152081 1360596992 273625 33554432000 4194304 16246674 140736150641696 140736150623616 5822756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 332177 273625 875 2943 0 329071 0
[pid=12022/tid=12023] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1328708

[startup+1662.3 s]
/proc/loadavg: 2.16 2.08 2.07 3/183 12140
/proc/meminfo: memFree=29143652/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1328708 CPUtime=1661.74 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 273775 0 0 0 166131 43 0 0 20 0 4 0 10152081 1360596992 273625 33554432000 4194304 16246674 140736150641696 140736150623616 5754796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 332177 273625 875 2943 0 329071 0
[pid=12022/tid=12023] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1328708

[startup+1722.3 s]
/proc/loadavg: 2.06 2.07 2.07 3/183 12141
/proc/meminfo: memFree=29143244/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1328708 CPUtime=1721.73 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 273775 0 0 0 172129 44 0 0 20 0 4 0 10152081 1360596992 273625 33554432000 4194304 16246674 140736150641696 140736150623616 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 332177 273625 875 2943 0 329071 0
[pid=12022/tid=12023] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1328708

[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/183 12142
/proc/meminfo: memFree=29142964/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1328708 CPUtime=1781.72 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 273775 0 0 0 178128 44 0 0 20 0 4 0 10152081 1360596992 273625 33554432000 4194304 16246674 140736150641696 140736150623616 5723016 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 332177 273625 875 2943 0 329071 0
[pid=12022/tid=12023] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1328708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.01 2.05 2.06 3/183 12142
/proc/meminfo: memFree=29142968/32872528 swapFree=681192/736380
[pid=12022] ppid=12019 vsize=1328708 CPUtime=1800.01 cores=1,3,5,7
/proc/12022/stat : 12022 (toysat) R 12019 12022 7985 0 -1 4202496 273775 0 0 0 179957 44 0 0 20 0 4 0 10152081 1360596992 273625 33554432000 4194304 16246674 140736150641696 140736150623616 12477931 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12022/statm: 332177 273625 875 2943 0 329071 0
[pid=12022/tid=12023] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12023/stat : 12023 (toysat) S 12019 12022 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639799131376 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12022/tid=12024] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12024/stat : 12024 (toysat) S 12019 12022 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639788641520 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12022/tid=12025] ppid=12019 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/12022/task/12025/stat : 12025 (toysat) S 12019 12022 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10152082 1360596992 273625 33554432000 4194304 16246674 140736150641696 139639778167984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1328708

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.03
CPU user time (s): 1799.58
CPU system time (s): 0.448931
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 1328708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.448931
maximum resident set size= 1094500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273775
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= 492
involuntary context switches= 1951

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.76712 second user time and 7.68683 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-16 14:43:48
IDJOB=4093316
IDBENCH=78699
IDSOLVER=2553
FILE ID=node112/4093316-1466081028
RUNJOBID= node112-1466075445-11101
PBS_JOBID= 19904024
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr--soft-66-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-4093316-1466081028/watcher-4093316-1466081028 -o /tmp/evaluation-result-4093316-1466081028/solver-4093316-1466081028 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466075445-11101 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093316-1466081028.wbo

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

MD5SUM BENCH= ea89038de81a2a24e795de2249a907ab
RANDOM SEED=186430420

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30226620 kB
Buffers:           26256 kB
Cached:            96780 kB
SwapCached:          696 kB
Active:          1163564 kB
Inactive:          47172 kB
Active(anon):    1089232 kB
Inactive(anon):      740 kB
Active(file):      74332 kB
Inactive(file):    46432 kB
Unevictable:      736380 kB
Mlocked:          681192 kB
SwapTotal:      67108856 kB
SwapFree:       67098028 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       1823300 kB
Mapped:            10588 kB
Shmem:                 0 kB
Slab:             566656 kB
SReclaimable:      10504 kB
SUnreclaim:       556152 kB
KernelStack:        1456 kB
PageTables:         7668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1969900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 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= 71716 MiB
End job on node112 at 2016-06-16 15:13:49