Trace number 4100601

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.06 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-stair.opb
MD5SUM98b9ab286036da69f2015d2ff2a12818
Bench CategoryOPT-SMALLINT (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 benchmark2.10168
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables11454
Total number of constraints362
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints362
Minimum length of a constraint13
Maximum length of a constraint810
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524930
Number of bits of the biggest sum of numbers20
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-18T04:01:49+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4100601-1466215309.opb"]
0.00/0.01	c use --random-gen="1018190996 853463069 3143979534 741630338 3020595790 1321435861 174343021 3524767977 2709998252 30350296 2782951174 1140974380 1503885378 3753428283 367392823 4146635550 2027067626 1299403891 653346855 4201837377 3756613517 635982082 1445109299 2306589568 3550873860 3214779267 2216628294 133908350 1955904649 2512256964 1374205362 875066595 597140713 2156066501 2116607619 1488448137 2732253864 4235439882 3268784124 840924238 3047902008 1983812974 1520376438 1502444462 3184836618 2537772770 3467641172 2435168713 3758397527 1935467793 2994426941 1018084345 3260442475 3423065169 1773612870 3884359320 210714434 2033505847 2027398502 2378036507 3835558976 1366774701 1493953735 3701762138 2545299007 1784052171 1229547817 1671275023 662466060 2369656263 2225784209 752294225 2733412639 111150713 1062230951 1157940284 1533456382 1067456654 1930207828 3649910743 1572046850 3900171278 1633671399 4020979645 1026590867 4238425655 3480493747 1920409108 1026005787 4052495155 159788622 1459591475 1520278036 243905578 2988966513 2776913372 1517247496 3220639145 3935806510 686306822 1464051284 3790006085 270560262 3971428347 1112925879 1408299830 2380922529 4193047859 4253956839 4275627925 1729329501 2579732149 3629807073 3097706379 1831496028 3380651112 2496524320 3234250945 3968566897 4017187884 2259969050 1284478645 2642620027 1417704226 3310806932 1807955735 365589125 1020416681 3557017136 194910387 344286642 2965697519 2430682709 1158174896 612652257 2525102098 2470678417 2005121237 612023446 4079004382 3043653509 4217078018 1109988471 2925919599 478503709 2261785696 1115400559 1439828728 1594726974 1477630804 1286970040 1049864746 1586223411 1972262557 4017609869 2624623218 307853899 3809180722 406021651 2821566484 2602227764 3326760700 422501833 2392333172 3526018952 2526909821 1758467647 3969352069 1803641590 2757155228 4169430632 1960636997 2072177776 2656265876 3946276118 1888781179 1834625922 2082085914 1150792372 1357694987 1110550423 194915716 1995848680 1385194447 287736493 3584529879 4217551009 1626914151 821868832 2054454707 3608798334 2162455134 2205109434 2064710626 2652382408 2148201121 2596492183 918217499 2049387905 4140971091 1791274416 3205844719 3978313530 4105883407 2119328526 792805522 3772434817 4259527443 1030119665 904878430 2578108263 3799579835 1451357285 3385142673 376077621 811350135 3296423501 2510410727 3644939534 1965222841 3477686923 2823057242 2810429694 3852730944 619310871 111578449 215059652 4237828598 1768470151 1022672539 3462025384 4085740692 3579482853 1495653860 2195770926 838153894 1704633164 1273005478 309951379 2155104781 2000688615 1343587295 1131517098 773008035 1784581310 2147387531 131587652 4208080388 2662619769 2816930382 190876210 3854480231 2668181211 2640954993 1608850435 977140246 255 362436" option to reproduce the execution
0.09/0.19	c #vars 11454
0.09/0.19	c #constraints 362
1.89/1.94	c BCD2: Hardening is enabled.
1.89/1.94	c BCD2: BiasedSearch is enabled.
1.89/1.94	c Solving starts ...
1.89/1.94	c ============================[ Search Statistics ]============================
1.89/1.94	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.89/1.94	c       |         |          |          |    Limit     GC | Var      | Constra 
1.89/1.94	c =============================================================================
1.89/1.96	c  0.0s |       0 |        0 |        0 |     4008      0 |     1278 |        0
1.99/2.07	c  0.1s |       1 |      324 |      100 |     4008      0 |     1299 |        0
2.09/2.14	c  0.2s |       2 |      618 |      250 |     4409      0 |     1314 |        0
2.19/2.24	c  0.3s |       3 |     1232 |      475 |     4850      0 |     1314 |        0
2.49/2.50	c  0.5s |       4 |     1699 |      813 |     5335      0 |     1314 |        0
2.99/3.02	c  1.1s |       5 |     2782 |     1320 |     5869      0 |     1325 |        0
3.89/3.91	c  1.9s |       6 |     5605 |     2081 |     7102      0 |     1325 |        0
4.49/4.58	c  2.6s |       7 |     7891 |     3223 |     7813      0 |     1325 |        0
5.49/5.58	c  3.6s |       8 |    10804 |     4936 |     8595      0 |     1325 |        0
7.08/7.12	c  5.2s |       9 |    15425 |     7506 |     9455      0 |     1329 |        0
9.08/9.18	c  7.2s |       9 |    21733 |    10606 |     9455      0 |     1339 |        0
9.58/9.63	c  7.7s |      10 |    23215 |    11361 |    10401      1 |     1339 |        0
11.58/11.69	c  9.7s |      10 |    30213 |    14461 |    10401      1 |     1339 |        0
13.68/13.77	c 11.8s |      10 |    35397 |    16861 |    10401      1 |     1339 |        0
13.88/13.94	c 12.0s |      11 |    35748 |    17144 |    11442      1 |     1339 |        0
15.88/15.95	c 14.0s |      11 |    41519 |    19644 |    11442      2 |     1339 |        0
17.88/17.97	c 16.0s |      11 |    47528 |    22544 |    11442      2 |     1339 |        0
19.98/20.05	c 18.1s |      11 |    54280 |    25344 |    11442      2 |     1339 |        0
20.48/20.53	c 18.6s |      12 |    55202 |    25819 |    12587      3 |     1339 |        0
22.49/22.53	c 20.6s |      12 |    61165 |    28719 |    12587      3 |     1339 |        0
24.49/24.55	c 22.6s |      12 |    66026 |    31419 |    12587      3 |     1339 |        0
26.50/26.56	c 24.6s |      12 |    69963 |    33319 |    12587      4 |     1339 |        0
28.49/28.56	c 26.6s |      12 |    75715 |    35519 |    12587      4 |     1339 |        0
30.59/30.60	c 28.6s |      12 |    81381 |    37819 |    12587      4 |     1339 |        0
31.29/31.36	c 29.4s |      13 |    83511 |    38832 |    13846      4 |     1339 |        0
33.48/33.50	c 31.5s |      13 |    87285 |    40532 |    13846      4 |     1339 |        0
35.48/35.55	c 33.6s |      13 |    92161 |    42732 |    13846      5 |     1339 |        0
37.49/37.60	c 35.6s |      13 |    98498 |    45532 |    13846      5 |     1339 |        0
39.59/39.68	c 37.7s |      13 |   103757 |    47932 |    13846      5 |     1339 |        0
41.78/41.87	c 39.9s |      13 |   105486 |    48832 |    13846      5 |     1339 |        0
44.38/44.40	c 42.4s |      13 |   111737 |    50732 |    13846      6 |     1339 |        0
46.38/46.47	c 44.5s |      13 |   120806 |    53032 |    13846      6 |     1339 |        0
48.48/48.51	c 46.5s |      13 |   127742 |    55332 |    13846      6 |     1339 |        0
50.48/50.51	c 48.5s |      13 |   134190 |    57432 |    13846      7 |     1339 |        0
51.18/51.26	c 49.3s |      14 |   136497 |    58352 |    15231      7 |     1339 |        0
53.18/53.27	c 51.3s |      14 |   140901 |    60752 |    15231      7 |     1339 |        0
55.28/55.35	c 53.4s |      14 |   144059 |    62552 |    15231      7 |     1339 |        0
57.28/57.39	c 55.4s |      14 |   148263 |    64452 |    15231      7 |     1339 |        0
59.38/59.43	c 57.5s |      14 |   153321 |    66352 |    15231      8 |     1339 |        0
61.48/61.50	c 59.5s |      14 |   159317 |    68852 |    15231      8 |     1339 |        0
63.48/63.56	c 61.6s |      14 |   163919 |    71052 |    15231      8 |     1339 |        0
65.58/65.66	c 63.7s |      14 |   168880 |    73352 |    15231      8 |     1339 |        0
67.78/67.86	c 65.9s |      14 |   173757 |    75152 |    15231      9 |     1339 |        0
70.58/70.64	c 68.7s |      14 |   176864 |    76852 |    15231      9 |     1339 |        0
72.58/72.66	c 70.7s |      14 |   180937 |    78852 |    15231      9 |     1339 |        0
74.68/74.72	c 72.8s |      14 |   186042 |    81452 |    15231      9 |     1339 |        0
76.68/76.76	c 74.8s |      14 |   191058 |    84052 |    15231     10 |     1339 |        0
78.78/78.83	c 76.9s |      14 |   196881 |    86552 |    15231     10 |     1339 |        0
79.47/79.56	c 77.6s |      15 |   198658 |    87632 |    16755     10 |     1339 |        0
81.57/81.61	c 79.7s |      15 |   204380 |    90232 |    16755     10 |     1339 |        0
83.58/83.68	c 81.7s |      15 |   209451 |    92532 |    16755     10 |     1339 |        0
85.88/85.94	c 84.0s |      15 |   213168 |    94332 |    16755     11 |     1339 |        0
87.87/87.99	c 86.0s |      15 |   218948 |    96532 |    16755     11 |     1339 |        0
89.97/90.03	c 88.1s |      15 |   225887 |    98532 |    16755     11 |     1339 |        0
91.97/92.09	c 90.1s |      15 |   230934 |   100532 |    16755     11 |     1339 |        0
94.17/94.22	c 92.3s |      15 |   236070 |   102732 |    16755     12 |     1339 |        0
96.17/96.30	c 94.3s |      15 |   238884 |   104532 |    16755     12 |     1339 |        0
98.27/98.34	c 96.4s |      15 |   243312 |   106532 |    16755     12 |     1339 |        0
100.37/100.43	c 98.5s |      15 |   247494 |   108632 |    16755     12 |     1339 |        0
102.38/102.45	c  100s |      15 |   252049 |   110732 |    16755     12 |     1339 |        0
104.48/104.54	c  102s |      15 |   256109 |   112732 |    16755     13 |     1339 |        0
106.78/106.84	c  104s |      15 |   259742 |   114532 |    16755     13 |     1339 |        0
108.87/108.92	c  106s |      15 |   265003 |   116732 |    16755     13 |     1339 |        0
110.87/110.93	c  108s |      15 |   270470 |   118932 |    16755     13 |     1339 |        0
112.87/112.98	c  111s |      15 |   275661 |   121332 |    16755     14 |     1339 |        0
114.97/115.03	c  113s |      15 |   281197 |   124332 |    16755     14 |     1339 |        0
117.07/117.11	c  115s |      15 |   285744 |   126632 |    16755     14 |     1339 |        0
119.07/119.19	c  117s |      15 |   288575 |   128232 |    16755     14 |     1339 |        0
121.17/121.21	c  119s |      15 |   291023 |   129732 |    16755     14 |     1339 |        0
123.17/123.25	c  121s |      15 |   295277 |   131532 |    18431     15 |     1339 |        0
123.17/123.27	c  121s |      16 |   295315 |   131552 |    18431     15 |     1339 |        0
125.27/125.36	c  123s |      16 |   299893 |   133552 |    18431     15 |     1339 |        0
129.46/129.57	c  127s |      16 |   302767 |   135352 |    18431     15 |     1339 |        0
132.17/132.22	c  130s |      16 |   305780 |   136252 |    18431     15 |     1339 |        0
134.18/134.27	c  132s |      16 |   310771 |   137952 |    18431     15 |     1339 |        0
136.17/136.29	c  134s |      16 |   315109 |   139652 |    18431     15 |     1339 |        0
138.27/138.31	c  136s |      16 |   318689 |   141052 |    18431     16 |     1339 |        0
140.27/140.32	c  138s |      16 |   323057 |   143052 |    18431     16 |     1339 |        0
142.27/142.39	c  140s |      16 |   327392 |   145152 |    18431     16 |     1339 |        0
144.37/144.43	c  142s |      16 |   332612 |   146952 |    18431     16 |     1339 |        0
146.47/146.51	c  144s |      16 |   337386 |   148852 |    18431     16 |     1339 |        0
148.47/148.52	c  146s |      16 |   340346 |   150552 |    18431     16 |     1339 |        0
150.47/150.57	c  148s |      16 |   343781 |   152252 |    18431     17 |     1339 |        0
152.67/152.71	c  150s |      16 |   348217 |   154152 |    18431     17 |     1339 |        0
154.67/154.73	c  152s |      16 |   352309 |   156052 |    18431     17 |     1339 |        0
156.77/156.83	c  154s |      16 |   356158 |   158152 |    18431     17 |     1339 |        0
158.87/158.92	c  156s |      16 |   359660 |   159952 |    18431     17 |     1339 |        0
160.86/160.94	c  158s |      16 |   363250 |   161752 |    18431     18 |     1339 |        0
162.87/162.95	c  160s |      16 |   367556 |   163852 |    18431     18 |     1339 |        0
164.86/164.99	c  163s |      16 |   371798 |   166052 |    18431     18 |     1339 |        0
166.96/167.05	c  165s |      16 |   376308 |   168152 |    18431     18 |     1339 |        0
169.06/169.14	c  167s |      16 |   379746 |   170252 |    18431     18 |     1339 |        0
171.06/171.18	c  169s |      16 |   383508 |   172052 |    18431     19 |     1339 |        0
173.16/173.22	c  171s |      16 |   386173 |   173852 |    18431     19 |     1339 |        0
175.16/175.22	c  173s |      16 |   389889 |   176052 |    18431     19 |     1339 |        0
177.17/177.25	c  175s |      16 |   393909 |   178352 |    18431     19 |     1339 |        0
179.16/179.28	c  177s |      16 |   397679 |   180552 |    18431     19 |     1339 |        0
181.16/181.29	c  179s |      16 |   400798 |   182452 |    18431     20 |     1339 |        0
185.46/185.54	c  183s |      16 |   401229 |   182752 |    18431     20 |     1339 |        0
187.46/187.58	c  185s |      16 |   404468 |   184352 |    18431     20 |     1339 |        0
189.56/189.67	c  187s |      16 |   409745 |   186452 |    18431     20 |     1339 |        0
191.66/191.77	c  189s |      16 |   413815 |   188552 |    18431     20 |     1339 |        0
193.76/193.85	c  191s |      16 |   417768 |   190452 |    18431     20 |     1339 |        0
195.77/195.90	c  193s |      16 |   421618 |   192452 |    18431     21 |     1339 |        0
197.86/197.91	c  195s |      16 |   426157 |   194252 |    18431     21 |     1339 |        0
199.96/200.04	c  198s |      16 |   430882 |   196252 |    20275     21 |     1339 |        0
201.26/201.34	c  199s |      17 |   432655 |   197432 |    20275     21 |     1339 |        0
203.26/203.39	c  201s |      17 |   436803 |   199432 |    20275     21 |     1339 |        0
205.36/205.49	c  203s |      17 |   438662 |   200632 |    20275     21 |     1339 |        0
207.46/207.59	c  205s |      17 |   443892 |   203032 |    20275     22 |     1339 |        0
209.46/209.59	c  207s |      17 |   448936 |   205532 |    20275     22 |     1339 |        0
211.55/211.66	c  209s |      17 |   454215 |   207832 |    20275     22 |     1339 |        0
213.65/213.73	c  211s |      17 |   458462 |   210032 |    20275     22 |     1339 |        0
215.66/215.78	c  213s |      17 |   462073 |   212032 |    20275     22 |     1339 |        0
217.86/217.91	c  215s |      17 |   466427 |   214032 |    20275     23 |     1339 |        0
219.85/219.99	c  218s |      17 |   471525 |   216232 |    20275     23 |     1339 |        0
221.95/222.03	c  220s |      17 |   475607 |   218032 |    20275     23 |     1339 |        0
224.05/224.10	c  222s |      17 |   481002 |   220332 |    20275     23 |     1339 |        0
226.05/226.14	c  224s |      17 |   484249 |   222232 |    20275     23 |     1339 |        0
228.15/228.21	c  226s |      17 |   488987 |   224532 |    20275     23 |     1339 |        0
230.15/230.24	c  228s |      17 |   491974 |   226332 |    20275     24 |     1339 |        0
232.25/232.31	c  230s |      17 |   496915 |   228732 |    20275     24 |     1339 |        0
234.26/234.37	c  232s |      17 |   500479 |   230632 |    20275     24 |     1339 |        0
236.35/236.43	c  234s |      17 |   504315 |   232332 |    20275     24 |     1339 |        0
238.35/238.48	c  236s |      17 |   508300 |   233832 |    20275     24 |     1339 |        0
240.35/240.49	c  238s |      17 |   511898 |   235532 |    20275     24 |     1339 |        0
242.45/242.51	c  240s |      17 |   514831 |   237132 |    20275     25 |     1339 |        0
244.45/244.54	c  242s |      17 |   519181 |   239332 |    20275     25 |     1339 |        0
246.46/246.55	c  244s |      17 |   522043 |   241032 |    20275     25 |     1339 |        0
248.45/248.57	c  246s |      17 |   526052 |   243132 |    20275     25 |     1339 |        0
250.55/250.63	c  248s |      17 |   530206 |   245032 |    20275     25 |     1339 |        0
252.55/252.66	c  250s |      17 |   533286 |   246832 |    20275     25 |     1339 |        0
254.55/254.69	c  252s |      17 |   536109 |   248232 |    20275     26 |     1339 |        0
256.65/256.71	c  254s |      17 |   539859 |   250032 |    20275     26 |     1339 |        0
258.65/258.72	c  256s |      17 |   543097 |   251832 |    20275     26 |     1339 |        0
260.66/260.78	c  258s |      17 |   547459 |   254032 |    20275     26 |     1339 |        0
262.75/262.86	c  260s |      17 |   551477 |   256032 |    20275     26 |     1339 |        0
264.85/264.94	c  262s |      17 |   555230 |   257832 |    20275     27 |     1339 |        0
266.95/267.02	c  265s |      17 |   559931 |   260132 |    20275     27 |     1339 |        0
268.95/269.05	c  267s |      17 |   563344 |   262032 |    20275     27 |     1339 |        0
271.05/271.10	c  269s |      17 |   565520 |   263232 |    20275     27 |     1339 |        0
273.05/273.13	c  271s |      17 |   567832 |   264732 |    20275     27 |     1339 |        0
275.06/275.15	c  273s |      17 |   571406 |   266432 |    20275     27 |     1339 |        0
277.05/277.18	c  275s |      17 |   575130 |   268232 |    20275     27 |     1339 |        0
279.05/279.19	c  277s |      17 |   579072 |   270132 |    20275     28 |     1339 |        0
281.15/281.20	c  279s |      17 |   582544 |   272232 |    20275     28 |     1339 |        0
283.25/283.34	c  281s |      17 |   586462 |   274032 |    20275     28 |     1339 |        0
285.25/285.37	c  283s |      17 |   590028 |   275832 |    20275     28 |     1339 |        0
287.35/287.43	c  285s |      17 |   593347 |   277632 |    20275     28 |     1339 |        0
289.36/289.43	c  287s |      17 |   597258 |   279332 |    20275     28 |     1339 |        0
291.35/291.49	c  289s |      17 |   600629 |   281232 |    20275     29 |     1339 |        0
293.45/293.55	c  291s |      17 |   603169 |   282932 |    20275     29 |     1339 |        0
295.45/295.56	c  293s |      17 |   607037 |   285032 |    20275     29 |     1339 |        0
297.45/297.58	c  295s |      17 |   610085 |   286832 |    20275     29 |     1339 |        0
299.55/299.62	c  297s |      17 |   613015 |   288532 |    20275     29 |     1339 |        0
301.55/301.67	c  299s |      17 |   615759 |   290232 |    20275     29 |     1339 |        0
303.65/303.78	c  301s |      17 |   618674 |   291832 |    20275     30 |     1339 |        0
305.75/305.89	c  303s |      17 |   621355 |   293532 |    20275     30 |     1339 |        0
307.85/307.97	c  306s |      17 |   624081 |   295232 |    22303     30 |     1339 |        0
309.05/309.15	c  307s |      18 |   626160 |   296252 |    22303     30 |     1339 |        0
313.94/314.08	c  312s |      18 |   626412 |   296352 |    22303     30 |     1339 |        0
316.04/316.18	c  314s |      18 |   630271 |   298152 |    22303     30 |     1339 |        0
318.14/318.28	c  316s |      18 |   634300 |   299952 |    22303     30 |     1339 |        0
320.24/320.32	c  318s |      18 |   637589 |   301552 |    22303     30 |     1339 |        0
322.24/322.37	c  320s |      18 |   640591 |   303252 |    22303     30 |     1339 |        0
324.34/324.44	c  322s |      18 |   643702 |   304552 |    22303     31 |     1339 |        0
326.34/326.45	c  324s |      18 |   647997 |   306752 |    22303     31 |     1339 |        0
328.34/328.47	c  326s |      18 |   651074 |   308652 |    22303     31 |     1339 |        0
330.44/330.50	c  328s |      18 |   655974 |   311052 |    22303     31 |     1339 |        0
332.44/332.57	c  330s |      18 |   660830 |   313152 |    22303     31 |     1339 |        0
334.54/334.60	c  332s |      18 |   664624 |   315252 |    22303     31 |     1339 |        0
336.54/336.63	c  334s |      18 |   668439 |   317452 |    22303     32 |     1339 |        0
338.54/338.68	c  336s |      18 |   669213 |   317752 |    22303     32 |     1339 |        0
340.64/340.70	c  338s |      18 |   673276 |   319552 |    22303     32 |     1339 |        0
342.64/342.79	c  340s |      18 |   676772 |   321152 |    22303     32 |     1339 |        0
344.74/344.86	c  342s |      18 |   681126 |   322952 |    22303     32 |     1339 |        0
346.74/346.88	c  344s |      18 |   683887 |   324552 |    22303     32 |     1339 |        0
348.84/348.95	c  346s |      18 |   686492 |   326052 |    22303     32 |     1339 |        0
350.84/350.97	c  349s |      18 |   689611 |   327752 |    22303     33 |     1339 |        0
352.94/353.08	c  351s |      18 |   693102 |   329752 |    22303     33 |     1339 |        0
355.14/355.23	c  353s |      18 |   695860 |   331152 |    22303     33 |     1339 |        0
357.24/357.33	c  355s |      18 |   700388 |   333152 |    22303     33 |     1339 |        0
359.34/359.41	c  357s |      18 |   703816 |   334852 |    22303     33 |     1339 |        0
361.34/361.42	c  359s |      18 |   707054 |   336752 |    22303     33 |     1339 |        0
363.33/363.43	c  361s |      18 |   710605 |   338352 |    22303     33 |     1339 |        0
365.43/365.50	c  363s |      18 |   713821 |   339752 |    22303     34 |     1339 |        0
367.53/367.63	c  365s |      18 |   717828 |   341652 |    22303     34 |     1339 |        0
369.54/369.67	c  367s |      18 |   720180 |   343252 |    22303     34 |     1339 |        0
371.53/371.68	c  369s |      18 |   723846 |   345152 |    22303     34 |     1339 |        0
373.63/373.70	c  371s |      18 |   726211 |   346752 |    22303     34 |     1339 |        0
375.73/375.80	c  373s |      18 |   729147 |   348352 |    22303     34 |     1339 |        0
377.73/377.87	c  375s |      18 |   732577 |   350252 |    22303     34 |     1339 |        0
379.83/379.96	c  378s |      18 |   735564 |   352152 |    22303     35 |     1339 |        0
381.93/382.00	c  380s |      18 |   738717 |   353852 |    22303     35 |     1339 |        0
383.94/384.02	c  382s |      18 |   741680 |   355552 |    22303     35 |     1339 |        0
385.93/386.04	c  384s |      18 |   745489 |   357452 |    22303     35 |     1339 |        0
387.93/388.07	c  386s |      18 |   748449 |   359352 |    22303     35 |     1339 |        0
390.03/390.18	c  388s |      18 |   751982 |   361252 |    22303     35 |     1339 |        0
392.13/392.20	c  390s |      18 |   755318 |   363152 |    22303     35 |     1339 |        0
394.13/394.23	c  392s |      18 |   758546 |   364952 |    22303     36 |     1339 |        0
396.13/396.24	c  394s |      18 |   761603 |   366852 |    22303     36 |     1339 |        0
398.13/398.27	c  396s |      18 |   764949 |   368552 |    22303     36 |     1339 |        0
400.23/400.33	c  398s |      18 |   766752 |   370052 |    22303     36 |     1339 |        0
402.23/402.35	c  400s |      18 |   768297 |   371252 |    22303     36 |     1339 |        0
404.33/404.43	c  402s |      18 |   769549 |   372352 |    22303     36 |     1339 |        0
406.33/406.45	c  404s |      18 |   772341 |   373852 |    22303     36 |     1339 |        0
408.42/408.53	c  406s |      18 |   775157 |   375552 |    22303     36 |     1339 |        0
410.52/410.64	c  408s |      18 |   777357 |   377252 |    22303     37 |     1339 |        0
412.62/412.79	c  410s |      18 |   779153 |   378852 |    22303     37 |     1339 |        0
414.73/414.85	c  412s |      18 |   781956 |   380752 |    22303     37 |     1339 |        0
416.72/416.90	c  414s |      18 |   784856 |   382752 |    22303     37 |     1339 |        0
419.52/419.63	c  417s |      18 |   785472 |   383152 |    22303     37 |     1339 |        0
422.03/422.19	c  420s |      18 |   786587 |   384052 |    22303     37 |     1339 |        0
424.23/424.31	c  422s |      18 |   790135 |   385852 |    22303     37 |     1339 |        0
426.23/426.39	c  424s |      18 |   793612 |   387552 |    22303     37 |     1339 |        0
428.62/428.76	c  426s |      18 |   796152 |   389152 |    22303     38 |     1339 |        0
430.62/430.77	c  428s |      18 |   798883 |   390752 |    22303     38 |     1339 |        0
432.62/432.79	c  430s |      18 |   803340 |   392852 |    22303     38 |     1339 |        0
434.72/434.81	c  432s |      18 |   806799 |   394652 |    22303     38 |     1339 |        0
436.82/436.92	c  434s |      18 |   809710 |   396552 |    22303     38 |     1339 |        0
438.82/438.98	c  437s |      18 |   811935 |   398152 |    22303     38 |     1339 |        0
440.92/441.03	c  439s |      18 |   813440 |   399552 |    22303     38 |     1339 |        0
442.92/443.04	c  441s |      18 |   815273 |   400952 |    22303     39 |     1339 |        0
445.02/445.15	c  443s |      18 |   817334 |   402452 |    22303     39 |     1339 |        0
448.42/448.57	c  446s |      18 |   818526 |   403452 |    22303     39 |     1339 |        0
450.52/450.66	c  448s |      18 |   820615 |   404852 |    22303     39 |     1339 |        0
452.92/453.07	c  451s |      18 |   822338 |   405652 |    22303     39 |     1339 |        0
456.62/456.74	c  454s |      18 |   824051 |   406652 |    22303     39 |     1339 |        0
458.63/458.77	c  456s |      18 |   824627 |   406952 |    22303     39 |     1339 |        0
460.72/460.80	c  458s |      18 |   827650 |   408852 |    22303     39 |     1339 |        0
462.72/462.89	c  460s |      18 |   831424 |   410952 |    22303     39 |     1339 |        0
464.82/464.90	c  462s |      18 |   834357 |   412652 |    22303     40 |     1339 |        0
466.82/466.91	c  464s |      18 |   838038 |   414852 |    22303     40 |     1339 |        0
468.82/468.94	c  466s |      18 |   841679 |   416652 |    22303     40 |     1339 |        0
470.92/471.03	c  469s |      18 |   845867 |   418952 |    22303     40 |     1339 |        0
472.92/473.05	c  471s |      18 |   849610 |   420952 |    22303     40 |     1339 |        0
475.02/475.12	c  473s |      18 |   852945 |   422852 |    22303     40 |     1339 |        0
477.32/477.49	c  475s |      18 |   856483 |   424652 |    22303     41 |     1339 |        0
479.42/479.51	c  477s |      18 |   860717 |   426352 |    22303     41 |     1339 |        0
481.52/481.67	c  479s |      18 |   865008 |   428452 |    22303     41 |     1339 |        0
483.62/483.70	c  481s |      18 |   868508 |   430552 |    22303     41 |     1339 |        0
485.62/485.75	c  483s |      18 |   872609 |   432952 |    22303     41 |     1339 |        0
487.62/487.78	c  485s |      18 |   877204 |   435052 |    22303     41 |     1339 |        0
489.72/489.86	c  487s |      18 |   879652 |   436652 |    22303     42 |     1339 |        0
491.82/491.93	c  489s |      18 |   883966 |   438852 |    22303     42 |     1339 |        0
493.82/493.95	c  491s |      18 |   887875 |   441052 |    22303     42 |     1339 |        0
495.92/496.03	c  494s |      18 |   890879 |   442652 |    24534     42 |     1339 |        0
498.02/498.11	c  496s |      18 |   894267 |   444352 |    24534     42 |     1339 |        0
498.12/498.24	c  496s |      19 |   894529 |   444482 |    24534     42 |     1339 |        0
500.12/500.24	c  498s |      19 |   897286 |   445782 |    24534     42 |     1339 |        0
502.21/502.34	c  500s |      19 |   901457 |   447782 |    24534     42 |     1339 |        0
504.31/504.44	c  502s |      19 |   905492 |   449782 |    24534     42 |     1339 |        0
506.41/506.50	c  504s |      19 |   908491 |   451282 |    24534     43 |     1339 |        0
508.41/508.56	c  506s |      19 |   913145 |   453782 |    24534     43 |     1339 |        0
510.51/510.61	c  508s |      19 |   917103 |   456082 |    24534     43 |     1339 |        0
512.52/512.70	c  510s |      19 |   920375 |   458182 |    24534     43 |     1339 |        0
514.82/514.91	c  512s |      19 |   921041 |   458582 |    24534     43 |     1339 |        0
516.81/516.96	c  515s |      19 |   925180 |   460582 |    24534     43 |     1339 |        0
518.91/519.01	c  517s |      19 |   928986 |   462282 |    24534     43 |     1339 |        0
520.91/521.07	c  519s |      19 |   932284 |   463882 |    24534     44 |     1339 |        0
523.01/523.16	c  521s |      19 |   936619 |   466082 |    24534     44 |     1339 |        0
525.01/525.20	c  523s |      19 |   940674 |   468182 |    24534     44 |     1339 |        0
527.11/527.28	c  525s |      19 |   943910 |   470182 |    24534     44 |     1339 |        0
529.12/529.28	c  527s |      19 |   947269 |   472082 |    24534     44 |     1339 |        0
531.21/531.34	c  529s |      19 |   950466 |   473882 |    24534     44 |     1339 |        0
533.31/533.41	c  531s |      19 |   951868 |   475082 |    24534     44 |     1339 |        0
535.31/535.45	c  533s |      19 |   952524 |   475682 |    24534     44 |     1339 |        0
537.41/537.57	c  535s |      19 |   955259 |   476982 |    24534     45 |     1339 |        0
539.51/539.66	c  537s |      19 |   959491 |   478482 |    24534     45 |     1339 |        0
541.61/541.72	c  539s |      19 |   964592 |   480682 |    24534     45 |     1339 |        0
543.71/543.82	c  541s |      19 |   967496 |   482082 |    24534     45 |     1339 |        0
545.71/545.83	c  543s |      19 |   971127 |   483582 |    24534     45 |     1339 |        0
547.71/547.86	c  545s |      19 |   975344 |   485382 |    24534     45 |     1339 |        0
549.80/549.97	c  548s |      19 |   979050 |   487182 |    24534     45 |     1339 |        0
552.00/552.15	c  550s |      19 |   982284 |   488882 |    24534     45 |     1339 |        0
554.00/554.18	c  552s |      19 |   986064 |   490682 |    24534     46 |     1339 |        0
556.10/556.26	c  554s |      19 |   989942 |   492782 |    24534     46 |     1339 |        0
558.20/558.32	c  556s |      19 |   993289 |   494382 |    24534     46 |     1339 |        0
560.30/560.40	c  558s |      19 |   998192 |   496382 |    24534     46 |     1339 |        0
562.30/562.41	c  560s |      19 |  1001340 |   498182 |    24534     46 |     1339 |        0
564.40/564.50	c  562s |      19 |  1006438 |   500482 |    24534     46 |     1339 |        0
566.40/566.51	c  564s |      19 |  1010777 |   502382 |    24534     47 |     1339 |        0
568.40/568.55	c  566s |      19 |  1014566 |   504582 |    24534     47 |     1339 |        0
570.50/570.64	c  568s |      19 |  1018832 |   506882 |    24534     47 |     1339 |        0
572.61/572.73	c  570s |      19 |  1022774 |   508582 |    24534     47 |     1339 |        0
574.61/574.77	c  572s |      19 |  1025806 |   510182 |    24534     47 |     1339 |        0
576.71/576.88	c  574s |      19 |  1028673 |   511782 |    24534     47 |     1339 |        0
578.91/579.00	c  577s |      19 |  1031548 |   513482 |    24534     47 |     1339 |        0
580.90/581.09	c  579s |      19 |  1034309 |   515082 |    24534     47 |     1339 |        0
583.01/583.11	c  581s |      19 |  1037553 |   516982 |    24534     48 |     1339 |        0
585.00/585.16	c  583s |      19 |  1039661 |   518482 |    24534     48 |     1339 |        0
587.10/587.24	c  585s |      19 |  1043121 |   520182 |    24534     48 |     1339 |        0
589.20/589.37	c  587s |      19 |  1046250 |   521982 |    24534     48 |     1339 |        0
591.20/591.38	c  589s |      19 |  1049462 |   523582 |    24534     48 |     1339 |        0
593.30/593.45	c  591s |      19 |  1051521 |   525182 |    24534     48 |     1339 |        0
595.40/595.54	c  593s |      19 |  1053297 |   526882 |    24534     48 |     1339 |        0
597.50/597.66	c  595s |      19 |  1055116 |   528482 |    24534     48 |     1339 |        0
599.60/599.79	c  597s |      19 |  1056901 |   529982 |    24534     49 |     1339 |        0
601.61/601.79	c  599s |      19 |  1060100 |   531782 |    24534     49 |     1339 |        0
603.70/603.87	c  601s |      19 |  1063034 |   533482 |    24534     49 |     1339 |        0
605.70/605.88	c  603s |      19 |  1065699 |   535182 |    24534     49 |     1339 |        0
607.80/607.97	c  606s |      19 |  1068350 |   536982 |    24534     49 |     1339 |        0
609.90/610.04	c  608s |      19 |  1070560 |   538782 |    24534     49 |     1339 |        0
611.90/612.08	c  610s |      19 |  1073223 |   540382 |    24534     49 |     1339 |        0
614.10/614.22	c  612s |      19 |  1075435 |   542182 |    24534     50 |     1339 |        0
616.10/616.25	c  614s |      19 |  1078159 |   543482 |    24534     50 |     1339 |        0
618.10/618.26	c  616s |      19 |  1082833 |   545782 |    24534     50 |     1339 |        0
620.20/620.35	c  618s |      19 |  1087101 |   547982 |    24534     50 |     1339 |        0
622.30/622.48	c  620s |      19 |  1091021 |   550082 |    24534     50 |     1339 |        0
624.30/624.50	c  622s |      19 |  1094335 |   551582 |    24534     50 |     1339 |        0
626.40/626.56	c  624s |      19 |  1096000 |   552782 |    24534     50 |     1339 |        0
628.50/628.63	c  626s |      19 |  1099682 |   554482 |    24534     50 |     1339 |        0
630.50/630.69	c  628s |      19 |  1101690 |   556082 |    24534     51 |     1339 |        0
639.99/640.11	c  638s |      19 |  1103704 |   557182 |    24534     51 |     1339 |        0
642.19/642.32	c  640s |      19 |  1105350 |   558382 |    24534     51 |     1339 |        0
644.29/644.44	c  642s |      19 |  1109460 |   560382 |    24534     51 |     1339 |        0
646.29/646.46	c  644s |      19 |  1112235 |   562082 |    24534     51 |     1339 |        0
648.39/648.57	c  646s |      19 |  1116242 |   564082 |    24534     51 |     1339 |        0
650.39/650.59	c  648s |      19 |  1119885 |   565882 |    24534     51 |     1339 |        0
652.59/652.71	c  650s |      19 |  1124257 |   567982 |    24534     52 |     1339 |        0
654.79/654.91	c  652s |      19 |  1128080 |   569982 |    24534     52 |     1339 |        0
656.79/656.92	c  654s |      19 |  1132723 |   571882 |    24534     52 |     1339 |        0
660.09/660.30	c  658s |      19 |  1134474 |   572782 |    24534     52 |     1339 |        0
662.19/662.39	c  660s |      19 |  1138620 |   574582 |    24534     52 |     1339 |        0
664.29/664.46	c  662s |      19 |  1141950 |   576182 |    24534     52 |     1339 |        0
666.39/666.53	c  664s |      19 |  1144929 |   577782 |    24534     52 |     1339 |        0
668.39/668.58	c  666s |      19 |  1147710 |   579382 |    24534     52 |     1339 |        0
670.49/670.69	c  668s |      19 |  1149923 |   581082 |    24534     53 |     1339 |        0
672.58/672.78	c  670s |      19 |  1153487 |   582982 |    24534     53 |     1339 |        0
674.68/674.85	c  672s |      19 |  1156311 |   584782 |    24534     53 |     1339 |        0
676.68/676.88	c  674s |      19 |  1160793 |   586982 |    24534     53 |     1339 |        0
678.69/678.88	c  676s |      19 |  1164022 |   588882 |    24534     53 |     1339 |        0
680.79/680.94	c  678s |      19 |  1167004 |   590782 |    24534     53 |     1339 |        0
682.78/682.95	c  680s |      19 |  1168650 |   592082 |    24534     53 |     1339 |        0
684.78/684.96	c  683s |      19 |  1171226 |   593482 |    24534     53 |     1339 |        0
686.78/686.99	c  685s |      19 |  1175777 |   595082 |    24534     54 |     1339 |        0
688.88/689.04	c  687s |      19 |  1180295 |   597182 |    24534     54 |     1339 |        0
690.88/691.06	c  689s |      19 |  1184463 |   599282 |    24534     54 |     1339 |        0
692.89/693.08	c  691s |      19 |  1188609 |   601482 |    24534     54 |     1339 |        0
694.98/695.14	c  693s |      19 |  1192219 |   603482 |    24534     54 |     1339 |        0
697.08/697.23	c  695s |      19 |  1194801 |   605082 |    24534     54 |     1339 |        0
699.18/699.34	c  697s |      19 |  1197587 |   606682 |    24534     54 |     1339 |        0
701.28/701.41	c  699s |      19 |  1201157 |   608282 |    24534     55 |     1339 |        0
703.28/703.46	c  701s |      19 |  1204649 |   609982 |    24534     55 |     1339 |        0
705.38/705.53	c  703s |      19 |  1207794 |   611782 |    24534     55 |     1339 |        0
707.38/707.57	c  705s |      19 |  1210484 |   613382 |    24534     55 |     1339 |        0
709.49/709.65	c  707s |      19 |  1214000 |   615282 |    24534     55 |     1339 |        0
711.48/711.68	c  709s |      19 |  1216826 |   616982 |    24534     55 |     1339 |        0
713.58/713.76	c  711s |      19 |  1219828 |   618582 |    24534     55 |     1339 |        0
715.58/715.79	c  713s |      19 |  1222366 |   620182 |    24534     55 |     1339 |        0
717.68/717.83	c  715s |      19 |  1225976 |   621882 |    24534     56 |     1339 |        0
719.68/719.87	c  717s |      19 |  1228514 |   623682 |    24534     56 |     1339 |        0
721.78/721.91	c  719s |      19 |  1231351 |   625382 |    24534     56 |     1339 |        0
723.78/723.99	c  722s |      19 |  1233679 |   626982 |    24534     56 |     1339 |        0
725.98/726.11	c  724s |      19 |  1236111 |   628582 |    24534     56 |     1339 |        0
731.49/731.69	c  729s |      19 |  1236326 |   628682 |    24534     56 |     1339 |        0
733.58/733.73	c  731s |      19 |  1239208 |   630082 |    24534     56 |     1339 |        0
735.68/735.82	c  733s |      19 |  1243135 |   631782 |    24534     56 |     1339 |        0
737.68/737.84	c  735s |      19 |  1247217 |   633782 |    24534     57 |     1339 |        0
739.78/739.91	c  737s |      19 |  1250288 |   635882 |    24534     57 |     1339 |        0
741.88/742.00	c  740s |      19 |  1254308 |   638182 |    24534     57 |     1339 |        0
743.88/744.04	c  742s |      19 |  1258118 |   640482 |    24534     57 |     1339 |        0
745.97/746.19	c  744s |      19 |  1261998 |   642482 |    24534     57 |     1339 |        0
748.07/748.23	c  746s |      19 |  1264096 |   643582 |    24534     57 |     1339 |        0
750.18/750.31	c  748s |      19 |  1267999 |   645082 |    24534     57 |     1339 |        0
752.17/752.37	c  750s |      19 |  1270517 |   646482 |    24534     58 |     1339 |        0
754.27/754.41	c  752s |      19 |  1273661 |   648182 |    24534     58 |     1339 |        0
756.27/756.48	c  754s |      19 |  1277766 |   650282 |    24534     58 |     1339 |        0
758.37/758.55	c  756s |      19 |  1281090 |   652082 |    24534     58 |     1339 |        0
760.57/760.74	c  758s |      19 |  1283437 |   653582 |    24534     58 |     1339 |        0
762.67/762.81	c  760s |      19 |  1286533 |   655082 |    24534     58 |     1339 |        0
764.66/764.84	c  762s |      19 |  1289034 |   656482 |    24534     58 |     1339 |        0
766.67/766.88	c  764s |      19 |  1291498 |   657882 |    24534     58 |     1339 |        0
768.66/768.89	c  766s |      19 |  1293228 |   659482 |    24534     58 |     1339 |        0
770.66/770.89	c  768s |      19 |  1295513 |   661282 |    24534     59 |     1339 |        0
772.76/772.90	c  770s |      19 |  1299464 |   663282 |    26988     59 |     1339 |        0
774.86/775.00	c  773s |      19 |  1302671 |   665182 |    26988     59 |     1339 |        0
776.86/777.03	c  775s |      19 |  1305404 |   666782 |    26988     59 |     1339 |        0
776.86/777.09	c  775s |      20 |  1305447 |   666827 |    26988     59 |     1339 |        0
778.96/779.15	c  777s |      20 |  1308337 |   668227 |    26988     59 |     1339 |        0
780.97/781.17	c  779s |      20 |  1310912 |   669827 |    26988     59 |     1339 |        0
783.06/783.25	c  781s |      20 |  1313336 |   671327 |    26988     59 |     1339 |        0
785.16/785.37	c  783s |      20 |  1315187 |   672827 |    26988     59 |     1339 |        0
788.16/788.36	c  786s |      20 |  1315345 |   672927 |    26988     59 |     1339 |        0
790.26/790.44	c  788s |      20 |  1318179 |   674427 |    26988     59 |     1339 |        0
792.36/792.54	c  790s |      20 |  1320186 |   675627 |    26988     60 |     1339 |        0
794.46/794.63	c  792s |      20 |  1324330 |   677627 |    26988     60 |     1339 |        0
796.46/796.63	c  794s |      20 |  1327845 |   679327 |    26988     60 |     1339 |        0
798.46/798.69	c  796s |      20 |  1330843 |   681027 |    26988     60 |     1339 |        0
800.56/800.71	c  798s |      20 |  1333616 |   682727 |    26988     60 |     1339 |        0
802.56/802.73	c  800s |      20 |  1336722 |   684227 |    26988     60 |     1339 |        0
804.66/804.83	c  802s |      20 |  1340126 |   685727 |    26988     60 |     1339 |        0
806.66/806.85	c  804s |      20 |  1342714 |   687127 |    26988     60 |     1339 |        0
808.66/808.88	c  806s |      20 |  1344965 |   688527 |    26988     60 |     1339 |        0
810.85/811.01	c  809s |      20 |  1347371 |   690027 |    26988     61 |     1339 |        0
812.86/813.03	c  811s |      20 |  1351142 |   691827 |    26988     61 |     1339 |        0
814.85/815.05	c  813s |      20 |  1354187 |   693527 |    26988     61 |     1339 |        0
816.95/817.13	c  815s |      20 |  1356546 |   695027 |    26988     61 |     1339 |        0
818.95/819.17	c  817s |      20 |  1359460 |   696527 |    26988     61 |     1339 |        0
821.05/821.27	c  819s |      20 |  1362286 |   698227 |    26988     61 |     1339 |        0
823.15/823.33	c  821s |      20 |  1364843 |   699727 |    26988     61 |     1339 |        0
825.25/825.43	c  823s |      20 |  1366884 |   701227 |    26988     61 |     1339 |        0
827.25/827.46	c  825s |      20 |  1368493 |   702627 |    26988     61 |     1339 |        0
829.25/829.47	c  827s |      20 |  1370462 |   704127 |    26988     62 |     1339 |        0
831.35/831.52	c  829s |      20 |  1372590 |   705927 |    26988     62 |     1339 |        0
833.35/833.56	c  831s |      20 |  1374509 |   707727 |    26988     62 |     1339 |        0
835.44/835.61	c  833s |      20 |  1375673 |   708727 |    26988     62 |     1339 |        0
837.54/837.77	c  835s |      20 |  1376927 |   709827 |    26988     62 |     1339 |        0
839.74/839.93	c  837s |      20 |  1378133 |   710927 |    26988     62 |     1339 |        0
841.84/842.05	c  840s |      20 |  1379194 |   711927 |    26988     62 |     1339 |        0
844.04/844.20	c  842s |      20 |  1380453 |   712927 |    26988     62 |     1339 |        0
846.14/846.33	c  844s |      20 |  1381945 |   714127 |    26988     62 |     1339 |        0
853.14/853.32	c  851s |      20 |  1382137 |   714227 |    26988     62 |     1339 |        0
855.14/855.38	c  853s |      20 |  1386631 |   716227 |    26988     62 |     1339 |        0
857.24/857.47	c  855s |      20 |  1390776 |   717927 |    26988     62 |     1339 |        0
859.23/859.49	c  857s |      20 |  1393486 |   719127 |    26988     63 |     1339 |        0
861.33/861.50	c  859s |      20 |  1396976 |   721127 |    26988     63 |     1339 |        0
863.34/863.51	c  861s |      20 |  1401665 |   723827 |    26988     63 |     1339 |        0
865.44/865.65	c  863s |      20 |  1404480 |   725227 |    26988     63 |     1339 |        0
867.54/867.70	c  865s |      20 |  1408250 |   726927 |    26988     63 |     1339 |        0
869.54/869.75	c  867s |      20 |  1412420 |   728627 |    26988     63 |     1339 |        0
871.54/871.79	c  869s |      20 |  1416428 |   730527 |    26988     63 |     1339 |        0
873.54/873.79	c  871s |      20 |  1419487 |   732427 |    26988     63 |     1339 |        0
875.63/875.89	c  873s |      20 |  1422741 |   734127 |    26988     64 |     1339 |        0
877.74/877.99	c  876s |      20 |  1426385 |   735727 |    26988     64 |     1339 |        0
879.83/880.04	c  878s |      20 |  1430004 |   737327 |    26988     64 |     1339 |        0
881.83/882.09	c  880s |      20 |  1435662 |   739027 |    26988     64 |     1339 |        0
883.93/884.14	c  882s |      20 |  1439746 |   740727 |    26988     64 |     1339 |        0
885.93/886.17	c  884s |      20 |  1442168 |   742627 |    26988     64 |     1339 |        0
888.13/888.30	c  886s |      20 |  1444006 |   744227 |    26988     64 |     1339 |        0
890.12/890.30	c  888s |      20 |  1446615 |   745727 |    26988     64 |     1339 |        0
892.12/892.31	c  890s |      20 |  1448703 |   747027 |    26988     65 |     1339 |        0
894.13/894.31	c  892s |      20 |  1453206 |   749227 |    26988     65 |     1339 |        0
896.12/896.33	c  894s |      20 |  1456886 |   751227 |    26988     65 |     1339 |        0
898.22/898.42	c  896s |      20 |  1460599 |   753227 |    26988     65 |     1339 |        0
900.32/900.50	c  898s |      20 |  1464091 |   755127 |    26988     65 |     1339 |        0
903.61/903.87	c  901s |      20 |  1465384 |   755827 |    26988     65 |     1339 |        0
905.81/906.05	c  904s |      20 |  1468584 |   757427 |    26988     65 |     1339 |        0
907.91/908.18	c  906s |      20 |  1470292 |   758627 |    26988     65 |     1339 |        0
910.00/910.28	c  908s |      20 |  1473132 |   760327 |    26988     65 |     1339 |        0
912.10/912.38	c  910s |      20 |  1476426 |   762027 |    26988     66 |     1339 |        0
914.10/914.38	c  912s |      20 |  1480089 |   763927 |    26988     66 |     1339 |        0
916.21/916.47	c  914s |      20 |  1483548 |   765827 |    26988     66 |     1339 |        0
918.31/918.58	c  916s |      20 |  1487150 |   767727 |    26988     66 |     1339 |        0
920.40/920.69	c  918s |      20 |  1490183 |   769427 |    26988     66 |     1339 |        0
922.50/922.76	c  920s |      20 |  1493006 |   771227 |    26988     66 |     1339 |        0
924.60/924.82	c  922s |      20 |  1496681 |   773227 |    26988     66 |     1339 |        0
926.70/926.90	c  924s |      20 |  1499355 |   774827 |    26988     66 |     1339 |        0
928.70/928.90	c  926s |      20 |  1501025 |   776127 |    26988     67 |     1339 |        0
930.70/930.98	c  929s |      20 |  1504310 |   777827 |    26988     67 |     1339 |        0
932.70/932.99	c  931s |      20 |  1507014 |   779427 |    26988     67 |     1339 |        0
934.69/934.99	c  933s |      20 |  1509993 |   781027 |    26988     67 |     1339 |        0
936.89/937.11	c  935s |      20 |  1512926 |   782627 |    26988     67 |     1339 |        0
938.89/939.11	c  937s |      20 |  1515425 |   784127 |    26988     67 |     1339 |        0
940.89/941.16	c  939s |      20 |  1518603 |   785827 |    26988     67 |     1339 |        0
942.99/943.29	c  941s |      20 |  1521313 |   787427 |    26988     67 |     1339 |        0
945.09/945.38	c  943s |      20 |  1524342 |   789027 |    26988     67 |     1339 |        0
947.09/947.39	c  945s |      20 |  1526959 |   790527 |    26988     68 |     1339 |        0
949.19/949.48	c  947s |      20 |  1529586 |   792227 |    26988     68 |     1339 |        0
951.29/951.58	c  949s |      20 |  1532908 |   794327 |    26988     68 |     1339 |        0
953.38/953.70	c  951s |      20 |  1536271 |   796227 |    26988     68 |     1339 |        0
955.48/955.79	c  953s |      20 |  1539046 |   798027 |    26988     68 |     1339 |        0
957.58/957.80	c  955s |      20 |  1542091 |   799827 |    26988     68 |     1339 |        0
960.19/960.42	c  958s |      20 |  1544146 |   801227 |    26988     68 |     1339 |        0
962.48/962.77	c  960s |      20 |  1544889 |   801627 |    26988     68 |     1339 |        0
964.59/964.85	c  962s |      20 |  1546939 |   802927 |    26988     68 |     1339 |        0
966.58/966.88	c  964s |      20 |  1548470 |   803827 |    26988     68 |     1339 |        0
968.78/969.00	c  967s |      20 |  1550504 |   805127 |    26988     69 |     1339 |        0
970.78/971.08	c  969s |      20 |  1553053 |   806827 |    26988     69 |     1339 |        0
972.88/973.13	c  971s |      20 |  1555892 |   808627 |    26988     69 |     1339 |        0
974.98/975.22	c  973s |      20 |  1559029 |   810327 |    26988     69 |     1339 |        0
977.08/977.32	c  975s |      20 |  1562328 |   812127 |    26988     69 |     1339 |        0
979.17/979.44	c  977s |      20 |  1565259 |   813727 |    26988     69 |     1339 |        0
981.27/981.56	c  979s |      20 |  1568030 |   815227 |    26988     69 |     1339 |        0
983.37/983.62	c  981s |      20 |  1570713 |   816727 |    26988     69 |     1339 |        0
985.38/985.68	c  983s |      20 |  1573274 |   818127 |    26988     69 |     1339 |        0
987.47/987.79	c  985s |      20 |  1575586 |   819427 |    26988     70 |     1339 |        0
989.56/989.87	c  987s |      20 |  1579054 |   821227 |    26988     70 |     1339 |        0
991.66/991.91	c  989s |      20 |  1581066 |   822827 |    26988     70 |     1339 |        0
993.66/993.93	c  991s |      20 |  1583886 |   824327 |    26988     70 |     1339 |        0
995.66/995.97	c  994s |      20 |  1585870 |   825627 |    26988     70 |     1339 |        0
997.76/998.03	c  996s |      20 |  1588985 |   827527 |    26988     70 |     1339 |        0
999.77/1000.08	c  998s |      20 |  1591690 |   829227 |    26988     70 |     1339 |        0
1001.86/1002.14	c 1000s |      20 |  1594536 |   830727 |    26988     70 |     1339 |        0
1003.86/1004.16	c 1002s |      20 |  1597418 |   832127 |    26988     70 |     1339 |        0
1006.16/1006.48	c 1004s |      20 |  1599697 |   833327 |    26988     71 |     1339 |        0
1008.16/1008.49	c 1006s |      20 |  1603361 |   835427 |    26988     71 |     1339 |        0
1010.26/1010.59	c 1008s |      20 |  1606154 |   837027 |    26988     71 |     1339 |        0
1013.46/1013.79	c 1011s |      20 |  1608034 |   838027 |    26988     71 |     1339 |        0
1015.56/1015.80	c 1013s |      20 |  1610681 |   839627 |    26988     71 |     1339 |        0
1017.66/1017.91	c 1015s |      20 |  1613411 |   841227 |    26988     71 |     1339 |        0
1019.66/1019.95	c 1017s |      20 |  1616375 |   842827 |    26988     71 |     1339 |        0
1021.66/1021.96	c 1020s |      20 |  1619480 |   844427 |    26988     71 |     1339 |        0
1023.76/1024.02	c 1022s |      20 |  1621569 |   846027 |    26988     71 |     1339 |        0
1025.76/1026.08	c 1024s |      20 |  1623350 |   847227 |    26988     72 |     1339 |        0
1028.06/1028.31	c 1026s |      20 |  1625514 |   849027 |    26988     72 |     1339 |        0
1030.05/1030.35	c 1028s |      20 |  1627952 |   850927 |    26988     72 |     1339 |        0
1032.05/1032.37	c 1030s |      20 |  1630214 |   852527 |    26988     72 |     1339 |        0
1034.15/1034.49	c 1032s |      20 |  1632837 |   854127 |    26988     72 |     1339 |        0
1036.35/1036.62	c 1034s |      20 |  1634635 |   855527 |    26988     72 |     1339 |        0
1038.35/1038.66	c 1036s |      20 |  1637305 |   857127 |    26988     72 |     1339 |        0
1040.45/1040.72	c 1038s |      20 |  1639783 |   858627 |    26988     72 |     1339 |        0
1042.44/1042.78	c 1040s |      20 |  1643236 |   860227 |    26988     72 |     1339 |        0
1044.54/1044.85	c 1042s |      20 |  1645827 |   861427 |    26988     73 |     1339 |        0
1046.64/1046.91	c 1044s |      20 |  1648894 |   863127 |    26988     73 |     1339 |        0
1048.64/1048.98	c 1047s |      20 |  1651092 |   864827 |    26988     73 |     1339 |        0
1050.74/1051.05	c 1049s |      20 |  1653174 |   866427 |    26988     73 |     1339 |        0
1052.74/1053.07	c 1051s |      20 |  1655707 |   868127 |    26988     73 |     1339 |        0
1054.74/1055.08	c 1053s |      20 |  1657611 |   869627 |    26988     73 |     1339 |        0
1056.94/1057.23	c 1055s |      20 |  1660455 |   871127 |    26988     73 |     1339 |        0
1059.04/1059.30	c 1057s |      20 |  1663674 |   872827 |    26988     73 |     1339 |        0
1061.13/1061.40	c 1059s |      20 |  1666630 |   874527 |    26988     73 |     1339 |        0
1063.23/1063.52	c 1061s |      20 |  1669053 |   875727 |    26988     74 |     1339 |        0
1065.33/1065.60	c 1063s |      20 |  1671991 |   877427 |    26988     74 |     1339 |        0
1067.43/1067.79	c 1065s |      20 |  1673890 |   878527 |    26988     74 |     1339 |        0
1069.62/1069.90	c 1067s |      20 |  1676678 |   880127 |    26988     74 |     1339 |        0
1071.72/1072.00	c 1070s |      20 |  1679494 |   881827 |    26988     74 |     1339 |        0
1073.72/1074.00	c 1072s |      20 |  1681810 |   883227 |    26988     74 |     1339 |        0
1075.72/1076.05	c 1074s |      20 |  1684202 |   884627 |    26988     74 |     1339 |        0
1077.83/1078.13	c 1076s |      20 |  1686394 |   886027 |    26988     74 |     1339 |        0
1079.92/1080.22	c 1078s |      20 |  1688782 |   887427 |    26988     74 |     1339 |        0
1082.02/1082.35	c 1080s |      20 |  1690741 |   888827 |    26988     74 |     1339 |        0
1084.42/1084.75	c 1082s |      20 |  1692559 |   890127 |    26988     75 |     1339 |        0
1086.71/1087.02	c 1085s |      20 |  1695548 |   891927 |    26988     75 |     1339 |        0
1088.72/1089.08	c 1087s |      20 |  1698844 |   893727 |    26988     75 |     1339 |        0
1090.81/1091.20	c 1089s |      20 |  1701279 |   895427 |    26988     75 |     1339 |        0
1092.91/1093.21	c 1091s |      20 |  1704118 |   897027 |    26988     75 |     1339 |        0
1094.90/1095.24	c 1093s |      20 |  1706269 |   898527 |    26988     75 |     1339 |        0
1097.01/1097.33	c 1095s |      20 |  1708674 |   900027 |    26988     75 |     1339 |        0
1099.01/1099.37	c 1097s |      20 |  1710949 |   901427 |    26988     75 |     1339 |        0
1101.01/1101.37	c 1099s |      20 |  1713402 |   902927 |    26988     75 |     1339 |        0
1103.21/1103.59	c 1101s |      20 |  1715857 |   904427 |    26988     76 |     1339 |        0
1105.31/1105.69	c 1103s |      20 |  1718381 |   906027 |    26988     76 |     1339 |        0
1107.41/1107.75	c 1105s |      20 |  1720796 |   907527 |    26988     76 |     1339 |        0
1109.50/1109.80	c 1107s |      20 |  1723063 |   909027 |    26988     76 |     1339 |        0
1111.60/1111.92	c 1109s |      20 |  1725889 |   910727 |    26988     76 |     1339 |        0
1113.70/1114.00	c 1112s |      20 |  1728533 |   912427 |    26988     76 |     1339 |        0
1115.70/1116.06	c 1114s |      20 |  1730672 |   913827 |    26988     76 |     1339 |        0
1117.80/1118.15	c 1116s |      20 |  1732141 |   915127 |    26988     76 |     1339 |        0
1119.90/1120.26	c 1118s |      20 |  1733662 |   916427 |    26988     76 |     1339 |        0
1121.90/1122.27	c 1120s |      20 |  1735228 |   917527 |    26988     76 |     1339 |        0
1124.40/1124.71	c 1122s |      20 |  1736930 |   918727 |    26988     77 |     1339 |        0
1139.19/1139.59	c 1137s |      20 |  1737274 |   918827 |    26988     77 |     1339 |        0
1141.29/1141.68	c 1139s |      20 |  1741749 |   920427 |    26988     77 |     1339 |        0
1143.39/1143.72	c 1141s |      20 |  1745685 |   922127 |    26988     77 |     1339 |        0
1145.38/1145.76	c 1143s |      20 |  1750388 |   923827 |    26988     77 |     1339 |        0
1147.38/1147.79	c 1145s |      20 |  1753913 |   925527 |    26988     77 |     1339 |        0
1149.48/1149.86	c 1147s |      20 |  1756987 |   927027 |    26988     77 |     1339 |        0
1151.58/1151.93	c 1149s |      20 |  1760088 |   928627 |    26988     77 |     1339 |        0
1153.59/1153.93	c 1151s |      20 |  1763949 |   930227 |    26988     77 |     1339 |        0
1155.58/1155.96	c 1153s |      20 |  1767313 |   931627 |    26988     77 |     1339 |        0
1157.68/1158.06	c 1156s |      20 |  1770747 |   933127 |    26988     78 |     1339 |        0
1159.78/1160.10	c 1158s |      20 |  1774812 |   934927 |    26988     78 |     1339 |        0
1161.79/1162.13	c 1160s |      20 |  1777661 |   936627 |    26988     78 |     1339 |        0
1163.79/1164.19	c 1162s |      20 |  1781698 |   938227 |    26988     78 |     1339 |        0
1165.99/1166.35	c 1164s |      20 |  1784710 |   939927 |    26988     78 |     1339 |        0
1168.09/1168.41	c 1166s |      20 |  1788039 |   941627 |    26988     78 |     1339 |        0
1170.09/1170.44	c 1168s |      20 |  1790973 |   943227 |    26988     78 |     1339 |        0
1172.18/1172.51	c 1170s |      20 |  1794513 |   944827 |    26988     78 |     1339 |        0
1174.18/1174.53	c 1172s |      20 |  1797161 |   946127 |    26988     78 |     1339 |        0
1176.28/1176.65	c 1174s |      20 |  1800022 |   947527 |    26988     79 |     1339 |        0
1178.38/1178.79	c 1176s |      20 |  1802825 |   948927 |    26988     79 |     1339 |        0
1180.58/1180.92	c 1178s |      20 |  1805442 |   950427 |    26988     79 |     1339 |        0
1182.58/1182.95	c 1180s |      20 |  1808644 |   951627 |    26988     79 |     1339 |        0
1184.68/1185.04	c 1183s |      20 |  1812460 |   953127 |    26988     79 |     1339 |        0
1186.69/1187.06	c 1185s |      20 |  1814068 |   954327 |    26988     79 |     1339 |        0
1188.78/1189.10	c 1187s |      20 |  1814742 |   954927 |    26988     79 |     1339 |        0
1192.38/1192.73	c 1190s |      20 |  1815249 |   955327 |    26988     79 |     1339 |        0
1194.48/1194.82	c 1192s |      20 |  1816723 |   956427 |    26988     79 |     1339 |        0
1196.58/1196.94	c 1194s |      20 |  1818628 |   957627 |    26988     79 |     1339 |        0
1198.78/1199.11	c 1197s |      20 |  1820119 |   958827 |    26988     79 |     1339 |        0
1200.77/1201.14	c 1199s |      20 |  1821477 |   960027 |    26988     79 |     1339 |        0
1202.87/1203.24	c 1201s |      20 |  1822726 |   961127 |    26988     79 |     1339 |        0
1204.87/1205.26	c 1203s |      20 |  1823913 |   962127 |    26988     80 |     1339 |        0
1207.07/1207.40	c 1205s |      20 |  1825764 |   963527 |    26988     80 |     1339 |        0
1209.07/1209.44	c 1207s |      20 |  1826844 |   964327 |    26988     80 |     1339 |        0
1211.07/1211.49	c 1209s |      20 |  1830252 |   966027 |    26988     80 |     1339 |        0
1213.17/1213.54	c 1211s |      20 |  1833276 |   967727 |    26988     80 |     1339 |        0
1215.17/1215.56	c 1213s |      20 |  1834759 |   968827 |    26988     80 |     1339 |        0
1217.27/1217.68	c 1215s |      20 |  1837084 |   970227 |    26988     80 |     1339 |        0
1219.37/1219.72	c 1217s |      20 |  1840409 |   971827 |    26988     80 |     1339 |        0
1221.47/1221.83	c 1219s |      20 |  1843410 |   973427 |    26988     80 |     1339 |        0
1223.57/1223.94	c 1221s |      20 |  1846599 |   975227 |    26988     80 |     1339 |        0
1225.57/1225.98	c 1224s |      20 |  1849682 |   976527 |    26988     81 |     1339 |        0
1227.57/1227.99	c 1226s |      20 |  1853051 |   978427 |    26988     81 |     1339 |        0
1229.76/1230.10	c 1228s |      20 |  1855127 |   979327 |    26988     81 |     1339 |        0
1231.77/1232.11	c 1230s |      20 |  1858273 |   981027 |    26988     81 |     1339 |        0
1233.86/1234.21	c 1232s |      20 |  1862062 |   982427 |    26988     81 |     1339 |        0
1235.96/1236.31	c 1234s |      20 |  1865464 |   984027 |    26988     81 |     1339 |        0
1237.96/1238.36	c 1236s |      20 |  1868556 |   985727 |    26988     81 |     1339 |        0
1239.96/1240.37	c 1238s |      20 |  1871821 |   987227 |    26988     81 |     1339 |        0
1241.96/1242.39	c 1240s |      20 |  1873963 |   988727 |    26988     81 |     1339 |        0
1244.06/1244.44	c 1242s |      20 |  1876751 |   990227 |    26988     81 |     1339 |        0
1246.06/1246.48	c 1244s |      20 |  1879559 |   991727 |    26988     82 |     1339 |        0
1248.16/1248.54	c 1246s |      20 |  1882316 |   993227 |    29687     82 |     1339 |        0
1250.16/1250.54	c 1248s |      20 |  1886148 |   994927 |    29687     82 |     1339 |        0
1252.26/1252.60	c 1250s |      20 |  1889262 |   996527 |    29687     82 |     1339 |        0
1254.26/1254.65	c 1252s |      20 |  1892105 |   998227 |    29687     82 |     1339 |        0
1256.36/1256.78	c 1254s |      20 |  1894791 |   999527 |    29687     82 |     1339 |        0
1257.45/1257.81	c 1255s |      21 |  1896314 |  1000345 |    29687     82 |     1339 |        0
1259.45/1259.85	c 1257s |      21 |  1898805 |  1001645 |    29687     82 |     1339 |        0
1261.55/1261.94	c 1259s |      21 |  1901333 |  1002945 |    29687     82 |     1339 |        0
1263.66/1264.03	c 1262s |      21 |  1903233 |  1004345 |    29687     82 |     1339 |        0
1265.65/1266.06	c 1264s |      21 |  1905554 |  1005845 |    29687     82 |     1339 |        0
1270.65/1271.04	c 1269s |      21 |  1906009 |  1006045 |    29687     82 |     1339 |        0
1272.65/1273.07	c 1271s |      21 |  1909046 |  1007245 |    29687     82 |     1339 |        0
1274.95/1275.30	c 1273s |      21 |  1911131 |  1008245 |    29687     83 |     1339 |        0
1276.95/1277.34	c 1275s |      21 |  1913798 |  1009545 |    29687     83 |     1339 |        0
1279.06/1279.41	c 1277s |      21 |  1915907 |  1010845 |    29687     83 |     1339 |        0
1281.05/1281.43	c 1279s |      21 |  1918933 |  1012145 |    29687     83 |     1339 |        0
1283.05/1283.45	c 1281s |      21 |  1922834 |  1013545 |    29687     83 |     1339 |        0
1285.15/1285.52	c 1283s |      21 |  1925830 |  1015045 |    29687     83 |     1339 |        0
1287.25/1287.63	c 1285s |      21 |  1929597 |  1016545 |    29687     83 |     1339 |        0
1289.25/1289.70	c 1287s |      21 |  1932023 |  1017945 |    29687     83 |     1339 |        0
1291.44/1291.87	c 1289s |      21 |  1934658 |  1019445 |    29687     83 |     1339 |        0
1293.64/1294.04	c 1292s |      21 |  1936342 |  1020845 |    29687     83 |     1339 |        0
1295.74/1296.11	c 1294s |      21 |  1938902 |  1022245 |    29687     83 |     1339 |        0
1297.75/1298.16	c 1296s |      21 |  1941296 |  1023445 |    29687     84 |     1339 |        0
1299.84/1300.22	c 1298s |      21 |  1944221 |  1024945 |    29687     84 |     1339 |        0
1301.84/1302.25	c 1300s |      21 |  1945833 |  1026245 |    29687     84 |     1339 |        0
1303.84/1304.29	c 1302s |      21 |  1948850 |  1027745 |    29687     84 |     1339 |        0
1306.04/1306.40	c 1304s |      21 |  1952608 |  1029445 |    29687     84 |     1339 |        0
1308.04/1308.45	c 1306s |      21 |  1956159 |  1031245 |    29687     84 |     1339 |        0
1310.03/1310.48	c 1308s |      21 |  1958892 |  1032945 |    29687     84 |     1339 |        0
1312.23/1312.65	c 1310s |      21 |  1961544 |  1034345 |    29687     84 |     1339 |        0
1314.33/1314.74	c 1312s |      21 |  1964238 |  1035745 |    29687     84 |     1339 |        0
1316.53/1316.94	c 1314s |      21 |  1965357 |  1036745 |    29687     84 |     1339 |        0
1318.53/1318.96	c 1316s |      21 |  1967159 |  1037945 |    29687     84 |     1339 |        0
1320.83/1321.27	c 1319s |      21 |  1969159 |  1039045 |    29687     85 |     1339 |        0
1322.93/1323.32	c 1321s |      21 |  1972529 |  1040545 |    29687     85 |     1339 |        0
1325.03/1325.41	c 1323s |      21 |  1974832 |  1042045 |    29687     85 |     1339 |        0
1327.03/1327.49	c 1325s |      21 |  1976859 |  1043545 |    29687     85 |     1339 |        0
1329.13/1329.57	c 1327s |      21 |  1979761 |  1045045 |    29687     85 |     1339 |        0
1331.23/1331.69	c 1329s |      21 |  1982213 |  1046345 |    29687     85 |     1339 |        0
1333.43/1333.83	c 1331s |      21 |  1984841 |  1047645 |    29687     85 |     1339 |        0
1335.43/1335.85	c 1333s |      21 |  1987210 |  1049045 |    29687     85 |     1339 |        0
1337.62/1338.02	c 1336s |      21 |  1990038 |  1050545 |    29687     85 |     1339 |        0
1339.62/1340.07	c 1338s |      21 |  1992211 |  1051945 |    29687     85 |     1339 |        0
1341.73/1342.17	c 1340s |      21 |  1995013 |  1053545 |    29687     85 |     1339 |        0
1343.72/1344.17	c 1342s |      21 |  1997599 |  1054745 |    29687     86 |     1339 |        0
1345.82/1346.26	c 1344s |      21 |  2000146 |  1056345 |    29687     86 |     1339 |        0
1347.92/1348.32	c 1346s |      21 |  2002883 |  1057945 |    29687     86 |     1339 |        0
1350.02/1350.44	c 1348s |      21 |  2005865 |  1059545 |    29687     86 |     1339 |        0
1352.12/1352.50	c 1350s |      21 |  2008043 |  1060945 |    29687     86 |     1339 |        0
1354.12/1354.57	c 1352s |      21 |  2010854 |  1062345 |    29687     86 |     1339 |        0
1356.22/1356.65	c 1354s |      21 |  2013290 |  1064045 |    29687     86 |     1339 |        0
1358.32/1358.72	c 1356s |      21 |  2015611 |  1065545 |    29687     86 |     1339 |        0
1360.42/1360.86	c 1358s |      21 |  2017671 |  1067045 |    29687     86 |     1339 |        0
1362.52/1362.98	c 1361s |      21 |  2020412 |  1068545 |    29687     86 |     1339 |        0
1364.72/1365.10	c 1363s |      21 |  2022672 |  1069645 |    29687     86 |     1339 |        0
1366.71/1367.15	c 1365s |      21 |  2024992 |  1070745 |    29687     87 |     1339 |        0
1368.71/1369.15	c 1367s |      21 |  2027173 |  1071745 |    29687     87 |     1339 |        0
1370.81/1371.26	c 1369s |      21 |  2030067 |  1073045 |    29687     87 |     1339 |        0
1372.91/1373.31	c 1371s |      21 |  2032625 |  1074345 |    29687     87 |     1339 |        0
1375.01/1375.46	c 1373s |      21 |  2035062 |  1075645 |    29687     87 |     1339 |        0
1377.12/1377.54	c 1375s |      21 |  2036164 |  1076245 |    29687     87 |     1339 |        0
1390.02/1390.50	c 1388s |      21 |  2038595 |  1077345 |    29687     87 |     1339 |        0
1392.11/1392.56	c 1390s |      21 |  2041961 |  1078645 |    29687     87 |     1339 |        0
1394.21/1394.69	c 1392s |      21 |  2045051 |  1080045 |    29687     87 |     1339 |        0
1396.41/1396.80	c 1394s |      21 |  2048409 |  1081445 |    29687     87 |     1339 |        0
1398.41/1398.88	c 1396s |      21 |  2051748 |  1082845 |    29687     87 |     1339 |        0
1400.51/1400.90	c 1398s |      21 |  2054448 |  1084045 |    29687     87 |     1339 |        0
1407.01/1407.43	c 1405s |      21 |  2056383 |  1085245 |    29687     87 |     1339 |        0
1409.10/1409.53	c 1407s |      21 |  2056583 |  1085445 |    29687     87 |     1339 |        0
1411.10/1411.58	c 1409s |      21 |  2057667 |  1086345 |    29687     88 |     1339 |        0
1413.22/1413.62	c 1411s |      21 |  2059978 |  1088045 |    29687     88 |     1339 |        0
1415.21/1415.64	c 1413s |      21 |  2061692 |  1089545 |    29687     88 |     1339 |        0
1417.21/1417.69	c 1415s |      21 |  2063854 |  1091145 |    29687     88 |     1339 |        0
1419.21/1419.69	c 1417s |      21 |  2065867 |  1092845 |    29687     88 |     1339 |        0
1421.31/1421.74	c 1419s |      21 |  2067818 |  1094345 |    29687     88 |     1339 |        0
1423.41/1423.86	c 1421s |      21 |  2071454 |  1096045 |    29687     88 |     1339 |        0
1425.51/1425.92	c 1423s |      21 |  2073376 |  1097545 |    29687     88 |     1339 |        0
1427.61/1428.03	c 1426s |      21 |  2075010 |  1098945 |    29687     88 |     1339 |        0
1429.61/1430.05	c 1428s |      21 |  2076573 |  1100245 |    29687     88 |     1339 |        0
1431.71/1432.17	c 1430s |      21 |  2078765 |  1101545 |    29687     89 |     1339 |        0
1434.11/1434.51	c 1432s |      21 |  2080802 |  1103045 |    29687     89 |     1339 |        0
1436.21/1436.62	c 1434s |      21 |  2083878 |  1104745 |    29687     89 |     1339 |        0
1438.20/1438.69	c 1436s |      21 |  2086817 |  1106445 |    29687     89 |     1339 |        0
1440.30/1440.80	c 1438s |      21 |  2088427 |  1107945 |    29687     89 |     1339 |        0
1442.40/1442.88	c 1440s |      21 |  2090127 |  1109545 |    29687     89 |     1339 |        0
1444.50/1444.93	c 1442s |      21 |  2092022 |  1110745 |    29687     89 |     1339 |        0
1446.50/1446.96	c 1444s |      21 |  2094275 |  1112145 |    29687     89 |     1339 |        0
1448.50/1448.98	c 1447s |      21 |  2096676 |  1113545 |    29687     89 |     1339 |        0
1450.61/1451.07	c 1449s |      21 |  2098856 |  1114945 |    29687     89 |     1339 |        0
1452.71/1453.18	c 1451s |      21 |  2101387 |  1116545 |    29687     89 |     1339 |        0
1454.80/1455.24	c 1453s |      21 |  2102992 |  1117845 |    29687     90 |     1339 |        0
1456.80/1457.27	c 1455s |      21 |  2104880 |  1118945 |    29687     90 |     1339 |        0
1458.90/1459.34	c 1457s |      21 |  2106792 |  1120145 |    29687     90 |     1339 |        0
1460.90/1461.39	c 1459s |      21 |  2108903 |  1121645 |    29687     90 |     1339 |        0
1463.00/1463.44	c 1461s |      21 |  2110736 |  1122845 |    29687     90 |     1339 |        0
1465.10/1465.58	c 1463s |      21 |  2113408 |  1124145 |    29687     90 |     1339 |        0
1467.20/1467.67	c 1465s |      21 |  2115685 |  1125445 |    29687     90 |     1339 |        0
1469.40/1469.82	c 1467s |      21 |  2118349 |  1126645 |    29687     90 |     1339 |        0
1471.50/1471.98	c 1470s |      21 |  2120551 |  1127845 |    29687     90 |     1339 |        0
1473.50/1473.99	c 1472s |      21 |  2122375 |  1129045 |    29687     90 |     1339 |        0
1475.60/1476.06	c 1474s |      21 |  2124492 |  1130245 |    29687     90 |     1339 |        0
1477.80/1478.22	c 1476s |      21 |  2125980 |  1131345 |    29687     90 |     1339 |        0
1479.90/1480.33	c 1478s |      21 |  2128091 |  1132645 |    29687     90 |     1339 |        0
1481.99/1482.45	c 1480s |      21 |  2129342 |  1133545 |    29687     91 |     1339 |        0
1483.99/1484.48	c 1482s |      21 |  2131879 |  1135145 |    29687     91 |     1339 |        0
1486.09/1486.53	c 1484s |      21 |  2134287 |  1136845 |    29687     91 |     1339 |        0
1488.09/1488.58	c 1486s |      21 |  2137095 |  1138445 |    29687     91 |     1339 |        0
1491.69/1492.12	c 1490s |      21 |  2137828 |  1139045 |    29687     91 |     1339 |        0
1493.79/1494.26	c 1492s |      21 |  2139369 |  1140445 |    29687     91 |     1339 |        0
1495.89/1496.37	c 1494s |      21 |  2140793 |  1141745 |    29687     91 |     1339 |        0
1497.99/1498.46	c 1496s |      21 |  2142864 |  1142945 |    29687     91 |     1339 |        0
1500.10/1500.53	c 1498s |      21 |  2144141 |  1144145 |    29687     91 |     1339 |        0
1502.19/1502.63	c 1500s |      21 |  2145897 |  1145445 |    29687     91 |     1339 |        0
1504.29/1504.76	c 1502s |      21 |  2148005 |  1146645 |    29687     91 |     1339 |        0
1506.39/1506.82	c 1504s |      21 |  2149578 |  1147645 |    29687     91 |     1339 |        0
1508.69/1509.13	c 1507s |      21 |  2151293 |  1148645 |    29687     92 |     1339 |        0
1511.39/1511.83	c 1509s |      21 |  2152401 |  1149145 |    29687     92 |     1339 |        0
1513.39/1513.85	c 1511s |      21 |  2154486 |  1150245 |    29687     92 |     1339 |        0
1515.58/1516.01	c 1514s |      21 |  2156478 |  1151545 |    29687     92 |     1339 |        0
1517.69/1518.11	c 1516s |      21 |  2159012 |  1153045 |    29687     92 |     1339 |        0
1519.68/1520.18	c 1518s |      21 |  2161626 |  1154545 |    29687     92 |     1339 |        0
1521.78/1522.28	c 1520s |      21 |  2163853 |  1155945 |    29687     92 |     1339 |        0
1523.88/1524.35	c 1522s |      21 |  2167222 |  1157545 |    29687     92 |     1339 |        0
1525.98/1526.43	c 1524s |      21 |  2170827 |  1159045 |    29687     92 |     1339 |        0
1527.98/1528.44	c 1526s |      21 |  2173152 |  1160245 |    29687     92 |     1339 |        0
1530.08/1530.51	c 1528s |      21 |  2174875 |  1161545 |    29687     92 |     1339 |        0
1532.58/1533.07	c 1531s |      21 |  2176456 |  1162845 |    29687     92 |     1339 |        0
1534.78/1535.27	c 1533s |      21 |  2178560 |  1163845 |    29687     92 |     1339 |        0
1536.98/1537.47	c 1535s |      21 |  2179829 |  1164445 |    29687     93 |     1339 |        0
1539.08/1539.53	c 1537s |      21 |  2182490 |  1165845 |    29687     93 |     1339 |        0
1541.18/1541.65	c 1539s |      21 |  2184865 |  1167445 |    29687     93 |     1339 |        0
1543.28/1543.72	c 1541s |      21 |  2188600 |  1169445 |    29687     93 |     1339 |        0
1545.28/1545.78	c 1543s |      21 |  2190967 |  1171145 |    29687     93 |     1339 |        0
1547.39/1547.84	c 1545s |      21 |  2193580 |  1172545 |    29687     93 |     1339 |        0
1549.48/1549.91	c 1547s |      21 |  2196222 |  1174045 |    29687     93 |     1339 |        0
1551.48/1551.99	c 1550s |      21 |  2198442 |  1175345 |    29687     93 |     1339 |        0
1553.58/1554.07	c 1552s |      21 |  2200630 |  1176745 |    29687     93 |     1339 |        0
1555.68/1556.18	c 1554s |      21 |  2203141 |  1178145 |    29687     93 |     1339 |        0
1557.88/1558.34	c 1556s |      21 |  2205414 |  1179545 |    29687     93 |     1339 |        0
1559.99/1560.42	c 1558s |      21 |  2207144 |  1180845 |    29687     94 |     1339 |        0
1562.09/1562.56	c 1560s |      21 |  2208776 |  1182345 |    29687     94 |     1339 |        0
1564.19/1564.63	c 1562s |      21 |  2211691 |  1183945 |    29687     94 |     1339 |        0
1566.28/1566.71	c 1564s |      21 |  2215139 |  1185545 |    29687     94 |     1339 |        0
1569.08/1569.54	c 1567s |      21 |  2216541 |  1186145 |    29687     94 |     1339 |        0
1571.18/1571.68	c 1569s |      21 |  2218098 |  1186945 |    29687     94 |     1339 |        0
1573.18/1573.69	c 1571s |      21 |  2221303 |  1188245 |    29687     94 |     1339 |        0
1575.28/1575.75	c 1573s |      21 |  2223904 |  1189745 |    29687     94 |     1339 |        0
1577.38/1577.82	c 1575s |      21 |  2226540 |  1191245 |    29687     94 |     1339 |        0
1579.38/1579.88	c 1577s |      21 |  2228806 |  1192545 |    29687     94 |     1339 |        0
1581.49/1581.93	c 1579s |      21 |  2231860 |  1193845 |    29687     94 |     1339 |        0
1583.48/1583.94	c 1581s |      21 |  2235098 |  1195445 |    29687     94 |     1339 |        0
1585.48/1585.97	c 1584s |      21 |  2235947 |  1196145 |    29687     95 |     1339 |        0
1587.58/1588.02	c 1586s |      21 |  2238383 |  1197645 |    29687     95 |     1339 |        0
1589.68/1590.16	c 1588s |      21 |  2242330 |  1199245 |    29687     95 |     1339 |        0
1591.78/1592.23	c 1590s |      21 |  2244975 |  1200745 |    29687     95 |     1339 |        0
1593.78/1594.25	c 1592s |      21 |  2248377 |  1202245 |    29687     95 |     1339 |        0
1595.88/1596.30	c 1594s |      21 |  2250138 |  1203645 |    29687     95 |     1339 |        0
1597.98/1598.42	c 1596s |      21 |  2251423 |  1204845 |    29687     95 |     1339 |        0
1599.98/1600.46	c 1598s |      21 |  2252980 |  1206245 |    29687     95 |     1339 |        0
1602.08/1602.53	c 1600s |      21 |  2254357 |  1207545 |    29687     95 |     1339 |        0
1604.08/1604.58	c 1602s |      21 |  2255654 |  1208745 |    29687     95 |     1339 |        0
1606.28/1606.74	c 1604s |      21 |  2257131 |  1210045 |    29687     95 |     1339 |        0
1608.38/1608.85	c 1606s |      21 |  2259335 |  1211245 |    29687     95 |     1339 |        0
1610.48/1610.93	c 1608s |      21 |  2261961 |  1212845 |    29687     96 |     1339 |        0
1612.57/1613.06	c 1611s |      21 |  2265051 |  1214445 |    29687     96 |     1339 |        0
1614.67/1615.11	c 1613s |      21 |  2268381 |  1216345 |    29687     96 |     1339 |        0
1616.68/1617.14	c 1615s |      21 |  2271327 |  1217845 |    29687     96 |     1339 |        0
1618.78/1619.22	c 1617s |      21 |  2273651 |  1219145 |    29687     96 |     1339 |        0
1620.77/1621.22	c 1619s |      21 |  2275714 |  1220345 |    29687     96 |     1339 |        0
1622.87/1623.34	c 1621s |      21 |  2277521 |  1221645 |    29687     96 |     1339 |        0
1626.58/1627.02	c 1625s |      21 |  2279987 |  1223045 |    29687     96 |     1339 |        0
1628.68/1629.12	c 1627s |      21 |  2282406 |  1224845 |    29687     96 |     1339 |        0
1630.78/1631.22	c 1629s |      21 |  2283968 |  1225745 |    29687     96 |     1339 |        0
1632.77/1633.24	c 1631s |      21 |  2286896 |  1227745 |    29687     97 |     1339 |        0
1634.77/1635.29	c 1633s |      21 |  2289901 |  1230045 |    29687     97 |     1339 |        0
1636.87/1637.36	c 1635s |      21 |  2291045 |  1230945 |    29687     97 |     1339 |        0
1638.97/1639.45	c 1637s |      21 |  2292167 |  1231845 |    29687     97 |     1339 |        0
1641.07/1641.55	c 1639s |      21 |  2294312 |  1232645 |    29687     97 |     1339 |        0
1643.17/1643.67	c 1641s |      21 |  2296408 |  1234145 |    29687     97 |     1339 |        0
1645.28/1645.72	c 1643s |      21 |  2298601 |  1235645 |    29687     97 |     1339 |        0
1647.38/1647.83	c 1645s |      21 |  2300769 |  1236945 |    29687     97 |     1339 |        0
1649.47/1649.91	c 1647s |      21 |  2303202 |  1238245 |    29687     97 |     1339 |        0
1651.57/1652.05	c 1650s |      21 |  2305626 |  1239645 |    29687     97 |     1339 |        0
1653.77/1654.22	c 1652s |      21 |  2308320 |  1240845 |    29687     97 |     1339 |        0
1655.87/1656.35	c 1654s |      21 |  2310420 |  1241945 |    29687     97 |     1339 |        0
1658.07/1658.56	c 1656s |      21 |  2312652 |  1243045 |    29687     98 |     1339 |        0
1660.17/1660.64	c 1658s |      21 |  2314199 |  1243745 |    29687     98 |     1339 |        0
1662.27/1662.73	c 1660s |      21 |  2316912 |  1245145 |    29687     98 |     1339 |        0
1664.37/1664.86	c 1662s |      21 |  2319341 |  1246445 |    29687     98 |     1339 |        0
1666.47/1666.94	c 1664s |      21 |  2321289 |  1247745 |    29687     98 |     1339 |        0
1668.47/1668.97	c 1667s |      21 |  2324003 |  1249045 |    29687     98 |     1339 |        0
1670.57/1671.02	c 1669s |      21 |  2326856 |  1250345 |    29687     98 |     1339 |        0
1672.67/1673.19	c 1671s |      21 |  2329479 |  1251645 |    29687     98 |     1339 |        0
1674.87/1675.33	c 1673s |      21 |  2331880 |  1252645 |    29687     98 |     1339 |        0
1676.86/1677.34	c 1675s |      21 |  2334702 |  1253745 |    29687     98 |     1339 |        0
1679.06/1679.53	c 1677s |      21 |  2337536 |  1255045 |    29687     98 |     1339 |        0
1681.06/1681.54	c 1679s |      21 |  2339536 |  1256145 |    29687     98 |     1339 |        0
1683.46/1683.94	c 1681s |      21 |  2341329 |  1257345 |    29687     98 |     1339 |        0
1685.46/1685.96	c 1684s |      21 |  2343642 |  1258345 |    29687     98 |     1339 |        0
1687.46/1687.98	c 1686s |      21 |  2344389 |  1258645 |    29687     99 |     1339 |        0
1689.56/1690.04	c 1688s |      21 |  2346582 |  1259945 |    29687     99 |     1339 |        0
1691.56/1692.08	c 1690s |      21 |  2349074 |  1261445 |    29687     99 |     1339 |        0
1693.67/1694.16	c 1692s |      21 |  2352437 |  1263145 |    29687     99 |     1339 |        0
1695.76/1696.28	c 1694s |      21 |  2355187 |  1264545 |    29687     99 |     1339 |        0
1697.86/1698.34	c 1696s |      21 |  2358659 |  1265945 |    29687     99 |     1339 |        0
1699.86/1700.38	c 1698s |      21 |  2362488 |  1267445 |    29687     99 |     1339 |        0
1701.96/1702.44	c 1700s |      21 |  2364851 |  1268345 |    29687     99 |     1339 |        0
1703.96/1704.47	c 1702s |      21 |  2367407 |  1269645 |    29687     99 |     1339 |        0
1706.06/1706.55	c 1704s |      21 |  2370875 |  1271045 |    29687     99 |     1339 |        0
1708.16/1708.63	c 1706s |      21 |  2374728 |  1272345 |    29687     99 |     1339 |        0
1710.16/1710.65	c 1708s |      21 |  2376839 |  1273645 |    29687     99 |     1339 |        0
1712.26/1712.70	c 1710s |      21 |  2380048 |  1275245 |    29687    100 |     1339 |        0
1715.35/1715.85	c 1713s |      21 |  2381292 |  1275945 |    29687    100 |     1339 |        0
1717.45/1717.91	c 1715s |      21 |  2385927 |  1278045 |    29687    100 |     1339 |        0
1719.45/1719.92	c 1717s |      21 |  2389619 |  1280045 |    29687    100 |     1339 |        0
1721.45/1721.94	c 1719s |      21 |  2392648 |  1281645 |    29687    100 |     1339 |        0
1723.45/1723.99	c 1722s |      21 |  2394838 |  1283045 |    29687    100 |     1339 |        0
1725.46/1726.00	c 1724s |      21 |  2399541 |  1284845 |    29687    100 |     1339 |        0
1727.66/1728.14	c 1726s |      21 |  2402953 |  1286645 |    29687    100 |     1339 |        0
1729.75/1730.23	c 1728s |      21 |  2406273 |  1288445 |    29687    100 |     1339 |        0
1731.75/1732.27	c 1730s |      21 |  2409149 |  1290145 |    29687    101 |     1339 |        0
1733.85/1734.32	c 1732s |      21 |  2412849 |  1292245 |    29687    101 |     1339 |        0
1735.85/1736.33	c 1734s |      21 |  2417238 |  1293845 |    29687    101 |     1339 |        0
1737.95/1738.41	c 1736s |      21 |  2421320 |  1295545 |    29687    101 |     1339 |        0
1740.25/1740.78	c 1738s |      21 |  2424903 |  1297345 |    29687    101 |     1339 |        0
1742.45/1742.91	c 1740s |      21 |  2427819 |  1299145 |    29687    101 |     1339 |        0
1744.55/1745.06	c 1743s |      21 |  2430114 |  1300645 |    29687    101 |     1339 |        0
1746.65/1747.18	c 1745s |      21 |  2432617 |  1302045 |    29687    101 |     1339 |        0
1748.85/1749.32	c 1747s |      21 |  2434789 |  1303445 |    29687    101 |     1339 |        0
1750.86/1751.38	c 1749s |      21 |  2437087 |  1304945 |    29687    101 |     1339 |        0
1752.95/1753.47	c 1751s |      21 |  2440034 |  1306545 |    29687    102 |     1339 |        0
1754.95/1755.49	c 1753s |      21 |  2443271 |  1308345 |    29687    102 |     1339 |        0
1757.15/1757.60	c 1755s |      21 |  2446071 |  1310045 |    29687    102 |     1339 |        0
1759.15/1759.66	c 1757s |      21 |  2448687 |  1311645 |    29687    102 |     1339 |        0
1761.25/1761.70	c 1759s |      21 |  2450646 |  1313345 |    29687    102 |     1339 |        0
1763.25/1763.73	c 1761s |      21 |  2452397 |  1314945 |    29687    102 |     1339 |        0
1765.35/1765.82	c 1763s |      21 |  2454209 |  1316545 |    29687    102 |     1339 |        0
1767.45/1767.93	c 1765s |      21 |  2455916 |  1318045 |    29687    102 |     1339 |        0
1769.45/1769.94	c 1767s |      21 |  2458043 |  1319145 |    29687    102 |     1339 |        0
1771.65/1772.14	c 1770s |      21 |  2459910 |  1319845 |    29687    102 |     1339 |        0
1774.05/1774.58	c 1772s |      21 |  2462892 |  1320945 |    29687    102 |     1339 |        0
1776.25/1776.79	c 1774s |      21 |  2464172 |  1321345 |    29687    103 |     1339 |        0
1778.25/1778.79	c 1776s |      21 |  2468470 |  1323045 |    29687    103 |     1339 |        0
1780.35/1780.88	c 1778s |      21 |  2471282 |  1324545 |    29687    103 |     1339 |        0
1782.76/1783.23	c 1781s |      21 |  2474190 |  1326145 |    29687    103 |     1339 |        0
1785.75/1786.24	c 1784s |      21 |  2474617 |  1326345 |    29687    103 |     1339 |        0
1787.85/1788.30	c 1786s |      21 |  2476295 |  1327745 |    29687    103 |     1339 |        0
1789.85/1790.31	c 1788s |      21 |  2478730 |  1329045 |    29687    103 |     1339 |        0
1791.95/1792.47	c 1790s |      21 |  2480393 |  1330545 |    29687    103 |     1339 |        0
1794.05/1794.55	c 1792s |      21 |  2483291 |  1332045 |    29687    103 |     1339 |        0
1796.25/1796.70	c 1794s |      21 |  2486988 |  1333645 |    29687    103 |     1339 |        0
1798.25/1798.78	c 1796s |      21 |  2489138 |  1334945 |    29687    103 |     1339 |        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-4100601-1466215309/watcher-4100601-1466215309 -o /tmp/evaluation-result-4100601-1466215309/solver-4100601-1466215309 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31241 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100601-1466215309.opb 

pid=780
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.27 2.20 2.18 3/180 783
/proc/meminfo: memFree=29518044/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=435644 CPUtime=0 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 1575 0 0 0 0 0 0 0 20 0 4 0 23577403 446099456 1935 33554432000 4194304 16246674 140734040001376 140734040000800 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 109679 1947 441 2943 0 106573 0
[pid=783/tid=784] ppid=780 vsize=729532 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 747040768 3084 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 752283648 3102 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=739772 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 757526528 3120 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 2.27 2.20 2.18 3/180 783
/proc/meminfo: memFree=29518044/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 28598 0 0 0 5 4 0 0 20 0 4 0 23577403 1332285440 28897 33554432000 4194304 16246674 140734040001376 140734040000688 7374276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 325265 28912 801 2943 0 322159 0
[pid=783/tid=784] ppid=780 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1332285440 28924 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1332285440 28936 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1332285440 28947 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200536 s]
/proc/loadavg: 2.27 2.20 2.18 3/180 783
/proc/meminfo: memFree=29518044/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 49492 0 0 0 13 6 0 0 20 0 4 0 23577403 1344868352 50301 33554432000 4194304 16246674 140734040001376 140734040000688 12449465 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 328337 50301 832 2943 0 325231 0
[pid=783/tid=784] ppid=780 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1344868352 50301 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1344868352 50301 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1344868352 50301 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300488 s]
/proc/loadavg: 2.27 2.20 2.18 3/180 783
/proc/meminfo: memFree=29518044/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1315396 CPUtime=0.29 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 51340 0 0 0 23 6 0 0 20 0 4 0 23577403 1346965504 52149 33554432000 4194304 16246674 140734040001376 140734040000688 13763657 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 328849 52149 835 2943 0 325743 0
[pid=783/tid=784] ppid=780 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1346965504 52149 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1346965504 52149 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1346965504 52149 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1315396

