Trace number 4093397

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.01 1800.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-25-20--soft-33-100-0.wbo
MD5SUM48f3bbbf57f9425639eae287513fe205
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark9
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 variables500
Total number of constraints45
Number of soft constraints35
Number of constraints which are clauses25
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint25
Top cost 1410
Min constraint cost 1
Max constraint cost 83
Sum of constraints costs 1409
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T15:43:51+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-4093397-1466084630.wbo"]
0.00/0.01	c use --random-gen="4105228026 2739689596 957859372 84433921 666420552 1934788766 2739280896 566109834 4225004793 628757619 135533234 3528292281 300883669 2323578470 3334637064 3112044834 445940589 2172736639 1121718283 4100526654 2001885908 2609247469 4111177750 4073690556 776689607 3598729966 3115200724 3826476914 274386934 3141454676 1548756735 3238396774 2583692675 1248111477 3663279136 2754561341 3199757621 2570252722 2942124353 1524637375 929960397 4236301026 2208555063 1157227230 3449591767 462577473 2726497724 1495124314 4006813940 3249095906 714502365 4147045930 675707851 4014196798 1357517757 3313980768 891732336 3161920615 2399092597 1135065301 1381068191 2292032084 3107993043 2089373932 2483740883 1805701844 1161534179 2645517857 1665396458 3998647588 2609518916 631625154 3299942506 1301126811 1227161251 3630828877 2924089221 4068040427 455151212 2511854740 3260347123 1680386905 2695654569 1920721345 3375745883 4253398372 21279205 525519861 737556380 3426177375 661901026 18701352 2241741873 3878962645 3474743381 186549520 4134128345 3764845717 90010535 474010942 3699340447 318998304 2965592244 959612936 2560307544 534749665 2090639292 2880978719 2584932509 4027895055 2287911657 1148167616 540635264 2052105506 2654675369 2554633633 923462843 282899169 3274343930 3250860328 2212375459 1864768689 3238032728 1882299455 3095678986 3124428823 2271015672 88501608 1443578025 1000657069 959448443 1075553982 675920510 768212463 1358211241 2793308788 2079106753 1708556088 3606954829 186336777 3098100640 4086780624 2307706361 3567469356 3049331683 3969897039 2796497514 274447452 1410599791 3475665821 411400799 4035461107 3771996838 65029914 3408917524 2558120666 2482091878 968441566 3233564265 2963703028 4013540171 1471598676 4230485992 1469414155 3239314945 1465451081 2870096418 1656924484 2787962333 4001333986 571865365 1899022979 4249882895 3093809201 1874155766 3718256788 425322033 3441756101 3656680585 2548085471 1265100785 2792762779 1142798616 1136968393 3477731648 385982494 1954743626 1945409571 3697868140 1330091210 2250885494 3597237309 80302218 1785557497 1257753533 3772080015 3115272837 1642058864 3626813085 2871174543 2773240112 3184814292 3701399779 2080518349 3721921179 590986803 3856502723 2387570827 2570867191 581459766 2141006598 607742139 2028927108 3425750502 3823362637 1389736035 120744314 2812664656 3908253240 3241002982 3462793866 439681856 725489787 164663735 3753049629 1908268065 3678528442 1582624574 2119153440 2512696865 2122623005 3825232061 773958380 63912397 628596320 760183112 3153032679 3096109752 4066384139 539292494 2596135442 520731602 563556657 887382182 1278222886 3311833074 4256598078 4147523065 151041618 849458579 753792377 1518171692 1203024180 1567936206 1267945876 2966173251 255 362436" option to reproduce the execution
0.00/0.03	c #vars 500
0.00/0.03	c #constraints 45
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      193      0 |        0 |        0
0.00/0.04	c  0.0s |       0 |       68 |       11 |      193      0 |        0 |        0
0.00/0.04	c #cpu_time = 0.002s
0.00/0.04	c #wall_clock_time = 0.002s
0.00/0.04	c #decision = 68
0.00/0.04	c #random_decision = 0
0.00/0.04	c #conflict = 11
0.00/0.04	c #restart = 0
0.00/0.04	o 763
0.00/0.04	c BCD2: updating upper bound: 1409 -> 762
0.00/0.04	c BCD2: 0 <= obj <= 762
0.00/0.04	c BCD2: #cores=0, #unrelaxed=35, #relaxed=0, #hardened=0
0.00/0.04	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      193      0 |        0 |        0
0.00/0.07	c  0.0s |       1 |      265 |      100 |      213      0 |        0 |        0
0.09/0.12	c  0.1s |       2 |      695 |      250 |      235      0 |        0 |        0
0.19/0.22	c  0.2s |       3 |     1396 |      475 |      259      1 |        0 |        0
0.39/0.40	c  0.4s |       4 |     2121 |      813 |      285      2 |        0 |        0
0.59/0.66	c  0.6s |       5 |     3011 |     1320 |      314      3 |        0 |        0
0.99/1.09	c  1.0s |       6 |     4591 |     2081 |      346      6 |        0 |        0
1.59/1.60	c  1.6s |       7 |     6187 |     3223 |      381      9 |        0 |        0
2.29/2.37	c  2.3s |       8 |     8547 |     4936 |      420     13 |        0 |        0
3.39/3.48	c  3.4s |       9 |    12044 |     7506 |      463     19 |        0 |        0
5.19/5.26	c  5.2s |      10 |    17124 |    11361 |      510     28 |        0 |        0
7.19/7.26	c  7.2s |      10 |    22732 |    15861 |      510     37 |        0 |        0
7.79/7.84	c  7.8s |      11 |    24169 |    17144 |      561     40 |        0 |        0
9.79/9.87	c  9.8s |      11 |    28882 |    20944 |      561     48 |        0 |        0
11.79/11.89	c 11.9s |      11 |    33216 |    24844 |      561     55 |        0 |        0
12.39/12.45	c 12.4s |      12 |    34315 |    25819 |      618     57 |        0 |        0
14.48/14.50	c 14.5s |      12 |    39208 |    29719 |      618     64 |        0 |        0
16.49/16.51	c 16.5s |      12 |    44099 |    34019 |      618     72 |        0 |        0
18.48/18.52	c 18.5s |      12 |    48291 |    37719 |      618     79 |        0 |        0
19.08/19.19	c 19.2s |      13 |    49525 |    38832 |      680     81 |        0 |        0
21.18/21.21	c 21.2s |      13 |    55452 |    43732 |      680     90 |        0 |        0
23.19/23.24	c 23.2s |      13 |    60500 |    48132 |      680     98 |        0 |        0
25.18/25.29	c 25.3s |      13 |    65204 |    52332 |      680    105 |        0 |        0
27.28/27.31	c 27.3s |      13 |    69796 |    56432 |      680    112 |        0 |        0
28.18/28.24	c 28.2s |      14 |    71941 |    58352 |      749    116 |        0 |        0
30.18/30.25	c 30.2s |      14 |    76314 |    61952 |      749    121 |        0 |        0
32.28/32.30	c 32.3s |      14 |    80249 |    64952 |      749    126 |        0 |        0
34.28/34.33	c 34.3s |      14 |    83663 |    67752 |      749    131 |        0 |        0
36.39/36.44	c 36.4s |      14 |    86852 |    70352 |      749    136 |        0 |        0
38.38/38.49	c 38.5s |      14 |    90015 |    73052 |      749    140 |        0 |        0
40.48/40.54	c 40.5s |      14 |    93148 |    75752 |      749    145 |        0 |        0
42.48/42.59	c 42.6s |      14 |    96422 |    78452 |      749    149 |        0 |        0
44.58/44.63	c 44.6s |      14 |    99442 |    81052 |      749    153 |        0 |        0
46.58/46.67	c 46.6s |      14 |   103204 |    83752 |      749    158 |        0 |        0
48.68/48.70	c 48.7s |      14 |   105892 |    86052 |      749    162 |        0 |        0
49.78/49.89	c 49.9s |      15 |   107771 |    87632 |      824    164 |        0 |        0
51.88/51.91	c 51.9s |      15 |   112682 |    91532 |      824    170 |        0 |        0
53.88/53.94	c 53.9s |      15 |   116404 |    94832 |      824    176 |        0 |        0
55.88/55.96	c 55.9s |      15 |   120935 |    98832 |      824    182 |        0 |        0
57.88/57.99	c 58.0s |      15 |   125665 |   103032 |      824    188 |        0 |        0
59.88/59.99	c 60.0s |      15 |   129165 |   106132 |      824    193 |        0 |        0
61.97/62.03	c 62.0s |      15 |   132606 |   109132 |      824    198 |        0 |        0
63.97/64.07	c 64.0s |      15 |   136397 |   112532 |      824    203 |        0 |        0
66.09/66.13	c 66.1s |      15 |   140250 |   115932 |      824    209 |        0 |        0
68.08/68.18	c 68.1s |      15 |   144002 |   119232 |      824    214 |        0 |        0
70.18/70.24	c 70.2s |      15 |   147712 |   122532 |      824    219 |        0 |        0
72.18/72.28	c 72.2s |      15 |   151693 |   126032 |      824    225 |        0 |        0
74.28/74.30	c 74.3s |      15 |   155218 |   129232 |      824    230 |        0 |        0
75.68/75.76	c 75.7s |      16 |   157848 |   131552 |      907    233 |        0 |        0
77.68/77.78	c 77.7s |      16 |   162343 |   135052 |      907    238 |        0 |        0
79.78/79.80	c 79.8s |      16 |   166391 |   138652 |      907    244 |        0 |        0
81.78/81.82	c 81.8s |      16 |   170590 |   142352 |      907    249 |        0 |        0
83.78/83.86	c 83.8s |      16 |   174609 |   145952 |      907    254 |        0 |        0
85.79/85.87	c 85.8s |      16 |   178162 |   149152 |      907    259 |        0 |        0
87.78/87.88	c 87.8s |      16 |   181699 |   152352 |      907    264 |        0 |        0
89.78/89.89	c 89.9s |      16 |   185410 |   155652 |      907    269 |        0 |        0
91.88/91.92	c 91.9s |      16 |   189345 |   159152 |      907    274 |        0 |        0
93.88/93.94	c 93.9s |      16 |   193824 |   163152 |      907    280 |        0 |        0
95.88/95.98	c 95.9s |      16 |   198227 |   167152 |      907    286 |        0 |        0
97.88/98.00	c 98.0s |      16 |   202496 |   170952 |      907    291 |        0 |        0
99.98/100.02	c 100.0s |      16 |   206267 |   174352 |      907    296 |        0 |        0
101.98/102.02	c  101s |      16 |   209747 |   177452 |      907    301 |        0 |        0
103.98/104.08	c  104s |      16 |   213315 |   180652 |      907    306 |        0 |        0
105.98/106.09	c  106s |      16 |   216771 |   183752 |      907    310 |        0 |        0
108.07/108.12	c  108s |      16 |   220409 |   186952 |      907    315 |        0 |        0
110.08/110.13	c  110s |      16 |   223809 |   189952 |      907    319 |        0 |        0
112.07/112.18	c  112s |      16 |   226720 |   192552 |      907    323 |        0 |        0
114.17/114.20	c  114s |      16 |   230088 |   195552 |      907    328 |        0 |        0
115.27/115.39	c  115s |      17 |   232197 |   197432 |      998    330 |        0 |        0
117.37/117.41	c  117s |      17 |   237018 |   201432 |      998    336 |        0 |        0
119.37/119.42	c  119s |      17 |   241172 |   205032 |      998    341 |        0 |        0
121.37/121.48	c  121s |      17 |   244728 |   208232 |      998    345 |        0 |        0
123.47/123.51	c  123s |      17 |   248192 |   211332 |      998    349 |        0 |        0
125.48/125.52	c  125s |      17 |   251797 |   214532 |      998    354 |        0 |        0
127.47/127.56	c  127s |      17 |   255199 |   217532 |      998    358 |        0 |        0
129.47/129.57	c  129s |      17 |   258566 |   220532 |      998    362 |        0 |        0
131.47/131.58	c  131s |      17 |   261773 |   223432 |      998    366 |        0 |        0
133.57/133.62	c  133s |      17 |   265085 |   226332 |      998    370 |        0 |        0
135.57/135.64	c  135s |      17 |   268302 |   229232 |      998    374 |        0 |        0
137.67/137.71	c  137s |      17 |   271303 |   231932 |      998    378 |        0 |        0
139.67/139.77	c  139s |      17 |   274484 |   234732 |      998    382 |        0 |        0
141.77/141.80	c  141s |      17 |   277685 |   237632 |      998    386 |        0 |        0
143.77/143.84	c  143s |      17 |   281386 |   240932 |      998    390 |        0 |        0
145.77/145.84	c  145s |      17 |   284525 |   243732 |      998    394 |        0 |        0
147.77/147.84	c  147s |      17 |   287428 |   246332 |      998    398 |        0 |        0
149.77/149.84	c  149s |      17 |   290690 |   249232 |      998    402 |        0 |        0
151.77/151.88	c  151s |      17 |   293867 |   252032 |      998    405 |        0 |        0
153.86/153.91	c  153s |      17 |   297112 |   254932 |      998    409 |        0 |        0
155.86/155.91	c  155s |      17 |   300396 |   257832 |      998    413 |        0 |        0
157.86/157.91	c  157s |      17 |   303517 |   260632 |      998    417 |        0 |        0
159.86/159.93	c  159s |      17 |   307067 |   263732 |      998    421 |        0 |        0
161.86/161.94	c  161s |      17 |   310577 |   266832 |      998    426 |        0 |        0
163.87/164.00	c  163s |      17 |   313668 |   269632 |      998    430 |        0 |        0
165.96/166.03	c  165s |      17 |   317461 |   272932 |      998    434 |        0 |        0
167.96/168.07	c  168s |      17 |   320905 |   276032 |      998    438 |        0 |        0
169.96/170.09	c  170s |      17 |   324076 |   278932 |      998    442 |        0 |        0
172.06/172.11	c  172s |      17 |   327201 |   281732 |      998    446 |        0 |        0
174.06/174.13	c  174s |      17 |   330086 |   284332 |      998    450 |        0 |        0
176.07/176.13	c  176s |      17 |   333439 |   287332 |      998    454 |        0 |        0
178.06/178.14	c  178s |      17 |   336728 |   290332 |      998    458 |        0 |        0
180.06/180.15	c  180s |      17 |   340426 |   293632 |      998    463 |        0 |        0
181.76/181.89	c  181s |      18 |   343296 |   296252 |     1098    466 |        0 |        0
183.86/183.91	c  183s |      18 |   347546 |   299752 |     1098    471 |        0 |        0
185.86/185.93	c  185s |      18 |   351715 |   303452 |     1098    476 |        0 |        0
187.85/187.96	c  187s |      18 |   355356 |   306752 |     1098    480 |        0 |        0
189.85/189.98	c  189s |      18 |   358995 |   310052 |     1098    484 |        0 |        0
191.96/192.05	c  192s |      18 |   362582 |   313252 |     1098    488 |        0 |        0
193.96/194.09	c  194s |      18 |   366012 |   316352 |     1098    492 |        0 |        0
196.06/196.14	c  196s |      18 |   369064 |   319152 |     1098    496 |        0 |        0
198.07/198.14	c  198s |      18 |   372386 |   322052 |     1098    500 |        0 |        0
200.06/200.19	c  200s |      18 |   376138 |   325352 |     1098    504 |        0 |        0
202.16/202.20	c  202s |      18 |   379582 |   328452 |     1098    508 |        0 |        0
204.16/204.23	c  204s |      18 |   382869 |   331452 |     1098    512 |        0 |        0
206.16/206.25	c  206s |      18 |   385856 |   334152 |     1098    515 |        0 |        0
208.16/208.29	c  208s |      18 |   388921 |   336952 |     1098    519 |        0 |        0
210.26/210.33	c  210s |      18 |   392618 |   340152 |     1098    523 |        0 |        0
212.26/212.37	c  212s |      18 |   396414 |   343452 |     1098    527 |        0 |        0
214.36/214.41	c  214s |      18 |   399439 |   346152 |     1098    531 |        0 |        0
216.36/216.44	c  216s |      18 |   402560 |   348952 |     1098    534 |        0 |        0
218.36/218.49	c  218s |      18 |   405710 |   351752 |     1098    538 |        0 |        0
220.46/220.55	c  220s |      18 |   408838 |   354552 |     1098    542 |        0 |        0
222.56/222.61	c  222s |      18 |   412006 |   357352 |     1098    545 |        0 |        0
224.55/224.68	c  224s |      18 |   414966 |   359952 |     1098    549 |        0 |        0
226.66/226.72	c  226s |      18 |   418016 |   362652 |     1098    552 |        0 |        0
228.65/228.74	c  228s |      18 |   420945 |   365252 |     1098    555 |        0 |        0
230.65/230.78	c  230s |      18 |   423855 |   367852 |     1098    559 |        0 |        0
232.75/232.83	c  232s |      18 |   426862 |   370552 |     1098    562 |        0 |        0
234.75/234.83	c  234s |      18 |   429613 |   373052 |     1098    565 |        0 |        0
236.75/236.83	c  236s |      18 |   432851 |   375952 |     1098    569 |        0 |        0
238.76/238.87	c  238s |      18 |   435946 |   378752 |     1098    573 |        0 |        0
240.75/240.90	c  240s |      18 |   439369 |   381652 |     1098    577 |        0 |        0
242.85/242.90	c  242s |      18 |   442370 |   384352 |     1098    580 |        0 |        0
244.85/244.97	c  244s |      18 |   445179 |   386952 |     1098    583 |        0 |        0
246.95/247.04	c  247s |      18 |   448681 |   389952 |     1098    587 |        0 |        0
248.95/249.05	c  249s |      18 |   451643 |   392652 |     1098    591 |        0 |        0
251.05/251.11	c  251s |      18 |   454483 |   395252 |     1098    594 |        0 |        0
253.05/253.17	c  253s |      18 |   457493 |   397952 |     1098    598 |        0 |        0
255.05/255.20	c  255s |      18 |   460244 |   400452 |     1098    601 |        0 |        0
257.15/257.22	c  257s |      18 |   463592 |   403352 |     1098    605 |        0 |        0
259.15/259.23	c  259s |      18 |   466505 |   405952 |     1098    608 |        0 |        0
261.15/261.26	c  261s |      18 |   469490 |   408552 |     1098    611 |        0 |        0
263.15/263.26	c  263s |      18 |   472340 |   411052 |     1098    615 |        0 |        0
265.25/265.30	c  265s |      18 |   474765 |   413252 |     1098    617 |        0 |        0
267.25/267.31	c  267s |      18 |   477738 |   415852 |     1098    621 |        0 |        0
269.25/269.38	c  269s |      18 |   480886 |   418652 |     1098    624 |        0 |        0
271.34/271.42	c  271s |      18 |   483933 |   421352 |     1098    628 |        0 |        0
273.34/273.46	c  273s |      18 |   486678 |   423852 |     1098    631 |        0 |        0
275.34/275.49	c  275s |      18 |   489545 |   426352 |     1098    634 |        0 |        0
277.44/277.58	c  277s |      18 |   492416 |   428852 |     1098    638 |        0 |        0
279.54/279.66	c  279s |      18 |   495077 |   431252 |     1098    641 |        0 |        0
281.55/281.70	c  281s |      18 |   498462 |   434152 |     1098    644 |        0 |        0
283.64/283.72	c  283s |      18 |   501483 |   436852 |     1098    648 |        0 |        0
285.64/285.78	c  285s |      18 |   504802 |   439752 |     1098    652 |        0 |        0
287.74/287.82	c  287s |      18 |   507845 |   442452 |     1208    655 |        0 |        0
289.44/289.53	c  289s |      19 |   510154 |   444482 |     1208    657 |        0 |        0
291.45/291.55	c  291s |      19 |   516581 |   449982 |     1208    665 |        0 |        0
293.44/293.56	c  293s |      19 |   522461 |   455082 |     1208    672 |        0 |        0
295.54/295.63	c  295s |      19 |   525917 |   458182 |     1208    675 |        0 |        0
297.55/297.64	c  297s |      19 |   529079 |   460982 |     1208    679 |        0 |        0
299.65/299.70	c  299s |      19 |   532302 |   463882 |     1208    682 |        0 |        0
301.65/301.74	c  301s |      19 |   535397 |   466682 |     1208    686 |        0 |        0
303.65/303.76	c  303s |      19 |   538681 |   469582 |     1208    689 |        0 |        0
305.75/305.83	c  305s |      19 |   541800 |   472382 |     1208    693 |        0 |        0
307.74/307.87	c  307s |      19 |   544875 |   475082 |     1208    696 |        0 |        0
309.84/309.91	c  309s |      19 |   547771 |   477682 |     1208    699 |        0 |        0
311.84/311.97	c  311s |      19 |   550643 |   480282 |     1208    702 |        0 |        0
313.94/314.00	c  313s |      19 |   553177 |   482582 |     1208    705 |        0 |        0
315.94/316.03	c  315s |      19 |   556389 |   485382 |     1208    708 |        0 |        0
317.95/318.07	c  318s |      19 |   559375 |   488082 |     1208    712 |        0 |        0
320.05/320.10	c  320s |      19 |   562341 |   490782 |     1208    715 |        0 |        0
322.04/322.16	c  322s |      19 |   565310 |   493482 |     1208    718 |        0 |        0
324.14/324.20	c  324s |      19 |   568181 |   496082 |     1208    721 |        0 |        0
326.14/326.21	c  326s |      19 |   571027 |   498682 |     1208    724 |        0 |        0
328.14/328.29	c  328s |      19 |   573857 |   501282 |     1208    728 |        0 |        0
330.24/330.37	c  330s |      19 |   577222 |   504182 |     1208    731 |        0 |        0
332.34/332.41	c  332s |      19 |   580333 |   506982 |     1208    734 |        0 |        0
334.34/334.45	c  334s |      19 |   583216 |   509582 |     1208    738 |        0 |        0
336.34/336.46	c  336s |      19 |   586220 |   512182 |     1208    741 |        0 |        0
338.34/338.47	c  338s |      19 |   589462 |   515082 |     1208    744 |        0 |        0
340.44/340.52	c  340s |      19 |   592324 |   517682 |     1208    747 |        0 |        0
342.43/342.59	c  342s |      19 |   595345 |   520382 |     1208    751 |        0 |        0
344.53/344.63	c  344s |      19 |   598337 |   523082 |     1208    754 |        0 |        0
346.54/346.68	c  346s |      19 |   601297 |   525682 |     1208    757 |        0 |        0
348.64/348.71	c  348s |      19 |   604436 |   528482 |     1208    761 |        0 |        0
350.63/350.75	c  350s |      19 |   607762 |   531482 |     1208    764 |        0 |        0
352.63/352.78	c  352s |      19 |   610890 |   534382 |     1208    768 |        0 |        0
354.63/354.78	c  354s |      19 |   613903 |   537082 |     1208    771 |        0 |        0
356.73/356.81	c  356s |      19 |   617125 |   539982 |     1208    775 |        0 |        0
358.73/358.83	c  358s |      19 |   620094 |   542682 |     1208    778 |        0 |        0
360.74/360.84	c  360s |      19 |   622801 |   545182 |     1208    781 |        0 |        0
362.73/362.86	c  362s |      19 |   625853 |   547882 |     1208    784 |        0 |        0
364.83/364.94	c  364s |      19 |   628981 |   550682 |     1208    788 |        0 |        0
366.83/366.95	c  366s |      19 |   631850 |   553182 |     1208    791 |        0 |        0
368.93/369.02	c  368s |      19 |   634764 |   555782 |     1208    794 |        0 |        0
370.93/371.03	c  370s |      19 |   637759 |   558382 |     1208    797 |        0 |        0
372.93/373.07	c  373s |      19 |   640317 |   560682 |     1208    800 |        0 |        0
375.03/375.11	c  375s |      19 |   643135 |   563182 |     1208    803 |        0 |        0
377.03/377.18	c  377s |      19 |   645706 |   565482 |     1208    806 |        0 |        0
379.13/379.26	c  379s |      19 |   648509 |   567882 |     1208    809 |        0 |        0
381.23/381.34	c  381s |      19 |   651442 |   570482 |     1208    812 |        0 |        0
383.23/383.37	c  383s |      19 |   654287 |   572982 |     1208    815 |        0 |        0
385.23/385.38	c  385s |      19 |   657056 |   575482 |     1208    818 |        0 |        0
387.33/387.42	c  387s |      19 |   659593 |   577782 |     1208    821 |        0 |        0
389.34/389.48	c  389s |      19 |   662361 |   580282 |     1208    824 |        0 |        0
391.33/391.48	c  391s |      19 |   665295 |   582782 |     1208    827 |        0 |        0
393.43/393.54	c  393s |      19 |   668529 |   585582 |     1208    830 |        0 |        0
395.53/395.62	c  395s |      19 |   671322 |   588082 |     1208    833 |        0 |        0
397.53/397.67	c  397s |      19 |   673796 |   590282 |     1208    836 |        0 |        0
399.63/399.72	c  399s |      19 |   676594 |   592782 |     1208    839 |        0 |        0
401.63/401.75	c  401s |      19 |   679100 |   595082 |     1208    842 |        0 |        0
403.74/403.83	c  403s |      19 |   681773 |   597482 |     1208    844 |        0 |        0
405.73/405.83	c  405s |      19 |   684088 |   599582 |     1208    847 |        0 |        0
407.83/407.90	c  407s |      19 |   686688 |   601882 |     1208    850 |        0 |        0
409.83/409.93	c  409s |      19 |   689215 |   604182 |     1208    853 |        0 |        0
411.93/412.01	c  411s |      19 |   691710 |   606482 |     1208    855 |        0 |        0
413.93/414.04	c  414s |      19 |   693986 |   608582 |     1208    858 |        0 |        0
415.93/416.06	c  416s |      19 |   696171 |   610582 |     1208    860 |        0 |        0
417.94/418.10	c  418s |      19 |   698247 |   612482 |     1208    863 |        0 |        0
420.03/420.17	c  420s |      19 |   700190 |   614282 |     1208    865 |        0 |        0
422.13/422.20	c  422s |      19 |   703175 |   616982 |     1208    868 |        0 |        0
424.13/424.25	c  424s |      19 |   705869 |   619382 |     1208    871 |        0 |        0
426.13/426.28	c  426s |      19 |   708378 |   621682 |     1208    874 |        0 |        0
428.23/428.32	c  428s |      19 |   710814 |   623882 |     1208    877 |        0 |        0
430.23/430.37	c  430s |      19 |   713236 |   626082 |     1208    879 |        0 |        0
432.23/432.40	c  432s |      19 |   715782 |   628382 |     1208    882 |        0 |        0
434.32/434.43	c  434s |      19 |   718699 |   630982 |     1208    885 |        0 |        0
436.32/436.46	c  436s |      19 |   721343 |   633382 |     1208    888 |        0 |        0
438.42/438.50	c  438s |      19 |   723848 |   635682 |     1208    891 |        0 |        0
440.42/440.55	c  440s |      19 |   726253 |   637882 |     1208    894 |        0 |        0
442.52/442.61	c  442s |      19 |   728897 |   640282 |     1208    896 |        0 |        0
444.52/444.66	c  444s |      19 |   731432 |   642582 |     1208    899 |        0 |        0
446.53/446.70	c  446s |      19 |   734045 |   644982 |     1208    902 |        0 |        0
448.62/448.74	c  448s |      19 |   736453 |   647182 |     1208    905 |        0 |        0
450.62/450.79	c  450s |      19 |   739076 |   649582 |     1208    908 |        0 |        0
452.72/452.84	c  452s |      19 |   741747 |   651982 |     1208    911 |        0 |        0
454.72/454.86	c  454s |      19 |   744645 |   654482 |     1208    914 |        0 |        0
456.82/456.95	c  456s |      19 |   747307 |   656882 |     1208    917 |        0 |        0
458.82/458.96	c  458s |      19 |   749850 |   659182 |     1208    919 |        0 |        0
460.83/460.96	c  460s |      19 |   752237 |   661382 |     1208    922 |        0 |        0
462.82/462.97	c  462s |      19 |   754661 |   663582 |     1329    925 |        0 |        0
464.82/464.99	c  464s |      19 |   757036 |   665782 |     1329    927 |        0 |        0
465.92/466.03	c  465s |      20 |   758178 |   666827 |     1329    928 |        0 |        0
467.92/468.04	c  467s |      20 |   762260 |   669927 |     1329    932 |        0 |        0
469.92/470.09	c  470s |      20 |   765749 |   672927 |     1329    935 |        0 |        0
472.02/472.15	c  472s |      20 |   768958 |   675827 |     1329    938 |        0 |        0
474.02/474.20	c  474s |      20 |   772171 |   678727 |     1329    942 |        0 |        0
476.12/476.24	c  476s |      20 |   775340 |   681527 |     1329    945 |        0 |        0
478.12/478.24	c  478s |      20 |   778310 |   684127 |     1329    948 |        0 |        0
480.12/480.25	c  480s |      20 |   780996 |   686627 |     1329    951 |        0 |        0
482.21/482.31	c  482s |      20 |   783739 |   689127 |     1329    953 |        0 |        0
484.21/484.33	c  484s |      20 |   786346 |   691527 |     1329    956 |        0 |        0
486.22/486.35	c  486s |      20 |   788898 |   693827 |     1329    959 |        0 |        0
488.21/488.36	c  488s |      20 |   791227 |   695927 |     1329    961 |        0 |        0
490.21/490.39	c  490s |      20 |   793764 |   698227 |     1329    964 |        0 |        0
492.31/492.40	c  492s |      20 |   796517 |   700727 |     1329    967 |        0 |        0
494.31/494.43	c  494s |      20 |   800080 |   703827 |     1329    970 |        0 |        0
496.31/496.43	c  496s |      20 |   803460 |   706827 |     1329    973 |        0 |        0
498.32/498.44	c  498s |      20 |   806821 |   709827 |     1329    977 |        0 |        0
500.31/500.44	c  500s |      20 |   810358 |   712927 |     1329    980 |        0 |        0
502.41/502.50	c  502s |      20 |   813944 |   716127 |     1329    984 |        0 |        0
504.41/504.56	c  504s |      20 |   817429 |   719227 |     1329    987 |        0 |        0
506.51/506.60	c  506s |      20 |   820885 |   722327 |     1329    991 |        0 |        0
508.51/508.61	c  508s |      20 |   824360 |   725327 |     1329    994 |        0 |        0
510.51/510.63	c  510s |      20 |   827517 |   728127 |     1329    997 |        0 |        0
512.51/512.67	c  512s |      20 |   830590 |   730827 |     1329   1001 |        0 |        0
514.61/514.72	c  514s |      20 |   833741 |   733627 |     1329   1004 |        0 |        0
516.61/516.76	c  516s |      20 |   836704 |   736327 |     1329   1007 |        0 |        0
518.61/518.78	c  518s |      20 |   839806 |   739127 |     1329   1010 |        0 |        0
520.71/520.85	c  520s |      20 |   842880 |   741927 |     1329   1013 |        0 |        0
522.80/522.91	c  522s |      20 |   845901 |   744727 |     1329   1016 |        0 |        0
524.80/524.92	c  524s |      20 |   848583 |   747127 |     1329   1019 |        0 |        0
526.81/526.92	c  526s |      20 |   851483 |   749727 |     1329   1022 |        0 |        0
528.90/529.02	c  528s |      20 |   854142 |   752127 |     1329   1025 |        0 |        0
530.90/531.09	c  531s |      20 |   857048 |   754727 |     1329   1028 |        0 |        0
532.90/533.09	c  533s |      20 |   859845 |   757227 |     1329   1030 |        0 |        0
535.00/535.11	c  535s |      20 |   862545 |   759627 |     1329   1033 |        0 |        0
537.00/537.14	c  537s |      20 |   865145 |   762027 |     1329   1036 |        0 |        0
539.01/539.15	c  539s |      20 |   867602 |   764227 |     1329   1038 |        0 |        0
541.00/541.19	c  541s |      20 |   870832 |   767127 |     1329   1042 |        0 |        0
543.10/543.26	c  543s |      20 |   873668 |   769727 |     1329   1045 |        0 |        0
545.10/545.28	c  545s |      20 |   876305 |   772127 |     1329   1047 |        0 |        0
547.20/547.34	c  547s |      20 |   878581 |   774227 |     1329   1050 |        0 |        0
549.20/549.36	c  549s |      20 |   881362 |   776727 |     1329   1052 |        0 |        0
551.20/551.38	c  551s |      20 |   884313 |   779427 |     1329   1055 |        0 |        0
553.31/553.45	c  553s |      20 |   887296 |   782127 |     1329   1059 |        0 |        0
555.41/555.51	c  555s |      20 |   890198 |   784727 |     1329   1061 |        0 |        0
557.41/557.54	c  557s |      20 |   893058 |   787327 |     1329   1064 |        0 |        0
559.41/559.54	c  559s |      20 |   895425 |   789527 |     1329   1067 |        0 |        0
561.51/561.61	c  561s |      20 |   898061 |   791927 |     1329   1070 |        0 |        0
563.51/563.62	c  563s |      20 |   900272 |   793927 |     1329   1072 |        0 |        0
565.51/565.69	c  565s |      20 |   903318 |   796627 |     1329   1075 |        0 |        0
567.61/567.73	c  567s |      20 |   906418 |   799427 |     1329   1078 |        0 |        0
569.61/569.77	c  569s |      20 |   909499 |   802227 |     1329   1081 |        0 |        0
571.71/571.83	c  571s |      20 |   912594 |   805027 |     1329   1084 |        0 |        0
573.70/573.89	c  573s |      20 |   915469 |   807627 |     1329   1087 |        0 |        0
575.80/575.95	c  575s |      20 |   918200 |   810127 |     1329   1090 |        0 |        0
577.90/578.03	c  577s |      20 |   921071 |   812727 |     1329   1093 |        0 |        0
579.90/580.04	c  579s |      20 |   923827 |   815227 |     1329   1096 |        0 |        0
582.00/582.10	c  582s |      20 |   926974 |   818027 |     1329   1099 |        0 |        0
584.01/584.14	c  584s |      20 |   930291 |   821027 |     1329   1102 |        0 |        0
586.00/586.19	c  586s |      20 |   933611 |   823927 |     1329   1106 |        0 |        0
588.10/588.24	c  588s |      20 |   936498 |   826527 |     1329   1109 |        0 |        0
590.10/590.26	c  590s |      20 |   939440 |   829227 |     1329   1112 |        0 |        0
592.20/592.32	c  592s |      20 |   942090 |   831627 |     1329   1114 |        0 |        0
594.20/594.36	c  594s |      20 |   944738 |   834027 |     1329   1117 |        0 |        0
596.30/596.43	c  596s |      20 |   947699 |   836627 |     1329   1120 |        0 |        0
598.31/598.45	c  598s |      20 |   950490 |   839127 |     1329   1123 |        0 |        0
600.40/600.50	c  600s |      20 |   953157 |   841527 |     1329   1126 |        0 |        0
602.40/602.57	c  602s |      20 |   955795 |   843927 |     1329   1128 |        0 |        0
604.50/604.60	c  604s |      20 |   958194 |   846127 |     1329   1131 |        0 |        0
606.50/606.62	c  606s |      20 |   960493 |   848227 |     1329   1133 |        0 |        0
608.60/608.74	c  608s |      20 |   963263 |   850727 |     1329   1136 |        0 |        0
610.60/610.78	c  610s |      20 |   965697 |   852927 |     1329   1139 |        0 |        0
612.60/612.78	c  612s |      20 |   968542 |   855427 |     1329   1141 |        0 |        0
614.60/614.79	c  614s |      20 |   971503 |   858127 |     1329   1144 |        0 |        0
616.70/616.88	c  616s |      20 |   974222 |   860627 |     1329   1147 |        0 |        0
618.70/618.89	c  618s |      20 |   977109 |   863227 |     1329   1150 |        0 |        0
620.80/620.96	c  620s |      20 |   979828 |   865727 |     1329   1153 |        0 |        0
622.90/623.03	c  622s |      20 |   982543 |   868227 |     1329   1156 |        0 |        0
624.90/625.05	c  625s |      20 |   985104 |   870527 |     1329   1159 |        0 |        0
627.00/627.12	c  627s |      20 |   987852 |   873027 |     1329   1161 |        0 |        0
628.99/629.14	c  629s |      20 |   990533 |   875427 |     1329   1164 |        0 |        0
630.99/631.18	c  631s |      20 |   993289 |   877927 |     1329   1167 |        0 |        0
633.09/633.26	c  633s |      20 |   995970 |   880327 |     1329   1170 |        0 |        0
635.09/635.29	c  635s |      20 |   998733 |   882827 |     1329   1172 |        0 |        0
637.19/637.35	c  637s |      20 |  1001514 |   885327 |     1329   1175 |        0 |        0
639.29/639.43	c  639s |      20 |  1004260 |   887827 |     1329   1178 |        0 |        0
641.30/641.46	c  641s |      20 |  1007071 |   890327 |     1329   1181 |        0 |        0
643.29/643.50	c  643s |      20 |  1009618 |   892627 |     1329   1183 |        0 |        0
645.39/645.57	c  645s |      20 |  1012251 |   895027 |     1329   1186 |        0 |        0
647.49/647.62	c  647s |      20 |  1014800 |   897327 |     1329   1189 |        0 |        0
649.49/649.65	c  649s |      20 |  1017222 |   899527 |     1329   1191 |        0 |        0
651.59/651.70	c  651s |      20 |  1020071 |   902027 |     1329   1194 |        0 |        0
653.59/653.75	c  653s |      20 |  1023141 |   904727 |     1329   1197 |        0 |        0
655.69/655.81	c  655s |      20 |  1026019 |   907327 |     1329   1200 |        0 |        0
657.69/657.87	c  657s |      20 |  1028930 |   909927 |     1329   1203 |        0 |        0
659.79/659.92	c  659s |      20 |  1031330 |   912127 |     1329   1206 |        0 |        0
661.79/661.94	c  661s |      20 |  1034088 |   914627 |     1329   1208 |        0 |        0
663.89/664.00	c  663s |      20 |  1036980 |   917227 |     1329   1211 |        0 |        0
665.88/666.01	c  665s |      20 |  1039744 |   919727 |     1329   1214 |        0 |        0
667.88/668.02	c  667s |      20 |  1042545 |   922227 |     1329   1217 |        0 |        0
669.89/670.05	c  670s |      20 |  1045165 |   924627 |     1329   1220 |        0 |        0
671.99/672.12	c  672s |      20 |  1047875 |   927027 |     1329   1222 |        0 |        0
673.98/674.17	c  674s |      20 |  1050285 |   929227 |     1329   1225 |        0 |        0
676.08/676.22	c  676s |      20 |  1053140 |   931727 |     1329   1228 |        0 |        0
678.08/678.23	c  678s |      20 |  1055702 |   934027 |     1329   1230 |        0 |        0
680.08/680.25	c  680s |      20 |  1058776 |   936627 |     1329   1233 |        0 |        0
682.18/682.31	c  682s |      20 |  1061997 |   939527 |     1329   1236 |        0 |        0
684.19/684.34	c  684s |      20 |  1065166 |   942327 |     1329   1240 |        0 |        0
686.18/686.39	c  686s |      20 |  1068189 |   945027 |     1329   1243 |        0 |        0
688.28/688.40	c  688s |      20 |  1071104 |   947627 |     1329   1246 |        0 |        0
690.28/690.42	c  690s |      20 |  1074117 |   950327 |     1329   1249 |        0 |        0
692.28/692.42	c  692s |      20 |  1076760 |   952727 |     1329   1251 |        0 |        0
694.28/694.43	c  694s |      20 |  1079283 |   955027 |     1329   1254 |        0 |        0
696.29/696.47	c  696s |      20 |  1082180 |   957627 |     1329   1257 |        0 |        0
698.39/698.50	c  698s |      20 |  1085339 |   960427 |     1329   1260 |        0 |        0
700.38/700.55	c  700s |      20 |  1088333 |   963127 |     1329   1263 |        0 |        0
702.48/702.60	c  702s |      20 |  1091087 |   965627 |     1329   1266 |        0 |        0
704.48/704.65	c  704s |      20 |  1093923 |   968227 |     1329   1269 |        0 |        0
706.58/706.72	c  706s |      20 |  1096459 |   970527 |     1329   1272 |        0 |        0
708.58/708.77	c  708s |      20 |  1099038 |   972927 |     1329   1274 |        0 |        0
710.58/710.77	c  710s |      20 |  1102775 |   975627 |     1329   1277 |        0 |        0
712.58/712.79	c  712s |      20 |  1106522 |   978727 |     1329   1281 |        0 |        0
714.68/714.87	c  714s |      20 |  1110416 |   981927 |     1329   1285 |        0 |        0
716.78/716.90	c  716s |      20 |  1114084 |   985027 |     1329   1288 |        0 |        0
718.78/718.91	c  718s |      20 |  1117730 |   988127 |     1329   1292 |        0 |        0
720.77/720.93	c  720s |      20 |  1121159 |   991127 |     1329   1295 |        0 |        0
722.77/722.98	c  722s |      20 |  1124245 |   993827 |     1462   1298 |        0 |        0
724.88/725.02	c  724s |      20 |  1127018 |   996327 |     1462   1301 |        0 |        0
726.87/727.04	c  727s |      20 |  1130228 |   999227 |     1462   1304 |        0 |        0
727.67/727.88	c  727s |      21 |  1131485 |  1000345 |     1462   1305 |        0 |        0
729.77/729.93	c  729s |      21 |  1135399 |  1003545 |     1462   1308 |        0 |        0
731.77/731.97	c  731s |      21 |  1138575 |  1006345 |     1462   1311 |        0 |        0
733.77/733.98	c  733s |      21 |  1141569 |  1009045 |     1462   1314 |        0 |        0
735.88/736.03	c  735s |      21 |  1144305 |  1011545 |     1462   1316 |        0 |        0
737.87/738.06	c  738s |      21 |  1147164 |  1014145 |     1462   1319 |        0 |        0
739.86/740.09	c  740s |      21 |  1149797 |  1016545 |     1462   1322 |        0 |        0
741.96/742.13	c  742s |      21 |  1152542 |  1019045 |     1462   1324 |        0 |        0
743.96/744.16	c  744s |      21 |  1155169 |  1021445 |     1462   1327 |        0 |        0
745.96/746.16	c  746s |      21 |  1157779 |  1023745 |     1462   1329 |        0 |        0
748.06/748.21	c  748s |      21 |  1160765 |  1026345 |     1462   1332 |        0 |        0
750.07/750.22	c  750s |      21 |  1163828 |  1029045 |     1462   1335 |        0 |        0
752.16/752.30	c  752s |      21 |  1166733 |  1031645 |     1462   1337 |        0 |        0
754.16/754.35	c  754s |      21 |  1169538 |  1034145 |     1462   1340 |        0 |        0
756.16/756.36	c  756s |      21 |  1172032 |  1036445 |     1462   1342 |        0 |        0
758.16/758.38	c  758s |      21 |  1174776 |  1038845 |     1462   1345 |        0 |        0
760.26/760.44	c  760s |      21 |  1177482 |  1041245 |     1462   1347 |        0 |        0
762.27/762.47	c  762s |      21 |  1180293 |  1043745 |     1462   1350 |        0 |        0
764.37/764.54	c  764s |      21 |  1183480 |  1046545 |     1462   1353 |        0 |        0
766.46/766.60	c  766s |      21 |  1186988 |  1049645 |     1462   1356 |        0 |        0
768.46/768.67	c  768s |      21 |  1189980 |  1052345 |     1462   1359 |        0 |        0
770.56/770.71	c  770s |      21 |  1192652 |  1054745 |     1462   1362 |        0 |        0
772.56/772.74	c  772s |      21 |  1195337 |  1057145 |     1462   1364 |        0 |        0
774.56/774.77	c  774s |      21 |  1198304 |  1059845 |     1462   1367 |        0 |        0
776.65/776.83	c  776s |      21 |  1201474 |  1062645 |     1462   1370 |        0 |        0
778.66/778.85	c  778s |      21 |  1204337 |  1065245 |     1462   1373 |        0 |        0
780.75/780.94	c  780s |      21 |  1207339 |  1067945 |     1462   1376 |        0 |        0
782.75/782.99	c  782s |      21 |  1210405 |  1070645 |     1462   1378 |        0 |        0
784.85/785.01	c  784s |      21 |  1213101 |  1073045 |     1462   1381 |        0 |        0
786.85/787.04	c  787s |      21 |  1215984 |  1075545 |     1462   1383 |        0 |        0
788.84/789.07	c  789s |      21 |  1218431 |  1077745 |     1462   1386 |        0 |        0
790.94/791.15	c  791s |      21 |  1221342 |  1080345 |     1462   1389 |        0 |        0
792.95/793.19	c  793s |      21 |  1223922 |  1082645 |     1462   1391 |        0 |        0
795.04/795.20	c  795s |      21 |  1226274 |  1084745 |     1462   1393 |        0 |        0
797.04/797.24	c  797s |      21 |  1228806 |  1087045 |     1462   1396 |        0 |        0
799.04/799.29	c  799s |      21 |  1231608 |  1089545 |     1462   1398 |        0 |        0
801.14/801.32	c  801s |      21 |  1234263 |  1091945 |     1462   1401 |        0 |        0
803.24/803.41	c  803s |      21 |  1236919 |  1094345 |     1462   1403 |        0 |        0
805.24/805.41	c  805s |      21 |  1239237 |  1096445 |     1462   1405 |        0 |        0
807.24/807.42	c  807s |      21 |  1241406 |  1098445 |     1462   1408 |        0 |        0
809.23/809.46	c  809s |      21 |  1243498 |  1100345 |     1462   1410 |        0 |        0
811.33/811.51	c  811s |      21 |  1246277 |  1102845 |     1462   1412 |        0 |        0
813.33/813.52	c  813s |      21 |  1248868 |  1105245 |     1462   1415 |        0 |        0
815.33/815.57	c  815s |      21 |  1251531 |  1107645 |     1462   1417 |        0 |        0
817.33/817.59	c  817s |      21 |  1254185 |  1109845 |     1462   1420 |        0 |        0
819.33/819.60	c  819s |      21 |  1256825 |  1112145 |     1462   1422 |        0 |        0
821.43/821.66	c  821s |      21 |  1259364 |  1114345 |     1462   1424 |        0 |        0
823.43/823.69	c  823s |      21 |  1261853 |  1116545 |     1462   1427 |        0 |        0
825.53/825.74	c  825s |      21 |  1264257 |  1118645 |     1462   1429 |        0 |        0
827.53/827.77	c  827s |      21 |  1266503 |  1120645 |     1462   1431 |        0 |        0
829.62/829.84	c  829s |      21 |  1268995 |  1122845 |     1462   1433 |        0 |        0
831.72/831.96	c  831s |      21 |  1271480 |  1125045 |     1462   1436 |        0 |        0
833.73/833.99	c  833s |      21 |  1274066 |  1127245 |     1462   1438 |        0 |        0
835.83/836.02	c  835s |      21 |  1276341 |  1129245 |     1462   1440 |        0 |        0
837.82/838.04	c  838s |      21 |  1278428 |  1131145 |     1462   1442 |        0 |        0
839.82/840.09	c  840s |      21 |  1280272 |  1132845 |     1462   1444 |        0 |        0
841.93/842.10	c  842s |      21 |  1282534 |  1134845 |     1462   1446 |        0 |        0
843.93/844.14	c  844s |      21 |  1284639 |  1136745 |     1462   1448 |        0 |        0
845.92/846.16	c  846s |      21 |  1286758 |  1138645 |     1462   1450 |        0 |        0
847.93/848.19	c  848s |      21 |  1289677 |  1141245 |     1462   1453 |        0 |        0
850.02/850.25	c  850s |      21 |  1292603 |  1143845 |     1462   1455 |        0 |        0
852.02/852.25	c  852s |      21 |  1295288 |  1146245 |     1462   1458 |        0 |        0
854.12/854.33	c  854s |      21 |  1297882 |  1148645 |     1462   1460 |        0 |        0
856.22/856.40	c  856s |      21 |  1300038 |  1150645 |     1462   1462 |        0 |        0
858.21/858.49	c  858s |      21 |  1302581 |  1152945 |     1462   1465 |        0 |        0
860.31/860.56	c  860s |      21 |  1304795 |  1154945 |     1462   1467 |        0 |        0
862.41/862.64	c  862s |      21 |  1307209 |  1157145 |     1462   1469 |        0 |        0
864.52/864.70	c  864s |      21 |  1309639 |  1159345 |     1462   1472 |        0 |        0
866.51/866.75	c  866s |      21 |  1312037 |  1161545 |     1462   1474 |        0 |        0
868.60/868.85	c  868s |      21 |  1314373 |  1163645 |     1462   1476 |        0 |        0
870.70/870.91	c  870s |      21 |  1316561 |  1165645 |     1462   1478 |        0 |        0
872.80/873.00	c  872s |      21 |  1319170 |  1167945 |     1462   1481 |        0 |        0
874.80/875.02	c  874s |      21 |  1322073 |  1170545 |     1462   1483 |        0 |        0
876.80/877.03	c  876s |      21 |  1324963 |  1173145 |     1462   1486 |        0 |        0
878.81/879.08	c  879s |      21 |  1327950 |  1175845 |     1462   1489 |        0 |        0
880.91/881.14	c  881s |      21 |  1330944 |  1178545 |     1462   1492 |        0 |        0
882.90/883.14	c  883s |      21 |  1333794 |  1181145 |     1462   1494 |        0 |        0
884.90/885.18	c  885s |      21 |  1336556 |  1183645 |     1462   1497 |        0 |        0
887.00/887.24	c  887s |      21 |  1339320 |  1186145 |     1462   1500 |        0 |        0
889.09/889.30	c  889s |      21 |  1342126 |  1188645 |     1462   1502 |        0 |        0
891.09/891.36	c  891s |      21 |  1344871 |  1191145 |     1462   1505 |        0 |        0
893.19/893.44	c  893s |      21 |  1347676 |  1193645 |     1462   1508 |        0 |        0
895.20/895.47	c  895s |      21 |  1350285 |  1195945 |     1462   1510 |        0 |        0
897.29/897.53	c  897s |      21 |  1353129 |  1198445 |     1462   1513 |        0 |        0
899.29/899.58	c  899s |      21 |  1355556 |  1200645 |     1462   1515 |        0 |        0
901.39/901.63	c  901s |      21 |  1358561 |  1203345 |     1462   1518 |        0 |        0
903.38/903.63	c  903s |      21 |  1361259 |  1205745 |     1462   1520 |        0 |        0
905.38/905.69	c  905s |      21 |  1364102 |  1208245 |     1462   1523 |        0 |        0
907.48/907.75	c  907s |      21 |  1367035 |  1210845 |     1462   1526 |        0 |        0
909.49/909.78	c  909s |      21 |  1369670 |  1213245 |     1462   1528 |        0 |        0
911.48/911.79	c  911s |      21 |  1372345 |  1215645 |     1462   1531 |        0 |        0
913.58/913.86	c  913s |      21 |  1375192 |  1218145 |     1462   1533 |        0 |        0
915.58/915.86	c  915s |      21 |  1377776 |  1220445 |     1462   1536 |        0 |        0
917.68/917.92	c  917s |      21 |  1380545 |  1222945 |     1462   1538 |        0 |        0
919.68/919.97	c  919s |      21 |  1383296 |  1225445 |     1462   1541 |        0 |        0
921.78/922.00	c  921s |      21 |  1385693 |  1227645 |     1462   1543 |        0 |        0
923.78/924.01	c  923s |      21 |  1388096 |  1229845 |     1462   1546 |        0 |        0
925.77/926.04	c  926s |      21 |  1390912 |  1232345 |     1462   1548 |        0 |        0
927.87/928.12	c  928s |      21 |  1393960 |  1235145 |     1462   1551 |        0 |        0
929.97/930.20	c  930s |      21 |  1396873 |  1237745 |     1462   1554 |        0 |        0
931.97/932.28	c  932s |      21 |  1399590 |  1240245 |     1462   1556 |        0 |        0
934.07/934.34	c  934s |      21 |  1402314 |  1242745 |     1462   1559 |        0 |        0
936.07/936.34	c  936s |      21 |  1404969 |  1245145 |     1462   1562 |        0 |        0
938.17/938.41	c  938s |      21 |  1407633 |  1247545 |     1462   1564 |        0 |        0
940.17/940.43	c  940s |      21 |  1410032 |  1249745 |     1462   1566 |        0 |        0
942.17/942.49	c  942s |      21 |  1412461 |  1251945 |     1462   1569 |        0 |        0
944.27/944.51	c  944s |      21 |  1415482 |  1254545 |     1462   1571 |        0 |        0
946.37/946.60	c  946s |      21 |  1418663 |  1257245 |     1462   1574 |        0 |        0
948.36/948.62	c  948s |      21 |  1421599 |  1259745 |     1462   1577 |        0 |        0
950.46/950.75	c  950s |      21 |  1424427 |  1262145 |     1462   1580 |        0 |        0
952.56/952.82	c  952s |      21 |  1427343 |  1264745 |     1462   1582 |        0 |        0
954.57/954.89	c  954s |      21 |  1430211 |  1267245 |     1462   1585 |        0 |        0
956.66/956.95	c  956s |      21 |  1433009 |  1269745 |     1462   1587 |        0 |        0
958.75/959.01	c  958s |      21 |  1435785 |  1272145 |     1462   1590 |        0 |        0
960.85/961.10	c  961s |      21 |  1438132 |  1274245 |     1462   1592 |        0 |        0
962.85/963.17	c  963s |      21 |  1441662 |  1277345 |     1462   1595 |        0 |        0
964.85/965.19	c  965s |      21 |  1444541 |  1279945 |     1462   1598 |        0 |        0
966.95/967.22	c  967s |      21 |  1447662 |  1282645 |     1462   1601 |        0 |        0
968.95/969.25	c  969s |      21 |  1450222 |  1284945 |     1462   1603 |        0 |        0
971.05/971.32	c  971s |      21 |  1452737 |  1287245 |     1462   1606 |        0 |        0
973.05/973.34	c  973s |      21 |  1455435 |  1289645 |     1462   1608 |        0 |        0
975.05/975.36	c  975s |      21 |  1458491 |  1292345 |     1462   1611 |        0 |        0
977.05/977.39	c  977s |      21 |  1461542 |  1295045 |     1462   1614 |        0 |        0
979.14/979.42	c  979s |      21 |  1464151 |  1297345 |     1462   1617 |        0 |        0
981.14/981.46	c  981s |      21 |  1466367 |  1299345 |     1462   1619 |        0 |        0
983.15/983.50	c  983s |      21 |  1469142 |  1301745 |     1462   1621 |        0 |        0
985.24/985.52	c  985s |      21 |  1472083 |  1304345 |     1462   1624 |        0 |        0
987.34/987.60	c  987s |      21 |  1475100 |  1307045 |     1462   1627 |        0 |        0
989.34/989.66	c  989s |      21 |  1477874 |  1309545 |     1462   1629 |        0 |        0
991.44/991.71	c  991s |      21 |  1480429 |  1311845 |     1462   1632 |        0 |        0
993.44/993.74	c  993s |      21 |  1483123 |  1314245 |     1462   1634 |        0 |        0
995.54/995.80	c  995s |      21 |  1485913 |  1316745 |     1462   1637 |        0 |        0
997.44/997.80	c  997s |      21 |  1488750 |  1319145 |     1462   1640 |        0 |        0
999.53/999.89	c  999s |      21 |  1491161 |  1321345 |     1462   1642 |        0 |        0
1001.63/1001.96	c 1001s |      21 |  1493805 |  1323645 |     1462   1644 |        0 |        0
1003.73/1004.00	c 1003s |      21 |  1496055 |  1325645 |     1462   1646 |        0 |        0
1005.73/1006.06	c 1006s |      21 |  1499013 |  1328245 |     1462   1649 |        0 |        0
1007.73/1008.08	c 1008s |      21 |  1501748 |  1330645 |     1462   1652 |        0 |        0
1009.83/1010.11	c 1010s |      21 |  1504426 |  1333045 |     1462   1654 |        0 |        0
1011.85/1012.14	c 1012s |      21 |  1507481 |  1335745 |     1462   1657 |        0 |        0
1013.84/1014.19	c 1014s |      21 |  1510220 |  1338245 |     1462   1660 |        0 |        0
1015.94/1016.22	c 1016s |      21 |  1512840 |  1340645 |     1462   1662 |        0 |        0
1017.94/1018.27	c 1018s |      21 |  1515599 |  1343145 |     1462   1665 |        0 |        0
1020.03/1020.32	c 1020s |      21 |  1518384 |  1345645 |     1462   1667 |        0 |        0
1022.03/1022.38	c 1022s |      21 |  1521045 |  1348045 |     1462   1670 |        0 |        0
1024.13/1024.44	c 1024s |      21 |  1523419 |  1350245 |     1462   1672 |        0 |        0
1026.14/1026.45	c 1026s |      21 |  1526119 |  1352645 |     1462   1675 |        0 |        0
1028.13/1028.48	c 1028s |      21 |  1528593 |  1354845 |     1462   1677 |        0 |        0
1030.23/1030.50	c 1030s |      21 |  1530843 |  1356845 |     1462   1679 |        0 |        0
1032.23/1032.52	c 1032s |      21 |  1532857 |  1358645 |     1462   1681 |        0 |        0
1034.23/1034.54	c 1034s |      21 |  1535498 |  1361045 |     1462   1684 |        0 |        0
1036.33/1036.63	c 1036s |      21 |  1537996 |  1363345 |     1462   1686 |        0 |        0
1038.32/1038.65	c 1038s |      21 |  1540615 |  1365645 |     1462   1688 |        0 |        0
1040.33/1040.66	c 1040s |      21 |  1543682 |  1368245 |     1462   1691 |        0 |        0
1042.42/1042.70	c 1042s |      21 |  1546244 |  1370445 |     1462   1694 |        0 |        0
1044.42/1044.75	c 1044s |      21 |  1548459 |  1372445 |     1462   1696 |        0 |        0
1046.52/1046.80	c 1046s |      21 |  1550696 |  1374445 |     1462   1698 |        0 |        0
1048.52/1048.82	c 1048s |      21 |  1552894 |  1376445 |     1462   1700 |        0 |        0
1050.51/1050.83	c 1050s |      21 |  1555092 |  1378445 |     1462   1702 |        0 |        0
1052.52/1052.85	c 1052s |      21 |  1557349 |  1380445 |     1462   1704 |        0 |        0
1054.51/1054.86	c 1054s |      21 |  1559576 |  1382445 |     1462   1706 |        0 |        0
1056.61/1056.97	c 1056s |      21 |  1561765 |  1384445 |     1462   1708 |        0 |        0
1058.61/1058.99	c 1058s |      21 |  1564037 |  1386445 |     1462   1710 |        0 |        0
1060.71/1061.03	c 1060s |      21 |  1566418 |  1388545 |     1462   1713 |        0 |        0
1062.71/1063.07	c 1063s |      21 |  1569063 |  1390945 |     1462   1715 |        0 |        0
1064.81/1065.13	c 1065s |      21 |  1571762 |  1393345 |     1462   1718 |        0 |        0
1066.91/1067.21	c 1067s |      21 |  1574302 |  1395645 |     1462   1720 |        0 |        0
1068.91/1069.25	c 1069s |      21 |  1576224 |  1397445 |     1462   1722 |        0 |        0
1070.91/1071.27	c 1071s |      21 |  1578850 |  1399745 |     1462   1724 |        0 |        0
1072.90/1073.29	c 1073s |      21 |  1581312 |  1401945 |     1462   1727 |        0 |        0
1075.00/1075.36	c 1075s |      21 |  1583734 |  1404145 |     1462   1729 |        0 |        0
1077.10/1077.41	c 1077s |      21 |  1586046 |  1406245 |     1462   1731 |        0 |        0
1079.20/1079.51	c 1079s |      21 |  1588485 |  1408445 |     1462   1733 |        0 |        0
1081.20/1081.52	c 1081s |      21 |  1590905 |  1410645 |     1462   1736 |        0 |        0
1083.21/1083.53	c 1083s |      21 |  1593106 |  1412645 |     1462   1738 |        0 |        0
1085.30/1085.63	c 1085s |      21 |  1595277 |  1414645 |     1462   1740 |        0 |        0
1087.40/1087.72	c 1087s |      21 |  1598273 |  1417345 |     1462   1743 |        0 |        0
1089.39/1089.74	c 1089s |      21 |  1601050 |  1419845 |     1462   1745 |        0 |        0
1091.39/1091.74	c 1091s |      21 |  1603719 |  1422245 |     1462   1748 |        0 |        0
1093.49/1093.80	c 1093s |      21 |  1606390 |  1424645 |     1462   1751 |        0 |        0
1095.49/1095.85	c 1095s |      21 |  1608922 |  1426945 |     1462   1753 |        0 |        0
1097.50/1097.86	c 1097s |      21 |  1611272 |  1429045 |     1462   1755 |        0 |        0
1099.59/1099.91	c 1099s |      21 |  1613499 |  1431045 |     1462   1757 |        0 |        0
1101.59/1101.98	c 1101s |      21 |  1615934 |  1433245 |     1462   1760 |        0 |        0
1103.69/1104.03	c 1103s |      21 |  1618262 |  1435345 |     1462   1762 |        0 |        0
1105.69/1106.04	c 1106s |      21 |  1620578 |  1437445 |     1462   1764 |        0 |        0
1107.69/1108.09	c 1108s |      21 |  1622920 |  1439545 |     1462   1766 |        0 |        0
1109.78/1110.12	c 1110s |      21 |  1625245 |  1441645 |     1462   1768 |        0 |        0
1111.79/1112.17	c 1112s |      21 |  1627867 |  1444045 |     1462   1771 |        0 |        0
1113.88/1114.24	c 1114s |      21 |  1630439 |  1446345 |     1462   1773 |        0 |        0
1115.98/1116.34	c 1116s |      21 |  1632725 |  1448445 |     1462   1776 |        0 |        0
1117.98/1118.35	c 1118s |      21 |  1635299 |  1450745 |     1462   1778 |        0 |        0
1120.08/1120.42	c 1120s |      21 |  1638154 |  1453345 |     1462   1781 |        0 |        0
1122.08/1122.45	c 1122s |      21 |  1640996 |  1455945 |     1462   1783 |        0 |        0
1124.18/1124.53	c 1124s |      21 |  1643866 |  1458545 |     1462   1786 |        0 |        0
1126.18/1126.57	c 1126s |      21 |  1646604 |  1460945 |     1462   1789 |        0 |        0
1128.28/1128.64	c 1128s |      21 |  1649344 |  1463445 |     1462   1791 |        0 |        0
1130.37/1130.74	c 1130s |      21 |  1652280 |  1466045 |     1462   1794 |        0 |        0
1132.37/1132.75	c 1132s |      21 |  1655108 |  1468545 |     1462   1797 |        0 |        0
1134.37/1134.78	c 1134s |      21 |  1657724 |  1470845 |     1462   1799 |        0 |        0
1136.47/1136.81	c 1136s |      21 |  1660155 |  1473045 |     1462   1801 |        0 |        0
1138.47/1138.84	c 1138s |      21 |  1662784 |  1475345 |     1462   1804 |        0 |        0
1140.57/1140.91	c 1140s |      21 |  1665317 |  1477645 |     1462   1806 |        0 |        0
1142.57/1142.94	c 1142s |      21 |  1667846 |  1479845 |     1462   1809 |        0 |        0
1144.67/1145.02	c 1144s |      21 |  1670017 |  1481845 |     1462   1811 |        0 |        0
1146.67/1147.07	c 1147s |      21 |  1672216 |  1483845 |     1462   1813 |        0 |        0
1148.76/1149.15	c 1149s |      21 |  1674682 |  1486045 |     1462   1815 |        0 |        0
1150.76/1151.16	c 1151s |      21 |  1676805 |  1487945 |     1462   1817 |        0 |        0
1152.86/1153.21	c 1153s |      21 |  1679151 |  1490045 |     1609   1819 |        0 |        0
1154.86/1155.26	c 1155s |      21 |  1681235 |  1491945 |     1609   1821 |        0 |        0
1156.87/1157.28	c 1157s |      21 |  1683741 |  1494145 |     1609   1823 |        0 |        0
1158.96/1159.31	c 1159s |      21 |  1686596 |  1496745 |     1609   1826 |        0 |        0
1160.96/1161.32	c 1161s |      21 |  1689593 |  1499445 |     1609   1828 |        0 |        0
1161.86/1162.22	c 1162s |      22 |  1690951 |  1500622 |     1609   1830 |        0 |        0
1163.86/1164.26	c 1164s |      22 |  1695238 |  1504022 |     1609   1833 |        0 |        0
1165.86/1166.28	c 1166s |      22 |  1698493 |  1506922 |     1609   1836 |        0 |        0
1167.97/1168.36	c 1168s |      22 |  1701738 |  1509822 |     1609   1838 |        0 |        0
1169.96/1170.37	c 1170s |      22 |  1704544 |  1512322 |     1609   1841 |        0 |        0
1172.06/1172.45	c 1172s |      22 |  1707303 |  1514822 |     1609   1843 |        0 |        0
1174.16/1174.50	c 1174s |      22 |  1710084 |  1517322 |     1609   1846 |        0 |        0
1176.16/1176.57	c 1176s |      22 |  1712771 |  1519722 |     1609   1848 |        0 |        0
1178.26/1178.63	c 1178s |      22 |  1715435 |  1522122 |     1609   1850 |        0 |        0
1180.36/1180.70	c 1180s |      22 |  1717849 |  1524322 |     1609   1853 |        0 |        0
1182.36/1182.71	c 1182s |      22 |  1720984 |  1527022 |     1609   1855 |        0 |        0
1184.37/1184.79	c 1184s |      22 |  1723879 |  1529522 |     1609   1858 |        0 |        0
1186.46/1186.81	c 1186s |      22 |  1726542 |  1531922 |     1609   1860 |        0 |        0
1188.46/1188.87	c 1188s |      22 |  1729468 |  1534422 |     1609   1862 |        0 |        0
1190.46/1190.87	c 1190s |      22 |  1732501 |  1537022 |     1609   1865 |        0 |        0
1192.45/1192.88	c 1192s |      22 |  1735320 |  1539522 |     1609   1867 |        0 |        0
1194.55/1194.92	c 1194s |      22 |  1738119 |  1542022 |     1609   1870 |        0 |        0
1196.56/1196.97	c 1196s |      22 |  1741169 |  1544722 |     1609   1872 |        0 |        0
1198.55/1199.00	c 1198s |      22 |  1743741 |  1547022 |     1609   1875 |        0 |        0
1200.65/1201.07	c 1201s |      22 |  1746314 |  1549322 |     1609   1877 |        0 |        0
1202.75/1203.12	c 1203s |      22 |  1748726 |  1551522 |     1609   1879 |        0 |        0
1204.75/1205.12	c 1205s |      22 |  1751389 |  1553922 |     1609   1881 |        0 |        0
1206.85/1207.20	c 1207s |      22 |  1753962 |  1556222 |     1609   1884 |        0 |        0
1208.84/1209.27	c 1209s |      22 |  1756644 |  1558622 |     1609   1886 |        0 |        0
1210.94/1211.32	c 1211s |      22 |  1759985 |  1561522 |     1609   1889 |        0 |        0
1212.95/1213.36	c 1213s |      22 |  1762834 |  1564022 |     1609   1891 |        0 |        0
1215.04/1215.42	c 1215s |      22 |  1765956 |  1566722 |     1609   1894 |        0 |        0
1217.04/1217.44	c 1217s |      22 |  1768900 |  1569322 |     1609   1896 |        0 |        0
1219.04/1219.48	c 1219s |      22 |  1771682 |  1571822 |     1609   1899 |        0 |        0
1221.14/1221.54	c 1221s |      22 |  1774782 |  1574522 |     1609   1901 |        0 |        0
1223.14/1223.54	c 1223s |      22 |  1777799 |  1577222 |     1609   1904 |        0 |        0
1225.14/1225.58	c 1225s |      22 |  1780773 |  1579922 |     1609   1907 |        0 |        0
1227.14/1227.60	c 1227s |      22 |  1783654 |  1582522 |     1609   1909 |        0 |        0
1229.33/1229.72	c 1229s |      22 |  1786328 |  1584922 |     1609   1912 |        0 |        0
1231.33/1231.75	c 1231s |      22 |  1789021 |  1587322 |     1609   1914 |        0 |        0
1233.33/1233.76	c 1233s |      22 |  1792059 |  1590022 |     1609   1917 |        0 |        0
1235.43/1235.81	c 1235s |      22 |  1794922 |  1592622 |     1609   1919 |        0 |        0
1237.43/1237.88	c 1237s |      22 |  1797554 |  1595022 |     1609   1921 |        0 |        0
1239.43/1239.88	c 1239s |      22 |  1800103 |  1597322 |     1609   1924 |        0 |        0
1241.53/1241.92	c 1241s |      22 |  1802400 |  1599422 |     1609   1926 |        0 |        0
1243.53/1243.94	c 1243s |      22 |  1804904 |  1601622 |     1609   1928 |        0 |        0
1245.53/1245.98	c 1245s |      22 |  1807832 |  1604222 |     1609   1930 |        0 |        0
1247.63/1248.01	c 1247s |      22 |  1810695 |  1606822 |     1609   1933 |        0 |        0
1249.62/1250.02	c 1249s |      22 |  1813203 |  1609122 |     1609   1935 |        0 |        0
1251.62/1252.07	c 1252s |      22 |  1815820 |  1611522 |     1609   1937 |        0 |        0
1253.63/1254.08	c 1254s |      22 |  1818634 |  1614022 |     1609   1940 |        0 |        0
1255.72/1256.12	c 1256s |      22 |  1821350 |  1616522 |     1609   1942 |        0 |        0
1257.72/1258.15	c 1258s |      22 |  1824215 |  1619122 |     1609   1945 |        0 |        0
1259.72/1260.15	c 1260s |      22 |  1826985 |  1621622 |     1609   1947 |        0 |        0
1261.82/1262.21	c 1262s |      22 |  1829704 |  1624122 |     1609   1950 |        0 |        0
1263.82/1264.29	c 1264s |      22 |  1832316 |  1626522 |     1609   1952 |        0 |        0
1265.92/1266.34	c 1266s |      22 |  1834820 |  1628822 |     1609   1954 |        0 |        0
1267.92/1268.36	c 1268s |      22 |  1837233 |  1631022 |     1609   1956 |        0 |        0
1270.01/1270.41	c 1270s |      22 |  1839630 |  1633222 |     1609   1959 |        0 |        0
1272.01/1272.46	c 1272s |      22 |  1841843 |  1635222 |     1609   1961 |        0 |        0
1274.11/1274.51	c 1274s |      22 |  1843938 |  1637122 |     1609   1962 |        0 |        0
1276.11/1276.58	c 1276s |      22 |  1846592 |  1639422 |     1609   1965 |        0 |        0
1278.21/1278.60	c 1278s |      22 |  1849076 |  1641622 |     1609   1967 |        0 |        0
1280.21/1280.67	c 1280s |      22 |  1851648 |  1643922 |     1609   1969 |        0 |        0
1282.22/1282.69	c 1282s |      22 |  1854225 |  1646222 |     1609   1971 |        0 |        0
1284.31/1284.74	c 1284s |      22 |  1857140 |  1648822 |     1609   1974 |        0 |        0
1286.31/1286.77	c 1286s |      22 |  1859689 |  1651122 |     1609   1976 |        0 |        0
1288.31/1288.79	c 1288s |      22 |  1862555 |  1653622 |     1609   1978 |        0 |        0
1290.40/1290.82	c 1290s |      22 |  1865125 |  1655922 |     1609   1981 |        0 |        0
1292.40/1292.85	c 1292s |      22 |  1867750 |  1658322 |     1609   1983 |        0 |        0
1294.41/1294.89	c 1294s |      22 |  1870155 |  1660422 |     1609   1985 |        0 |        0
1296.51/1296.91	c 1296s |      22 |  1872489 |  1662522 |     1609   1987 |        0 |        0
1298.50/1299.00	c 1298s |      22 |  1875063 |  1664722 |     1609   1989 |        0 |        0
1300.60/1301.03	c 1300s |      22 |  1877406 |  1666822 |     1609   1991 |        0 |        0
1302.60/1303.05	c 1303s |      22 |  1879656 |  1668822 |     1609   1993 |        0 |        0
1304.60/1305.08	c 1305s |      22 |  1881941 |  1670822 |     1609   1995 |        0 |        0
1306.70/1307.10	c 1307s |      22 |  1884123 |  1672822 |     1609   1997 |        0 |        0
1308.70/1309.14	c 1309s |      22 |  1886616 |  1675022 |     1609   1999 |        0 |        0
1310.69/1311.15	c 1311s |      22 |  1888968 |  1677122 |     1609   2001 |        0 |        0
1312.79/1313.22	c 1313s |      22 |  1891552 |  1679422 |     1609   2004 |        0 |        0
1314.89/1315.30	c 1315s |      22 |  1894135 |  1681722 |     1609   2006 |        0 |        0
1316.89/1317.33	c 1317s |      22 |  1896477 |  1683822 |     1609   2008 |        0 |        0
1318.89/1319.33	c 1319s |      22 |  1898954 |  1686022 |     1609   2010 |        0 |        0
1320.89/1321.39	c 1321s |      22 |  1901632 |  1688422 |     1609   2012 |        0 |        0
1322.99/1323.47	c 1323s |      22 |  1903947 |  1690522 |     1609   2014 |        0 |        0
1325.09/1325.55	c 1325s |      22 |  1906311 |  1692622 |     1609   2016 |        0 |        0
1327.08/1327.60	c 1327s |      22 |  1908966 |  1694922 |     1609   2019 |        0 |        0
1329.18/1329.66	c 1329s |      22 |  1912218 |  1697822 |     1609   2021 |        0 |        0
1331.28/1331.72	c 1331s |      22 |  1915204 |  1700522 |     1609   2024 |        0 |        0
1333.28/1333.77	c 1333s |      22 |  1918396 |  1703422 |     1609   2027 |        0 |        0
1335.28/1335.78	c 1335s |      22 |  1921320 |  1706122 |     1609   2030 |        0 |        0
1337.38/1337.84	c 1337s |      22 |  1924423 |  1708922 |     1609   2032 |        0 |        0
1339.38/1339.87	c 1339s |      22 |  1927247 |  1711522 |     1609   2035 |        0 |        0
1341.48/1341.91	c 1341s |      22 |  1930318 |  1714222 |     1609   2038 |        0 |        0
1343.48/1343.92	c 1343s |      22 |  1933525 |  1717022 |     1609   2040 |        0 |        0
1345.48/1345.92	c 1345s |      22 |  1936604 |  1719722 |     1609   2043 |        0 |        0
1347.48/1347.94	c 1347s |      22 |  1939416 |  1722222 |     1609   2045 |        0 |        0
1349.57/1350.00	c 1349s |      22 |  1942246 |  1724722 |     1609   2048 |        0 |        0
1351.58/1352.06	c 1352s |      22 |  1945192 |  1727322 |     1609   2050 |        0 |        0
1353.68/1354.12	c 1354s |      22 |  1947860 |  1729722 |     1609   2053 |        0 |        0
1355.67/1356.19	c 1356s |      22 |  1951255 |  1732622 |     1609   2056 |        0 |        0
1357.78/1358.22	c 1358s |      22 |  1954102 |  1735122 |     1609   2058 |        0 |        0
1359.78/1360.25	c 1360s |      22 |  1956758 |  1737522 |     1609   2060 |        0 |        0
1361.88/1362.31	c 1362s |      22 |  1959080 |  1739622 |     1609   2062 |        0 |        0
1363.87/1364.36	c 1364s |      22 |  1961989 |  1742222 |     1609   2065 |        0 |        0
1365.97/1366.42	c 1366s |      22 |  1964718 |  1744722 |     1609   2067 |        0 |        0
1367.98/1368.47	c 1368s |      22 |  1967870 |  1747522 |     1609   2070 |        0 |        0
1370.07/1370.54	c 1370s |      22 |  1970458 |  1749922 |     1609   2073 |        0 |        0
1372.07/1372.55	c 1372s |      22 |  1973240 |  1752422 |     1609   2075 |        0 |        0
1374.07/1374.59	c 1374s |      22 |  1975902 |  1754822 |     1609   2077 |        0 |        0
1376.17/1376.64	c 1376s |      22 |  1978794 |  1757422 |     1609   2080 |        0 |        0
1378.27/1378.70	c 1378s |      22 |  1981615 |  1760022 |     1609   2082 |        0 |        0
1380.27/1380.70	c 1380s |      22 |  1984350 |  1762522 |     1609   2085 |        0 |        0
1382.27/1382.76	c 1382s |      22 |  1987208 |  1765122 |     1609   2087 |        0 |        0
1384.37/1384.81	c 1384s |      22 |  1990172 |  1767822 |     1609   2090 |        0 |        0
1386.37/1386.87	c 1386s |      22 |  1992956 |  1770422 |     1609   2093 |        0 |        0
1388.46/1388.92	c 1388s |      22 |  1995450 |  1772722 |     1609   2095 |        0 |        0
1390.46/1390.93	c 1390s |      22 |  1998274 |  1775222 |     1609   2097 |        0 |        0
1392.56/1393.03	c 1392s |      22 |  2000890 |  1777622 |     1609   2100 |        0 |        0
1394.66/1395.10	c 1395s |      22 |  2003535 |  1780022 |     1609   2102 |        0 |        0
1396.67/1397.11	c 1397s |      22 |  2006057 |  1782322 |     1609   2104 |        0 |        0
1398.66/1399.12	c 1399s |      22 |  2008359 |  1784422 |     1609   2106 |        0 |        0
1400.76/1401.23	c 1401s |      22 |  2010916 |  1786722 |     1609   2108 |        0 |        0
1402.76/1403.26	c 1403s |      22 |  2013207 |  1788822 |     1609   2111 |        0 |        0
1404.86/1405.38	c 1405s |      22 |  2015482 |  1790922 |     1609   2113 |        0 |        0
1406.86/1407.39	c 1407s |      22 |  2017535 |  1792822 |     1609   2114 |        0 |        0
1408.96/1409.42	c 1409s |      22 |  2020573 |  1795522 |     1609   2117 |        0 |        0
1410.97/1411.45	c 1411s |      22 |  2023574 |  1798222 |     1609   2120 |        0 |        0
1413.07/1413.51	c 1413s |      22 |  2026484 |  1800822 |     1609   2122 |        0 |        0
1415.06/1415.51	c 1415s |      22 |  2029060 |  1803122 |     1609   2125 |        0 |        0
1417.06/1417.57	c 1417s |      22 |  2031710 |  1805522 |     1609   2127 |        0 |        0
1419.16/1419.60	c 1419s |      22 |  2034473 |  1808022 |     1609   2129 |        0 |        0
1421.16/1421.68	c 1421s |      22 |  2037082 |  1810322 |     1609   2132 |        0 |        0
1423.26/1423.75	c 1423s |      22 |  2039584 |  1812622 |     1609   2134 |        0 |        0
1425.36/1425.81	c 1425s |      22 |  2042289 |  1815022 |     1609   2136 |        0 |        0
1427.36/1427.82	c 1427s |      22 |  2044952 |  1817322 |     1609   2138 |        0 |        0
1429.36/1429.83	c 1429s |      22 |  2047775 |  1819822 |     1609   2141 |        0 |        0
1431.36/1431.86	c 1431s |      22 |  2050569 |  1822322 |     1609   2143 |        0 |        0
1433.46/1433.90	c 1433s |      22 |  2053365 |  1824822 |     1609   2146 |        0 |        0
1435.45/1435.92	c 1435s |      22 |  2055645 |  1826922 |     1609   2148 |        0 |        0
1437.55/1438.03	c 1437s |      22 |  2057944 |  1829022 |     1609   2150 |        0 |        0
1439.65/1440.12	c 1440s |      22 |  2060270 |  1831122 |     1609   2152 |        0 |        0
1441.66/1442.18	c 1442s |      22 |  2062672 |  1833322 |     1609   2154 |        0 |        0
1443.65/1444.19	c 1444s |      22 |  2065089 |  1835522 |     1609   2156 |        0 |        0
1445.75/1446.26	c 1446s |      22 |  2067716 |  1837822 |     1609   2158 |        0 |        0
1447.85/1448.31	c 1448s |      22 |  2070510 |  1840322 |     1609   2161 |        0 |        0
1449.85/1450.34	c 1450s |      22 |  2072918 |  1842522 |     1609   2163 |        0 |        0
1451.95/1452.42	c 1452s |      22 |  2075192 |  1844622 |     1609   2165 |        0 |        0
1453.95/1454.47	c 1454s |      22 |  2077722 |  1846922 |     1609   2167 |        0 |        0
1455.95/1456.50	c 1456s |      22 |  2080132 |  1849122 |     1609   2170 |        0 |        0
1458.05/1458.50	c 1458s |      22 |  2082537 |  1851322 |     1609   2172 |        0 |        0
1460.05/1460.55	c 1460s |      22 |  2085093 |  1853622 |     1609   2174 |        0 |        0
1462.05/1462.56	c 1462s |      22 |  2087192 |  1855522 |     1609   2176 |        0 |        0
1464.15/1464.64	c 1464s |      22 |  2089640 |  1857722 |     1609   2178 |        0 |        0
1466.25/1466.70	c 1466s |      22 |  2092503 |  1860222 |     1609   2180 |        0 |        0
1468.25/1468.71	c 1468s |      22 |  2095156 |  1862622 |     1609   2183 |        0 |        0
1470.25/1470.77	c 1470s |      22 |  2097699 |  1864922 |     1609   2185 |        0 |        0
1472.35/1472.82	c 1472s |      22 |  2100000 |  1867022 |     1609   2187 |        0 |        0
1474.34/1474.82	c 1474s |      22 |  2102317 |  1869122 |     1609   2189 |        0 |        0
1476.34/1476.84	c 1476s |      22 |  2104418 |  1871022 |     1609   2191 |        0 |        0
1478.34/1478.87	c 1478s |      22 |  2106761 |  1873122 |     1609   2193 |        0 |        0
1480.34/1480.88	c 1480s |      22 |  2108829 |  1875022 |     1609   2195 |        0 |        0
1482.35/1482.90	c 1482s |      22 |  2111330 |  1877222 |     1609   2197 |        0 |        0
1484.44/1484.98	c 1484s |      22 |  2113830 |  1879522 |     1609   2199 |        0 |        0
1486.54/1487.01	c 1486s |      22 |  2116152 |  1881622 |     1609   2201 |        0 |        0
1488.54/1489.02	c 1488s |      22 |  2118575 |  1883822 |     1609   2203 |        0 |        0
1490.54/1491.05	c 1491s |      22 |  2120847 |  1885922 |     1609   2206 |        0 |        0
1492.55/1493.08	c 1493s |      22 |  2123240 |  1888122 |     1609   2208 |        0 |        0
1494.65/1495.11	c 1495s |      22 |  2125679 |  1890322 |     1609   2210 |        0 |        0
1496.66/1497.17	c 1497s |      22 |  2128100 |  1892522 |     1609   2212 |        0 |        0
1498.75/1499.26	c 1499s |      22 |  2130533 |  1894722 |     1609   2214 |        0 |        0
1500.85/1501.31	c 1501s |      22 |  2133069 |  1897022 |     1609   2216 |        0 |        0
1502.85/1503.34	c 1503s |      22 |  2135713 |  1899322 |     1609   2219 |        0 |        0
1504.85/1505.36	c 1505s |      22 |  2138637 |  1901922 |     1609   2221 |        0 |        0
1506.95/1507.42	c 1507s |      22 |  2141381 |  1904422 |     1609   2224 |        0 |        0
1508.95/1509.43	c 1509s |      22 |  2144128 |  1906922 |     1609   2226 |        0 |        0
1511.05/1511.51	c 1511s |      22 |  2146861 |  1909422 |     1609   2229 |        0 |        0
1513.05/1513.57	c 1513s |      22 |  2149466 |  1911822 |     1609   2231 |        0 |        0
1515.15/1515.62	c 1515s |      22 |  2151948 |  1914122 |     1609   2233 |        0 |        0
1517.15/1517.63	c 1517s |      22 |  2154645 |  1916522 |     1609   2236 |        0 |        0
1519.15/1519.66	c 1519s |      22 |  2157851 |  1919322 |     1609   2238 |        0 |        0
1521.14/1521.66	c 1521s |      22 |  2160736 |  1921922 |     1609   2241 |        0 |        0
1523.24/1523.73	c 1523s |      22 |  2163608 |  1924522 |     1609   2243 |        0 |        0
1525.25/1525.78	c 1525s |      22 |  2166523 |  1927122 |     1609   2246 |        0 |        0
1527.24/1527.79	c 1527s |      22 |  2169153 |  1929522 |     1609   2248 |        0 |        0
1529.34/1529.81	c 1529s |      22 |  2172015 |  1932122 |     1609   2251 |        0 |        0
1531.34/1531.83	c 1531s |      22 |  2174506 |  1934422 |     1609   2253 |        0 |        0
1533.44/1533.90	c 1533s |      22 |  2177228 |  1936922 |     1609   2255 |        0 |        0
1535.44/1535.91	c 1535s |      22 |  2179602 |  1939122 |     1609   2258 |        0 |        0
1537.45/1537.96	c 1537s |      22 |  2183282 |  1942122 |     1609   2261 |        0 |        0
1539.44/1539.98	c 1539s |      22 |  2186294 |  1944822 |     1609   2263 |        0 |        0
1541.54/1542.04	c 1542s |      22 |  2188961 |  1947222 |     1609   2266 |        0 |        0
1543.64/1544.11	c 1544s |      22 |  2191849 |  1949822 |     1609   2268 |        0 |        0
1545.64/1546.17	c 1546s |      22 |  2194577 |  1952322 |     1609   2271 |        0 |        0
1547.74/1548.20	c 1548s |      22 |  2197588 |  1955022 |     1609   2273 |        0 |        0
1549.74/1550.21	c 1550s |      22 |  2200183 |  1957422 |     1609   2276 |        0 |        0
1551.84/1552.30	c 1552s |      22 |  2203026 |  1960022 |     1609   2278 |        0 |        0
1553.84/1554.33	c 1554s |      22 |  2205800 |  1962522 |     1609   2281 |        0 |        0
1555.84/1556.34	c 1556s |      22 |  2208432 |  1964922 |     1609   2283 |        0 |        0
1557.84/1558.39	c 1558s |      22 |  2211444 |  1967622 |     1609   2285 |        0 |        0
1559.94/1560.41	c 1560s |      22 |  2214129 |  1970022 |     1609   2288 |        0 |        0
1561.94/1562.47	c 1562s |      22 |  2216505 |  1972222 |     1609   2290 |        0 |        0
1563.94/1564.48	c 1564s |      22 |  2219579 |  1975022 |     1609   2293 |        0 |        0
1566.04/1566.52	c 1566s |      22 |  2222302 |  1977522 |     1609   2295 |        0 |        0
1568.04/1568.55	c 1568s |      22 |  2224939 |  1979922 |     1609   2298 |        0 |        0
1570.04/1570.59	c 1570s |      22 |  2228034 |  1982722 |     1609   2300 |        0 |        0
1572.14/1572.60	c 1572s |      22 |  2230613 |  1985122 |     1609   2303 |        0 |        0
1574.13/1574.64	c 1574s |      22 |  2233448 |  1987622 |     1609   2305 |        0 |        0
1576.13/1576.69	c 1576s |      22 |  2236461 |  1990322 |     1609   2308 |        0 |        0
1578.23/1578.70	c 1578s |      22 |  2239485 |  1993022 |     1609   2310 |        0 |        0
1580.24/1580.77	c 1580s |      22 |  2242597 |  1995822 |     1609   2313 |        0 |        0
1582.33/1582.80	c 1582s |      22 |  2245479 |  1998422 |     1609   2316 |        0 |        0
1584.33/1584.81	c 1584s |      22 |  2248238 |  2000922 |     1609   2318 |        0 |        0
1586.33/1586.85	c 1586s |      22 |  2250736 |  2003222 |     1609   2320 |        0 |        0
1588.43/1588.90	c 1588s |      22 |  2253482 |  2005722 |     1609   2323 |        0 |        0
1590.43/1590.92	c 1590s |      22 |  2256513 |  2008422 |     1609   2325 |        0 |        0
1592.44/1592.97	c 1592s |      22 |  2259371 |  2011022 |     1609   2328 |        0 |        0
1594.43/1594.99	c 1594s |      22 |  2262407 |  2013722 |     1609   2331 |        0 |        0
1596.53/1597.04	c 1597s |      22 |  2265310 |  2016322 |     1609   2333 |        0 |        0
1598.63/1599.11	c 1599s |      22 |  2268908 |  2019522 |     1609   2336 |        0 |        0
1600.63/1601.12	c 1601s |      22 |  2271869 |  2022222 |     1609   2339 |        0 |        0
1602.63/1603.16	c 1603s |      22 |  2274734 |  2024822 |     1609   2341 |        0 |        0
1604.73/1605.22	c 1605s |      22 |  2277932 |  2027722 |     1609   2344 |        0 |        0
1606.73/1607.28	c 1607s |      22 |  2280939 |  2030422 |     1609   2347 |        0 |        0
1608.83/1609.32	c 1609s |      22 |  2283670 |  2032922 |     1609   2349 |        0 |        0
1610.93/1611.42	c 1611s |      22 |  2286080 |  2035122 |     1609   2351 |        0 |        0
1612.93/1613.49	c 1613s |      22 |  2289489 |  2038222 |     1609   2355 |        0 |        0
1615.03/1615.53	c 1615s |      22 |  2292426 |  2040922 |     1609   2357 |        0 |        0
1617.03/1617.57	c 1617s |      22 |  2295386 |  2043622 |     1609   2360 |        0 |        0
1619.03/1619.57	c 1619s |      22 |  2298023 |  2046022 |     1609   2362 |        0 |        0
1621.12/1621.63	c 1621s |      22 |  2300669 |  2048422 |     1609   2365 |        0 |        0
1623.13/1623.67	c 1623s |      22 |  2303299 |  2050822 |     1609   2367 |        0 |        0
1625.22/1625.75	c 1625s |      22 |  2305822 |  2053122 |     1609   2369 |        0 |        0
1627.22/1627.76	c 1627s |      22 |  2308683 |  2055622 |     1609   2372 |        0 |        0
1629.32/1629.83	c 1629s |      22 |  2311709 |  2058322 |     1609   2374 |        0 |        0
1631.32/1631.87	c 1631s |      22 |  2314613 |  2060922 |     1609   2377 |        0 |        0
1633.33/1633.87	c 1633s |      22 |  2317417 |  2063422 |     1609   2379 |        0 |        0
1635.43/1635.90	c 1635s |      22 |  2319921 |  2065722 |     1609   2381 |        0 |        0
1637.44/1637.95	c 1637s |      22 |  2322634 |  2068222 |     1609   2384 |        0 |        0
1639.53/1640.05	c 1640s |      22 |  2325391 |  2070722 |     1609   2386 |        0 |        0
1641.63/1642.11	c 1642s |      22 |  2327901 |  2073022 |     1609   2389 |        0 |        0
1643.63/1644.12	c 1644s |      22 |  2330348 |  2075222 |     1609   2391 |        0 |        0
1645.63/1646.18	c 1646s |      22 |  2333600 |  2078122 |     1609   2394 |        0 |        0
1647.73/1648.25	c 1648s |      22 |  2336528 |  2080722 |     1609   2396 |        0 |        0
1649.73/1650.25	c 1650s |      22 |  2339151 |  2083122 |     1609   2398 |        0 |        0
1651.83/1652.34	c 1652s |      22 |  2341788 |  2085522 |     1609   2401 |        0 |        0
1653.93/1654.41	c 1654s |      22 |  2344400 |  2087922 |     1609   2403 |        0 |        0
1655.92/1656.49	c 1656s |      22 |  2346917 |  2090222 |     1609   2405 |        0 |        0
1657.92/1658.49	c 1658s |      22 |  2349350 |  2092422 |     1609   2407 |        0 |        0
1660.02/1660.52	c 1660s |      22 |  2351676 |  2094522 |     1609   2410 |        0 |        0
1662.02/1662.53	c 1662s |      22 |  2354111 |  2096622 |     1609   2412 |        0 |        0
1664.12/1664.60	c 1664s |      22 |  2356297 |  2098622 |     1609   2414 |        0 |        0
1666.13/1666.67	c 1666s |      22 |  2358622 |  2100722 |     1609   2416 |        0 |        0
1668.12/1668.67	c 1668s |      22 |  2360810 |  2102722 |     1609   2418 |        0 |        0
1670.12/1670.68	c 1670s |      22 |  2362883 |  2104622 |     1609   2419 |        0 |        0
1672.22/1672.71	c 1672s |      22 |  2365280 |  2106822 |     1609   2422 |        0 |        0
1674.32/1674.80	c 1674s |      22 |  2367321 |  2108722 |     1609   2423 |        0 |        0
1676.32/1676.83	c 1676s |      22 |  2370152 |  2111122 |     1609   2426 |        0 |        0
1678.32/1678.88	c 1678s |      22 |  2373366 |  2113822 |     1609   2428 |        0 |        0
1680.43/1680.95	c 1680s |      22 |  2376536 |  2116622 |     1609   2431 |        0 |        0
1682.42/1682.97	c 1682s |      22 |  2379606 |  2119322 |     1609   2434 |        0 |        0
1684.52/1685.04	c 1685s |      22 |  2382626 |  2122022 |     1609   2436 |        0 |        0
1686.62/1687.12	c 1687s |      22 |  2385488 |  2124622 |     1609   2439 |        0 |        0
1688.62/1689.13	c 1689s |      22 |  2388337 |  2127122 |     1609   2441 |        0 |        0
1690.62/1691.17	c 1691s |      22 |  2391162 |  2129622 |     1609   2444 |        0 |        0
1692.61/1693.19	c 1693s |      22 |  2394131 |  2132222 |     1609   2446 |        0 |        0
1694.62/1695.20	c 1695s |      22 |  2396890 |  2134722 |     1609   2449 |        0 |        0
1696.71/1697.28	c 1697s |      22 |  2399766 |  2137322 |     1609   2451 |        0 |        0
1698.81/1699.33	c 1699s |      22 |  2402735 |  2139922 |     1609   2454 |        0 |        0
1700.81/1701.38	c 1701s |      22 |  2405613 |  2142522 |     1609   2456 |        0 |        0
1702.91/1703.42	c 1703s |      22 |  2408343 |  2145022 |     1609   2459 |        0 |        0
1704.91/1705.44	c 1705s |      22 |  2410935 |  2147422 |     1609   2461 |        0 |        0
1706.91/1707.48	c 1707s |      22 |  2413692 |  2149922 |     1609   2464 |        0 |        0
1708.92/1709.49	c 1709s |      22 |  2416620 |  2152522 |     1609   2466 |        0 |        0
1711.01/1711.52	c 1711s |      22 |  2419159 |  2154822 |     1609   2468 |        0 |        0
1713.01/1713.52	c 1713s |      22 |  2421328 |  2156822 |     1609   2470 |        0 |        0
1715.01/1715.55	c 1715s |      22 |  2424591 |  2159722 |     1609   2473 |        0 |        0
1717.01/1717.57	c 1717s |      22 |  2427315 |  2162122 |     1609   2476 |        0 |        0
1719.11/1719.61	c 1719s |      22 |  2429978 |  2164522 |     1609   2478 |        0 |        0
1721.11/1721.65	c 1721s |      22 |  2432498 |  2166822 |     1609   2480 |        0 |        0
1723.22/1723.72	c 1723s |      22 |  2434878 |  2169022 |     1609   2482 |        0 |        0
1725.21/1725.76	c 1725s |      22 |  2437737 |  2171522 |     1609   2485 |        0 |        0
1727.31/1727.82	c 1727s |      22 |  2440636 |  2174122 |     1609   2487 |        0 |        0
1729.31/1729.82	c 1729s |      22 |  2443122 |  2176422 |     1609   2490 |        0 |        0
1731.31/1731.88	c 1731s |      22 |  2445853 |  2178922 |     1609   2492 |        0 |        0
1733.41/1733.97	c 1733s |      22 |  2448488 |  2181322 |     1609   2494 |        0 |        0
1735.42/1735.97	c 1735s |      22 |  2450899 |  2183522 |     1609   2497 |        0 |        0
1737.41/1738.00	c 1737s |      22 |  2453189 |  2185622 |     1609   2499 |        0 |        0
1739.51/1740.03	c 1739s |      22 |  2456062 |  2188222 |     1609   2501 |        0 |        0
1741.51/1742.06	c 1742s |      22 |  2458813 |  2190722 |     1609   2504 |        0 |        0
1743.61/1744.11	c 1744s |      22 |  2461491 |  2193122 |     1609   2506 |        0 |        0
1745.61/1746.18	c 1746s |      22 |  2464281 |  2195622 |     1609   2508 |        0 |        0
1747.71/1748.28	c 1748s |      22 |  2466953 |  2198022 |     1609   2511 |        0 |        0
1749.81/1750.37	c 1750s |      22 |  2469366 |  2200222 |     1609   2513 |        0 |        0
1751.81/1752.39	c 1752s |      22 |  2471917 |  2202522 |     1609   2515 |        0 |        0
1753.91/1754.44	c 1754s |      22 |  2474677 |  2205022 |     1609   2518 |        0 |        0
1755.91/1756.48	c 1756s |      22 |  2477504 |  2207622 |     1609   2520 |        0 |        0
1758.01/1758.57	c 1758s |      22 |  2480243 |  2210122 |     1609   2523 |        0 |        0
1760.01/1760.59	c 1760s |      22 |  2482856 |  2212522 |     1609   2525 |        0 |        0
1762.11/1762.60	c 1762s |      22 |  2485402 |  2214822 |     1609   2527 |        0 |        0
1764.10/1764.67	c 1764s |      22 |  2487922 |  2217122 |     1609   2529 |        0 |        0
1766.21/1766.74	c 1766s |      22 |  2490703 |  2219622 |     1609   2532 |        0 |        0
1768.31/1768.82	c 1768s |      22 |  2493500 |  2222122 |     1609   2534 |        0 |        0
1770.30/1770.85	c 1770s |      22 |  2496082 |  2224422 |     1609   2536 |        0 |        0
1772.40/1772.90	c 1772s |      22 |  2498422 |  2226522 |     1609   2539 |        0 |        0
1774.40/1774.90	c 1774s |      22 |  2500542 |  2228422 |     1609   2540 |        0 |        0
1776.40/1776.96	c 1776s |      22 |  2502868 |  2230522 |     1609   2542 |        0 |        0
1778.50/1779.00	c 1778s |      22 |  2505921 |  2233222 |     1609   2545 |        0 |        0
1780.51/1781.05	c 1781s |      22 |  2508870 |  2235822 |     1770   2547 |        0 |        0
1782.60/1783.10	c 1783s |      22 |  2511741 |  2238422 |     1770   2550 |        0 |        0
1784.60/1785.13	c 1785s |      22 |  2514501 |  2240922 |     1770   2552 |        0 |        0
1786.60/1787.15	c 1787s |      22 |  2517168 |  2243322 |     1770   2554 |        0 |        0
1788.60/1789.19	c 1789s |      22 |  2519823 |  2245722 |     1770   2556 |        0 |        0
1790.70/1791.27	c 1791s |      22 |  2522805 |  2248422 |     1770   2559 |        0 |        0
1792.80/1793.30	c 1793s |      22 |  2525550 |  2250922 |     1770   2561 |        0 |        0
1792.90/1793.40	c 1793s |      23 |  2525682 |  2251038 |     1770   2561 |        0 |        0
1794.90/1795.45	c 1795s |      23 |  2530090 |  2254538 |     1770   2565 |        0 |        0
1796.90/1797.48	c 1797s |      23 |  2533809 |  2257838 |     1770   2567 |        0 |        0
1799.00/1799.51	c 1799s |      23 |  2537232 |  2260938 |     1770   2570 |        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-4093397-1466084630/watcher-4093397-1466084630 -o /tmp/evaluation-result-4093397-1466084630/solver-4093397-1466084630 -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-4093397-1466084630.wbo 

