Trace number 4078768

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb
MD5SUM2ea7e3b5e107f983d069c627d91480a3
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.019996
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables1640
Total number of constraints81
Number of constraints which are clauses41
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T21:25:41+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078768-1465241141.opb"]
0.00/0.01	c use --random-gen="3420881789 1941398620 1910315069 1319331553 4260113573 1616468958 1564794242 2059905562 3374603228 3481602349 934668269 1809765539 383584402 10353224 2992657633 1893312304 1177416278 660001046 165946119 1433747679 418077189 3154415866 3243230510 2001746886 826200418 2919504193 2515608831 3081324795 3152740611 328336183 229321 46923915 1403075075 3664014884 3163154488 2602939158 2818239731 1293381219 2437829898 2081447793 3907412604 223428794 681694813 4190488289 1431966663 221291614 3003720032 1586474395 1237935580 1824384807 1856363152 1112788469 2598009795 876835094 148381078 2645016354 1889567075 3841443992 551256034 3331839855 2467412823 2626496423 2401900156 922526711 1800940628 3431178069 1806841209 1520398626 3773975567 1519140428 1760084761 4107928932 3784393899 2293239676 1059699375 3647928374 1312923736 420721827 3922744019 2530712236 492444644 3323434822 1122080121 1361410079 2789985123 1670708972 1126770404 3365057781 3736083826 202022215 1730484024 6329085 1772490609 2530924104 1672770565 2095457087 2664926204 1493104291 1236431626 3710557114 58684067 3867970350 2290901939 3988438428 1787221968 533494534 1463938478 2657215105 111480566 1351270423 2397163473 1580307417 2595710916 2001686063 1274215624 4146564799 2862425963 424557293 3573414016 53627147 3251558046 1206252491 2583644801 3551272267 1387519687 2959710947 1312216137 1325653993 596514799 2005931528 3828557705 1390600090 4194906722 3238103290 2053955238 4144059831 1939691041 1187705908 3105525734 3901254551 3822309343 1166536598 3979592100 1992087315 4264289158 3235379827 2944186609 1934505843 1840228505 693317929 185951560 183275109 153789744 2141153715 1020812583 4182664106 1496533427 2976735919 2955063742 4152449022 604854494 3682297895 327123103 1718190172 1910092645 4232841848 170427022 3684369732 3112226678 3276620156 2661114900 2755068626 3651627436 1704492946 428378719 1572557669 3042481752 2583681961 759203927 3721282344 90795342 533496989 2438499439 3409953404 2253002269 3755519488 2230944005 1798468043 1926997446 1599133142 3496972168 1157680423 2684332167 1087120448 4156822939 3084735620 862063538 4156783783 4036457645 4138692524 216344820 1529077695 1466743732 2891737404 830764057 858932704 1855688931 1951915678 712748574 3719600218 825877113 4193559644 4043389823 2549244011 3977576895 251466334 1090619749 2479317905 3641100760 2959040437 1757444263 3429754504 2711185365 1983336874 2928088428 2478247429 2306039804 652898153 1809900455 276403267 3695827488 3260743818 323803822 2463088146 1265820184 1229501439 3512215102 643066064 3992880663 2237744812 3522527181 628082148 666268770 1685237278 2289215212 2134211293 1797008475 383534471 3434549311 1000732979 1941628002 4251182063 1263135894 1364317519 1427427855 2423709215 255 362436" option to reproduce the execution
0.00/0.02	c #vars 1640
0.00/0.02	c #constraints 81
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      573      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      157 |      100 |      573      0 |        0 |        0
0.09/0.17	c  0.1s |       2 |     1029 |      250 |      631      0 |        0 |        0
0.29/0.39	c  0.4s |       3 |     2118 |      475 |      695      0 |        0 |        0
0.59/0.61	c  0.6s |       4 |     3387 |      813 |      765      0 |        0 |        0
0.99/1.01	c  1.0s |       5 |     4921 |     1320 |      842      1 |        0 |        0
1.49/1.53	c  1.5s |       6 |     6644 |     2081 |     1020      2 |        0 |        0
2.20/2.27	c  2.2s |       7 |     8753 |     3223 |     1122      3 |        0 |        0
3.69/3.77	c  3.7s |       8 |    11478 |     4936 |     1235      4 |        0 |        0
5.70/5.74	c  5.7s |       9 |    15210 |     7506 |     1359      7 |        0 |        0
7.69/7.76	c  7.7s |       9 |    18996 |    10106 |     1359      9 |        0 |        0
8.79/8.89	c  8.9s |      10 |    20388 |    11361 |     1495     10 |        0 |        0
10.89/10.95	c 10.9s |      10 |    24131 |    13861 |     1495     12 |        0 |        0
12.89/12.99	c 13.0s |      10 |    26287 |    15761 |     1495     13 |        0 |        0
14.58/14.64	c 14.6s |      11 |    27820 |    17144 |     1645     14 |        0 |        0
16.69/16.73	c 16.7s |      11 |    31525 |    19544 |     1645     16 |        0 |        0
18.68/18.78	c 18.8s |      11 |    33574 |    21344 |     1645     17 |        0 |        0
20.78/20.82	c 20.8s |      11 |    35726 |    23244 |     1645     18 |        0 |        0
22.78/22.87	c 22.8s |      11 |    37650 |    24944 |     1645     19 |        0 |        0
23.88/23.96	c 23.9s |      12 |    38683 |    25819 |     1810     19 |        0 |        0
25.98/26.00	c 26.0s |      12 |    42366 |    28319 |     1810     21 |        0 |        0
27.98/28.02	c 28.0s |      12 |    44835 |    30419 |     1810     22 |        0 |        0
30.08/30.11	c 30.1s |      12 |    46907 |    32319 |     1810     23 |        0 |        0
32.09/32.18	c 32.2s |      12 |    49024 |    34219 |     1810     24 |        0 |        0
34.08/34.18	c 34.2s |      12 |    51109 |    36119 |     1810     25 |        0 |        0
36.18/36.22	c 36.2s |      12 |    53199 |    38019 |     1810     27 |        0 |        0
36.98/37.00	c 37.0s |      13 |    54076 |    38832 |     1992     27 |        0 |        0
38.98/39.02	c 39.0s |      13 |    57592 |    41232 |     1992     29 |        0 |        0
41.08/41.12	c 41.1s |      13 |    59940 |    43332 |     1992     30 |        0 |        0
43.09/43.16	c 43.1s |      13 |    61964 |    45132 |     1992     31 |        0 |        0
45.09/45.19	c 45.2s |      13 |    63822 |    46832 |     1992     32 |        0 |        0
47.19/47.25	c 47.2s |      13 |    65763 |    48632 |     1992     33 |        0 |        0
49.18/49.29	c 49.3s |      13 |    68001 |    50632 |     1992     34 |        0 |        0
51.28/51.35	c 51.3s |      13 |    70113 |    52532 |     1992     35 |        0 |        0
53.28/53.38	c 53.4s |      13 |    71944 |    54132 |     1992     36 |        0 |        0
55.38/55.46	c 55.4s |      13 |    74124 |    56032 |     1992     37 |        0 |        0
57.39/57.47	c 57.4s |      13 |    76266 |    57932 |     1992     38 |        0 |        0
57.78/57.88	c 57.9s |      14 |    76723 |    58352 |     2192     38 |        0 |        0
59.88/59.90	c 59.9s |      14 |    80584 |    61052 |     2192     40 |        0 |        0
61.88/61.92	c 61.9s |      14 |    83159 |    63352 |     2192     41 |        0 |        0
63.89/63.96	c 63.9s |      14 |    85755 |    65652 |     2192     42 |        0 |        0
65.98/66.03	c 66.0s |      14 |    88254 |    67852 |     2192     43 |        0 |        0
67.98/68.09	c 68.1s |      14 |    90547 |    69852 |     2192     45 |        0 |        0
70.08/70.11	c 70.1s |      14 |    92762 |    71852 |     2192     46 |        0 |        0
72.08/72.15	c 72.1s |      14 |    95108 |    73952 |     2192     47 |        0 |        0
74.08/74.16	c 74.1s |      14 |    97233 |    75852 |     2192     48 |        0 |        0
76.18/76.23	c 76.2s |      14 |    99397 |    77752 |     2192     49 |        0 |        0
78.19/78.29	c 78.3s |      14 |   101631 |    79752 |     2192     50 |        0 |        0
80.28/80.39	c 80.4s |      14 |   103669 |    81552 |     2192     51 |        0 |        0
82.38/82.47	c 82.4s |      14 |   105904 |    83552 |     2192     52 |        0 |        0
84.48/84.53	c 84.5s |      14 |   108277 |    85652 |     2192     53 |        0 |        0
86.58/86.62	c 86.6s |      14 |   110382 |    87552 |     2412     54 |        0 |        0
86.68/86.72	c 86.7s |      15 |   110475 |    87632 |     2412     54 |        0 |        0
88.68/88.77	c 88.7s |      15 |   114204 |    90332 |     2412     56 |        0 |        0
90.67/90.79	c 90.8s |      15 |   116306 |    92232 |     2412     57 |        0 |        0
92.67/92.79	c 92.8s |      15 |   118507 |    94232 |     2412     58 |        0 |        0
94.78/94.82	c 94.8s |      15 |   121019 |    96432 |     2412     59 |        0 |        0
96.88/96.92	c 96.9s |      15 |   123119 |    98332 |     2412     60 |        0 |        0
98.97/99.02	c 99.0s |      15 |   125313 |   100332 |     2412     61 |        0 |        0
100.97/101.09	c  101s |      15 |   127638 |   102332 |     2412     62 |        0 |        0
103.07/103.18	c  103s |      15 |   129831 |   104332 |     2412     63 |        0 |        0
105.17/105.22	c  105s |      15 |   131827 |   106132 |     2412     64 |        0 |        0
107.17/107.23	c  107s |      15 |   133578 |   107732 |     2412     65 |        0 |        0
109.17/109.29	c  109s |      15 |   135416 |   109432 |     2412     65 |        0 |        0
111.27/111.35	c  111s |      15 |   137482 |   111232 |     2412     66 |        0 |        0
113.37/113.42	c  113s |      15 |   139799 |   113332 |     2412     67 |        0 |        0
115.46/115.51	c  115s |      15 |   142099 |   115432 |     2412     68 |        0 |        0
117.46/117.52	c  117s |      15 |   144066 |   117232 |     2412     69 |        0 |        0
119.56/119.62	c  119s |      15 |   146213 |   119232 |     2412     70 |        0 |        0
121.66/121.71	c  121s |      15 |   148299 |   121132 |     2412     71 |        0 |        0
123.66/123.77	c  123s |      15 |   150415 |   123032 |     2412     72 |        0 |        0
125.75/125.81	c  125s |      15 |   152267 |   124732 |     2412     73 |        0 |        0
127.76/127.89	c  127s |      15 |   153787 |   126132 |     2412     74 |        0 |        0
129.86/129.96	c  129s |      15 |   156134 |   128132 |     2412     75 |        0 |        0
131.95/132.04	c  132s |      15 |   158167 |   129932 |     2412     76 |        0 |        0
133.95/134.05	c  134s |      16 |   159966 |   131552 |     2654     77 |        0 |        0
136.05/136.10	c  136s |      16 |   163270 |   133952 |     2654     78 |        0 |        0
138.05/138.17	c  138s |      16 |   165262 |   135752 |     2654     79 |        0 |        0
140.15/140.21	c  140s |      16 |   167438 |   137652 |     2654     80 |        0 |        0
142.15/142.29	c  142s |      16 |   169619 |   139552 |     2654     81 |        0 |        0
144.25/144.31	c  144s |      16 |   171886 |   141552 |     2654     82 |        0 |        0
146.24/146.34	c  146s |      16 |   174200 |   143552 |     2654     82 |        0 |        0
148.24/148.36	c  148s |      16 |   176064 |   145252 |     2654     83 |        0 |        0
150.24/150.36	c  150s |      16 |   177972 |   146952 |     2654     84 |        0 |        0
152.34/152.44	c  152s |      16 |   179860 |   148652 |     2654     85 |        0 |        0
154.34/154.49	c  154s |      16 |   181891 |   150452 |     2654     86 |        0 |        0
156.44/156.50	c  156s |      16 |   183942 |   152252 |     2654     87 |        0 |        0
158.45/158.53	c  158s |      16 |   186072 |   154152 |     2654     88 |        0 |        0
160.44/160.59	c  160s |      16 |   188143 |   156052 |     2654     89 |        0 |        0
162.64/162.70	c  162s |      16 |   190398 |   158052 |     2654     89 |        0 |        0
164.64/164.75	c  164s |      16 |   192442 |   159852 |     2654     90 |        0 |        0
166.74/166.85	c  166s |      16 |   194634 |   161752 |     2654     91 |        0 |        0
168.84/168.92	c  168s |      16 |   196815 |   163652 |     2654     92 |        0 |        0
170.83/170.98	c  170s |      16 |   198813 |   165452 |     2654     93 |        0 |        0
172.93/173.05	c  173s |      16 |   201025 |   167452 |     2654     94 |        0 |        0
174.94/175.07	c  175s |      16 |   202869 |   169152 |     2654     95 |        0 |        0
177.03/177.18	c  177s |      16 |   205034 |   171052 |     2654     96 |        0 |        0
179.13/179.24	c  179s |      16 |   206918 |   172752 |     2654     97 |        0 |        0
181.13/181.24	c  181s |      16 |   208788 |   174452 |     2654     97 |        0 |        0
183.23/183.30	c  183s |      16 |   210809 |   176252 |     2654     98 |        0 |        0
185.33/185.42	c  185s |      16 |   212622 |   177952 |     2654     99 |        0 |        0
187.32/187.42	c  187s |      16 |   214554 |   179652 |     2654    100 |        0 |        0
189.33/189.46	c  189s |      16 |   217019 |   181852 |     2654    101 |        0 |        0
191.32/191.50	c  191s |      16 |   218908 |   183552 |     2654    102 |        0 |        0
193.42/193.55	c  193s |      16 |   220894 |   185352 |     2654    103 |        0 |        0
195.42/195.56	c  195s |      16 |   222675 |   186952 |     2654    103 |        0 |        0
197.52/197.62	c  197s |      16 |   224585 |   188652 |     2654    104 |        0 |        0
199.52/199.66	c  199s |      16 |   226564 |   190252 |     2654    105 |        0 |        0
201.51/201.69	c  201s |      16 |   228023 |   191552 |     2654    106 |        0 |        0
203.71/203.84	c  203s |      16 |   229479 |   192852 |     2654    106 |        0 |        0
205.72/205.88	c  205s |      16 |   231251 |   194352 |     2654    107 |        0 |        0
207.81/208.00	c  207s |      16 |   232724 |   195652 |     2654    108 |        0 |        0
209.91/210.09	c  210s |      16 |   234575 |   197252 |     2920    108 |        0 |        0
210.22/210.31	c  210s |      17 |   234769 |   197432 |     2920    108 |        0 |        0
212.21/212.40	c  212s |      17 |   238224 |   199832 |     2920    110 |        0 |        0
214.31/214.41	c  214s |      17 |   240375 |   201732 |     2920    110 |        0 |        0
216.41/216.50	c  216s |      17 |   242574 |   203732 |     2920    111 |        0 |        0
218.51/218.61	c  218s |      17 |   244642 |   205632 |     2920    112 |        0 |        0
220.60/220.72	c  220s |      17 |   246815 |   207532 |     2920    113 |        0 |        0
222.70/222.82	c  222s |      17 |   248814 |   209332 |     2920    114 |        0 |        0
224.80/224.91	c  224s |      17 |   250940 |   211232 |     2920    115 |        0 |        0
226.90/227.03	c  227s |      17 |   253075 |   213132 |     2920    116 |        0 |        0
228.91/229.08	c  229s |      17 |   255190 |   215032 |     2920    116 |        0 |        0
231.00/231.11	c  231s |      17 |   257079 |   216732 |     2920    117 |        0 |        0
233.10/233.22	c  233s |      17 |   258809 |   218332 |     2920    118 |        0 |        0
235.10/235.26	c  235s |      17 |   260856 |   220132 |     2920    119 |        0 |        0
237.19/237.35	c  237s |      17 |   262706 |   221832 |     2920    120 |        0 |        0
239.29/239.44	c  239s |      17 |   264869 |   223732 |     2920    120 |        0 |        0
241.29/241.45	c  241s |      17 |   266670 |   225332 |     2920    121 |        0 |        0
243.29/243.46	c  243s |      17 |   268515 |   227032 |     2920    122 |        0 |        0
245.39/245.53	c  245s |      17 |   270171 |   228532 |     2920    123 |        0 |        0
247.39/247.53	c  247s |      17 |   272290 |   230432 |     2920    123 |        0 |        0
249.39/249.56	c  249s |      17 |   274053 |   232032 |     2920    124 |        0 |        0
251.48/251.62	c  251s |      17 |   275871 |   233632 |     2920    125 |        0 |        0
253.48/253.66	c  253s |      17 |   277985 |   235532 |     2920    126 |        0 |        0
255.58/255.75	c  255s |      17 |   279850 |   237232 |     2920    127 |        0 |        0
257.68/257.82	c  257s |      17 |   281876 |   239032 |     2920    127 |        0 |        0
259.78/259.91	c  259s |      17 |   284076 |   241032 |     2920    128 |        0 |        0
261.78/261.98	c  261s |      17 |   285936 |   242732 |     2920    129 |        0 |        0
263.89/264.02	c  263s |      17 |   287704 |   244332 |     2920    130 |        0 |        0
265.99/266.10	c  266s |      17 |   289596 |   246032 |     2920    131 |        0 |        0
267.98/268.19	c  268s |      17 |   291756 |   247932 |     2920    131 |        0 |        0
270.08/270.28	c  270s |      17 |   293752 |   249732 |     2920    132 |        0 |        0
272.18/272.30	c  272s |      17 |   295275 |   251132 |     2920    133 |        0 |        0
274.18/274.33	c  274s |      17 |   296914 |   252632 |     2920    134 |        0 |        0
276.28/276.42	c  276s |      17 |   298653 |   254232 |     2920    134 |        0 |        0
278.28/278.43	c  278s |      17 |   300824 |   256132 |     2920    135 |        0 |        0
280.28/280.47	c  280s |      17 |   302951 |   258032 |     2920    136 |        0 |        0
282.38/282.51	c  282s |      17 |   304704 |   259632 |     2920    137 |        0 |        0
284.38/284.54	c  284s |      17 |   306510 |   261232 |     2920    137 |        0 |        0
286.48/286.61	c  286s |      17 |   308541 |   262932 |     2920    138 |        0 |        0
288.58/288.73	c  288s |      17 |   310541 |   264632 |     2920    139 |        0 |        0
290.57/290.79	c  290s |      17 |   312352 |   266232 |     2920    140 |        0 |        0
292.77/293.00	c  292s |      17 |   314383 |   268032 |     2920    141 |        0 |        0
294.88/295.08	c  295s |      17 |   316551 |   269932 |     2920    141 |        0 |        0
296.98/297.10	c  297s |      17 |   318597 |   271632 |     2920    142 |        0 |        0
298.97/299.17	c  299s |      17 |   320219 |   273032 |     2920    143 |        0 |        0
301.07/301.25	c  301s |      17 |   321878 |   274532 |     2920    143 |        0 |        0
303.17/303.34	c  303s |      17 |   323596 |   276032 |     2920    144 |        0 |        0
305.27/305.43	c  305s |      17 |   325305 |   277532 |     2920    145 |        0 |        0
307.27/307.48	c  307s |      17 |   326855 |   278932 |     2920    145 |        0 |        0
309.37/309.56	c  309s |      17 |   328511 |   280332 |     2920    146 |        0 |        0
311.37/311.57	c  311s |      17 |   330172 |   281732 |     2920    147 |        0 |        0
313.36/313.59	c  313s |      17 |   331485 |   282932 |     2920    147 |        0 |        0
315.46/315.65	c  315s |      17 |   333169 |   284432 |     2920    148 |        0 |        0
317.56/317.70	c  317s |      17 |   334900 |   285932 |     2920    149 |        0 |        0
319.66/319.81	c  319s |      17 |   336701 |   287532 |     2920    149 |        0 |        0
321.76/321.91	c  321s |      17 |   338479 |   289132 |     2920    150 |        0 |        0
323.75/323.97	c  323s |      17 |   339881 |   290432 |     2920    151 |        0 |        0
325.85/326.05	c  326s |      17 |   341447 |   291832 |     2920    151 |        0 |        0
327.86/328.05	c  328s |      17 |   342779 |   293032 |     2920    152 |        0 |        0
329.96/330.11	c  330s |      17 |   344236 |   294332 |     3213    152 |        0 |        0
331.95/332.19	c  332s |      17 |   345592 |   295532 |     3213    153 |        0 |        0
332.95/333.15	c  333s |      18 |   346380 |   296252 |     3213    153 |        0 |        0
335.05/335.22	c  335s |      18 |   349406 |   298352 |     3213    154 |        0 |        0
337.05/337.24	c  337s |      18 |   351313 |   300052 |     3213    155 |        0 |        0
339.15/339.31	c  339s |      18 |   353017 |   301552 |     3213    156 |        0 |        0
341.14/341.35	c  341s |      18 |   354678 |   303052 |     3213    156 |        0 |        0
343.25/343.49	c  343s |      18 |   356344 |   304552 |     3213    157 |        0 |        0
345.24/345.50	c  345s |      18 |   357644 |   305752 |     3213    157 |        0 |        0
347.44/347.61	c  347s |      18 |   359315 |   307252 |     3213    158 |        0 |        0
349.54/349.71	c  349s |      18 |   361019 |   308752 |     3213    159 |        0 |        0
351.54/351.77	c  351s |      18 |   362955 |   310452 |     3213    159 |        0 |        0
353.54/353.77	c  353s |      18 |   364529 |   311852 |     3213    160 |        0 |        0
355.74/355.92	c  355s |      18 |   366124 |   313252 |     3213    161 |        0 |        0
357.74/357.95	c  357s |      18 |   368202 |   315052 |     3213    161 |        0 |        0
359.84/360.02	c  359s |      18 |   369817 |   316552 |     3213    162 |        0 |        0
361.84/362.09	c  362s |      18 |   371359 |   317952 |     3213    163 |        0 |        0
363.93/364.16	c  364s |      18 |   373242 |   319652 |     3213    163 |        0 |        0
366.03/366.22	c  366s |      18 |   374905 |   321152 |     3213    164 |        0 |        0
368.03/368.25	c  368s |      18 |   376697 |   322752 |     3213    165 |        0 |        0
370.13/370.35	c  370s |      18 |   378601 |   324452 |     3213    165 |        0 |        0
372.23/372.46	c  372s |      18 |   380199 |   325952 |     3213    166 |        0 |        0
374.33/374.53	c  374s |      18 |   381880 |   327452 |     3213    167 |        0 |        0
376.33/376.60	c  376s |      18 |   383767 |   329152 |     3213    167 |        0 |        0
378.43/378.65	c  378s |      18 |   385529 |   330752 |     3213    168 |        0 |        0
380.53/380.76	c  380s |      18 |   386964 |   332052 |     3213    169 |        0 |        0
382.62/382.89	c  382s |      18 |   388749 |   333652 |     3213    169 |        0 |        0
384.72/384.97	c  384s |      18 |   389950 |   334752 |     3213    170 |        0 |        0
386.82/387.08	c  387s |      18 |   392385 |   336852 |     3213    171 |        0 |        0
388.92/389.13	c  389s |      18 |   394392 |   338652 |     3213    171 |        0 |        0
390.92/391.18	c  391s |      18 |   396169 |   340252 |     3213    172 |        0 |        0
393.02/393.28	c  393s |      18 |   397829 |   341752 |     3213    173 |        0 |        0
395.12/395.39	c  395s |      18 |   399578 |   343352 |     3213    173 |        0 |        0
397.22/397.45	c  397s |      18 |   401487 |   345052 |     3213    174 |        0 |        0
399.32/399.56	c  399s |      18 |   403344 |   346752 |     3213    175 |        0 |        0
401.42/401.65	c  401s |      18 |   405236 |   348452 |     3213    175 |        0 |        0
403.41/403.66	c  403s |      18 |   406989 |   350052 |     3213    176 |        0 |        0
405.41/405.67	c  405s |      18 |   408540 |   351452 |     3213    177 |        0 |        0
407.51/407.77	c  407s |      18 |   410368 |   353152 |     3213    177 |        0 |        0
409.61/409.82	c  409s |      18 |   412127 |   354752 |     3213    178 |        0 |        0
411.71/411.92	c  411s |      18 |   413766 |   356252 |     3213    179 |        0 |        0
413.71/413.99	c  413s |      18 |   415550 |   357852 |     3213    179 |        0 |        0
415.81/416.05	c  416s |      18 |   417441 |   359552 |     3213    180 |        0 |        0
417.91/418.10	c  418s |      18 |   419206 |   361152 |     3213    181 |        0 |        0
419.90/420.14	c  420s |      18 |   420727 |   362552 |     3213    181 |        0 |        0
422.00/422.25	c  422s |      18 |   422373 |   364052 |     3213    182 |        0 |        0
424.00/424.29	c  424s |      18 |   424144 |   365652 |     3213    183 |        0 |        0
426.10/426.36	c  426s |      18 |   425775 |   367152 |     3213    183 |        0 |        0
428.20/428.48	c  428s |      18 |   427924 |   369052 |     3213    184 |        0 |        0
430.20/430.48	c  430s |      18 |   429464 |   370452 |     3213    185 |        0 |        0
432.30/432.56	c  432s |      18 |   431366 |   372052 |     3213    185 |        0 |        0
434.40/434.65	c  434s |      18 |   433238 |   373752 |     3213    186 |        0 |        0
436.39/436.66	c  436s |      18 |   434864 |   375252 |     3213    187 |        0 |        0
438.39/438.69	c  438s |      18 |   436526 |   376752 |     3213    187 |        0 |        0
440.49/440.78	c  440s |      18 |   438163 |   378252 |     3213    188 |        0 |        0
442.59/442.88	c  442s |      18 |   439793 |   379752 |     3213    189 |        0 |        0
444.69/444.92	c  444s |      18 |   441544 |   381352 |     3213    189 |        0 |        0
446.69/446.94	c  446s |      18 |   443035 |   382652 |     3213    190 |        0 |        0
448.79/449.03	c  449s |      18 |   444698 |   384152 |     3213    191 |        0 |        0
450.78/451.06	c  451s |      18 |   446444 |   385752 |     3213    191 |        0 |        0
452.88/453.14	c  453s |      18 |   448114 |   387252 |     3213    192 |        0 |        0
454.98/455.22	c  455s |      18 |   449652 |   388652 |     3213    193 |        0 |        0
457.08/457.34	c  457s |      18 |   451755 |   390552 |     3213    193 |        0 |        0
459.18/459.43	c  459s |      18 |   453398 |   392052 |     3213    194 |        0 |        0
461.27/461.53	c  461s |      18 |   455238 |   393552 |     3213    195 |        0 |        0
463.37/463.63	c  463s |      18 |   457263 |   395352 |     3213    195 |        0 |        0
465.47/465.72	c  465s |      18 |   459085 |   396952 |     3213    196 |        0 |        0
467.48/467.75	c  467s |      18 |   460621 |   398352 |     3213    197 |        0 |        0
469.47/469.79	c  469s |      18 |   462539 |   400052 |     3213    197 |        0 |        0
471.57/471.86	c  471s |      18 |   464542 |   401852 |     3213    198 |        0 |        0
473.67/473.98	c  473s |      18 |   466394 |   403552 |     3213    199 |        0 |        0
475.77/476.08	c  476s |      18 |   468276 |   405252 |     3213    200 |        0 |        0
477.87/478.10	c  478s |      18 |   469941 |   406752 |     3213    200 |        0 |        0
479.88/480.17	c  480s |      18 |   471717 |   408352 |     3213    201 |        0 |        0
482.07/482.33	c  482s |      18 |   473467 |   409952 |     3213    202 |        0 |        0
484.07/484.38	c  484s |      18 |   475296 |   411652 |     3213    202 |        0 |        0
486.18/486.45	c  486s |      18 |   477063 |   413252 |     3213    203 |        0 |        0
488.17/488.50	c  488s |      18 |   478944 |   414952 |     3213    204 |        0 |        0
490.26/490.50	c  490s |      18 |   480686 |   416552 |     3213    204 |        0 |        0
492.26/492.56	c  492s |      18 |   482207 |   417952 |     3213    205 |        0 |        0
494.46/494.72	c  494s |      18 |   483729 |   419352 |     3213    206 |        0 |        0
496.46/496.75	c  496s |      18 |   485490 |   420952 |     3213    206 |        0 |        0
498.56/498.87	c  498s |      18 |   487244 |   422552 |     3213    207 |        0 |        0
500.66/500.97	c  500s |      18 |   488771 |   423952 |     3213    207 |        0 |        0
502.76/503.06	c  503s |      18 |   490533 |   425452 |     3213    208 |        0 |        0
504.76/505.07	c  505s |      18 |   492099 |   426752 |     3213    209 |        0 |        0
506.76/507.09	c  507s |      18 |   493666 |   428052 |     3213    209 |        0 |        0
508.86/509.10	c  509s |      18 |   494915 |   429152 |     3213    210 |        0 |        0
510.86/511.13	c  511s |      18 |   496394 |   430452 |     3213    210 |        0 |        0
512.86/513.19	c  513s |      18 |   497648 |   431552 |     3213    211 |        0 |        0
515.05/515.37	c  515s |      18 |   498952 |   432752 |     3213    211 |        0 |        0
517.15/517.47	c  517s |      18 |   500433 |   434052 |     3213    212 |        0 |        0
519.25/519.52	c  519s |      18 |   502164 |   435552 |     3213    212 |        0 |        0
521.36/521.62	c  521s |      18 |   503481 |   436752 |     3213    213 |        0 |        0
523.35/523.63	c  523s |      18 |   504788 |   437952 |     3213    213 |        0 |        0
525.35/525.68	c  525s |      18 |   506141 |   439152 |     3213    214 |        0 |        0
527.45/527.70	c  527s |      18 |   507583 |   440452 |     3213    214 |        0 |        0
529.55/529.84	c  529s |      18 |   509272 |   441952 |     3535    215 |        0 |        0
531.55/531.86	c  531s |      18 |   510650 |   443152 |     3535    216 |        0 |        0
533.65/533.93	c  533s |      18 |   512098 |   444452 |     3535    216 |        0 |        0
533.65/533.98	c  533s |      19 |   512124 |   444482 |     3535    216 |        0 |        0
535.65/535.99	c  535s |      19 |   515225 |   446582 |     3535    217 |        0 |        0
537.75/538.02	c  537s |      19 |   517204 |   448282 |     3535    218 |        0 |        0
539.75/540.04	c  540s |      19 |   518939 |   449882 |     3535    218 |        0 |        0
541.84/542.14	c  542s |      19 |   520789 |   451582 |     3535    219 |        0 |        0
543.84/544.15	c  544s |      19 |   522553 |   453182 |     3535    220 |        0 |        0
545.84/546.19	c  546s |      19 |   524421 |   454882 |     3535    220 |        0 |        0
547.94/548.28	c  548s |      19 |   526187 |   456482 |     3535    221 |        0 |        0
550.04/550.30	c  550s |      19 |   527808 |   457982 |     3535    222 |        0 |        0
552.04/552.40	c  552s |      19 |   529474 |   459482 |     3535    222 |        0 |        0
554.13/554.50	c  554s |      19 |   531079 |   460882 |     3535    223 |        0 |        0
556.33/556.64	c  556s |      19 |   532782 |   462382 |     3535    223 |        0 |        0
558.43/558.72	c  558s |      19 |   534579 |   463982 |     3535    224 |        0 |        0
560.43/560.78	c  560s |      19 |   536104 |   465382 |     3535    225 |        0 |        0
562.53/562.80	c  562s |      19 |   537739 |   466882 |     3535    225 |        0 |        0
564.53/564.81	c  564s |      19 |   539262 |   468282 |     3535    226 |        0 |        0
566.63/566.92	c  566s |      19 |   540801 |   469682 |     3535    226 |        0 |        0
568.73/569.01	c  568s |      19 |   542245 |   470982 |     3535    227 |        0 |        0
570.83/571.18	c  571s |      19 |   543797 |   472382 |     3535    227 |        0 |        0
572.82/573.20	c  573s |      19 |   545219 |   473682 |     3535    228 |        0 |        0
575.13/575.46	c  575s |      19 |   546797 |   475082 |     3535    229 |        0 |        0
577.22/577.50	c  577s |      19 |   548946 |   476982 |     3535    229 |        0 |        0
579.22/579.52	c  579s |      19 |   550466 |   478382 |     3535    230 |        0 |        0
581.21/581.56	c  581s |      19 |   552077 |   479882 |     3535    230 |        0 |        0
583.31/583.66	c  583s |      19 |   553590 |   481282 |     3535    231 |        0 |        0
585.31/585.67	c  585s |      19 |   555271 |   482782 |     3535    232 |        0 |        0
587.32/587.68	c  587s |      19 |   556875 |   484282 |     3535    232 |        0 |        0
589.31/589.69	c  589s |      19 |   558278 |   485582 |     3535    233 |        0 |        0
591.41/591.77	c  591s |      19 |   560179 |   487282 |     3535    233 |        0 |        0
593.41/593.78	c  593s |      19 |   561846 |   488782 |     3535    234 |        0 |        0
595.61/595.96	c  595s |      19 |   563395 |   490182 |     3535    235 |        0 |        0
597.60/598.00	c  597s |      19 |   565128 |   491682 |     3535    235 |        0 |        0
599.70/600.07	c  600s |      19 |   566520 |   492982 |     3535    236 |        0 |        0
601.80/602.11	c  602s |      19 |   568063 |   494382 |     3535    236 |        0 |        0
603.81/604.16	c  604s |      19 |   569685 |   495882 |     3535    237 |        0 |        0
605.90/606.21	c  606s |      19 |   571303 |   497382 |     3535    237 |        0 |        0
607.90/608.28	c  608s |      19 |   572878 |   498782 |     3535    238 |        0 |        0
610.20/610.53	c  610s |      19 |   574568 |   500282 |     3535    239 |        0 |        0
612.29/612.62	c  612s |      19 |   576375 |   501882 |     3535    239 |        0 |        0
614.39/614.74	c  614s |      19 |   577948 |   503282 |     3535    240 |        0 |        0
616.49/616.89	c  616s |      19 |   579601 |   504782 |     3535    240 |        0 |        0
618.59/618.90	c  618s |      19 |   581339 |   506282 |     3535    241 |        0 |        0
620.59/620.97	c  620s |      19 |   582998 |   507782 |     3535    242 |        0 |        0
622.69/623.08	c  623s |      19 |   584820 |   509382 |     3535    242 |        0 |        0
624.79/625.13	c  625s |      19 |   586392 |   510782 |     3535    243 |        0 |        0
626.79/627.15	c  627s |      19 |   588080 |   512282 |     3535    243 |        0 |        0
628.89/629.23	c  629s |      19 |   589587 |   513682 |     3535    244 |        0 |        0
631.08/631.41	c  631s |      19 |   591365 |   515282 |     3535    245 |        0 |        0
633.18/633.50	c  633s |      19 |   593347 |   516882 |     3535    245 |        0 |        0
635.28/635.62	c  635s |      19 |   594852 |   518282 |     3535    246 |        0 |        0
637.38/637.74	c  637s |      19 |   596457 |   519782 |     3535    246 |        0 |        0
639.48/639.88	c  639s |      19 |   598108 |   521182 |     3535    247 |        0 |        0
641.48/641.88	c  641s |      19 |   599686 |   522582 |     3535    247 |        0 |        0
643.58/643.97	c  643s |      19 |   601139 |   523882 |     3535    248 |        0 |        0
645.77/646.10	c  646s |      19 |   602452 |   525082 |     3535    248 |        0 |        0
647.78/648.16	c  648s |      19 |   603646 |   526182 |     3535    249 |        0 |        0
649.98/650.33	c  650s |      19 |   604833 |   527282 |     3535    249 |        0 |        0
652.07/652.44	c  652s |      19 |   606384 |   528682 |     3535    250 |        0 |        0
654.17/654.51	c  654s |      19 |   607800 |   529982 |     3535    250 |        0 |        0
656.27/656.62	c  656s |      19 |   609603 |   531582 |     3535    251 |        0 |        0
658.27/658.68	c  658s |      19 |   611194 |   533082 |     3535    252 |        0 |        0
660.26/660.68	c  660s |      19 |   612741 |   534482 |     3535    252 |        0 |        0
662.36/662.75	c  662s |      19 |   614297 |   535882 |     3535    253 |        0 |        0
664.46/664.81	c  664s |      19 |   615953 |   537382 |     3535    253 |        0 |        0
666.47/666.88	c  666s |      19 |   617617 |   538882 |     3535    254 |        0 |        0
668.67/669.02	c  668s |      19 |   619263 |   540382 |     3535    255 |        0 |        0
670.66/671.04	c  671s |      19 |   620996 |   541982 |     3535    255 |        0 |        0
672.76/673.16	c  673s |      19 |   622518 |   543382 |     3535    256 |        0 |        0
674.76/675.19	c  675s |      19 |   624226 |   544882 |     3535    256 |        0 |        0
676.86/677.26	c  677s |      19 |   625777 |   546282 |     3535    257 |        0 |        0
678.96/679.36	c  679s |      19 |   627288 |   547682 |     3535    257 |        0 |        0
681.05/681.46	c  681s |      19 |   628777 |   548882 |     3535    258 |        0 |        0
683.15/683.50	c  683s |      19 |   630279 |   550182 |     3535    258 |        0 |        0
685.16/685.59	c  685s |      19 |   631734 |   551482 |     3535    259 |        0 |        0
687.26/687.62	c  687s |      19 |   633097 |   552682 |     3535    259 |        0 |        0
689.25/689.63	c  689s |      19 |   634543 |   553982 |     3535    260 |        0 |        0
691.45/691.89	c  691s |      19 |   635954 |   555282 |     3535    261 |        0 |        0
693.56/693.96	c  693s |      19 |   637540 |   556682 |     3535    261 |        0 |        0
695.76/696.11	c  696s |      19 |   638979 |   557982 |     3535    262 |        0 |        0
697.75/698.15	c  698s |      19 |   640554 |   559382 |     3535    262 |        0 |        0
699.85/700.22	c  700s |      19 |   641880 |   560582 |     3535    263 |        0 |        0
701.95/702.31	c  702s |      19 |   643436 |   561982 |     3535    263 |        0 |        0
703.95/704.35	c  704s |      19 |   644888 |   563282 |     3535    264 |        0 |        0
706.15/706.50	c  706s |      19 |   646394 |   564682 |     3535    264 |        0 |        0
708.15/708.51	c  708s |      19 |   647713 |   565882 |     3535    265 |        0 |        0
710.25/710.64	c  710s |      19 |   649426 |   567382 |     3535    265 |        0 |        0
712.34/712.70	c  712s |      19 |   650886 |   568682 |     3535    266 |        0 |        0
714.34/714.74	c  714s |      19 |   652333 |   569982 |     3535    266 |        0 |        0
716.54/716.92	c  716s |      19 |   653662 |   571182 |     3535    267 |        0 |        0
718.54/718.95	c  718s |      19 |   655443 |   572782 |     3535    267 |        0 |        0
720.54/720.98	c  720s |      19 |   656974 |   574182 |     3535    268 |        0 |        0
722.64/723.02	c  722s |      19 |   658289 |   575382 |     3535    269 |        0 |        0
724.64/725.04	c  725s |      19 |   659702 |   576682 |     3535    269 |        0 |        0
726.74/727.18	c  727s |      19 |   661029 |   577882 |     3535    270 |        0 |        0
728.74/729.19	c  729s |      19 |   662466 |   579182 |     3535    270 |        0 |        0
730.94/731.32	c  731s |      19 |   664124 |   580682 |     3535    271 |        0 |        0
733.04/733.42	c  733s |      19 |   665889 |   582282 |     3535    271 |        0 |        0
735.14/735.55	c  735s |      19 |   667557 |   583782 |     3535    272 |        0 |        0
737.13/737.58	c  737s |      19 |   669094 |   585182 |     3535    272 |        0 |        0
739.23/739.67	c  739s |      19 |   670627 |   586582 |     3535    273 |        0 |        0
741.33/741.76	c  741s |      19 |   672161 |   587982 |     3535    274 |        0 |        0
743.44/743.84	c  743s |      19 |   673651 |   589382 |     3535    274 |        0 |        0
745.54/745.94	c  745s |      19 |   675318 |   590882 |     3535    275 |        0 |        0
747.63/748.04	c  748s |      19 |   676849 |   592282 |     3535    275 |        0 |        0
749.63/750.09	c  750s |      19 |   678021 |   593382 |     3535    276 |        0 |        0
751.73/752.17	c  752s |      19 |   679782 |   594982 |     3535    276 |        0 |        0
753.83/754.21	c  754s |      19 |   681536 |   596582 |     3535    277 |        0 |        0
755.93/756.30	c  756s |      19 |   683104 |   597982 |     3535    278 |        0 |        0
757.93/758.39	c  758s |      19 |   684717 |   599482 |     3535    278 |        0 |        0
760.13/760.50	c  760s |      19 |   686145 |   600782 |     3535    279 |        0 |        0
762.14/762.58	c  762s |      19 |   687592 |   602082 |     3535    279 |        0 |        0
764.13/764.58	c  764s |      19 |   689050 |   603382 |     3535    280 |        0 |        0
766.23/766.68	c  766s |      19 |   690646 |   604782 |     3535    280 |        0 |        0
768.33/768.78	c  768s |      19 |   692300 |   606282 |     3535    281 |        0 |        0
770.33/770.79	c  770s |      19 |   693817 |   607682 |     3535    281 |        0 |        0
772.43/772.87	c  772s |      19 |   695244 |   608982 |     3535    282 |        0 |        0
774.43/774.88	c  774s |      19 |   696667 |   610282 |     3535    282 |        0 |        0
776.53/776.98	c  776s |      19 |   698310 |   611782 |     3535    283 |        0 |        0
778.63/779.03	c  779s |      19 |   699468 |   612882 |     3535    284 |        0 |        0
780.63/781.10	c  781s |      19 |   701029 |   614282 |     3535    284 |        0 |        0
782.73/783.19	c  783s |      19 |   702578 |   615682 |     3535    285 |        0 |        0
784.82/785.22	c  785s |      19 |   704107 |   617082 |     3535    285 |        0 |        0
786.82/787.22	c  787s |      19 |   705534 |   618382 |     3535    286 |        0 |        0
788.92/789.34	c  789s |      19 |   707068 |   619782 |     3535    286 |        0 |        0
790.92/791.34	c  791s |      19 |   708516 |   621082 |     3535    287 |        0 |        0
792.93/793.35	c  793s |      19 |   709817 |   622282 |     3535    287 |        0 |        0
794.92/795.38	c  795s |      19 |   711251 |   623582 |     3535    288 |        0 |        0
797.12/797.53	c  797s |      19 |   712746 |   624982 |     3535    288 |        0 |        0
799.22/799.65	c  799s |      19 |   714288 |   626382 |     3535    289 |        0 |        0
801.32/801.73	c  801s |      19 |   715694 |   627682 |     3535    289 |        0 |        0
803.32/803.79	c  803s |      19 |   717436 |   629182 |     3535    290 |        0 |        0
805.42/805.82	c  805s |      19 |   718932 |   630482 |     3535    291 |        0 |        0
807.52/807.95	c  807s |      19 |   720451 |   631882 |     3535    291 |        0 |        0
809.52/809.95	c  809s |      19 |   721666 |   632982 |     3535    292 |        0 |        0
811.52/811.97	c  811s |      19 |   723260 |   634382 |     3535    292 |        0 |        0
813.62/814.01	c  813s |      19 |   724709 |   635682 |     3535    293 |        0 |        0
815.62/816.06	c  816s |      19 |   726319 |   637082 |     3535    293 |        0 |        0
817.62/818.06	c  818s |      19 |   727784 |   638382 |     3535    294 |        0 |        0
819.72/820.14	c  820s |      19 |   729366 |   639782 |     3535    294 |        0 |        0
821.82/822.21	c  822s |      19 |   730877 |   641182 |     3535    295 |        0 |        0
823.92/824.33	c  824s |      19 |   732406 |   642582 |     3535    295 |        0 |        0
825.92/826.37	c  826s |      19 |   733709 |   643782 |     3535    296 |        0 |        0
828.12/828.50	c  828s |      19 |   735336 |   645282 |     3535    296 |        0 |        0
830.22/830.61	c  830s |      19 |   736846 |   646682 |     3535    297 |        0 |        0
832.31/832.74	c  832s |      19 |   738136 |   647882 |     3535    298 |        0 |        0
834.31/834.77	c  834s |      19 |   739806 |   649382 |     3535    298 |        0 |        0
836.41/836.84	c  836s |      19 |   741250 |   650682 |     3535    299 |        0 |        0
838.51/838.98	c  838s |      19 |   742903 |   652182 |     3535    299 |        0 |        0
840.61/841.06	c  841s |      19 |   744326 |   653482 |     3535    300 |        0 |        0
842.71/843.19	c  843s |      19 |   746084 |   655082 |     3535    300 |        0 |        0
844.81/845.25	c  845s |      19 |   747571 |   656382 |     3535    301 |        0 |        0
846.91/847.37	c  847s |      19 |   749001 |   657682 |     3535    301 |        0 |        0
849.11/849.50	c  849s |      19 |   750548 |   659082 |     3535    302 |        0 |        0
851.31/851.71	c  851s |      19 |   751978 |   660382 |     3535    303 |        0 |        0
853.32/853.74	c  853s |      19 |   753269 |   661582 |     3535    303 |        0 |        0
855.31/855.77	c  855s |      19 |   754708 |   662882 |     3889    303 |        0 |        0
857.41/857.85	c  857s |      19 |   756091 |   664182 |     3889    304 |        0 |        0
859.41/859.89	c  859s |      19 |   757418 |   665382 |     3889    304 |        0 |        0
861.61/862.01	c  861s |      19 |   758862 |   666682 |     3889    305 |        0 |        0
861.81/862.24	c  862s |      20 |   759027 |   666827 |     3889    305 |        0 |        0
863.91/864.33	c  864s |      20 |   761988 |   668927 |     3889    306 |        0 |        0
866.01/866.46	c  866s |      20 |   763909 |   670627 |     3889    306 |        0 |        0
868.11/868.59	c  868s |      20 |   765468 |   672027 |     3889    307 |        0 |        0
870.21/870.66	c  870s |      20 |   766943 |   673327 |     3889    307 |        0 |        0
872.31/872.70	c  872s |      20 |   768156 |   674427 |     3889    308 |        0 |        0
874.32/874.78	c  874s |      20 |   769838 |   675927 |     3889    308 |        0 |        0
876.42/876.87	c  876s |      20 |   771263 |   677227 |     3889    309 |        0 |        0
878.51/878.96	c  878s |      20 |   772334 |   678227 |     3889    309 |        0 |        0
880.71/881.18	c  881s |      20 |   773633 |   679427 |     3889    310 |        0 |        0
882.91/883.31	c  883s |      20 |   775429 |   680927 |     3889    310 |        0 |        0
884.91/885.33	c  885s |      20 |   776956 |   682227 |     3889    311 |        0 |        0
887.01/887.48	c  887s |      20 |   778504 |   683627 |     3889    311 |        0 |        0
889.11/889.58	c  889s |      20 |   779682 |   684727 |     3889    312 |        0 |        0
891.21/891.63	c  891s |      20 |   781106 |   686027 |     3889    312 |        0 |        0
893.21/893.66	c  893s |      20 |   782821 |   687527 |     3889    313 |        0 |        0
895.21/895.69	c  895s |      20 |   784351 |   688927 |     3889    313 |        0 |        0
897.21/897.69	c  897s |      20 |   785666 |   690127 |     3889    314 |        0 |        0
899.41/899.82	c  899s |      20 |   787164 |   691527 |     3889    314 |        0 |        0
901.41/901.89	c  901s |      20 |   788472 |   692727 |     3889    314 |        0 |        0
903.50/903.97	c  903s |      20 |   790241 |   694127 |     3889    315 |        0 |        0
905.70/906.15	c  906s |      20 |   791868 |   695527 |     3889    316 |        0 |        0
907.70/908.18	c  908s |      20 |   793451 |   696927 |     3889    316 |        0 |        0
909.90/910.32	c  910s |      20 |   794929 |   698227 |     3889    317 |        0 |        0
911.90/912.37	c  912s |      20 |   796496 |   699627 |     3889    317 |        0 |        0
914.00/914.45	c  914s |      20 |   797951 |   700927 |     3889    318 |        0 |        0
916.11/916.57	c  916s |      20 |   799504 |   702327 |     3889    318 |        0 |        0
918.21/918.70	c  918s |      20 |   800954 |   703627 |     3889    319 |        0 |        0
920.30/920.71	c  920s |      20 |   802645 |   705127 |     3889    319 |        0 |        0
922.30/922.75	c  922s |      20 |   803824 |   706227 |     3889    320 |        0 |        0
924.40/924.86	c  924s |      20 |   805470 |   707727 |     3889    320 |        0 |        0
926.40/926.88	c  926s |      20 |   806863 |   709027 |     3889    321 |        0 |        0
928.50/928.92	c  928s |      20 |   808650 |   710627 |     3889    321 |        0 |        0
930.50/930.96	c  930s |      20 |   810136 |   711927 |     3889    322 |        0 |        0
932.61/933.06	c  933s |      20 |   811685 |   713327 |     3889    322 |        0 |        0
934.70/935.16	c  935s |      20 |   813280 |   714727 |     3889    323 |        0 |        0
936.90/937.31	c  937s |      20 |   814826 |   716127 |     3889    323 |        0 |        0
938.90/939.34	c  939s |      20 |   816388 |   717527 |     3889    324 |        0 |        0
940.90/941.38	c  941s |      20 |   817914 |   718927 |     3889    324 |        0 |        0
943.00/943.41	c  943s |      20 |   819226 |   720127 |     3889    325 |        0 |        0
945.10/945.57	c  945s |      20 |   820780 |   721527 |     3889    325 |        0 |        0
947.30/947.73	c  947s |      20 |   821985 |   722627 |     3889    326 |        0 |        0
949.29/949.76	c  949s |      20 |   823306 |   723827 |     3889    326 |        0 |        0
951.39/951.81	c  951s |      20 |   824785 |   725127 |     3889    327 |        0 |        0
953.50/953.95	c  953s |      20 |   826413 |   726627 |     3889    327 |        0 |        0
955.70/956.11	c  956s |      20 |   827761 |   727827 |     3889    328 |        0 |        0
957.69/958.13	c  958s |      20 |   828986 |   728927 |     3889    328 |        0 |        0
959.79/960.24	c  960s |      20 |   830311 |   730127 |     3889    328 |        0 |        0
961.79/962.26	c  962s |      20 |   831868 |   731527 |     3889    329 |        0 |        0
963.89/964.33	c  964s |      20 |   833422 |   732927 |     3889    329 |        0 |        0
965.99/966.46	c  966s |      20 |   834922 |   734227 |     3889    330 |        0 |        0
967.99/968.48	c  968s |      20 |   836236 |   735427 |     3889    330 |        0 |        0
970.09/970.57	c  970s |      20 |   837628 |   736627 |     3889    331 |        0 |        0
972.20/972.63	c  972s |      20 |   839327 |   738027 |     3889    331 |        0 |        0
974.19/974.64	c  974s |      20 |   840659 |   739227 |     3889    332 |        0 |        0
976.29/976.75	c  976s |      20 |   842309 |   740627 |     3889    332 |        0 |        0
978.39/978.83	c  978s |      20 |   843859 |   741927 |     3889    333 |        0 |        0
980.49/980.97	c  980s |      20 |   845332 |   743227 |     3889    333 |        0 |        0
982.69/983.12	c  983s |      20 |   846568 |   744327 |     3889    334 |        0 |        0
984.69/985.15	c  985s |      20 |   848267 |   745827 |     3889    334 |        0 |        0
986.79/987.29	c  987s |      20 |   849693 |   747127 |     3889    335 |        0 |        0
988.89/989.38	c  989s |      20 |   851403 |   748627 |     3889    335 |        0 |        0
991.10/991.52	c  991s |      20 |   852735 |   749827 |     3889    336 |        0 |        0
993.10/993.52	c  993s |      20 |   854294 |   751227 |     3889    336 |        0 |        0
995.20/995.62	c  995s |      20 |   855843 |   752627 |     3889    337 |        0 |        0
997.29/997.73	c  997s |      20 |   857384 |   754027 |     3889    337 |        0 |        0
999.29/999.77	c  999s |      20 |   858818 |   755327 |     3889    338 |        0 |        0
1001.29/1001.78	c 1001s |      20 |   860290 |   756627 |     3889    338 |        0 |        0
1003.39/1003.88	c 1003s |      20 |   861758 |   757927 |     3889    339 |        0 |        0
1005.49/1005.96	c 1005s |      20 |   863175 |   759227 |     3889    339 |        0 |        0
1007.49/1007.96	c 1007s |      20 |   864346 |   760327 |     3889    340 |        0 |        0
1009.60/1010.06	c 1010s |      20 |   866088 |   761827 |     3889    340 |        0 |        0
1011.59/1012.10	c 1012s |      20 |   867629 |   763227 |     3889    341 |        0 |        0
1013.79/1014.22	c 1014s |      20 |   868903 |   764427 |     3889    341 |        0 |        0
1015.89/1016.37	c 1016s |      20 |   870171 |   765527 |     3889    342 |        0 |        0
1017.99/1018.47	c 1018s |      20 |   871548 |   766727 |     3889    342 |        0 |        0
1020.09/1020.54	c 1020s |      20 |   872911 |   767927 |     3889    342 |        0 |        0
1022.09/1022.59	c 1022s |      20 |   874382 |   769227 |     3889    343 |        0 |        0
1024.19/1024.68	c 1024s |      20 |   875750 |   770427 |     3889    343 |        0 |        0
1026.19/1026.69	c 1026s |      20 |   877109 |   771627 |     3889    344 |        0 |        0
1028.29/1028.76	c 1028s |      20 |   878597 |   772927 |     3889    344 |        0 |        0
1030.39/1030.82	c 1030s |      20 |   879952 |   774127 |     3889    345 |        0 |        0
1032.38/1032.89	c 1032s |      20 |   881313 |   775327 |     3889    345 |        0 |        0
1034.48/1034.93	c 1034s |      20 |   882574 |   776427 |     3889    346 |        0 |        0
1036.58/1037.03	c 1037s |      20 |   883924 |   777627 |     3889    346 |        0 |        0
1038.68/1039.13	c 1039s |      20 |   885171 |   778727 |     3889    347 |        0 |        0
1040.68/1041.19	c 1041s |      20 |   886776 |   780127 |     3889    347 |        0 |        0
1042.68/1043.19	c 1043s |      20 |   888226 |   781427 |     3889    348 |        0 |        0
1044.88/1045.34	c 1045s |      20 |   889780 |   782827 |     3889    348 |        0 |        0
1046.89/1047.36	c 1047s |      20 |   891091 |   784027 |     3889    348 |        0 |        0
1048.88/1049.36	c 1049s |      20 |   892526 |   785327 |     3889    349 |        0 |        0
1051.18/1051.62	c 1051s |      20 |   894108 |   786727 |     3889    350 |        0 |        0
1053.18/1053.64	c 1053s |      20 |   895854 |   788227 |     3889    350 |        0 |        0
1055.28/1055.73	c 1055s |      20 |   897408 |   789527 |     3889    351 |        0 |        0
1057.38/1057.82	c 1057s |      20 |   899380 |   791227 |     3889    351 |        0 |        0
1059.38/1059.84	c 1059s |      20 |   900860 |   792527 |     3889    352 |        0 |        0
1061.58/1062.00	c 1061s |      20 |   902343 |   793827 |     3889    352 |        0 |        0
1063.68/1064.15	c 1064s |      20 |   903450 |   794827 |     3889    353 |        0 |        0
1065.78/1066.26	c 1066s |      20 |   905271 |   796427 |     3889    353 |        0 |        0
1067.88/1068.31	c 1068s |      20 |   906976 |   797927 |     3889    354 |        0 |        0
1069.88/1070.35	c 1070s |      20 |   908481 |   799227 |     3889    354 |        0 |        0
1071.88/1072.36	c 1072s |      20 |   909697 |   800327 |     3889    355 |        0 |        0
1074.08/1074.52	c 1074s |      20 |   911154 |   801627 |     3889    355 |        0 |        0
1076.28/1076.76	c 1076s |      20 |   912467 |   802827 |     3889    356 |        0 |        0
1078.37/1078.85	c 1078s |      20 |   913700 |   803927 |     3889    356 |        0 |        0
1080.57/1081.00	c 1080s |      20 |   914893 |   805027 |     3889    356 |        0 |        0
1082.67/1083.11	c 1083s |      20 |   916142 |   806127 |     3889    357 |        0 |        0
1084.78/1085.27	c 1085s |      20 |   917387 |   807227 |     3889    357 |        0 |        0
1087.08/1087.53	c 1087s |      20 |   918468 |   808227 |     3889    358 |        0 |        0
1089.08/1089.59	c 1089s |      20 |   919730 |   809327 |     3889    358 |        0 |        0
1091.28/1091.75	c 1091s |      20 |   921366 |   810727 |     3889    358 |        0 |        0
1093.38/1093.84	c 1093s |      20 |   922985 |   812127 |     3889    359 |        0 |        0
1095.58/1096.01	c 1095s |      20 |   924475 |   813427 |     3889    359 |        0 |        0
1097.58/1098.08	c 1098s |      20 |   925727 |   814527 |     3889    360 |        0 |        0
1099.68/1100.14	c 1100s |      20 |   927154 |   815827 |     3889    360 |        0 |        0
1101.78/1102.23	c 1102s |      20 |   928460 |   817027 |     3889    361 |        0 |        0
1103.88/1104.34	c 1104s |      20 |   929880 |   818327 |     3889    361 |        0 |        0
1106.08/1106.50	c 1106s |      20 |   931261 |   819527 |     3889    362 |        0 |        0
1108.18/1108.64	c 1108s |      20 |   932731 |   820827 |     3889    362 |        0 |        0
1110.28/1110.75	c 1110s |      20 |   933970 |   821927 |     3889    363 |        0 |        0
1112.37/1112.80	c 1112s |      20 |   935400 |   823227 |     3889    363 |        0 |        0
1114.47/1114.90	c 1114s |      20 |   936639 |   824327 |     3889    364 |        0 |        0
1116.47/1116.97	c 1116s |      20 |   938272 |   825727 |     3889    364 |        0 |        0
1118.57/1119.00	c 1118s |      20 |   939977 |   827227 |     3889    365 |        0 |        0
1120.68/1121.12	c 1121s |      20 |   941539 |   828627 |     3889    365 |        0 |        0
1122.78/1123.23	c 1123s |      20 |   942762 |   829727 |     3889    366 |        0 |        0
1124.77/1125.24	c 1125s |      20 |   944605 |   831327 |     3889    366 |        0 |        0
1126.87/1127.38	c 1127s |      20 |   946072 |   832627 |     3889    367 |        0 |        0
1129.07/1129.52	c 1129s |      20 |   947780 |   834127 |     3889    367 |        0 |        0
1131.07/1131.56	c 1131s |      20 |   949217 |   835427 |     3889    368 |        0 |        0
1133.17/1133.62	c 1133s |      20 |   951343 |   837027 |     3889    368 |        0 |        0
1135.17/1135.68	c 1135s |      20 |   952844 |   838327 |     3889    369 |        0 |        0
1137.37/1137.81	c 1137s |      20 |   954315 |   839627 |     3889    369 |        0 |        0
1139.38/1139.88	c 1139s |      20 |   955733 |   840827 |     3889    370 |        0 |        0
1141.48/1141.92	c 1141s |      20 |   957177 |   842127 |     3889    370 |        0 |        0
1143.57/1144.03	c 1144s |      20 |   958537 |   843327 |     3889    371 |        0 |        0
1145.57/1146.06	c 1146s |      20 |   960029 |   844627 |     3889    371 |        0 |        0
1147.67/1148.16	c 1148s |      20 |   961627 |   846027 |     3889    372 |        0 |        0
1149.77/1150.24	c 1150s |      20 |   963121 |   847327 |     3889    372 |        0 |        0
1151.87/1152.34	c 1152s |      20 |   964942 |   848827 |     3889    373 |        0 |        0
1153.97/1154.42	c 1154s |      20 |   966609 |   850327 |     3889    373 |        0 |        0
1156.07/1156.50	c 1156s |      20 |   968110 |   851627 |     3889    374 |        0 |        0
1158.17/1158.66	c 1158s |      20 |   969537 |   852927 |     3889    374 |        0 |        0
1160.27/1160.70	c 1160s |      20 |   970803 |   854027 |     3889    375 |        0 |        0
1162.37/1162.85	c 1162s |      20 |   972235 |   855327 |     3889    375 |        0 |        0
1164.37/1164.87	c 1164s |      20 |   973584 |   856427 |     3889    376 |        0 |        0
1166.46/1166.98	c 1166s |      20 |   975207 |   857827 |     3889    376 |        0 |        0
1168.76/1169.21	c 1169s |      20 |   976681 |   859127 |     3889    377 |        0 |        0
1170.76/1171.21	c 1171s |      20 |   978246 |   860427 |     3889    377 |        0 |        0
1172.86/1173.38	c 1173s |      20 |   979635 |   861627 |     3889    377 |        0 |        0
1174.96/1175.44	c 1175s |      20 |   981335 |   862827 |     3889    378 |        0 |        0
1177.06/1177.56	c 1177s |      20 |   982928 |   863927 |     3889    378 |        0 |        0
1179.26/1179.70	c 1179s |      20 |   984248 |   864927 |     3889    379 |        0 |        0
1181.26/1181.74	c 1181s |      20 |   985588 |   866027 |     3889    379 |        0 |        0
1183.46/1183.92	c 1183s |      20 |   986725 |   867027 |     3889    379 |        0 |        0
1185.47/1185.94	c 1185s |      20 |   988231 |   868227 |     3889    380 |        0 |        0
1187.56/1188.08	c 1188s |      20 |   989814 |   869627 |     3889    380 |        0 |        0
1189.66/1190.19	c 1190s |      20 |   991415 |   871027 |     3889    381 |        0 |        0
1191.86/1192.31	c 1192s |      20 |   992854 |   872327 |     3889    381 |        0 |        0
1193.96/1194.45	c 1194s |      20 |   994368 |   873627 |     3889    382 |        0 |        0
1196.06/1196.57	c 1196s |      20 |   995855 |   874927 |     3889    382 |        0 |        0
1198.26/1198.72	c 1198s |      20 |   997235 |   876127 |     3889    383 |        0 |        0
1200.36/1200.88	c 1200s |      20 |   998810 |   877527 |     3889    383 |        0 |        0
1202.46/1202.99	c 1202s |      20 |  1000202 |   878727 |     3889    384 |        0 |        0
1204.46/1204.99	c 1204s |      20 |  1001695 |   880027 |     3889    384 |        0 |        0
1206.56/1207.08	c 1207s |      20 |  1003019 |   881227 |     3889    385 |        0 |        0
1208.66/1209.11	c 1209s |      20 |  1004247 |   882327 |     3889    385 |        0 |        0
1210.66/1211.17	c 1211s |      20 |  1005631 |   883527 |     3889    386 |        0 |        0
1212.65/1213.19	c 1213s |      20 |  1006880 |   884627 |     3889    386 |        0 |        0
1214.75/1215.26	c 1215s |      20 |  1008128 |   885727 |     3889    386 |        0 |        0
1216.85/1217.31	c 1217s |      20 |  1009421 |   886827 |     3889    387 |        0 |        0
1218.95/1219.43	c 1219s |      20 |  1010628 |   887927 |     3889    387 |        0 |        0
1221.15/1221.62	c 1221s |      20 |  1011877 |   888927 |     3889    388 |        0 |        0
1223.26/1223.79	c 1223s |      20 |  1013261 |   890127 |     3889    388 |        0 |        0
1225.56/1226.06	c 1226s |      20 |  1014527 |   891227 |     3889    389 |        0 |        0
1227.66/1228.18	c 1228s |      20 |  1015937 |   892427 |     3889    389 |        0 |        0
1229.66/1230.19	c 1230s |      20 |  1017227 |   893527 |     3889    389 |        0 |        0
1231.76/1232.26	c 1232s |      20 |  1018508 |   894627 |     3889    390 |        0 |        0
1233.96/1234.43	c 1234s |      20 |  1019759 |   895727 |     3889    390 |        0 |        0
1235.95/1236.47	c 1236s |      20 |  1020922 |   896727 |     3889    391 |        0 |        0
1238.05/1238.51	c 1238s |      20 |  1022038 |   897727 |     3889    391 |        0 |        0
1240.15/1240.64	c 1240s |      20 |  1023325 |   898827 |     3889    391 |        0 |        0
1242.15/1242.70	c 1242s |      20 |  1024492 |   899827 |     3889    392 |        0 |        0
1244.25/1244.74	c 1244s |      20 |  1025639 |   900827 |     3889    392 |        0 |        0
1246.35/1246.87	c 1246s |      20 |  1026784 |   901827 |     3889    393 |        0 |        0
1248.45/1248.90	c 1248s |      20 |  1027903 |   902827 |     3889    393 |        0 |        0
1250.55/1251.03	c 1251s |      20 |  1029017 |   903827 |     3889    393 |        0 |        0
1252.55/1253.03	c 1253s |      20 |  1029916 |   904627 |     3889    394 |        0 |        0
1254.65/1255.14	c 1255s |      20 |  1031128 |   905627 |     3889    394 |        0 |        0
1256.75/1257.22	c 1257s |      20 |  1032260 |   906627 |     3889    394 |        0 |        0
1258.75/1259.24	c 1259s |      20 |  1033510 |   907527 |     3889    395 |        0 |        0
1260.85/1261.36	c 1261s |      20 |  1034811 |   908627 |     3889    395 |        0 |        0
1262.95/1263.47	c 1263s |      20 |  1035943 |   909627 |     3889    395 |        0 |        0
1265.04/1265.50	c 1265s |      20 |  1037214 |   910627 |     3889    396 |        0 |        0
1267.04/1267.51	c 1267s |      20 |  1038127 |   911427 |     3889    396 |        0 |        0
1269.25/1269.73	c 1269s |      20 |  1039212 |   912327 |     3889    396 |        0 |        0
1271.26/1271.75	c 1271s |      20 |  1040124 |   913127 |     3889    397 |        0 |        0
1273.25/1273.78	c 1273s |      20 |  1041422 |   914227 |     3889    397 |        0 |        0
1275.55/1276.02	c 1276s |      20 |  1042618 |   915227 |     3889    398 |        0 |        0
1277.65/1278.13	c 1278s |      20 |  1043747 |   916227 |     3889    398 |        0 |        0
1279.75/1280.21	c 1280s |      20 |  1045159 |   917427 |     3889    398 |        0 |        0
1281.75/1282.25	c 1282s |      20 |  1046310 |   918427 |     3889    399 |        0 |        0
1284.05/1284.54	c 1284s |      20 |  1047557 |   919427 |     3889    399 |        0 |        0
1286.25/1286.73	c 1286s |      20 |  1048538 |   920227 |     3889    399 |        0 |        0
1288.35/1288.87	c 1288s |      20 |  1049577 |   921127 |     3889    400 |        0 |        0
1290.55/1291.07	c 1291s |      20 |  1050562 |   922027 |     3889    400 |        0 |        0
1292.75/1293.25	c 1293s |      20 |  1051646 |   922927 |     3889    400 |        0 |        0
1294.95/1295.46	c 1295s |      20 |  1052679 |   923827 |     3889    401 |        0 |        0
1297.15/1297.60	c 1297s |      20 |  1054222 |   925127 |     3889    401 |        0 |        0
1299.15/1299.65	c 1299s |      20 |  1055843 |   926527 |     3889    402 |        0 |        0
1301.15/1301.68	c 1301s |      20 |  1057496 |   927927 |     3889    402 |        0 |        0
1303.35/1303.84	c 1303s |      20 |  1059147 |   929327 |     3889    403 |        0 |        0
1305.45/1305.99	c 1305s |      20 |  1060821 |   930727 |     3889    403 |        0 |        0
1307.65/1308.12	c 1308s |      20 |  1062370 |   932027 |     3889    404 |        0 |        0
1309.65/1310.15	c 1310s |      20 |  1064003 |   933427 |     3889    404 |        0 |        0
1311.75/1312.27	c 1312s |      20 |  1065344 |   934627 |     3889    405 |        0 |        0
1313.95/1314.42	c 1314s |      20 |  1066560 |   935727 |     3889    405 |        0 |        0
1316.04/1316.59	c 1316s |      20 |  1068146 |   936927 |     3889    406 |        0 |        0
1318.14/1318.64	c 1318s |      20 |  1069579 |   938127 |     3889    406 |        0 |        0
1320.34/1320.81	c 1320s |      20 |  1070904 |   939227 |     3889    406 |        0 |        0
1322.44/1322.95	c 1322s |      20 |  1072373 |   940527 |     3889    407 |        0 |        0
1324.54/1325.04	c 1325s |      20 |  1073667 |   941627 |     3889    407 |        0 |        0
1326.54/1327.06	c 1327s |      20 |  1075108 |   942727 |     3889    408 |        0 |        0
1328.64/1329.13	c 1329s |      20 |  1076527 |   943927 |     3889    408 |        0 |        0
1330.75/1331.27	c 1331s |      20 |  1077891 |   945127 |     3889    409 |        0 |        0
1332.95/1333.43	c 1333s |      20 |  1079437 |   946427 |     3889    409 |        0 |        0
1335.05/1335.60	c 1335s |      20 |  1080742 |   947527 |     3889    410 |        0 |        0
1337.14/1337.67	c 1337s |      20 |  1081881 |   948527 |     3889    410 |        0 |        0
1339.24/1339.73	c 1339s |      20 |  1083372 |   949727 |     3889    410 |        0 |        0
1341.34/1341.87	c 1341s |      20 |  1084767 |   950927 |     3889    411 |        0 |        0
1343.34/1343.88	c 1343s |      20 |  1085934 |   951927 |     3889    411 |        0 |        0
1345.44/1345.94	c 1345s |      20 |  1087057 |   952927 |     3889    412 |        0 |        0
1347.64/1348.14	c 1348s |      20 |  1088330 |   954027 |     3889    412 |        0 |        0
1349.73/1350.26	c 1350s |      20 |  1089567 |   955127 |     3889    412 |        0 |        0
1351.73/1352.29	c 1352s |      20 |  1090551 |   956027 |     3889    413 |        0 |        0
1353.84/1354.31	c 1354s |      20 |  1091731 |   957027 |     3889    413 |        0 |        0
1356.13/1356.65	c 1356s |      20 |  1092872 |   958027 |     3889    414 |        0 |        0
1358.33/1358.84	c 1358s |      20 |  1094002 |   959027 |     3889    414 |        0 |        0
1360.34/1360.84	c 1360s |      20 |  1095166 |   960027 |     3889    414 |        0 |        0
1362.43/1362.91	c 1362s |      20 |  1096409 |   961027 |     3889    415 |        0 |        0
1364.43/1364.97	c 1364s |      20 |  1097623 |   962027 |     3889    415 |        0 |        0
1366.53/1367.01	c 1366s |      20 |  1098672 |   962927 |     3889    415 |        0 |        0
1368.64/1369.11	c 1369s |      20 |  1099643 |   963727 |     3889    416 |        0 |        0
1370.74/1371.24	c 1371s |      20 |  1100842 |   964727 |     3889    416 |        0 |        0
1372.94/1373.41	c 1373s |      20 |  1101927 |   965627 |     3889    416 |        0 |        0
1374.94/1375.45	c 1375s |      20 |  1102892 |   966427 |     3889    417 |        0 |        0
1377.04/1377.51	c 1377s |      20 |  1104075 |   967427 |     3889    417 |        0 |        0
1379.23/1379.71	c 1379s |      20 |  1105141 |   968327 |     3889    417 |        0 |        0
1381.34/1381.85	c 1381s |      20 |  1106075 |   969127 |     3889    418 |        0 |        0
1383.54/1384.04	c 1384s |      20 |  1107409 |   970227 |     3889    418 |        0 |        0
1385.74/1386.21	c 1386s |      20 |  1108529 |   971227 |     3889    418 |        0 |        0
1387.73/1388.24	c 1388s |      20 |  1109435 |   972027 |     3889    419 |        0 |        0
1390.04/1390.52	c 1390s |      20 |  1110571 |   972927 |     3889    419 |        0 |        0
1392.03/1392.52	c 1392s |      20 |  1111605 |   973827 |     3889    419 |        0 |        0
1394.03/1394.55	c 1394s |      20 |  1112471 |   974627 |     3889    420 |        0 |        0
1396.13/1396.67	c 1396s |      20 |  1113405 |   975427 |     3889    420 |        0 |        0
1398.33/1398.83	c 1398s |      20 |  1114325 |   976227 |     3889    420 |        0 |        0
1400.33/1400.85	c 1400s |      20 |  1115157 |   976927 |     3889    421 |        0 |        0
1402.33/1402.89	c 1402s |      20 |  1116340 |   977927 |     3889    421 |        0 |        0
1404.63/1405.11	c 1405s |      20 |  1117487 |   978927 |     3889    421 |        0 |        0
1406.73/1407.25	c 1407s |      20 |  1118461 |   979727 |     3889    422 |        0 |        0
1408.73/1409.28	c 1409s |      20 |  1119340 |   980527 |     3889    422 |        0 |        0
1410.93/1411.50	c 1411s |      20 |  1120218 |   981327 |     3889    422 |        0 |        0
1413.03/1413.55	c 1413s |      20 |  1122391 |   983127 |     3889    423 |        0 |        0
1415.23/1415.70	c 1415s |      20 |  1124180 |   984627 |     3889    423 |        0 |        0
1417.23/1417.71	c 1417s |      20 |  1125722 |   985927 |     3889    424 |        0 |        0
1419.33/1419.80	c 1419s |      20 |  1127242 |   987127 |     3889    424 |        0 |        0
1421.42/1421.91	c 1421s |      20 |  1128940 |   988527 |     3889    425 |        0 |        0
1423.62/1424.16	c 1424s |      20 |  1130774 |   990127 |     3889    426 |        0 |        0
1425.62/1426.20	c 1426s |      20 |  1132361 |   991527 |     3889    426 |        0 |        0
1427.92/1428.42	c 1428s |      20 |  1133762 |   992727 |     3889    427 |        0 |        0
1430.02/1430.56	c 1430s |      20 |  1135556 |   994327 |     4278    427 |        0 |        0
1432.12/1432.65	c 1432s |      20 |  1137024 |   995627 |     4278    427 |        0 |        0
1434.22/1434.74	c 1434s |      20 |  1138487 |   996927 |     4278    428 |        0 |        0
1436.33/1436.83	c 1436s |      20 |  1139802 |   998127 |     4278    428 |        0 |        0
1438.43/1438.93	c 1438s |      20 |  1141042 |   999227 |     4278    429 |        0 |        0
1440.12/1440.68	c 1440s |      21 |  1142272 |  1000345 |     4278    429 |        0 |        0
1442.22/1442.76	c 1442s |      21 |  1145885 |  1002945 |     4278    430 |        0 |        0
1444.22/1444.78	c 1444s |      21 |  1148111 |  1004945 |     4278    431 |        0 |        0
1446.42/1446.91	c 1446s |      21 |  1149973 |  1006645 |     4278    431 |        0 |        0
1448.43/1448.96	c 1448s |      21 |  1151923 |  1008345 |     4278    432 |        0 |        0
1450.53/1451.01	c 1450s |      21 |  1153758 |  1009945 |     4278    433 |        0 |        0
1452.62/1453.12	c 1453s |      21 |  1155762 |  1011745 |     4278    433 |        0 |        0
1454.72/1455.20	c 1455s |      21 |  1157600 |  1013345 |     4278    434 |        0 |        0
1456.72/1457.20	c 1457s |      21 |  1159639 |  1015145 |     4278    434 |        0 |        0
1458.82/1459.30	c 1459s |      21 |  1161631 |  1016945 |     4278    435 |        0 |        0
1460.82/1461.33	c 1461s |      21 |  1163407 |  1018545 |     4278    436 |        0 |        0
1462.92/1463.43	c 1463s |      21 |  1165259 |  1020245 |     4278    436 |        0 |        0
1464.92/1465.43	c 1465s |      21 |  1166885 |  1021745 |     4278    437 |        0 |        0
1466.92/1467.43	c 1467s |      21 |  1168498 |  1023245 |     4278    437 |        0 |        0
1469.02/1469.53	c 1469s |      21 |  1170052 |  1024645 |     4278    438 |        0 |        0
1471.12/1471.64	c 1471s |      21 |  1171799 |  1026245 |     4278    438 |        0 |        0
1473.12/1473.69	c 1473s |      21 |  1173427 |  1027745 |     4278    439 |        0 |        0
1475.11/1475.69	c 1475s |      21 |  1174969 |  1029145 |     4278    439 |        0 |        0
1477.21/1477.74	c 1477s |      21 |  1176651 |  1030645 |     4278    440 |        0 |        0
1479.41/1479.94	c 1479s |      21 |  1179153 |  1032845 |     4278    441 |        0 |        0
1481.42/1481.95	c 1481s |      21 |  1180941 |  1034445 |     4278    441 |        0 |        0
1483.41/1483.99	c 1483s |      21 |  1182598 |  1035945 |     4278    442 |        0 |        0
1485.51/1486.00	c 1485s |      21 |  1184484 |  1037645 |     4278    442 |        0 |        0
1487.51/1488.05	c 1488s |      21 |  1186521 |  1039445 |     4278    443 |        0 |        0
1489.61/1490.10	c 1490s |      21 |  1188404 |  1041145 |     4278    443 |        0 |        0
1491.71/1492.20	c 1492s |      21 |  1190122 |  1042745 |     4278    444 |        0 |        0
1493.81/1494.39	c 1494s |      21 |  1191882 |  1044345 |     4278    445 |        0 |        0
1495.91/1496.44	c 1496s |      21 |  1194038 |  1046245 |     4278    445 |        0 |        0
1497.92/1498.48	c 1498s |      21 |  1195725 |  1047745 |     4278    446 |        0 |        0
1500.02/1500.57	c 1500s |      21 |  1197708 |  1049545 |     4278    446 |        0 |        0
1502.11/1502.60	c 1502s |      21 |  1199269 |  1050945 |     4278    447 |        0 |        0
1504.11/1504.61	c 1504s |      21 |  1201431 |  1052845 |     4278    447 |        0 |        0
1506.11/1506.67	c 1506s |      21 |  1203381 |  1054545 |     4278    448 |        0 |        0
1508.21/1508.75	c 1508s |      21 |  1205156 |  1056145 |     4278    449 |        0 |        0
1510.31/1510.87	c 1510s |      21 |  1207067 |  1057845 |     4278    449 |        0 |        0
1512.41/1512.93	c 1512s |      21 |  1208723 |  1059345 |     4278    450 |        0 |        0
1514.41/1514.98	c 1514s |      21 |  1210811 |  1061145 |     4278    450 |        0 |        0
1516.41/1517.00	c 1516s |      21 |  1212832 |  1062945 |     4278    451 |        0 |        0
1518.52/1519.06	c 1519s |      21 |  1214893 |  1064745 |     4278    452 |        0 |        0
1520.61/1521.10	c 1521s |      21 |  1216970 |  1066545 |     4278    452 |        0 |        0
1522.71/1523.20	c 1523s |      21 |  1218903 |  1068245 |     4278    453 |        0 |        0
1524.71/1525.22	c 1525s |      21 |  1220826 |  1069945 |     4278    453 |        0 |        0
1526.81/1527.33	c 1527s |      21 |  1222672 |  1071645 |     4278    454 |        0 |        0
1529.01/1529.53	c 1529s |      21 |  1224413 |  1073245 |     4278    455 |        0 |        0
1531.01/1531.56	c 1531s |      21 |  1226474 |  1075045 |     4278    455 |        0 |        0
1533.12/1533.65	c 1533s |      21 |  1228609 |  1076945 |     4278    456 |        0 |        0
1535.22/1535.72	c 1535s |      21 |  1230488 |  1078645 |     4278    456 |        0 |        0
1537.31/1537.80	c 1537s |      21 |  1232285 |  1080245 |     4278    457 |        0 |        0
1539.41/1539.97	c 1539s |      21 |  1234061 |  1081845 |     4278    458 |        0 |        0
1541.41/1541.98	c 1541s |      21 |  1236049 |  1083645 |     4278    458 |        0 |        0
1543.61/1544.11	c 1544s |      21 |  1237645 |  1085145 |     4278    459 |        0 |        0
1545.71/1546.20	c 1546s |      21 |  1239349 |  1086745 |     4278    459 |        0 |        0
1547.71/1548.21	c 1548s |      21 |  1240865 |  1088145 |     4278    460 |        0 |        0
1549.81/1550.32	c 1550s |      21 |  1243061 |  1089945 |     4278    460 |        0 |        0
1551.82/1552.34	c 1552s |      21 |  1245033 |  1091645 |     4278    461 |        0 |        0
1553.91/1554.43	c 1554s |      21 |  1247082 |  1093445 |     4278    462 |        0 |        0
1555.91/1556.49	c 1556s |      21 |  1248998 |  1095145 |     4278    462 |        0 |        0
1558.01/1558.50	c 1558s |      21 |  1250569 |  1096545 |     4278    463 |        0 |        0
1560.01/1560.58	c 1560s |      21 |  1252608 |  1098345 |     4278    463 |        0 |        0
1562.11/1562.64	c 1562s |      21 |  1254514 |  1100045 |     4278    464 |        0 |        0
1564.21/1564.71	c 1564s |      21 |  1256367 |  1101745 |     4278    464 |        0 |        0
1566.31/1566.81	c 1566s |      21 |  1258164 |  1103345 |     4278    465 |        0 |        0
1568.41/1568.97	c 1568s |      21 |  1260043 |  1105045 |     4278    466 |        0 |        0
1570.51/1571.07	c 1571s |      21 |  1261891 |  1106745 |     4278    466 |        0 |        0
1572.61/1573.15	c 1573s |      21 |  1263544 |  1108245 |     4278    467 |        0 |        0
1574.70/1575.26	c 1575s |      21 |  1265481 |  1109945 |     4278    467 |        0 |        0
1576.80/1577.32	c 1577s |      21 |  1267406 |  1111645 |     4278    468 |        0 |        0
1578.80/1579.36	c 1579s |      21 |  1269548 |  1113545 |     4278    468 |        0 |        0
1580.90/1581.46	c 1581s |      21 |  1271724 |  1115545 |     4278    469 |        0 |        0
1583.00/1583.55	c 1583s |      21 |  1273556 |  1117245 |     4278    470 |        0 |        0
1585.10/1585.63	c 1585s |      21 |  1275716 |  1119145 |     4278    470 |        0 |        0
1587.10/1587.67	c 1587s |      21 |  1277596 |  1120845 |     4278    471 |        0 |        0
1589.21/1589.75	c 1589s |      21 |  1279379 |  1122445 |     4278    472 |        0 |        0
1591.31/1591.81	c 1591s |      21 |  1281515 |  1124345 |     4278    472 |        0 |        0
1593.30/1593.86	c 1593s |      21 |  1283346 |  1126045 |     4278    473 |        0 |        0
1595.40/1595.99	c 1595s |      21 |  1285422 |  1127945 |     4278    473 |        0 |        0
1597.50/1598.03	c 1598s |      21 |  1287371 |  1129745 |     4278    474 |        0 |        0
1599.50/1600.09	c 1600s |      21 |  1289236 |  1131445 |     4278    475 |        0 |        0
1601.60/1602.14	c 1602s |      21 |  1291076 |  1133145 |     4278    475 |        0 |        0
1603.70/1604.25	c 1604s |      21 |  1293042 |  1134945 |     4278    476 |        0 |        0
1605.80/1606.30	c 1606s |      21 |  1294932 |  1136645 |     4278    476 |        0 |        0
1607.90/1608.41	c 1608s |      21 |  1296569 |  1138145 |     4278    477 |        0 |        0
1610.00/1610.55	c 1610s |      21 |  1298247 |  1139645 |     4278    478 |        0 |        0
1612.09/1612.61	c 1612s |      21 |  1300230 |  1141445 |     4278    478 |        0 |        0
1614.09/1614.68	c 1614s |      21 |  1301998 |  1143045 |     4278    479 |        0 |        0
1616.19/1616.70	c 1616s |      21 |  1304015 |  1144845 |     4278    479 |        0 |        0
1618.19/1618.74	c 1618s |      21 |  1305790 |  1146445 |     4278    480 |        0 |        0
1620.29/1620.84	c 1620s |      21 |  1307876 |  1148245 |     4278    481 |        0 |        0
1622.39/1622.95	c 1622s |      21 |  1309850 |  1150045 |     4278    481 |        0 |        0
1624.40/1624.98	c 1624s |      21 |  1311644 |  1151645 |     4278    482 |        0 |        0
1626.50/1627.05	c 1627s |      21 |  1313386 |  1153245 |     4278    482 |        0 |        0
1628.59/1629.11	c 1629s |      21 |  1315073 |  1154745 |     4278    483 |        0 |        0
1630.69/1631.21	c 1631s |      21 |  1316838 |  1156345 |     4278    483 |        0 |        0
1632.69/1633.29	c 1633s |      21 |  1318418 |  1157745 |     4278    484 |        0 |        0
1634.79/1635.34	c 1635s |      21 |  1320337 |  1159445 |     4278    484 |        0 |        0
1636.90/1637.43	c 1637s |      21 |  1321869 |  1160845 |     4278    485 |        0 |        0
1638.90/1639.47	c 1639s |      21 |  1323513 |  1162345 |     4278    485 |        0 |        0
1640.90/1641.48	c 1641s |      21 |  1324925 |  1163645 |     4278    486 |        0 |        0
1643.00/1643.54	c 1643s |      21 |  1326244 |  1164845 |     4278    486 |        0 |        0
1645.09/1645.64	c 1645s |      21 |  1327480 |  1165945 |     4278    487 |        0 |        0
1647.19/1647.71	c 1647s |      21 |  1329129 |  1167445 |     4278    487 |        0 |        0
1649.29/1649.84	c 1649s |      21 |  1330654 |  1168845 |     4278    488 |        0 |        0
1651.39/1651.93	c 1651s |      21 |  1332604 |  1170545 |     4278    488 |        0 |        0
1653.39/1653.99	c 1653s |      21 |  1334471 |  1172245 |     4278    489 |        0 |        0
1655.59/1656.13	c 1656s |      21 |  1336311 |  1173945 |     4278    489 |        0 |        0
1657.59/1658.14	c 1658s |      21 |  1338245 |  1175645 |     4278    490 |        0 |        0
1659.69/1660.25	c 1660s |      21 |  1340128 |  1177345 |     4278    491 |        0 |        0
1661.80/1662.35	c 1662s |      21 |  1342026 |  1179045 |     4278    491 |        0 |        0
1663.90/1664.42	c 1664s |      21 |  1343801 |  1180645 |     4278    492 |        0 |        0
1665.89/1666.48	c 1666s |      21 |  1345642 |  1182345 |     4278    492 |        0 |        0
1667.99/1668.53	c 1668s |      21 |  1347564 |  1184045 |     4278    493 |        0 |        0
1670.19/1670.70	c 1670s |      21 |  1349528 |  1185845 |     4278    494 |        0 |        0
1672.19/1672.71	c 1672s |      21 |  1351502 |  1187645 |     4278    494 |        0 |        0
1674.19/1674.75	c 1674s |      21 |  1353151 |  1189145 |     4278    495 |        0 |        0
1676.19/1676.76	c 1676s |      21 |  1355037 |  1190845 |     4278    495 |        0 |        0
1678.29/1678.85	c 1678s |      21 |  1356791 |  1192445 |     4278    496 |        0 |        0
1680.29/1680.87	c 1680s |      21 |  1358648 |  1194145 |     4278    496 |        0 |        0
1682.39/1682.92	c 1682s |      21 |  1360808 |  1196045 |     4278    497 |        0 |        0
1684.39/1684.92	c 1684s |      21 |  1362462 |  1197545 |     4278    498 |        0 |        0
1686.38/1686.93	c 1686s |      21 |  1364304 |  1199245 |     4278    498 |        0 |        0
1688.38/1688.94	c 1688s |      21 |  1365837 |  1200645 |     4278    499 |        0 |        0
1690.39/1690.99	c 1690s |      21 |  1367458 |  1202145 |     4278    499 |        0 |        0
1692.49/1693.05	c 1693s |      21 |  1369000 |  1203545 |     4278    500 |        0 |        0
1694.58/1695.17	c 1695s |      21 |  1370974 |  1205345 |     4278    500 |        0 |        0
1696.68/1697.22	c 1697s |      21 |  1372711 |  1206945 |     4278    501 |        0 |        0
1698.68/1699.29	c 1699s |      21 |  1374446 |  1208545 |     4278    501 |        0 |        0
1700.78/1701.38	c 1701s |      21 |  1376324 |  1210145 |     4278    502 |        0 |        0
1702.78/1703.39	c 1703s |      21 |  1378250 |  1211845 |     4278    502 |        0 |        0
1704.88/1705.48	c 1705s |      21 |  1380146 |  1213545 |     4278    503 |        0 |        0
1706.98/1707.58	c 1707s |      21 |  1381726 |  1214945 |     4278    504 |        0 |        0
1709.09/1709.61	c 1709s |      21 |  1383393 |  1216445 |     4278    504 |        0 |        0
1711.08/1711.66	c 1711s |      21 |  1384961 |  1217845 |     4278    505 |        0 |        0
1713.28/1713.81	c 1713s |      21 |  1386733 |  1219445 |     4278    505 |        0 |        0
1715.28/1715.84	c 1715s |      21 |  1388263 |  1220845 |     4278    506 |        0 |        0
1717.29/1717.88	c 1717s |      21 |  1389908 |  1222245 |     4278    506 |        0 |        0
1719.38/1719.90	c 1719s |      21 |  1391626 |  1223745 |     4278    507 |        0 |        0
1721.38/1721.97	c 1721s |      21 |  1393502 |  1225445 |     4278    507 |        0 |        0
1723.58/1724.14	c 1724s |      21 |  1395051 |  1226845 |     4278    508 |        0 |        0
1725.59/1726.16	c 1726s |      21 |  1396627 |  1228245 |     4278    508 |        0 |        0
1727.69/1728.24	c 1728s |      21 |  1398383 |  1229745 |     4278    509 |        0 |        0
1729.78/1730.32	c 1730s |      21 |  1400292 |  1231345 |     4278    509 |        0 |        0
1731.78/1732.38	c 1732s |      21 |  1402042 |  1232945 |     4278    510 |        0 |        0
1733.88/1734.42	c 1734s |      21 |  1403631 |  1234345 |     4278    510 |        0 |        0
1735.98/1736.50	c 1736s |      21 |  1405425 |  1235945 |     4278    511 |        0 |        0
1737.98/1738.55	c 1738s |      21 |  1407122 |  1237445 |     4278    511 |        0 |        0
1740.08/1740.68	c 1740s |      21 |  1408869 |  1239045 |     4278    512 |        0 |        0
1742.18/1742.73	c 1742s |      21 |  1410421 |  1240445 |     4278    512 |        0 |        0
1744.29/1744.83	c 1744s |      21 |  1412097 |  1241945 |     4278    513 |        0 |        0
1746.39/1746.96	c 1746s |      21 |  1413615 |  1243345 |     4278    513 |        0 |        0
1748.48/1749.06	c 1749s |      21 |  1415232 |  1244745 |     4278    514 |        0 |        0
1750.48/1751.09	c 1751s |      21 |  1416854 |  1246145 |     4278    514 |        0 |        0
1752.58/1753.11	c 1753s |      21 |  1418305 |  1247445 |     4278    515 |        0 |        0
1754.58/1755.20	c 1755s |      21 |  1420083 |  1249045 |     4278    515 |        0 |        0
1756.78/1757.30	c 1757s |      21 |  1421773 |  1250545 |     4278    516 |        0 |        0
1758.78/1759.37	c 1759s |      21 |  1423261 |  1251845 |     4278    516 |        0 |        0
1760.98/1761.51	c 1761s |      21 |  1424889 |  1253245 |     4278    517 |        0 |        0
1762.98/1763.54	c 1763s |      21 |  1426503 |  1254645 |     4278    517 |        0 |        0
1764.98/1765.59	c 1765s |      21 |  1428144 |  1256045 |     4278    518 |        0 |        0
1767.08/1767.66	c 1767s |      21 |  1430069 |  1257645 |     4278    518 |        0 |        0
1769.18/1769.71	c 1769s |      21 |  1431923 |  1259145 |     4278    519 |        0 |        0
1771.28/1771.83	c 1771s |      21 |  1433668 |  1260645 |     4278    519 |        0 |        0
1773.38/1773.90	c 1773s |      21 |  1435308 |  1262045 |     4278    520 |        0 |        0
1775.38/1775.97	c 1775s |      21 |  1437048 |  1263545 |     4278    520 |        0 |        0
1777.47/1778.04	c 1778s |      21 |  1438642 |  1264945 |     4278    521 |        0 |        0
1779.48/1780.05	c 1780s |      21 |  1440107 |  1266245 |     4278    521 |        0 |        0
1781.47/1782.07	c 1782s |      21 |  1441556 |  1267545 |     4278    522 |        0 |        0
1783.57/1784.11	c 1784s |      21 |  1443298 |  1269045 |     4278    522 |        0 |        0
1785.67/1786.21	c 1786s |      21 |  1444964 |  1270545 |     4278    523 |        0 |        0
1787.67/1788.21	c 1788s |      21 |  1446679 |  1272045 |     4278    523 |        0 |        0
1789.67/1790.22	c 1790s |      21 |  1448265 |  1273445 |     4278    524 |        0 |        0
1791.67/1792.29	c 1792s |      21 |  1449861 |  1274845 |     4278    524 |        0 |        0
1793.78/1794.35	c 1794s |      21 |  1451297 |  1276145 |     4278    525 |        0 |        0
1795.88/1796.46	c 1796s |      21 |  1453264 |  1277845 |     4278    525 |        0 |        0
1797.97/1798.57	c 1798s |      21 |  1455378 |  1279645 |     4278    526 |        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-4078768-1465241141/watcher-4078768-1465241141 -o /tmp/evaluation-result-4078768-1465241141/solver-4078768-1465241141 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1238 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078768-1465241141.opb 