[startup+0.700405 s]
/proc/loadavg: 2.27 2.20 2.18 3/180 783
/proc/meminfo: memFree=29518044/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1315396 CPUtime=0.69 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 122138 0 0 0 54 15 0 0 20 0 4 0 23577403 1346965504 122948 33554432000 4194304 16246674 140734040001376 140734039983296 12657222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 328849 122959 836 2943 0 325743 0
[pid=783/tid=784] ppid=780 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1346965504 122965 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1346965504 122973 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1346965504 122980 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.50041 s]
/proc/loadavg: 2.27 2.20 2.18 3/184 787
/proc/meminfo: memFree=28515792/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1315396 CPUtime=1.49 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 269471 0 0 0 114 35 0 0 20 0 4 0 23577403 1346965504 270280 33554432000 4194304 16246674 140734040001376 140734039983296 12657119 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 328849 270280 836 2943 0 325743 0
[pid=783/tid=784] ppid=780 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1346965504 270280 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1346965504 270280 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1346965504 270280 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.10039 s]
/proc/loadavg: 2.27 2.20 2.18 3/184 787
/proc/meminfo: memFree=28436928/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1315396 CPUtime=3.09 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 269529 0 0 0 274 35 0 0 20 0 4 0 23577403 1346965504 270338 33554432000 4194304 16246674 140734040001376 140734039983296 5659404 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 328849 270338 894 2943 0 325743 0
[pid=783/tid=784] ppid=780 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1346965504 270338 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1346965504 270338 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1346965504 270338 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1315396