pid=12326
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.14 2.19 2.16 3/179 12329
/proc/meminfo: memFree=30220044/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=535996 CPUtime=0 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 1967 0 0 0 0 0 0 0 20 0 4 0 10512277 548859904 2839 33554432000 4194304 16246674 140734127482016 140734127481440 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 134767 2848 441 2943 0 131661 0
[pid=12329/tid=12330] ppid=12326 vsize=554428 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 567734272 2910 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=558524 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 571928576 2927 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=562620 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 576122880 2943 33554432000 4194304 16246674 140734127482016 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100224 s]
/proc/loadavg: 2.14 2.19 2.16 3/179 12329
/proc/meminfo: memFree=30220044/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 27281 0 0 0 6 3 0 0 20 0 4 0 10512277 1247350784 28140 33554432000 4194304 16246674 140734127482016 140734127481440 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 304529 28155 807 2943 0 301423 0
[pid=12329/tid=12330] ppid=12326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1247350784 28162 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1247350784 28169 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1247350784 28173 33554432000 4194304 16246674 140734127482016 140658299890864 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.200525 s]
/proc/loadavg: 2.14 2.19 2.16 3/179 12329
/proc/meminfo: memFree=30220044/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 55575 0 0 0 12 7 0 0 20 0 4 0 10512277 1247350784 56434 33554432000 4194304 16246674 140734127482016 140734127481440 5724508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 304529 56449 813 2943 0 301423 0
[pid=12329/tid=12330] ppid=12326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1247350784 56458 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1247350784 56467 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1247350784 56480 33554432000 4194304 16246674 140734127482016 140658299890864 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.300477 s]
/proc/loadavg: 2.14 2.19 2.16 3/179 12329
/proc/meminfo: memFree=30220044/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 85129 0 0 0 18 11 0 0 20 0 4 0 10512277 1247350784 85988 33554432000 4194304 16246674 140734127482016 140734127481440 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 304529 85999 813 2943 0 301423 0
[pid=12329/tid=12330] ppid=12326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1247350784 86009 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1247350784 86021 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1247350784 86031 33554432000 4194304 16246674 140734127482016 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700409 s]
/proc/loadavg: 2.14 2.19 2.16 3/179 12329
/proc/meminfo: memFree=30220044/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 205659 0 0 0 43 26 0 0 20 0 4 0 10512277 1247350784 206517 33554432000 4194304 16246674 140734127482016 140734127481440 13194563 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 304529 206529 813 2943 0 301423 0
[pid=12329/tid=12330] ppid=12326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1247350784 206534 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1247350784 206540 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1247350784 206547 33554432000 4194304 16246674 140734127482016 140658299890864 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) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.14 2.19 2.16 3/183 12333
/proc/meminfo: memFree=29234268/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1304132 CPUtime=1.49 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 266950 0 0 0 115 34 0 0 20 0 4 0 10512277 1335431168 267786 33554432000 4194304 16246674 140734127482016 140734127463936 5523536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 326033 267786 872 2943 0 322927 0
[pid=12329/tid=12330] ppid=12326 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1335431168 267786 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1335431168 267786 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1335431168 267786 33554432000 4194304 16246674 140734127482016 140658299890864 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) 1304132