pid=3463
running on 4 cores: 0,2,4,6

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.00 2.01 2.00 3/179 3466
/proc/meminfo: memFree=30675492/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 2742 0 0 0 0 0 0 0 20 0 4 0 106049568 751235072 2591 33554432000 4194304 16246674 140736089641504 140736089640928 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 184175 2599 441 2943 0 181069 0
[pid=3466/tid=3467] ppid=3463 vsize=752060 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 770109440 2660 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=756156 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 774303744 2678 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106049568 778498048 2694 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100161 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3466
/proc/meminfo: memFree=30675492/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 30968 0 0 0 5 4 0 0 20 0 4 0 106049568 1247350784 30807 33554432000 4194304 16246674 140736089641504 140736089624496 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 304529 30823 701 2943 0 301423 0
[pid=3466/tid=3467] ppid=3463 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1247350784 30836 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1247350784 30849 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106049568 1247350784 30859 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200418 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3466
/proc/meminfo: memFree=30675492/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 66088 0 0 0 10 9 0 0 20 0 4 0 106049568 1247350784 65927 33554432000 4194304 16246674 140736089641504 140736089624496 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 304529 65943 701 2943 0 301423 0
[pid=3466/tid=3467] ppid=3463 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1247350784 65959 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1247350784 65970 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106049568 1247350784 65981 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300502 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3466
/proc/meminfo: memFree=30675492/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1306180 CPUtime=0.29 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 88558 0 0 0 17 12 0 0 20 0 4 0 106049568 1337528320 88376 33554432000 4194304 16246674 140736089641504 140736089640816 6021672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 326545 88376 781 2943 0 323439 0
[pid=3466/tid=3467] ppid=3463 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1337528320 88376 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1337528320 88376 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1337528320 88376 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1306180