[startup+6.30042 s]
/proc/loadavg: 2.25 2.20 2.18 3/184 787
/proc/meminfo: memFree=28437024/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1315396 CPUtime=6.29 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 269536 0 0 0 594 35 0 0 20 0 4 0 23577403 1346965504 270345 33554432000 4194304 16246674 140734040001376 140734039983296 5825176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 328849 270345 900 2943 0 325743 0
[pid=783/tid=784] ppid=780 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1346965504 270345 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1346965504 270345 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1346965504 270345 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.23 2.20 2.18 3/184 787
/proc/meminfo: memFree=28436504/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1315396 CPUtime=12.68 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 269538 0 0 0 1233 35 0 0 20 0 4 0 23577403 1346965504 270347 33554432000 4194304 16246674 140734040001376 140734039983296 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 328849 270347 902 2943 0 325743 0
[pid=783/tid=784] ppid=780 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1346965504 270347 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1346965504 270347 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1346965504 270347 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.25 2.20 2.18 3/183 787
/proc/meminfo: memFree=28433064/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1319492 CPUtime=25.49 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 270507 0 0 0 2513 36 0 0 20 0 4 0 23577403 1351159808 271316 33554432000 4194304 16246674 140734040001376 140734039983296 13943608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 329873 271316 903 2943 0 326767 0
[pid=783/tid=784] ppid=780 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1351159808 271316 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1351159808 271316 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1351159808 271316 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1319492