[startup+3.10042 s]
/proc/loadavg: 2.14 2.19 2.16 3/183 12333
/proc/meminfo: memFree=29146972/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 267860 0 0 0 275 34 0 0 20 0 4 0 10512277 1338576896 268696 33554432000 4194304 16246674 140734127482016 140734127463936 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 326801 268696 872 2943 0 323695 0
[pid=12329/tid=12330] ppid=12326 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1338576896 268696 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1338576896 268696 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1338576896 268696 33554432000 4194304 16246674 140734127482016 140658299890864 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.30037 s]
/proc/loadavg: 2.13 2.18 2.16 3/183 12333
/proc/meminfo: memFree=29145360/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 267920 0 0 0 595 34 0 0 20 0 4 0 10512277 1338576896 268756 33554432000 4194304 16246674 140734127482016 140734127463936 12477504 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 326801 268756 874 2943 0 323695 0
[pid=12329/tid=12330] ppid=12326 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1338576896 268756 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1338576896 268756 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1338576896 268756 33554432000 4194304 16246674 140734127482016 140658299890864 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) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.12 2.18 2.16 3/183 12333
/proc/meminfo: memFree=29145404/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 267920 0 0 0 1235 34 0 0 20 0 4 0 10512277 1338576896 268756 33554432000 4194304 16246674 140734127482016 140734127463936 5721936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 326801 268756 874 2943 0 323695 0
[pid=12329/tid=12330] ppid=12326 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1338576896 268756 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1338576896 268756 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1338576896 268756 33554432000 4194304 16246674 140734127482016 140658299890864 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) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.17 2.19 2.17 3/183 12333
/proc/meminfo: memFree=29145560/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1307204 CPUtime=25.48 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 267920 0 0 0 2514 34 0 0 20 0 4 0 10512277 1338576896 268756 33554432000 4194304 16246674 140734127482016 140734127463936 5664852 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 326801 268756 874 2943 0 323695 0
[pid=12329/tid=12330] ppid=12326 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1338576896 268756 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1338576896 268756 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1338576896 268756 33554432000 4194304 16246674 140734127482016 140658299890864 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) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.19 2.19 2.17 3/183 12333
/proc/meminfo: memFree=29143664/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 267975 0 0 0 5074 34 0 0 20 0 4 0 10512277 1339625472 268811 33554432000 4194304 16246674 140734127482016 140734127463936 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 327057 268811 874 2943 0 323951 0
[pid=12329/tid=12330] ppid=12326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1339625472 268811 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1339625472 268811 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1339625472 268811 33554432000 4194304 16246674 140734127482016 140658299890864 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) 1308228