[startup+0.700402 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3466
/proc/meminfo: memFree=30675492/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1306180 CPUtime=0.69 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 166299 0 0 0 46 23 0 0 20 0 4 0 106049568 1337528320 166117 33554432000 4194304 16246674 140736089641504 140736089640816 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 326545 166139 786 2943 0 323439 0
[pid=3466/tid=3467] ppid=3463 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1337528320 166155 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1337528320 166167 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1337528320 166177 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.50041 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 3470
/proc/meminfo: memFree=29604944/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1308228 CPUtime=1.49 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 267883 0 0 0 113 36 0 0 20 0 4 0 106049568 1339625472 267701 33554432000 4194304 16246674 140736089641504 140736089624496 6075837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 327057 267701 786 2943 0 323951 0
[pid=3466/tid=3467] ppid=3463 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1339625472 267701 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1339625472 267701 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1339625472 267701 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228

[startup+3.10042 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 3470
/proc/meminfo: memFree=29604440/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 267970 0 0 0 273 36 0 0 20 0 4 0 106049568 1339625472 267788 33554432000 4194304 16246674 140736089641504 140736089623424 5545993 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 327057 267788 786 2943 0 323951 0
[pid=3466/tid=3467] ppid=3463 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1339625472 267788 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1339625472 267788 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1339625472 267788 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30042 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 3470
/proc/meminfo: memFree=29603996/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 268081 0 0 0 593 36 0 0 20 0 4 0 106049568 1339625472 267899 33554432000 4194304 16246674 140736089641504 140736089623424 12483317 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 327057 267899 786 2943 0 323951 0
[pid=3466/tid=3467] ppid=3463 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1339625472 267899 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1339625472 267899 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1339625472 267899 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 3470
/proc/meminfo: memFree=29599584/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 269362 0 0 0 1233 36 0 0 20 0 4 0 106049568 1344868352 269180 33554432000 4194304 16246674 140736089641504 140736089623424 5673135 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 328337 269180 787 2943 0 325231 0
[pid=3466/tid=3467] ppid=3463 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1344868352 269180 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1344868352 269180 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1344868352 269180 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5074 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 3470
/proc/meminfo: memFree=29600028/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 269362 0 0 0 2513 36 0 0 20 0 4 0 106049568 1344868352 269180 33554432000 4194304 16246674 140736089641504 140736089623424 13950232 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 328337 269180 787 2943 0 325231 0
[pid=3466/tid=3467] ppid=3463 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1344868352 269180 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1344868352 269180 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1344868352 269180 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 3470
/proc/meminfo: memFree=29598672/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1314372 CPUtime=51.08 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 269618 0 0 0 5071 37 0 0 20 0 4 0 106049568 1345916928 269436 33554432000 4194304 16246674 140736089641504 140736089623424 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 328593 269436 787 2943 0 325487 0
[pid=3466/tid=3467] ppid=3463 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1345916928 269436 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1345916928 269436 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1345916928 269436 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3519
/proc/meminfo: memFree=29536660/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1314372 CPUtime=102.27 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 269637 0 0 0 10190 37 0 0 20 0 4 0 106049568 1345916928 269439 33554432000 4194304 16246674 140736089641504 140736089623424 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 328593 269439 790 2943 0 325487 0
[pid=3466/tid=3467] ppid=3463 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1345916928 269439 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1345916928 269439 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1345916928 269439 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1314372


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

/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1360596992 273024 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1328708

[startup+1362.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 3550
/proc/meminfo: memFree=29513460/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1328708 CPUtime=1361.83 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 273657 0 0 0 136138 45 0 0 20 0 4 0 106049568 1360596992 273024 33554432000 4194304 16246674 140736089641504 140736089623424 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 332177 273024 790 2943 0 329071 0
[pid=3466/tid=3467] ppid=3463 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1360596992 273024 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1360596992 273024 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1360596992 273024 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1328708

[startup+1422.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 3552
/proc/meminfo: memFree=29513100/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1328708 CPUtime=1421.82 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 273657 0 0 0 142136 46 0 0 20 0 4 0 106049568 1360596992 273024 33554432000 4194304 16246674 140736089641504 140736089623424 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 332177 273024 790 2943 0 329071 0
[pid=3466/tid=3467] ppid=3463 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1360596992 273024 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1360596992 273024 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1360596992 273024 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1328708

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/184 3556
/proc/meminfo: memFree=29468856/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1332804 CPUtime=1481.81 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 274670 0 0 0 148135 46 0 0 20 0 4 0 106049568 1364791296 274037 33554432000 4194304 16246674 140736089641504 140736089623424 12477921 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 333201 274037 791 2943 0 330095 0
[pid=3466/tid=3467] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274037 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274037 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274037 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1332804

[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 3557
/proc/meminfo: memFree=29470668/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1332804 CPUtime=1541.82 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 274670 0 0 0 154135 47 0 0 20 0 4 0 106049568 1364791296 274037 33554432000 4194304 16246674 140736089641504 140736089623424 5553724 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 333201 274037 791 2943 0 330095 0
[pid=3466/tid=3467] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274037 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274037 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274037 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1332804

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 3558
/proc/meminfo: memFree=29470780/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1332804 CPUtime=1601.8 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 274682 0 0 0 160133 47 0 0 20 0 4 0 106049568 1364791296 274049 33554432000 4194304 16246674 140736089641504 140736089623424 5824003 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 333201 274049 791 2943 0 330095 0
[pid=3466/tid=3467] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274049 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274049 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274049 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1332804

[startup+1662.31 s]
/proc/loadavg: 2.10 2.05 2.00 3/183 3559
/proc/meminfo: memFree=29470524/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1332804 CPUtime=1661.8 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 274682 0 0 0 166132 48 0 0 20 0 4 0 106049568 1364791296 274049 33554432000 4194304 16246674 140736089641504 140736089623424 13950188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 333201 274049 791 2943 0 330095 0
[pid=3466/tid=3467] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274049 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274049 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274049 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1332804

[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/182 3560
/proc/meminfo: memFree=29431156/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1332804 CPUtime=1721.78 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 274683 0 0 0 172129 49 0 0 20 0 4 0 106049568 1364791296 274305 33554432000 4194304 16246674 140736089641504 140736089623424 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 333201 274305 791 2943 0 330095 0
[pid=3466/tid=3467] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274305 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274305 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274305 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1332804

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 3562
/proc/meminfo: memFree=29430768/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1332804 CPUtime=1781.77 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 274683 0 0 0 178128 49 0 0 20 0 4 0 106049568 1364791296 274305 33554432000 4194304 16246674 140736089641504 140736089623424 5721681 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 333201 274305 791 2943 0 330095 0
[pid=3466/tid=3467] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274305 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274305 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274305 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1332804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.01 2.02 2.00 4/183 3563
/proc/meminfo: memFree=29430648/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1332804 CPUtime=1800.07 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 274683 0 0 0 179958 49 0 0 20 0 4 0 106049568 1364791296 274305 33554432000 4194304 16246674 140736089641504 140736089623424 5545907 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 333201 274305 791 2943 0 330095 0
[pid=3466/tid=3467] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274305 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274305 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274305 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1332804

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

[startup+1800.6 s]
/proc/loadavg: 2.01 2.02 2.00 4/183 3563
/proc/meminfo: memFree=29430648/32872528 swapFree=10676/249824
[pid=3466] ppid=3463 vsize=1332804 CPUtime=1800.07 cores=0,2,4,6
/proc/3466/stat : 3466 (toysat) R 3463 3466 1222 0 -1 4202496 274683 0 0 0 179958 49 0 0 20 0 4 0 106049568 1364791296 274305 33554432000 4194304 16246674 140736089641504 140736089623424 5545907 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3466/statm: 333201 274305 791 2943 0 330095 0
[pid=3466/tid=3467] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3467/stat : 3467 (toysat) S 3463 3466 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274305 33554432000 4194304 16246674 140736089641504 139806687341808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3466/tid=3468] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3468/stat : 3468 (toysat) S 3463 3466 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274305 33554432000 4194304 16246674 140736089641504 139806676851952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3466/tid=3469] ppid=3463 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/3466/task/3469/stat : 3469 (toysat) S 3463 3466 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106049568 1364791296 274305 33554432000 4194304 16246674 140736089641504 139806666378416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1332804

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.59
CPU system time (s): 0.494924
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 1332804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.494924
maximum resident set size= 1097220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274683
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 466
involuntary context switches= 1946

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5481 second user time and 16.1365 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-06 21:25:41
IDJOB=4078768
IDBENCH=2604
IDSOLVER=2542
FILE ID=node103/4078768-1465241141
RUNJOBID= node103-1465221288-1238
PBS_JOBID= 19843228
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078768-1465241141/watcher-4078768-1465241141 -o /tmp/evaluation-result-4078768-1465241141/solver-4078768-1465241141 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1238 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078768-1465241141.opb

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

MD5SUM BENCH= 2ea7e3b5e107f983d069c627d91480a3
RANDOM SEED=1113003683

node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30675764 kB
Buffers:           41536 kB
Cached:           123528 kB
SwapCached:         1716 kB
Active:          1176404 kB
Inactive:          67716 kB
Active(anon):    1080124 kB
Inactive(anon):     1160 kB
Active(file):      96280 kB
Inactive(file):    66556 kB
Unevictable:      249824 kB
Mlocked:           10676 kB
SwapTotal:      67108856 kB
SwapFree:       67096644 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       1422248 kB
Mapped:            10468 kB
Shmem:                 0 kB
Slab:             568660 kB
SReclaimable:      12784 kB
SUnreclaim:       555876 kB
KernelStack:        1520 kB
PageTables:         6820 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1473416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1404928 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node103 at 2016-06-06 21:55:42