[startup+51.1005 s]
/proc/loadavg: 2.30 2.22 2.19 3/183 787
/proc/meminfo: memFree=28422528/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1329732 CPUtime=51.08 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 273124 0 0 0 5072 36 0 0 20 0 4 0 23577403 1361645568 273933 33554432000 4194304 16246674 140734040001376 140734039983296 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 332433 273933 904 2943 0 329327 0
[pid=783/tid=784] ppid=780 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1361645568 273933 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1361645568 273933 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1361645568 273933 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1329732

[startup+102.3 s]
/proc/loadavg: 2.43 2.26 2.20 3/183 788
/proc/meminfo: memFree=28403776/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1348164 CPUtime=102.28 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 277732 0 0 0 10191 37 0 0 20 0 4 0 23577403 1380519936 278541 33554432000 4194304 16246674 140734040001376 140734039983296 5600068 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 337041 278541 904 2943 0 333935 0
[pid=783/tid=784] ppid=780 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1380519936 278541 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1380519936 278541 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1380519936 278541 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1348164


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

/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1424560128 289550 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1391172

[startup+1362.3 s]
/proc/loadavg: 2.10 2.18 2.17 3/182 867
/proc/meminfo: memFree=28342464/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1391172 CPUtime=1361.91 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 288751 0 0 0 136136 55 0 0 20 0 4 0 23577403 1424560128 289550 33554432000 4194304 16246674 140734040001376 140734039983296 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 347793 289550 905 2943 0 344687 0
[pid=783/tid=784] ppid=780 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1424560128 289550 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1424560128 289550 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1424560128 289550 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1391172