[startup+102.301 s]
/proc/loadavg: 2.12 2.17 2.16 3/183 12335
/proc/meminfo: memFree=29138716/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 267975 0 0 0 10193 35 0 0 20 0 4 0 10512277 1339625472 268811 33554432000 4194304 16246674 140734127482016 140734127463936 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 327057 268811 874 2943 0 323951 0
[pid=12329/tid=12330] ppid=12326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1339625472 268811 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1339625472 268811 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1339625472 268811 33554432000 4194304 16246674 140734127482016 140658299890864 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) 1308228


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

/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1344868352 270297 33554432000 4194304 16246674 140734127482016 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1313348

[startup+1302.3 s]
/proc/loadavg: 2.12 2.12 2.13 3/183 12387
/proc/meminfo: memFree=29117892/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1313348 CPUtime=1301.9 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 269838 0 0 0 130147 43 0 0 20 0 4 0 10512277 1344868352 270297 33554432000 4194304 16246674 140734127482016 140734127463936 5722604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 328337 270297 876 2943 0 325231 0
[pid=12329/tid=12330] ppid=12326 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1344868352 270297 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1344868352 270297 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1344868352 270297 33554432000 4194304 16246674 140734127482016 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1313348

[startup+1362.3 s]
/proc/loadavg: 2.10 2.11 2.12 3/183 12388
/proc/meminfo: memFree=29117636/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1313348 CPUtime=1361.88 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 269874 0 0 0 136144 44 0 0 20 0 4 0 10512277 1344868352 270297 33554432000 4194304 16246674 140734127482016 140734127463936 5546233 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 328337 270297 876 2943 0 325231 0
[pid=12329/tid=12330] ppid=12326 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1344868352 270297 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1344868352 270297 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1344868352 270297 33554432000 4194304 16246674 140734127482016 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1313348

[startup+1422.3 s]
/proc/loadavg: 2.20 2.13 2.13 3/183 12389
/proc/meminfo: memFree=29117648/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1313348 CPUtime=1421.86 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 269884 0 0 0 142142 44 0 0 20 0 4 0 10512277 1344868352 270297 33554432000 4194304 16246674 140734127482016 140734127463936 5823723 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 328337 270297 876 2943 0 325231 0
[pid=12329/tid=12330] ppid=12326 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1344868352 270297 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1344868352 270297 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1344868352 270297 33554432000 4194304 16246674 140734127482016 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1313348

[startup+1482.3 s]
/proc/loadavg: 2.13 2.12 2.12 3/183 12390
/proc/meminfo: memFree=29117740/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1313348 CPUtime=1481.84 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 269884 0 0 0 148140 44 0 0 20 0 4 0 10512277 1344868352 270297 33554432000 4194304 16246674 140734127482016 140734127465016 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 328337 270297 876 2943 0 325231 0
[pid=12329/tid=12330] ppid=12326 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1344868352 270297 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1344868352 270297 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1344868352 270297 33554432000 4194304 16246674 140734127482016 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1313348

[startup+1542.31 s]
/proc/loadavg: 2.08 2.11 2.11 3/183 12391
/proc/meminfo: memFree=29116472/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1314372 CPUtime=1541.85 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 270140 0 0 0 154140 45 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140734127463936 5673345 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 328593 270553 876 2943 0 325487 0
[pid=12329/tid=12330] ppid=12326 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.13 2.12 2.11 3/184 12396
/proc/meminfo: memFree=29116172/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1314372 CPUtime=1601.83 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 270140 0 0 0 160138 45 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140734127465016 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 328593 270553 876 2943 0 325487 0
[pid=12329/tid=12330] ppid=12326 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.18 2.13 2.11 3/183 12494
/proc/meminfo: memFree=29148052/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1314372 CPUtime=1661.82 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 270140 0 0 0 166136 46 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140734127463936 5822761 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 328593 270553 876 2943 0 325487 0
[pid=12329/tid=12330] ppid=12326 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.06 2.10 2.10 3/183 12543
/proc/meminfo: memFree=29150636/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1314372 CPUtime=1721.81 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 270140 0 0 0 172135 46 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140734127463936 5673435 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 328593 270553 876 2943 0 325487 0
[pid=12329/tid=12330] ppid=12326 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.15 2.12 2.10 3/183 12690
/proc/meminfo: memFree=29235252/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1314372 CPUtime=1781.8 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 270140 0 0 0 178133 47 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140734127463936 5523404 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 328593 270553 876 2943 0 325487 0
[pid=12329/tid=12330] ppid=12326 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.18 2.13 2.11 3/183 12690
/proc/meminfo: memFree=29147660/32872528 swapFree=681192/736380
[pid=12329] ppid=12326 vsize=1314372 CPUtime=1800 cores=1,3,5,7
/proc/12329/stat : 12329 (toysat) R 12326 12329 7985 0 -1 4202496 270140 0 0 0 179953 47 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140734127465016 5522960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12329/statm: 328593 270553 876 2943 0 325487 0
[pid=12329/tid=12330] ppid=12326 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12330/stat : 12330 (toysat) S 12326 12329 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140658390052080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12329/tid=12331] ppid=12326 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12331/stat : 12331 (toysat) S 12326 12329 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140658379562224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12329/tid=12332] ppid=12326 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12329/task/12332/stat : 12332 (toysat) S 12326 12329 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10512277 1345916928 270553 33554432000 4194304 16246674 140734127482016 140658299890864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1314372

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 12329 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.51
CPU time (s): 1800.01
CPU user time (s): 1799.54
CPU system time (s): 0.476927
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.476927
maximum resident set size= 1082212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270140
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= 437
involuntary context switches= 2068

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.38833 second user time and 7.13392 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-16 15:43:50
IDJOB=4093397
IDBENCH=78728
IDSOLVER=2553
FILE ID=node112/4093397-1466084630
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-PB06/roussel/normalized-pigeon-cardinality-25-20--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093397-1466084630/watcher-4093397-1466084630 -o /tmp/evaluation-result-4093397-1466084630/solver-4093397-1466084630 -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-4093397-1466084630.wbo

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

MD5SUM BENCH= 48f3bbbf57f9425639eae287513fe205
RANDOM SEED=430120141

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:        30220044 kB
Buffers:           31888 kB
Cached:            98284 kB
SwapCached:          696 kB
Active:          1163064 kB
Inactive:          53340 kB
Active(anon):    1088164 kB
Inactive(anon):      740 kB
Active(file):      74900 kB
Inactive(file):    52600 kB
Unevictable:      736380 kB
Mlocked:          681192 kB
SwapTotal:      67108856 kB
SwapFree:       67098028 kB
Dirty:             16588 kB
Writeback:             0 kB
AnonPages:       1822248 kB
Mapped:            10724 kB
Shmem:                 0 kB
Slab:             566920 kB
SReclaimable:      10804 kB
SUnreclaim:       556116 kB
KernelStack:        1456 kB
PageTables:         7800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1964780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 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 16:13:51