[startup+1422.3 s]
/proc/loadavg: 2.10 2.17 2.17 3/183 869
/proc/meminfo: memFree=28316956/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1416772 CPUtime=1421.91 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 295158 0 0 0 142132 59 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140734039983296 5598945 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 354193 295950 905 2943 0 351087 0
[pid=783/tid=784] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1416772

[startup+1482.3 s]
/proc/loadavg: 2.24 2.20 2.18 3/183 870
/proc/meminfo: memFree=28317264/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1416772 CPUtime=1481.89 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 295159 0 0 0 148130 59 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140734039983296 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 354193 295950 905 2943 0 351087 0
[pid=783/tid=784] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1416772

[startup+1542.31 s]
/proc/loadavg: 2.13 2.17 2.17 3/183 871
/proc/meminfo: memFree=28316416/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1416772 CPUtime=1541.89 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 295159 0 0 0 154130 59 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140734039984368 13949889 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 354193 295950 905 2943 0 351087 0
[pid=783/tid=784] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1416772

[startup+1602.3 s]
/proc/loadavg: 2.25 2.19 2.18 3/183 872
/proc/meminfo: memFree=28316084/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1416772 CPUtime=1601.88 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 295159 0 0 0 160128 60 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140734039983296 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 354193 295950 905 2943 0 351087 0
[pid=783/tid=784] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1416772

[startup+1662.3 s]
/proc/loadavg: 2.14 2.17 2.17 3/183 873
/proc/meminfo: memFree=28306072/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1416772 CPUtime=1661.87 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 295159 0 0 0 166126 61 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140734039983296 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 354193 295950 905 2943 0 351087 0
[pid=783/tid=784] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1416772

[startup+1722.3 s]
/proc/loadavg: 2.10 2.15 2.17 3/184 878
/proc/meminfo: memFree=28305872/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1416772 CPUtime=1721.85 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 295159 0 0 0 172124 61 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140734039983296 6022845 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 354193 295950 905 2943 0 351087 0
[pid=783/tid=784] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1416772

[startup+1782.3 s]
/proc/loadavg: 2.13 2.15 2.16 3/183 879
/proc/meminfo: memFree=28305708/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1416772 CPUtime=1781.85 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 295159 0 0 0 178123 62 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140734039983296 5823737 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 354193 295950 905 2943 0 351087 0
[pid=783/tid=784] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1416772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.09 2.14 2.16 3/183 880
/proc/meminfo: memFree=28305816/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1416772 CPUtime=1800.05 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 295159 0 0 0 179943 62 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140734039983296 5827962 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 354193 295950 905 2943 0 351087 0
[pid=783/tid=784] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1416772

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

[startup+1800.5 s]
/proc/loadavg: 2.09 2.14 2.16 3/183 880
/proc/meminfo: memFree=28305816/32872528 swapFree=1200228/1314692
[pid=783] ppid=780 vsize=1416772 CPUtime=1800.05 cores=1,3,5,7
/proc/783/stat : 783 (toysat) R 780 783 31224 0 -1 4202496 295159 0 0 0 179943 62 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140734039983296 5827962 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/783/statm: 354193 295950 905 2943 0 351087 0
[pid=783/tid=784] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/784/stat : 784 (toysat) S 780 783 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172493565168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=783/tid=785] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/785/stat : 785 (toysat) S 780 783 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172483075312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=783/tid=786] ppid=780 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/783/task/786/stat : 786 (toysat) S 780 783 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23577403 1450774528 295950 33554432000 4194304 16246674 140734040001376 140172364606640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1416772

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.43
CPU system time (s): 0.624905
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 1416772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.624905
maximum resident set size= 1183800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295159
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= 289
involuntary context switches= 2015

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42133 second user time and 7.09992 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 04:01:49
IDJOB=4100601
IDBENCH=1638
IDSOLVER=2542
FILE ID=node131/4100601-1466215309
RUNJOBID= node131-1466206062-31241
PBS_JOBID= 19918146
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-stair.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100601-1466215309/watcher-4100601-1466215309 -o /tmp/evaluation-result-4100601-1466215309/solver-4100601-1466215309 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31241 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100601-1466215309.opb

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

MD5SUM BENCH= 98b9ab286036da69f2015d2ff2a12818
RANDOM SEED=92148198

node131.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.752
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.50
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.752
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.752
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.57
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.752
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.56
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.752
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.752
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.56
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.752
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.57
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.752
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:        29517664 kB
Buffers:           98328 kB
Cached:           123576 kB
SwapCached:         1508 kB
Active:          1179900 kB
Inactive:         125748 kB
Active(anon):    1083688 kB
Inactive(anon):     2680 kB
Active(file):      96212 kB
Inactive(file):   123068 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099852 kB
Dirty:             17148 kB
Writeback:             0 kB
AnonPages:       2398236 kB
Mapped:            10696 kB
Shmem:                 0 kB
Slab:             600572 kB
SReclaimable:      44656 kB
SUnreclaim:       555916 kB
KernelStack:        1496 kB
PageTables:         8692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2540492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1189888 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= 71672 MiB
End job on node131 at 2016-06-18 04:31:49