Trace number 4122290

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-subsetCardinalitySigma-28-3.cnf.gz-extracted.pb.metafix.opb
MD5SUM29726071aba43ad9b59683b755381078
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.009998
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables113
Total number of constraints112
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)112
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
Number of bits of the biggest sum of numbers4
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-30T21:53:40+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-4122290-1467316420.opb"]
0.00/0.01	c use --random-gen="4079674622 1087878367 871232077 2390663668 2946552318 3798125921 2967586278 52974153 1845381892 3610628097 1321044592 3114275052 3584843352 2493017791 1652355873 1590872726 855983582 3071258051 708580855 3896252599 2619742957 4131345732 83924768 1445630213 972442333 2169790291 2805363265 1437886542 3270624448 2162849165 3345809377 4126832071 2162614387 2741913506 4169072446 1082124331 2713639930 1495831014 2704049314 2975671051 3456642772 1595851669 684773847 2209713682 3458539982 30260386 365877790 2148283327 1933653819 45716307 2623901160 3884717664 1107511504 3719286297 1611985228 3155861712 3268624458 3356819365 3803221668 544811832 3119468100 2351176291 3062057479 315017496 1820192815 3419859559 1341620742 3207747956 1069720810 292369573 3906830841 4001042659 1060364950 349797695 20021798 1700132586 1457546729 2881791892 718989897 1050476110 3759898023 1383373749 1972044965 3237463176 2580478386 1788792345 2425542369 3182819738 823521907 4267024525 171479610 1256980344 3735922116 448561442 1614714797 3351929507 395320593 1591169415 1068561989 1710180201 736002498 916080061 3286853080 2329976117 1348339764 2518638992 3899186926 1426249090 517592305 504600525 3185857799 2268277766 2733738055 4117532334 1544723292 492838815 3653375166 1372883325 1668285976 2530821260 2959924672 4089678405 4256722192 643205135 583381638 326625426 167493719 1895340626 4028874451 1238841336 2587240395 136971205 1020342648 1069044217 1560028499 2667278900 3180037173 3166844802 466812097 2733029216 2785095968 3174478844 1554620721 3408215132 2808077163 3304906725 2577415875 3540096548 1652103398 1715320553 4105223899 1793075963 2396983758 2029453627 1734578854 3537126593 675738178 3147435234 429438489 1774515935 1817631464 1416185395 2567501442 901937633 409694990 1341030941 3331525124 704327507 1413852077 1919082794 3826515236 3863654174 2819898480 3691127319 2735467075 3328520501 581086709 3968367985 1697232424 1188167841 3423047174 287717302 1809174869 1701131034 2863941777 747388291 3839538050 3311041492 1090506298 3436780716 3188859965 1009938936 3083991257 4044439634 3313815800 3622994035 880741604 509920037 3022806082 1341868704 2424253278 3790866593 3163308761 2033132902 1783292765 3879342674 169597232 118566426 1833373107 3441928850 360379292 3273639066 2145714996 4054783460 2360024253 1274819772 2317651806 1728261501 79112689 66577668 2684739407 3540829790 4214907640 2137157928 1003647203 3592496648 837409204 1241276607 258192415 1936007567 645364711 2122798029 1372430155 2530941134 4155504744 1627076206 3298292777 4251702882 2495769538 1363268497 920366176 3494239622 3858214010 3829337523 3161632015 2445771661 3292894120 3439327304 1405449326 3572901021 6720428 4048993736 2426411133 685140884 3832447442 883135225 255 362436" option to reproduce the execution
0.00/0.01	c #vars 113
0.00/0.01	c #constraints 112
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       75      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      144 |      100 |       75      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      382 |      250 |       83      3 |        0 |        0
0.00/0.06	c  0.0s |       3 |      709 |      475 |       92      7 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1239 |      813 |      102     13 |        0 |        0
0.09/0.14	c  0.1s |       5 |     1903 |     1320 |      113     19 |        0 |        0
0.19/0.22	c  0.2s |       6 |     2856 |     2081 |      138     28 |        0 |        0
0.29/0.35	c  0.3s |       7 |     4403 |     3223 |      152     42 |        0 |        0
0.49/0.54	c  0.5s |       8 |     6748 |     4936 |      168     61 |        0 |        0
0.79/0.83	c  0.8s |       9 |     9914 |     7506 |      185     88 |        0 |        0
1.10/1.19	c  1.2s |      10 |    15235 |    11361 |      204    124 |        0 |        0
1.59/1.65	c  1.6s |      11 |    22228 |    17144 |      225    173 |        0 |        0
2.19/2.29	c  2.3s |      12 |    33321 |    25819 |      248    244 |        0 |        0
3.09/3.19	c  3.2s |      13 |    50950 |    38832 |      273    340 |        0 |        0
4.49/4.59	c  4.6s |      14 |    77880 |    58352 |      301    473 |        0 |        0
6.49/6.60	c  6.6s |      14 |   116095 |    85352 |      301    642 |        0 |        0
6.69/6.77	c  6.8s |      15 |   118876 |    87632 |      332    656 |        0 |        0
8.69/8.78	c  8.8s |      15 |   154222 |   113832 |      332    805 |        0 |        0
10.09/10.10	c 10.1s |      16 |   177547 |   131552 |      366    905 |        0 |        0
11.99/12.10	c 12.1s |      16 |   208643 |   156252 |      366   1033 |        0 |        0
14.08/14.10	c 14.1s |      16 |   238727 |   180752 |      366   1160 |        0 |        0
15.39/15.42	c 15.4s |      17 |   259639 |   197432 |      403   1247 |        0 |        0
17.38/17.43	c 17.4s |      17 |   288782 |   221232 |      403   1359 |        0 |        0
19.38/19.43	c 19.4s |      17 |   319726 |   245832 |      403   1476 |        0 |        0
21.38/21.44	c 21.4s |      17 |   349722 |   270232 |      403   1591 |        0 |        0
23.38/23.44	c 23.4s |      17 |   379908 |   294832 |      444   1708 |        0 |        0
23.48/23.57	c 23.6s |      18 |   381670 |   296252 |      444   1715 |        0 |        0
25.49/25.57	c 25.6s |      18 |   412699 |   320652 |      444   1819 |        0 |        0
27.50/27.57	c 27.6s |      18 |   444508 |   345652 |      444   1927 |        0 |        0
29.49/29.58	c 29.6s |      18 |   475850 |   369952 |      444   2032 |        0 |        0
31.49/31.59	c 31.6s |      18 |   506769 |   393952 |      444   2136 |        0 |        0
33.49/33.59	c 33.6s |      18 |   535079 |   417352 |      444   2237 |        0 |        0
35.59/35.60	c 35.6s |      18 |   565130 |   441352 |      489   2340 |        0 |        0
35.79/35.86	c 35.9s |      19 |   569076 |   444482 |      489   2353 |        0 |        0
37.79/37.87	c 37.9s |      19 |   599031 |   468482 |      489   2447 |        0 |        0
39.79/39.87	c 39.9s |      19 |   629097 |   492382 |      489   2541 |        0 |        0
41.79/41.87	c 41.9s |      19 |   661178 |   516882 |      489   2638 |        0 |        0
43.78/43.88	c 43.9s |      19 |   693147 |   540982 |      489   2733 |        0 |        0
45.78/45.88	c 45.9s |      19 |   723331 |   564882 |      489   2828 |        0 |        0
47.78/47.88	c 47.9s |      19 |   754244 |   589082 |      489   2925 |        0 |        0
49.78/49.88	c 49.9s |      19 |   787229 |   614382 |      489   3025 |        0 |        0
51.79/51.89	c 51.9s |      19 |   821067 |   640282 |      489   3128 |        0 |        0
53.78/53.89	c 53.9s |      19 |   854444 |   665582 |      538   3227 |        0 |        0
53.89/53.99	c 54.0s |      20 |   856125 |   666827 |      538   3231 |        0 |        0
55.88/55.99	c 56.0s |      20 |   886424 |   690227 |      538   3315 |        0 |        0
57.88/57.99	c 58.0s |      20 |   916507 |   713527 |      538   3399 |        0 |        0
59.98/60.00	c 60.0s |      20 |   947274 |   737527 |      538   3485 |        0 |        0
61.98/62.00	c 62.0s |      20 |   978482 |   761727 |      538   3573 |        0 |        0
63.98/64.01	c 64.0s |      20 |  1007366 |   785127 |      538   3657 |        0 |        0
65.99/66.01	c 66.0s |      20 |  1036540 |   808827 |      538   3743 |        0 |        0
67.98/68.01	c 68.0s |      20 |  1067214 |   832627 |      538   3829 |        0 |        0
69.98/70.02	c 70.0s |      20 |  1095804 |   855827 |      538   3912 |        0 |        0
71.98/72.02	c 72.0s |      20 |  1124868 |   879127 |      538   3997 |        0 |        0
73.98/74.03	c 74.0s |      20 |  1152730 |   901827 |      538   4079 |        0 |        0
75.99/76.03	c 76.0s |      20 |  1185605 |   926927 |      538   4170 |        0 |        0
77.98/78.04	c 78.0s |      20 |  1213799 |   950127 |      538   4254 |        0 |        0
79.98/80.04	c 80.0s |      20 |  1244674 |   974427 |      538   4342 |        0 |        0
81.98/82.04	c 82.0s |      20 |  1274987 |   998227 |      592   4426 |        0 |        0
82.18/82.22	c 82.2s |      21 |  1277661 |  1000345 |      592   4433 |        0 |        0
84.18/84.22	c 84.2s |      21 |  1306463 |  1023545 |      592   4509 |        0 |        0
86.18/86.23	c 86.2s |      21 |  1335245 |  1046645 |      592   4585 |        0 |        0
88.17/88.24	c 88.2s |      21 |  1363755 |  1069745 |      592   4662 |        0 |        0
90.18/90.24	c 90.2s |      21 |  1391666 |  1092445 |      592   4736 |        0 |        0
92.17/92.25	c 92.2s |      21 |  1417796 |  1114745 |      592   4809 |        0 |        0
94.18/94.25	c 94.2s |      21 |  1446324 |  1138045 |      592   4885 |        0 |        0
96.18/96.26	c 96.2s |      21 |  1472789 |  1160345 |      592   4959 |        0 |        0
98.18/98.26	c 98.2s |      21 |  1499906 |  1182545 |      592   5031 |        0 |        0
100.18/100.26	c  100s |      21 |  1527765 |  1205045 |      592   5105 |        0 |        0
102.18/102.26	c  102s |      21 |  1558132 |  1228745 |      592   5183 |        0 |        0
104.18/104.27	c  104s |      21 |  1586128 |  1251245 |      592   5256 |        0 |        0
106.17/106.28	c  106s |      21 |  1613427 |  1273545 |      592   5330 |        0 |        0
108.17/108.29	c  108s |      21 |  1643490 |  1296545 |      592   5406 |        0 |        0
110.17/110.29	c  110s |      21 |  1670640 |  1319245 |      592   5480 |        0 |        0
112.18/112.29	c  112s |      21 |  1696284 |  1340645 |      592   5550 |        0 |        0
114.27/114.30	c  114s |      21 |  1720893 |  1361745 |      592   5620 |        0 |        0
116.27/116.31	c  116s |      21 |  1745326 |  1382845 |      592   5689 |        0 |        0
118.27/118.31	c  118s |      21 |  1770620 |  1404345 |      592   5760 |        0 |        0
120.27/120.31	c  120s |      21 |  1795448 |  1425245 |      592   5829 |        0 |        0
122.26/122.31	c  122s |      21 |  1820479 |  1446145 |      592   5898 |        0 |        0
124.27/124.32	c  124s |      21 |  1846036 |  1467645 |      592   5969 |        0 |        0
126.26/126.33	c  126s |      21 |  1873990 |  1490245 |      652   6044 |        0 |        0
127.26/127.35	c  127s |      22 |  1885872 |  1500622 |      652   6074 |        0 |        0
129.26/129.35	c  129s |      22 |  1911596 |  1521422 |      652   6137 |        0 |        0
131.26/131.36	c  131s |      22 |  1936600 |  1542122 |      652   6199 |        0 |        0
133.26/133.37	c  133s |      22 |  1960826 |  1562222 |      652   6259 |        0 |        0
135.26/135.38	c  135s |      22 |  1983415 |  1581922 |      652   6318 |        0 |        0
137.26/137.39	c  137s |      22 |  2009157 |  1603222 |      652   6381 |        0 |        0
139.26/139.39	c  139s |      22 |  2034438 |  1625022 |      652   6447 |        0 |        0
141.36/141.40	c  141s |      22 |  2064433 |  1648622 |      652   6517 |        0 |        0
143.36/143.40	c  143s |      22 |  2096218 |  1672122 |      652   6588 |        0 |        0
145.36/145.41	c  145s |      22 |  2125349 |  1694222 |      652   6655 |        0 |        0
147.36/147.41	c  147s |      22 |  2154543 |  1716522 |      652   6721 |        0 |        0
149.36/149.41	c  149s |      22 |  2182297 |  1738322 |      652   6787 |        0 |        0
151.36/151.42	c  151s |      22 |  2210991 |  1760722 |      652   6854 |        0 |        0
153.35/153.43	c  153s |      22 |  2239496 |  1783022 |      652   6921 |        0 |        0
155.35/155.43	c  155s |      22 |  2268794 |  1805522 |      652   6988 |        0 |        0
157.36/157.43	c  157s |      22 |  2297476 |  1828022 |      652   7056 |        0 |        0
159.35/159.44	c  159s |      22 |  2324988 |  1849922 |      652   7121 |        0 |        0
161.35/161.44	c  161s |      22 |  2355199 |  1873222 |      652   7192 |        0 |        0
163.35/163.45	c  163s |      22 |  2383609 |  1895522 |      652   7259 |        0 |        0
165.34/165.45	c  165s |      22 |  2413015 |  1918222 |      652   7327 |        0 |        0
167.34/167.46	c  167s |      22 |  2444071 |  1941622 |      652   7398 |        0 |        0
169.36/169.46	c  169s |      22 |  2470784 |  1963722 |      652   7464 |        0 |        0
171.35/171.47	c  171s |      22 |  2498467 |  1985722 |      652   7530 |        0 |        0
173.35/173.47	c  173s |      22 |  2525355 |  2007222 |      652   7594 |        0 |        0
175.35/175.48	c  175s |      22 |  2552361 |  2028822 |      652   7659 |        0 |        0
177.35/177.48	c  177s |      22 |  2582329 |  2051622 |      652   7727 |        0 |        0
179.35/179.49	c  179s |      22 |  2611669 |  2074222 |      652   7795 |        0 |        0
181.34/181.49	c  181s |      22 |  2639895 |  2096522 |      652   7862 |        0 |        0
183.34/183.49	c  183s |      22 |  2670763 |  2119622 |      652   7931 |        0 |        0
185.34/185.50	c  185s |      22 |  2701855 |  2142722 |      652   8001 |        0 |        0
187.44/187.50	c  187s |      22 |  2732727 |  2166522 |      652   8072 |        0 |        0
189.44/189.51	c  189s |      22 |  2760586 |  2188922 |      652   8140 |        0 |        0
191.45/191.51	c  191s |      22 |  2788662 |  2211122 |      652   8207 |        0 |        0
193.44/193.52	c  193s |      22 |  2819196 |  2234522 |      652   8277 |        0 |        0
194.94/195.03	c  195s |      23 |  2839455 |  2251038 |      718   8322 |        0 |        0
196.94/197.04	c  197s |      23 |  2864687 |  2271538 |      718   8378 |        0 |        0
198.94/199.05	c  199s |      23 |  2890054 |  2292138 |      718   8433 |        0 |        0
200.93/201.06	c  201s |      23 |  2916897 |  2313938 |      718   8493 |        0 |        0
202.93/203.06	c  203s |      23 |  2948488 |  2336638 |      718   8555 |        0 |        0
204.94/205.06	c  205s |      23 |  2976952 |  2358238 |      718   8614 |        0 |        0
206.94/207.07	c  207s |      23 |  3006741 |  2381138 |      718   8676 |        0 |        0
208.94/209.08	c  209s |      23 |  3034987 |  2403538 |      718   8738 |        0 |        0
210.93/211.08	c  211s |      23 |  3063649 |  2425438 |      718   8797 |        0 |        0
212.93/213.08	c  213s |      23 |  3089917 |  2446738 |      718   8856 |        0 |        0
214.93/215.08	c  215s |      23 |  3116134 |  2468138 |      718   8914 |        0 |        0
216.93/217.09	c  217s |      23 |  3139963 |  2488038 |      718   8968 |        0 |        0
218.94/219.09	c  219s |      23 |  3167137 |  2508938 |      718   9024 |        0 |        0
220.93/221.10	c  221s |      23 |  3189546 |  2528238 |      718   9077 |        0 |        0
223.02/223.10	c  223s |      23 |  3214774 |  2549038 |      718   9133 |        0 |        0
225.02/225.11	c  225s |      23 |  3239413 |  2569538 |      718   9189 |        0 |        0
227.02/227.11	c  227s |      23 |  3266581 |  2591138 |      718   9248 |        0 |        0
229.03/229.12	c  229s |      23 |  3293762 |  2612838 |      718   9307 |        0 |        0
231.03/231.12	c  231s |      23 |  3322168 |  2635038 |      718   9368 |        0 |        0
233.02/233.13	c  233s |      23 |  3349260 |  2657338 |      718   9429 |        0 |        0
235.02/235.13	c  235s |      23 |  3375961 |  2679238 |      718   9489 |        0 |        0
237.02/237.14	c  237s |      23 |  3403794 |  2701538 |      718   9550 |        0 |        0
239.02/239.14	c  239s |      23 |  3429937 |  2722738 |      718   9608 |        0 |        0
241.02/241.15	c  241s |      23 |  3456252 |  2744138 |      718   9667 |        0 |        0
243.03/243.15	c  243s |      23 |  3480533 |  2764838 |      718   9723 |        0 |        0
245.02/245.16	c  245s |      23 |  3506400 |  2786238 |      718   9781 |        0 |        0
247.02/247.17	c  247s |      23 |  3530895 |  2806838 |      718   9837 |        0 |        0
249.02/249.18	c  249s |      23 |  3555707 |  2828238 |      718   9896 |        0 |        0
251.02/251.18	c  251s |      23 |  3579905 |  2849038 |      718   9953 |        0 |        0
253.02/253.19	c  253s |      23 |  3606326 |  2870538 |      718  10011 |        0 |        0
255.01/255.19	c  255s |      23 |  3633798 |  2892438 |      718  10071 |        0 |        0
257.11/257.20	c  257s |      23 |  3661521 |  2914038 |      718  10130 |        0 |        0
259.11/259.21	c  259s |      23 |  3686739 |  2934838 |      718  10187 |        0 |        0
261.11/261.21	c  261s |      23 |  3708811 |  2953838 |      718  10239 |        0 |        0
263.10/263.21	c  263s |      23 |  3728874 |  2971838 |      718  10288 |        0 |        0
265.11/265.21	c  265s |      23 |  3750349 |  2990638 |      718  10339 |        0 |        0
267.10/267.22	c  267s |      23 |  3776286 |  3011838 |      718  10397 |        0 |        0
269.10/269.22	c  269s |      23 |  3802976 |  3034038 |      718  10457 |        0 |        0
271.10/271.23	c  271s |      23 |  3829317 |  3055738 |      718  10517 |        0 |        0
273.10/273.23	c  273s |      23 |  3852713 |  3075738 |      718  10571 |        0 |        0
275.11/275.23	c  275s |      23 |  3876474 |  3095838 |      718  10626 |        0 |        0
277.11/277.23	c  277s |      23 |  3902456 |  3117538 |      718  10685 |        0 |        0
279.10/279.24	c  279s |      23 |  3927918 |  3138938 |      718  10744 |        0 |        0
281.10/281.25	c  281s |      23 |  3953463 |  3160338 |      718  10802 |        0 |        0
283.10/283.25	c  283s |      23 |  3977872 |  3181138 |      718  10859 |        0 |        0
285.10/285.25	c  285s |      23 |  4003277 |  3202338 |      718  10917 |        0 |        0
287.10/287.26	c  287s |      23 |  4027237 |  3222738 |      718  10972 |        0 |        0
289.10/289.27	c  289s |      23 |  4052751 |  3244138 |      718  11031 |        0 |        0
291.10/291.27	c  291s |      23 |  4078946 |  3265638 |      718  11090 |        0 |        0
293.10/293.28	c  293s |      23 |  4106621 |  3287538 |      718  11150 |        0 |        0
295.09/295.28	c  295s |      23 |  4133553 |  3309138 |      718  11209 |        0 |        0
297.09/297.29	c  297s |      23 |  4160448 |  3330938 |      718  11268 |        0 |        0
299.10/299.29	c  299s |      23 |  4187560 |  3352638 |      790  11328 |        0 |        0
301.10/301.29	c  301s |      23 |  4213867 |  3373538 |      790  11380 |        0 |        0
301.50/301.61	c  301s |      24 |  4217832 |  3376662 |      790  11387 |        0 |        0
303.50/303.61	c  303s |      24 |  4243014 |  3397062 |      790  11438 |        0 |        0
305.49/305.62	c  305s |      24 |  4266826 |  3416862 |      790  11487 |        0 |        0
307.49/307.62	c  307s |      24 |  4292886 |  3437762 |      790  11538 |        0 |        0
309.49/309.63	c  309s |      24 |  4317139 |  3458162 |      790  11589 |        0 |        0
311.49/311.63	c  311s |      24 |  4340872 |  3478162 |      790  11638 |        0 |        0
313.49/313.64	c  313s |      24 |  4369987 |  3500162 |      790  11693 |        0 |        0
315.49/315.64	c  315s |      24 |  4395355 |  3520462 |      790  11743 |        0 |        0
317.48/317.65	c  317s |      24 |  4418829 |  3540362 |      790  11793 |        0 |        0
319.48/319.65	c  319s |      24 |  4443536 |  3560162 |      790  11842 |        0 |        0
321.48/321.65	c  321s |      24 |  4470757 |  3581162 |      790  11894 |        0 |        0
323.48/323.65	c  323s |      24 |  4497728 |  3602162 |      790  11946 |        0 |        0
325.49/325.66	c  325s |      24 |  4523939 |  3623062 |      790  11998 |        0 |        0
327.48/327.66	c  327s |      24 |  4549595 |  3643462 |      790  12048 |        0 |        0
329.48/329.67	c  329s |      24 |  4574401 |  3663662 |      790  12099 |        0 |        0
331.48/331.68	c  331s |      24 |  4602035 |  3684862 |      790  12151 |        0 |        0
333.47/333.69	c  333s |      24 |  4625956 |  3704762 |      790  12200 |        0 |        0
335.48/335.69	c  335s |      24 |  4650979 |  3724962 |      790  12250 |        0 |        0
337.47/337.70	c  337s |      24 |  4674371 |  3744462 |      790  12298 |        0 |        0
339.57/339.70	c  339s |      24 |  4697278 |  3763562 |      790  12345 |        0 |        0
341.57/341.71	c  341s |      24 |  4722142 |  3783762 |      790  12396 |        0 |        0
343.57/343.71	c  343s |      24 |  4746771 |  3803662 |      790  12445 |        0 |        0
345.57/345.72	c  345s |      24 |  4770071 |  3822562 |      790  12491 |        0 |        0
347.57/347.72	c  347s |      24 |  4795156 |  3842562 |      790  12541 |        0 |        0
349.57/349.72	c  349s |      24 |  4821154 |  3863162 |      790  12592 |        0 |        0
351.57/351.73	c  351s |      24 |  4843725 |  3882362 |      790  12640 |        0 |        0
353.56/353.73	c  353s |      24 |  4867751 |  3902262 |      790  12690 |        0 |        0
355.57/355.74	c  355s |      24 |  4892177 |  3922262 |      790  12739 |        0 |        0
357.57/357.74	c  357s |      24 |  4916541 |  3942062 |      790  12788 |        0 |        0
359.58/359.75	c  359s |      24 |  4940361 |  3961562 |      790  12837 |        0 |        0
361.57/361.75	c  361s |      24 |  4964287 |  3981062 |      790  12885 |        0 |        0
363.57/363.75	c  363s |      24 |  4986520 |  3999962 |      790  12931 |        0 |        0
365.57/365.76	c  365s |      24 |  5011504 |  4020562 |      790  12982 |        0 |        0
367.56/367.76	c  367s |      24 |  5039285 |  4041862 |      790  13035 |        0 |        0
369.57/369.77	c  369s |      24 |  5064090 |  4062062 |      790  13085 |        0 |        0
371.56/371.77	c  371s |      24 |  5088635 |  4081962 |      790  13133 |        0 |        0
373.56/373.77	c  373s |      24 |  5111645 |  4101062 |      790  13181 |        0 |        0
375.56/375.78	c  375s |      24 |  5136893 |  4121362 |      790  13231 |        0 |        0
377.56/377.79	c  377s |      24 |  5160891 |  4140962 |      790  13280 |        0 |        0
379.56/379.79	c  379s |      24 |  5188318 |  4162062 |      790  13332 |        0 |        0
381.57/381.79	c  381s |      24 |  5216310 |  4183562 |      790  13386 |        0 |        0
383.56/383.80	c  383s |      24 |  5244937 |  4205462 |      790  13440 |        0 |        0
385.66/385.80	c  385s |      24 |  5269315 |  4225262 |      790  13489 |        0 |        0
387.66/387.80	c  387s |      24 |  5293398 |  4244862 |      790  13537 |        0 |        0
389.65/389.81	c  389s |      24 |  5316002 |  4263562 |      790  13583 |        0 |        0
391.65/391.82	c  391s |      24 |  5338313 |  4282262 |      790  13629 |        0 |        0
393.66/393.82	c  393s |      24 |  5362460 |  4301562 |      790  13677 |        0 |        0
395.65/395.83	c  395s |      24 |  5387821 |  4321662 |      790  13726 |        0 |        0
397.65/397.84	c  397s |      24 |  5413140 |  4341862 |      790  13777 |        0 |        0
399.65/399.84	c  399s |      24 |  5441105 |  4363262 |      790  13829 |        0 |        0
401.65/401.85	c  401s |      24 |  5466797 |  4383862 |      790  13881 |        0 |        0
403.66/403.85	c  403s |      24 |  5491901 |  4404362 |      790  13931 |        0 |        0
405.65/405.86	c  405s |      24 |  5519122 |  4425562 |      790  13984 |        0 |        0
407.65/407.86	c  407s |      24 |  5547301 |  4447262 |      790  14038 |        0 |        0
409.65/409.86	c  409s |      24 |  5574712 |  4468862 |      790  14092 |        0 |        0
411.65/411.87	c  411s |      24 |  5600485 |  4489462 |      790  14142 |        0 |        0
413.64/413.87	c  413s |      24 |  5623128 |  4508362 |      790  14189 |        0 |        0
415.65/415.88	c  415s |      24 |  5644178 |  4526562 |      790  14234 |        0 |        0
417.64/417.88	c  417s |      24 |  5668375 |  4546262 |      790  14282 |        0 |        0
419.64/419.89	c  419s |      24 |  5691735 |  4565962 |      790  14331 |        0 |        0
421.75/421.90	c  421s |      24 |  5714485 |  4584962 |      790  14378 |        0 |        0
423.75/423.90	c  423s |      24 |  5736895 |  4604462 |      790  14426 |        0 |        0
425.75/425.90	c  425s |      24 |  5760940 |  4624462 |      790  14475 |        0 |        0
427.75/427.91	c  427s |      24 |  5786058 |  4644762 |      790  14526 |        0 |        0
429.74/429.91	c  429s |      24 |  5809295 |  4664462 |      790  14575 |        0 |        0
431.74/431.91	c  431s |      24 |  5831403 |  4683662 |      790  14622 |        0 |        0
433.74/433.92	c  433s |      24 |  5856313 |  4704062 |      790  14673 |        0 |        0
435.74/435.92	c  435s |      24 |  5879746 |  4723962 |      790  14722 |        0 |        0
437.75/437.93	c  437s |      24 |  5905061 |  4744562 |      790  14773 |        0 |        0
439.74/439.94	c  439s |      24 |  5932670 |  4766462 |      790  14827 |        0 |        0
441.74/441.95	c  441s |      24 |  5960860 |  4788062 |      790  14881 |        0 |        0
443.73/443.95	c  443s |      24 |  5985157 |  4808062 |      790  14931 |        0 |        0
445.73/445.96	c  445s |      24 |  6011923 |  4829062 |      790  14982 |        0 |        0
447.73/447.97	c  447s |      24 |  6037881 |  4849462 |      790  15033 |        0 |        0
449.74/449.97	c  449s |      24 |  6064473 |  4870162 |      790  15084 |        0 |        0
451.73/451.97	c  451s |      24 |  6090845 |  4891062 |      790  15136 |        0 |        0
453.72/453.97	c  453s |      24 |  6118435 |  4912562 |      790  15189 |        0 |        0
455.72/455.98	c  455s |      24 |  6144176 |  4933262 |      790  15240 |        0 |        0
457.72/457.99	c  457s |      24 |  6169968 |  4954262 |      790  15292 |        0 |        0
459.73/459.99	c  459s |      24 |  6191946 |  4973362 |      790  15339 |        0 |        0
461.72/461.99	c  461s |      24 |  6215200 |  4993262 |      790  15388 |        0 |        0
463.72/463.99	c  463s |      24 |  6239364 |  5013362 |      790  15438 |        0 |        0
465.82/466.00	c  465s |      24 |  6261742 |  5032762 |      870  15485 |        0 |        0
467.82/468.01	c  467s |      24 |  6285578 |  5052562 |      870  15529 |        0 |        0
469.02/469.24	c  469s |      25 |  6301650 |  5065098 |      870  15557 |        0 |        0
471.02/471.24	c  471s |      25 |  6326407 |  5084998 |      870  15602 |        0 |        0
473.02/473.24	c  473s |      25 |  6348749 |  5103898 |      870  15644 |        0 |        0
475.02/475.24	c  475s |      25 |  6375678 |  5124598 |      870  15691 |        0 |        0
477.01/477.24	c  477s |      25 |  6402419 |  5145398 |      870  15738 |        0 |        0
479.01/479.25	c  479s |      25 |  6429889 |  5166498 |      870  15786 |        0 |        0
481.01/481.25	c  481s |      25 |  6455090 |  5186598 |      870  15831 |        0 |        0
483.01/483.26	c  483s |      25 |  6482493 |  5207498 |      870  15878 |        0 |        0
485.02/485.26	c  485s |      25 |  6506816 |  5226898 |      870  15922 |        0 |        0
487.01/487.26	c  487s |      25 |  6532042 |  5247398 |      870  15968 |        0 |        0
489.01/489.27	c  489s |      25 |  6557384 |  5267998 |      870  16015 |        0 |        0
491.01/491.27	c  491s |      25 |  6582028 |  5288598 |      870  16062 |        0 |        0
493.01/493.27	c  493s |      25 |  6609788 |  5309698 |      870  16110 |        0 |        0
495.01/495.27	c  495s |      25 |  6635992 |  5330298 |      870  16156 |        0 |        0
497.01/497.28	c  497s |      25 |  6663904 |  5351498 |      870  16204 |        0 |        0
499.00/499.28	c  499s |      25 |  6689612 |  5372198 |      870  16251 |        0 |        0
501.00/501.30	c  501s |      25 |  6715175 |  5392698 |      870  16297 |        0 |        0
503.10/503.30	c  503s |      25 |  6739190 |  5412598 |      870  16342 |        0 |        0
505.10/505.31	c  505s |      25 |  6762868 |  5431998 |      870  16386 |        0 |        0
507.10/507.32	c  507s |      25 |  6786953 |  5451598 |      870  16431 |        0 |        0
509.11/509.32	c  509s |      25 |  6810560 |  5471098 |      870  16475 |        0 |        0
511.11/511.33	c  511s |      25 |  6835389 |  5490698 |      870  16519 |        0 |        0
513.11/513.33	c  513s |      25 |  6861053 |  5511198 |      870  16566 |        0 |        0
515.10/515.33	c  515s |      25 |  6886780 |  5531698 |      870  16612 |        0 |        0
517.10/517.34	c  517s |      25 |  6910801 |  5551798 |      870  16657 |        0 |        0
519.11/519.34	c  519s |      25 |  6935887 |  5571898 |      870  16703 |        0 |        0
521.10/521.34	c  521s |      25 |  6959591 |  5591598 |      870  16748 |        0 |        0
523.10/523.35	c  523s |      25 |  6984543 |  5612098 |      870  16794 |        0 |        0
525.10/525.36	c  525s |      25 |  7011192 |  5633398 |      870  16843 |        0 |        0
527.10/527.37	c  527s |      25 |  7034166 |  5652798 |      870  16887 |        0 |        0
529.10/529.37	c  529s |      25 |  7057000 |  5671398 |      870  16929 |        0 |        0
531.10/531.38	c  531s |      25 |  7079254 |  5689998 |      870  16971 |        0 |        0
533.09/533.38	c  533s |      25 |  7105612 |  5710698 |      870  17018 |        0 |        0
535.09/535.39	c  535s |      25 |  7131771 |  5731298 |      870  17065 |        0 |        0
537.09/537.40	c  537s |      25 |  7157015 |  5751698 |      870  17111 |        0 |        0
539.19/539.40	c  539s |      25 |  7184460 |  5772998 |      870  17160 |        0 |        0
541.19/541.40	c  541s |      25 |  7209404 |  5793098 |      870  17205 |        0 |        0
543.08/543.40	c  543s |      25 |  7234443 |  5813298 |      870  17251 |        0 |        0
545.18/545.41	c  545s |      25 |  7260109 |  5833698 |      870  17297 |        0 |        0
547.18/547.41	c  547s |      25 |  7285882 |  5854098 |      870  17343 |        0 |        0
549.18/549.42	c  549s |      25 |  7309765 |  5873698 |      870  17387 |        0 |        0
551.18/551.43	c  551s |      25 |  7333564 |  5893098 |      870  17431 |        0 |        0
553.19/553.44	c  553s |      25 |  7360107 |  5913698 |      870  17477 |        0 |        0
555.19/555.44	c  555s |      25 |  7384590 |  5933998 |      870  17523 |        0 |        0
557.19/557.44	c  557s |      25 |  7408738 |  5954198 |      870  17569 |        0 |        0
559.19/559.45	c  559s |      25 |  7433564 |  5974498 |      870  17615 |        0 |        0
561.18/561.46	c  561s |      25 |  7456313 |  5993598 |      870  17658 |        0 |        0
563.18/563.46	c  563s |      25 |  7480512 |  6013098 |      870  17703 |        0 |        0
565.19/565.47	c  565s |      25 |  7504702 |  6032898 |      870  17748 |        0 |        0
567.18/567.48	c  567s |      25 |  7528911 |  6052698 |      870  17792 |        0 |        0
569.18/569.49	c  569s |      25 |  7551662 |  6071698 |      870  17835 |        0 |        0
571.18/571.49	c  571s |      25 |  7577082 |  6092098 |      870  17881 |        0 |        0
573.17/573.49	c  573s |      25 |  7600022 |  6111498 |      870  17925 |        0 |        0
575.27/575.50	c  575s |      25 |  7623283 |  6130898 |      870  17969 |        0 |        0
577.17/577.50	c  577s |      25 |  7649651 |  6151598 |      870  18016 |        0 |        0
579.27/579.50	c  579s |      25 |  7674108 |  6171198 |      870  18061 |        0 |        0
581.27/581.50	c  581s |      25 |  7697684 |  6190498 |      870  18105 |        0 |        0
583.27/583.51	c  583s |      25 |  7719656 |  6208998 |      870  18147 |        0 |        0
585.27/585.52	c  585s |      25 |  7740871 |  6227298 |      870  18188 |        0 |        0
587.27/587.53	c  587s |      25 |  7763258 |  6246198 |      870  18231 |        0 |        0
589.27/589.53	c  589s |      25 |  7787657 |  6265998 |      870  18276 |        0 |        0
591.27/591.54	c  591s |      25 |  7809668 |  6284498 |      870  18318 |        0 |        0
593.26/593.54	c  593s |      25 |  7831842 |  6303298 |      870  18360 |        0 |        0
595.27/595.55	c  595s |      25 |  7854837 |  6322598 |      870  18404 |        0 |        0
597.27/597.55	c  597s |      25 |  7880489 |  6342798 |      870  18450 |        0 |        0
599.27/599.55	c  599s |      25 |  7903094 |  6361798 |      870  18493 |        0 |        0
601.27/601.55	c  601s |      25 |  7928558 |  6381998 |      870  18539 |        0 |        0
603.26/603.56	c  603s |      25 |  7952791 |  6401898 |      870  18584 |        0 |        0
605.26/605.57	c  605s |      25 |  7974742 |  6420698 |      870  18627 |        0 |        0
607.26/607.58	c  607s |      25 |  7997198 |  6439798 |      870  18670 |        0 |        0
609.27/609.58	c  609s |      25 |  8020732 |  6459498 |      870  18715 |        0 |        0
611.26/611.59	c  611s |      25 |  8044338 |  6478998 |      870  18759 |        0 |        0
613.26/613.59	c  613s |      25 |  8068430 |  6498898 |      870  18804 |        0 |        0
615.26/615.59	c  615s |      25 |  8093254 |  6519098 |      870  18850 |        0 |        0
617.36/617.60	c  617s |      25 |  8119151 |  6539998 |      870  18897 |        0 |        0
619.35/619.60	c  619s |      25 |  8144308 |  6560498 |      870  18944 |        0 |        0
621.36/621.61	c  621s |      25 |  8172894 |  6582598 |      870  18994 |        0 |        0
623.35/623.61	c  623s |      25 |  8200564 |  6604098 |      870  19043 |        0 |        0
625.35/625.62	c  625s |      25 |  8228037 |  6625498 |      870  19092 |        0 |        0
627.35/627.62	c  627s |      25 |  8253695 |  6645798 |      870  19138 |        0 |        0
629.35/629.62	c  629s |      25 |  8280844 |  6666698 |      870  19185 |        0 |        0
631.35/631.63	c  631s |      25 |  8304673 |  6686598 |      870  19230 |        0 |        0
633.35/633.64	c  633s |      25 |  8326199 |  6705198 |      870  19273 |        0 |        0
635.34/635.64	c  635s |      25 |  8349134 |  6724098 |      870  19316 |        0 |        0
637.34/637.64	c  637s |      25 |  8373069 |  6743698 |      870  19360 |        0 |        0
639.34/639.65	c  639s |      25 |  8395054 |  6762398 |      870  19403 |        0 |        0
641.34/641.66	c  641s |      25 |  8418433 |  6781598 |      870  19446 |        0 |        0
643.35/643.66	c  643s |      25 |  8441240 |  6800398 |      870  19489 |        0 |        0
645.34/645.66	c  645s |      25 |  8465085 |  6819598 |      870  19532 |        0 |        0
647.34/647.67	c  647s |      25 |  8487742 |  6838698 |      870  19576 |        0 |        0
649.34/649.67	c  649s |      25 |  8510413 |  6857798 |      870  19619 |        0 |        0
651.34/651.68	c  651s |      25 |  8531531 |  6876198 |      870  19660 |        0 |        0
653.33/653.69	c  653s |      25 |  8552570 |  6894698 |      870  19702 |        0 |        0
655.34/655.70	c  655s |      25 |  8573365 |  6912998 |      870  19744 |        0 |        0
657.43/657.70	c  657s |      25 |  8594764 |  6931398 |      870  19785 |        0 |        0
659.44/659.71	c  659s |      25 |  8616895 |  6949998 |      870  19828 |        0 |        0
661.44/661.72	c  661s |      25 |  8640392 |  6969298 |      870  19872 |        0 |        0
663.43/663.72	c  663s |      25 |  8665186 |  6989698 |      870  19918 |        0 |        0
665.43/665.73	c  665s |      25 |  8690184 |  7009998 |      870  19964 |        0 |        0
667.44/667.74	c  667s |      25 |  8714601 |  7030198 |      870  20010 |        0 |        0
669.43/669.74	c  669s |      25 |  8741023 |  7050898 |      870  20057 |        0 |        0
671.43/671.75	c  671s |      25 |  8766781 |  7071298 |      870  20103 |        0 |        0
673.43/673.76	c  673s |      25 |  8789401 |  7090498 |      870  20147 |        0 |        0
675.43/675.77	c  675s |      25 |  8811791 |  7109498 |      870  20190 |        0 |        0
677.43/677.77	c  677s |      25 |  8833110 |  7127998 |      870  20232 |        0 |        0
679.42/679.78	c  679s |      25 |  8855848 |  7147098 |      870  20275 |        0 |        0
681.42/681.79	c  681s |      25 |  8879315 |  7166598 |      870  20319 |        0 |        0
683.42/683.79	c  683s |      25 |  8901719 |  7185398 |      870  20362 |        0 |        0
685.52/685.80	c  685s |      25 |  8924647 |  7204798 |      870  20406 |        0 |        0
687.52/687.80	c  687s |      25 |  8948196 |  7224098 |      870  20450 |        0 |        0
689.52/689.81	c  689s |      25 |  8974870 |  7244598 |      870  20496 |        0 |        0
691.52/691.82	c  691s |      25 |  8999226 |  7264498 |      870  20541 |        0 |        0
693.51/693.82	c  693s |      25 |  9021529 |  7283298 |      870  20584 |        0 |        0
695.51/695.83	c  695s |      25 |  9042758 |  7301998 |      870  20627 |        0 |        0
697.51/697.83	c  697s |      25 |  9064501 |  7320898 |      870  20670 |        0 |        0
699.51/699.83	c  699s |      25 |  9086289 |  7339698 |      870  20713 |        0 |        0
701.53/701.84	c  701s |      25 |  9110170 |  7359198 |      870  20757 |        0 |        0
703.51/703.84	c  703s |      25 |  9135081 |  7379298 |      870  20803 |        0 |        0
705.51/705.85	c  705s |      25 |  9158843 |  7399198 |      870  20848 |        0 |        0
707.51/707.86	c  707s |      25 |  9183040 |  7419098 |      870  20893 |        0 |        0
709.51/709.86	c  709s |      25 |  9205318 |  7438198 |      870  20937 |        0 |        0
711.52/711.87	c  711s |      25 |  9230172 |  7458298 |      870  20982 |        0 |        0
713.51/713.87	c  713s |      25 |  9254254 |  7477998 |      870  21027 |        0 |        0
715.51/715.88	c  715s |      25 |  9278701 |  7497998 |      870  21073 |        0 |        0
717.51/717.88	c  717s |      25 |  9304190 |  7518798 |      870  21120 |        0 |        0
719.50/719.89	c  719s |      25 |  9330895 |  7540498 |      870  21169 |        0 |        0
721.50/721.89	c  721s |      25 |  9355562 |  7560598 |      958  21211 |        0 |        0
723.51/723.90	c  723s |      25 |  9385040 |  7583198 |      958  21257 |        0 |        0
724.80/725.20	c  725s |      26 |  9404109 |  7597752 |      958  21287 |        0 |        0
726.80/727.20	c  727s |      26 |  9429106 |  7617352 |      958  21328 |        0 |        0
728.90/729.20	c  729s |      26 |  9451261 |  7636252 |      958  21366 |        0 |        0
730.89/731.21	c  731s |      26 |  9475186 |  7655752 |      958  21407 |        0 |        0
732.89/733.21	c  733s |      26 |  9497071 |  7674252 |      958  21445 |        0 |        0
734.89/735.22	c  735s |      26 |  9524629 |  7695252 |      958  21488 |        0 |        0
736.89/737.22	c  737s |      26 |  9549430 |  7715752 |      958  21530 |        0 |        0
738.90/739.23	c  739s |      26 |  9572344 |  7735252 |      958  21570 |        0 |        0
740.89/741.23	c  741s |      26 |  9595246 |  7754652 |      958  21610 |        0 |        0
742.89/743.23	c  743s |      26 |  9617763 |  7773552 |      958  21649 |        0 |        0
744.89/745.24	c  745s |      26 |  9643323 |  7793652 |      958  21690 |        0 |        0
746.89/747.25	c  747s |      26 |  9667279 |  7812952 |      958  21730 |        0 |        0
748.89/749.26	c  749s |      26 |  9694636 |  7833652 |      958  21773 |        0 |        0
750.89/751.26	c  751s |      26 |  9717827 |  7852952 |      958  21812 |        0 |        0
752.89/753.26	c  753s |      26 |  9742013 |  7872552 |      958  21853 |        0 |        0
754.89/755.27	c  755s |      26 |  9766677 |  7892352 |      958  21894 |        0 |        0
756.89/757.28	c  757s |      26 |  9790956 |  7911852 |      958  21934 |        0 |        0
758.89/759.28	c  759s |      26 |  9815908 |  7931552 |      958  21975 |        0 |        0
760.90/761.28	c  761s |      26 |  9844557 |  7952252 |      958  22017 |        0 |        0
762.89/763.29	c  763s |      26 |  9870931 |  7971852 |      958  22057 |        0 |        0
764.89/765.30	c  765s |      26 |  9895354 |  7991252 |      958  22097 |        0 |        0
766.99/767.30	c  767s |      26 |  9922932 |  8011952 |      958  22140 |        0 |        0
768.99/769.30	c  769s |      26 |  9950346 |  8033052 |      958  22184 |        0 |        0
770.99/771.30	c  771s |      26 |  9975307 |  8053052 |      958  22225 |        0 |        0
773.00/773.31	c  773s |      26 |  9998933 |  8072152 |      958  22265 |        0 |        0
774.99/775.32	c  775s |      26 | 10023632 |  8092252 |      958  22306 |        0 |        0
776.99/777.33	c  777s |      26 | 10048783 |  8112652 |      958  22348 |        0 |        0
778.99/779.33	c  779s |      26 | 10071724 |  8131952 |      958  22388 |        0 |        0
780.99/781.34	c  781s |      26 | 10097965 |  8152552 |      958  22431 |        0 |        0
782.99/783.34	c  783s |      26 | 10122815 |  8172452 |      958  22472 |        0 |        0
784.99/785.35	c  785s |      26 | 10145490 |  8191352 |      958  22511 |        0 |        0
786.99/787.35	c  787s |      26 | 10168404 |  8210552 |      958  22550 |        0 |        0
788.99/789.36	c  789s |      26 | 10189746 |  8228452 |      958  22587 |        0 |        0
790.99/791.37	c  791s |      26 | 10211985 |  8246852 |      958  22625 |        0 |        0
792.98/793.37	c  793s |      26 | 10233728 |  8264952 |      958  22663 |        0 |        0
794.99/795.38	c  795s |      26 | 10257744 |  8284552 |      958  22703 |        0 |        0
796.98/797.38	c  797s |      26 | 10280290 |  8303152 |      958  22742 |        0 |        0
798.98/799.39	c  799s |      26 | 10301674 |  8321252 |      958  22779 |        0 |        0
800.98/801.39	c  801s |      26 | 10323063 |  8339452 |      958  22817 |        0 |        0
803.08/803.40	c  803s |      26 | 10344407 |  8357752 |      958  22855 |        0 |        0
805.08/805.40	c  805s |      26 | 10365414 |  8376052 |      958  22892 |        0 |        0
806.98/807.40	c  807s |      26 | 10389974 |  8395652 |      958  22932 |        0 |        0
809.08/809.41	c  809s |      26 | 10412301 |  8414552 |      958  22971 |        0 |        0
811.08/811.42	c  811s |      26 | 10435919 |  8434052 |      958  23012 |        0 |        0
813.08/813.42	c  813s |      26 | 10459852 |  8453652 |      958  23052 |        0 |        0
815.08/815.43	c  815s |      26 | 10484078 |  8473252 |      958  23092 |        0 |        0
817.08/817.43	c  817s |      26 | 10509119 |  8493452 |      958  23134 |        0 |        0
819.08/819.43	c  819s |      26 | 10534850 |  8513652 |      958  23176 |        0 |        0
821.08/821.44	c  821s |      26 | 10559692 |  8533652 |      958  23217 |        0 |        0
823.08/823.44	c  823s |      26 | 10584505 |  8553352 |      958  23257 |        0 |        0
825.08/825.45	c  825s |      26 | 10607643 |  8572352 |      958  23297 |        0 |        0
827.08/827.46	c  827s |      26 | 10632836 |  8592352 |      958  23338 |        0 |        0
829.08/829.46	c  829s |      26 | 10660277 |  8613052 |      958  23380 |        0 |        0
831.07/831.47	c  831s |      26 | 10684988 |  8633152 |      958  23422 |        0 |        0
833.08/833.47	c  833s |      26 | 10709340 |  8653152 |      958  23463 |        0 |        0
835.08/835.48	c  835s |      26 | 10733911 |  8673052 |      958  23504 |        0 |        0
837.08/837.49	c  837s |      26 | 10757334 |  8692352 |      958  23544 |        0 |        0
839.09/839.49	c  839s |      26 | 10783853 |  8712952 |      958  23587 |        0 |        0
841.08/841.50	c  841s |      26 | 10807610 |  8732452 |      958  23627 |        0 |        0
843.18/843.51	c  843s |      26 | 10834973 |  8753552 |      958  23671 |        0 |        0
845.18/845.51	c  845s |      26 | 10861315 |  8774052 |      958  23713 |        0 |        0
847.18/847.52	c  847s |      26 | 10889298 |  8795352 |      958  23757 |        0 |        0
849.18/849.53	c  849s |      26 | 10917979 |  8817052 |      958  23802 |        0 |        0
851.18/851.53	c  851s |      26 | 10944532 |  8837652 |      958  23845 |        0 |        0
853.18/853.54	c  853s |      26 | 10970918 |  8857952 |      958  23887 |        0 |        0
855.18/855.54	c  855s |      26 | 10995903 |  8877752 |      958  23928 |        0 |        0
857.17/857.54	c  857s |      26 | 11020842 |  8897452 |      958  23969 |        0 |        0
859.17/859.54	c  859s |      26 | 11048310 |  8918552 |      958  24012 |        0 |        0
861.17/861.55	c  861s |      26 | 11073967 |  8938852 |      958  24054 |        0 |        0
863.18/863.56	c  863s |      26 | 11099107 |  8958752 |      958  24096 |        0 |        0
865.17/865.57	c  865s |      26 | 11125175 |  8979152 |      958  24138 |        0 |        0
867.17/867.58	c  867s |      26 | 11146732 |  8997452 |      958  24176 |        0 |        0
869.17/869.59	c  869s |      26 | 11171276 |  9017252 |      958  24217 |        0 |        0
871.17/871.59	c  871s |      26 | 11197940 |  9037952 |      958  24259 |        0 |        0
873.18/873.60	c  873s |      26 | 11224620 |  9058752 |      958  24302 |        0 |        0
875.17/875.60	c  875s |      26 | 11251110 |  9079452 |      958  24345 |        0 |        0
877.27/877.61	c  877s |      26 | 11276545 |  9099652 |      958  24387 |        0 |        0
879.27/879.61	c  879s |      26 | 11301200 |  9120252 |      958  24429 |        0 |        0
881.27/881.62	c  881s |      26 | 11323889 |  9139652 |      958  24469 |        0 |        0
883.27/883.62	c  883s |      26 | 11350489 |  9160552 |      958  24512 |        0 |        0
885.28/885.63	c  885s |      26 | 11376547 |  9181352 |      958  24555 |        0 |        0
887.27/887.63	c  887s |      26 | 11402475 |  9202052 |      958  24598 |        0 |        0
889.27/889.64	c  889s |      26 | 11429763 |  9222852 |      958  24641 |        0 |        0
891.27/891.64	c  891s |      26 | 11456348 |  9243852 |      958  24685 |        0 |        0
893.27/893.64	c  893s |      26 | 11479013 |  9262952 |      958  24724 |        0 |        0
895.27/895.65	c  895s |      26 | 11504743 |  9283252 |      958  24766 |        0 |        0
897.28/897.66	c  897s |      26 | 11529872 |  9303552 |      958  24808 |        0 |        0
899.27/899.67	c  899s |      26 | 11555374 |  9323752 |      958  24850 |        0 |        0
901.27/901.67	c  901s |      26 | 11581052 |  9344252 |      958  24892 |        0 |        0
903.27/903.67	c  903s |      26 | 11606325 |  9364452 |      958  24934 |        0 |        0
905.27/905.68	c  905s |      26 | 11629959 |  9384252 |      958  24975 |        0 |        0
907.27/907.68	c  907s |      26 | 11654596 |  9404552 |      958  25017 |        0 |        0
909.26/909.68	c  909s |      26 | 11681890 |  9425752 |      958  25061 |        0 |        0
911.26/911.68	c  911s |      26 | 11706438 |  9445352 |      958  25102 |        0 |        0
913.26/913.69	c  913s |      26 | 11729689 |  9464152 |      958  25140 |        0 |        0
915.36/915.70	c  915s |      26 | 11752788 |  9482952 |      958  25179 |        0 |        0
917.36/917.70	c  917s |      26 | 11775800 |  9501952 |      958  25218 |        0 |        0
919.37/919.71	c  919s |      26 | 11798664 |  9521052 |      958  25258 |        0 |        0
921.36/921.71	c  921s |      26 | 11820059 |  9539552 |      958  25296 |        0 |        0
923.36/923.72	c  923s |      26 | 11843010 |  9558852 |      958  25336 |        0 |        0
925.36/925.72	c  925s |      26 | 11866481 |  9577852 |      958  25375 |        0 |        0
927.36/927.73	c  927s |      26 | 11890622 |  9597052 |      958  25415 |        0 |        0
929.36/929.74	c  929s |      26 | 11913799 |  9615852 |      958  25454 |        0 |        0
931.37/931.74	c  931s |      26 | 11936523 |  9634652 |      958  25493 |        0 |        0
933.37/933.75	c  933s |      26 | 11957917 |  9652752 |      958  25530 |        0 |        0
935.37/935.75	c  935s |      26 | 11978090 |  9670052 |      958  25566 |        0 |        0
937.37/937.76	c  937s |      26 | 11999482 |  9687952 |      958  25603 |        0 |        0
939.37/939.77	c  939s |      26 | 12020759 |  9706352 |      958  25641 |        0 |        0
941.37/941.77	c  941s |      26 | 12046036 |  9725952 |      958  25681 |        0 |        0
943.36/943.77	c  943s |      26 | 12069637 |  9744952 |      958  25721 |        0 |        0
945.36/945.78	c  945s |      26 | 12092034 |  9763452 |      958  25759 |        0 |        0
947.36/947.78	c  947s |      26 | 12114279 |  9782052 |      958  25797 |        0 |        0
949.36/949.79	c  949s |      26 | 12138744 |  9801452 |      958  25837 |        0 |        0
951.36/951.79	c  951s |      26 | 12160661 |  9819752 |      958  25875 |        0 |        0
953.37/953.79	c  953s |      26 | 12184446 |  9838952 |      958  25915 |        0 |        0
955.46/955.80	c  955s |      26 | 12208159 |  9858252 |      958  25955 |        0 |        0
957.46/957.80	c  957s |      26 | 12229593 |  9876352 |      958  25992 |        0 |        0
959.46/959.80	c  959s |      26 | 12251493 |  9894452 |      958  26029 |        0 |        0
961.46/961.81	c  961s |      26 | 12276233 |  9914252 |      958  26070 |        0 |        0
963.46/963.82	c  963s |      26 | 12300560 |  9933752 |      958  26110 |        0 |        0
965.47/965.83	c  965s |      26 | 12324242 |  9953052 |      958  26150 |        0 |        0
967.46/967.84	c  967s |      26 | 12347520 |  9972152 |      958  26190 |        0 |        0
969.46/969.84	c  969s |      26 | 12371913 |  9991652 |      958  26231 |        0 |        0
971.46/971.85	c  971s |      26 | 12394698 | 10010352 |      958  26269 |        0 |        0
973.46/973.85	c  973s |      26 | 12417266 | 10028852 |      958  26308 |        0 |        0
975.46/975.86	c  975s |      26 | 12441191 | 10047952 |      958  26347 |        0 |        0
977.46/977.86	c  977s |      26 | 12467187 | 10067852 |      958  26388 |        0 |        0
979.45/979.87	c  979s |      26 | 12492461 | 10087552 |      958  26429 |        0 |        0
981.45/981.88	c  981s |      26 | 12516466 | 10106752 |      958  26469 |        0 |        0
983.45/983.89	c  983s |      26 | 12539666 | 10125952 |      958  26509 |        0 |        0
985.45/985.89	c  985s |      26 | 12563137 | 10145152 |      958  26548 |        0 |        0
987.46/987.90	c  987s |      26 | 12586872 | 10164252 |      958  26587 |        0 |        0
989.55/989.90	c  989s |      26 | 12609463 | 10183052 |      958  26626 |        0 |        0
991.55/991.90	c  991s |      26 | 12632305 | 10202052 |      958  26665 |        0 |        0
993.55/993.90	c  993s |      26 | 12654876 | 10220952 |      958  26704 |        0 |        0
995.55/995.91	c  995s |      26 | 12678777 | 10240652 |      958  26745 |        0 |        0
997.55/997.91	c  997s |      26 | 12701347 | 10259752 |      958  26784 |        0 |        0
999.56/999.91	c  999s |      26 | 12722768 | 10277752 |      958  26821 |        0 |        0
1001.55/1001.92	c 1001s |      26 | 12743543 | 10295552 |      958  26858 |        0 |        0
1003.55/1003.92	c 1003s |      26 | 12762485 | 10312452 |      958  26892 |        0 |        0
1005.55/1005.92	c 1005s |      26 | 12783565 | 10329852 |      958  26928 |        0 |        0
1007.55/1007.93	c 1007s |      26 | 12802829 | 10346852 |      958  26962 |        0 |        0
1009.56/1009.93	c 1009s |      26 | 12822988 | 10364052 |      958  26997 |        0 |        0
1011.55/1011.94	c 1011s |      26 | 12842331 | 10381152 |      958  27032 |        0 |        0
1013.55/1013.96	c 1013s |      26 | 12862029 | 10398252 |      958  27067 |        0 |        0
1015.55/1015.96	c 1015s |      26 | 12885123 | 10417152 |      958  27106 |        0 |        0
1017.55/1017.96	c 1017s |      26 | 12909544 | 10436752 |      958  27146 |        0 |        0
1019.55/1019.96	c 1019s |      26 | 12933400 | 10456152 |      958  27186 |        0 |        0
1021.56/1021.97	c 1021s |      26 | 12955452 | 10474752 |      958  27224 |        0 |        0
1023.55/1023.97	c 1023s |      26 | 12978114 | 10493752 |      958  27264 |        0 |        0
1025.55/1025.98	c 1025s |      26 | 13001396 | 10513052 |      958  27303 |        0 |        0
1027.55/1027.98	c 1027s |      26 | 13023400 | 10531052 |      958  27340 |        0 |        0
1029.55/1029.99	c 1029s |      26 | 13046933 | 10549752 |      958  27378 |        0 |        0
1031.65/1032.01	c 1031s |      26 | 13069572 | 10568352 |      958  27417 |        0 |        0
1033.65/1034.01	c 1033s |      26 | 13093543 | 10587552 |      958  27456 |        0 |        0
1035.65/1036.02	c 1036s |      26 | 13117845 | 10607052 |      958  27497 |        0 |        0
1037.65/1038.03	c 1038s |      26 | 13143786 | 10627552 |      958  27539 |        0 |        0
1039.65/1040.03	c 1040s |      26 | 13168209 | 10647552 |      958  27581 |        0 |        0
1041.65/1042.04	c 1042s |      26 | 13195727 | 10668952 |      958  27625 |        0 |        0
1043.65/1044.05	c 1044s |      26 | 13222071 | 10689652 |      958  27668 |        0 |        0
1045.65/1046.06	c 1046s |      26 | 13247338 | 10709852 |      958  27710 |        0 |        0
1047.64/1048.06	c 1048s |      26 | 13275950 | 10731652 |      958  27755 |        0 |        0
1049.64/1050.06	c 1050s |      26 | 13304060 | 10753252 |      958  27800 |        0 |        0
1051.64/1052.06	c 1052s |      26 | 13329392 | 10773452 |      958  27842 |        0 |        0
1053.64/1054.07	c 1054s |      26 | 13356823 | 10794852 |      958  27886 |        0 |        0
1055.65/1056.07	c 1056s |      26 | 13385525 | 10816152 |      958  27930 |        0 |        0
1057.64/1058.08	c 1058s |      26 | 13413746 | 10837252 |      958  27973 |        0 |        0
1059.64/1060.09	c 1060s |      26 | 13439203 | 10857252 |      958  28014 |        0 |        0
1061.64/1062.09	c 1062s |      26 | 13467339 | 10878452 |      958  28058 |        0 |        0
1063.64/1064.10	c 1064s |      26 | 13491245 | 10898052 |      958  28098 |        0 |        0
1065.74/1066.10	c 1066s |      26 | 13514908 | 10918152 |      958  28140 |        0 |        0
1067.74/1068.11	c 1068s |      26 | 13537225 | 10937452 |      958  28179 |        0 |        0
1069.74/1070.12	c 1070s |      26 | 13558699 | 10956352 |      958  28218 |        0 |        0
1071.74/1072.12	c 1072s |      26 | 13581132 | 10975252 |      958  28257 |        0 |        0
1073.74/1074.13	c 1074s |      26 | 13603918 | 10994652 |      958  28297 |        0 |        0
1075.74/1076.14	c 1076s |      26 | 13625953 | 11013552 |      958  28336 |        0 |        0
1077.75/1078.14	c 1078s |      26 | 13650965 | 11034252 |      958  28378 |        0 |        0
1079.74/1080.14	c 1080s |      26 | 13677239 | 11055152 |      958  28421 |        0 |        0
1081.74/1082.14	c 1082s |      26 | 13701629 | 11075252 |      958  28462 |        0 |        0
1083.74/1084.15	c 1084s |      26 | 13723455 | 11094052 |      958  28501 |        0 |        0
1085.74/1086.15	c 1086s |      26 | 13746045 | 11113152 |      958  28540 |        0 |        0
1087.74/1088.16	c 1088s |      26 | 13769478 | 11132552 |      958  28580 |        0 |        0
1089.75/1090.16	c 1090s |      26 | 13792249 | 11151752 |      958  28620 |        0 |        0
1091.74/1092.17	c 1092s |      26 | 13815372 | 11170752 |      958  28659 |        0 |        0
1093.74/1094.17	c 1094s |      26 | 13838566 | 11190052 |      958  28698 |        0 |        0
1095.74/1096.17	c 1096s |      26 | 13861397 | 11209352 |      958  28738 |        0 |        0
1097.74/1098.18	c 1098s |      26 | 13882423 | 11227352 |      958  28775 |        0 |        0
1099.74/1100.19	c 1100s |      26 | 13902823 | 11244952 |      958  28811 |        0 |        0
1101.74/1102.19	c 1102s |      26 | 13924677 | 11263252 |      958  28849 |        0 |        0
1103.84/1104.20	c 1104s |      26 | 13947618 | 11282352 |      958  28888 |        0 |        0
1105.83/1106.20	c 1106s |      26 | 13969501 | 11300652 |      958  28925 |        0 |        0
1107.83/1108.21	c 1108s |      26 | 13991645 | 11318952 |     1054  28962 |        0 |        0
1109.83/1110.22	c 1110s |      26 | 14013390 | 11337152 |     1054  28996 |        0 |        0
1111.84/1112.23	c 1112s |      26 | 14035436 | 11355552 |     1054  29031 |        0 |        0
1113.83/1114.23	c 1114s |      26 | 14058416 | 11374252 |     1054  29066 |        0 |        0
1115.83/1116.23	c 1116s |      26 | 14080215 | 11392552 |     1054  29101 |        0 |        0
1116.24/1116.68	c 1116s |      27 | 14085273 | 11396733 |     1054  29108 |        0 |        0
1118.23/1118.69	c 1118s |      27 | 14109350 | 11416033 |     1054  29144 |        0 |        0
1120.33/1120.70	c 1120s |      27 | 14134701 | 11436233 |     1054  29182 |        0 |        0
1122.33/1122.70	c 1122s |      27 | 14155398 | 11454333 |     1054  29216 |        0 |        0
1124.33/1124.70	c 1124s |      27 | 14179167 | 11473833 |     1054  29253 |        0 |        0
1126.33/1126.70	c 1126s |      27 | 14203642 | 11493733 |     1054  29290 |        0 |        0
1128.34/1128.71	c 1128s |      27 | 14227496 | 11513333 |     1054  29327 |        0 |        0
1130.33/1130.71	c 1130s |      27 | 14251150 | 11532933 |     1054  29363 |        0 |        0
1132.33/1132.71	c 1132s |      27 | 14275677 | 11552633 |     1054  29400 |        0 |        0
1134.33/1134.72	c 1134s |      27 | 14300508 | 11572333 |     1054  29437 |        0 |        0
1136.33/1136.73	c 1136s |      27 | 14324164 | 11591533 |     1054  29473 |        0 |        0
1138.33/1138.73	c 1138s |      27 | 14350800 | 11612133 |     1054  29512 |        0 |        0
1140.33/1140.73	c 1140s |      27 | 14374134 | 11631033 |     1054  29547 |        0 |        0
1142.33/1142.74	c 1142s |      27 | 14396711 | 11649833 |     1054  29582 |        0 |        0
1144.33/1144.75	c 1144s |      27 | 14418735 | 11668433 |     1054  29618 |        0 |        0
1146.32/1146.75	c 1146s |      27 | 14440883 | 11687033 |     1054  29652 |        0 |        0
1148.32/1148.76	c 1148s |      27 | 14462598 | 11705533 |     1054  29687 |        0 |        0
1150.33/1150.76	c 1150s |      27 | 14485135 | 11724033 |     1054  29722 |        0 |        0
1152.32/1152.77	c 1152s |      27 | 14506898 | 11741933 |     1054  29755 |        0 |        0
1154.33/1154.77	c 1154s |      27 | 14527844 | 11760033 |     1054  29789 |        0 |        0
1156.33/1156.78	c 1156s |      27 | 14552904 | 11779333 |     1054  29825 |        0 |        0
1158.33/1158.78	c 1158s |      27 | 14577933 | 11798933 |     1054  29862 |        0 |        0
1160.33/1160.78	c 1160s |      27 | 14604405 | 11819133 |     1054  29900 |        0 |        0
1162.34/1162.79	c 1162s |      27 | 14627354 | 11837533 |     1054  29934 |        0 |        0
1164.43/1164.80	c 1164s |      27 | 14648285 | 11855233 |     1054  29967 |        0 |        0
1166.43/1166.80	c 1166s |      27 | 14673086 | 11874733 |     1054  30004 |        0 |        0
1168.43/1168.81	c 1168s |      27 | 14698213 | 11894733 |     1054  30041 |        0 |        0
1170.43/1170.81	c 1170s |      27 | 14722703 | 11914433 |     1054  30078 |        0 |        0
1172.43/1172.82	c 1172s |      27 | 14747109 | 11934233 |     1054  30115 |        0 |        0
1174.43/1174.82	c 1174s |      27 | 14772436 | 11954333 |     1054  30153 |        0 |        0
1176.42/1176.82	c 1176s |      27 | 14798848 | 11974633 |     1054  30191 |        0 |        0
1178.42/1178.83	c 1178s |      27 | 14824702 | 11994733 |     1054  30229 |        0 |        0
1180.42/1180.84	c 1180s |      27 | 14848997 | 12014033 |     1054  30265 |        0 |        0
1182.42/1182.84	c 1182s |      27 | 14874180 | 12033933 |     1054  30302 |        0 |        0
1184.43/1184.85	c 1184s |      27 | 14900133 | 12053633 |     1054  30339 |        0 |        0
1186.42/1186.86	c 1186s |      27 | 14921728 | 12071733 |     1054  30373 |        0 |        0
1188.42/1188.87	c 1188s |      27 | 14940339 | 12088133 |     1054  30404 |        0 |        0
1190.43/1190.87	c 1190s |      27 | 14965068 | 12107633 |     1054  30440 |        0 |        0
1192.43/1192.88	c 1192s |      27 | 14990099 | 12127533 |     1054  30478 |        0 |        0
1194.43/1194.88	c 1194s |      27 | 15013406 | 12146233 |     1054  30513 |        0 |        0
1196.43/1196.89	c 1196s |      27 | 15035113 | 12164433 |     1054  30547 |        0 |        0
1198.42/1198.89	c 1198s |      27 | 15055682 | 12182633 |     1054  30581 |        0 |        0
1200.52/1200.90	c 1200s |      27 | 15074898 | 12199533 |     1054  30613 |        0 |        0
1202.52/1202.91	c 1202s |      27 | 15093325 | 12216033 |     1054  30643 |        0 |        0
1204.52/1204.92	c 1204s |      27 | 15111461 | 12232633 |     1054  30675 |        0 |        0
1206.52/1206.92	c 1206s |      27 | 15133269 | 12250933 |     1054  30709 |        0 |        0
1208.53/1208.93	c 1208s |      27 | 15155181 | 12269733 |     1054  30744 |        0 |        0
1210.52/1210.94	c 1210s |      27 | 15178922 | 12289433 |     1054  30781 |        0 |        0
1212.52/1212.94	c 1212s |      27 | 15203797 | 12309233 |     1054  30818 |        0 |        0
1214.52/1214.95	c 1214s |      27 | 15227293 | 12328533 |     1054  30854 |        0 |        0
1216.52/1216.95	c 1216s |      27 | 15250827 | 12347833 |     1054  30890 |        0 |        0
1218.52/1218.95	c 1218s |      27 | 15275448 | 12367633 |     1054  30927 |        0 |        0
1220.52/1220.95	c 1220s |      27 | 15298921 | 12386833 |     1054  30963 |        0 |        0
1222.52/1222.95	c 1222s |      27 | 15322404 | 12406433 |     1054  31000 |        0 |        0
1224.52/1224.96	c 1224s |      27 | 15343859 | 12424933 |     1054  31035 |        0 |        0
1226.52/1226.97	c 1226s |      27 | 15366463 | 12443633 |     1054  31070 |        0 |        0
1228.51/1228.98	c 1228s |      27 | 15390366 | 12463333 |     1054  31107 |        0 |        0
1230.52/1230.99	c 1230s |      27 | 15413998 | 12483033 |     1054  31143 |        0 |        0
1232.51/1232.99	c 1232s |      27 | 15439979 | 12503633 |     1054  31182 |        0 |        0
1234.62/1235.00	c 1234s |      27 | 15463368 | 12522933 |     1054  31218 |        0 |        0
1236.62/1237.00	c 1236s |      27 | 15489144 | 12543433 |     1054  31257 |        0 |        0
1238.62/1239.01	c 1238s |      27 | 15514324 | 12563733 |     1054  31295 |        0 |        0
1240.62/1241.01	c 1240s |      27 | 15540634 | 12584633 |     1054  31334 |        0 |        0
1242.63/1243.01	c 1243s |      27 | 15567494 | 12605733 |     1054  31374 |        0 |        0
1244.62/1245.02	c 1245s |      27 | 15593801 | 12626233 |     1054  31413 |        0 |        0
1246.62/1247.02	c 1247s |      27 | 15620404 | 12647033 |     1054  31452 |        0 |        0
1248.62/1249.02	c 1249s |      27 | 15648148 | 12668533 |     1054  31492 |        0 |        0
1250.61/1251.03	c 1251s |      27 | 15675951 | 12689833 |     1054  31532 |        0 |        0
1252.62/1253.03	c 1253s |      27 | 15701219 | 12709833 |     1054  31570 |        0 |        0
1254.61/1255.04	c 1255s |      27 | 15726218 | 12729733 |     1054  31607 |        0 |        0
1256.61/1257.04	c 1257s |      27 | 15752335 | 12750033 |     1054  31645 |        0 |        0
1258.61/1259.04	c 1259s |      27 | 15777622 | 12770033 |     1054  31683 |        0 |        0
1260.61/1261.05	c 1261s |      27 | 15803290 | 12790333 |     1054  31721 |        0 |        0
1262.61/1263.06	c 1263s |      27 | 15827042 | 12809533 |     1054  31757 |        0 |        0
1264.62/1265.07	c 1265s |      27 | 15852408 | 12829133 |     1054  31794 |        0 |        0
1266.61/1267.08	c 1267s |      27 | 15874193 | 12847633 |     1054  31829 |        0 |        0
1268.61/1269.09	c 1269s |      27 | 15897669 | 12866833 |     1054  31864 |        0 |        0
1270.61/1271.09	c 1271s |      27 | 15923768 | 12886833 |     1054  31902 |        0 |        0
1272.61/1273.09	c 1273s |      27 | 15949953 | 12907333 |     1054  31941 |        0 |        0
1274.71/1275.10	c 1275s |      27 | 15973269 | 12926533 |     1054  31977 |        0 |        0
1276.72/1277.11	c 1277s |      27 | 15996888 | 12945633 |     1054  32012 |        0 |        0
1278.71/1279.12	c 1279s |      27 | 16018985 | 12964333 |     1054  32048 |        0 |        0
1280.71/1281.12	c 1281s |      27 | 16044027 | 12984733 |     1054  32086 |        0 |        0
1282.71/1283.13	c 1283s |      27 | 16070943 | 13005733 |     1054  32126 |        0 |        0
1284.71/1285.14	c 1285s |      27 | 16096005 | 13025833 |     1054  32163 |        0 |        0
1286.72/1287.14	c 1287s |      27 | 16121047 | 13045933 |     1054  32201 |        0 |        0
1288.71/1289.14	c 1289s |      27 | 16145791 | 13065533 |     1054  32238 |        0 |        0
1290.71/1291.15	c 1291s |      27 | 16170943 | 13085333 |     1054  32275 |        0 |        0
1292.71/1293.15	c 1293s |      27 | 16198625 | 13106233 |     1054  32315 |        0 |        0
1294.71/1295.16	c 1295s |      27 | 16224595 | 13126533 |     1054  32353 |        0 |        0
1296.71/1297.16	c 1297s |      27 | 16249790 | 13146733 |     1054  32391 |        0 |        0
1298.71/1299.17	c 1299s |      27 | 16273273 | 13166033 |     1054  32427 |        0 |        0
1300.71/1301.17	c 1301s |      27 | 16296615 | 13185033 |     1054  32463 |        0 |        0
1302.71/1303.17	c 1303s |      27 | 16320443 | 13204333 |     1054  32499 |        0 |        0
1304.70/1305.17	c 1305s |      27 | 16344100 | 13223433 |     1054  32535 |        0 |        0
1306.70/1307.18	c 1307s |      27 | 16364077 | 13241033 |     1054  32568 |        0 |        0
1308.71/1309.18	c 1309s |      27 | 16384368 | 13258633 |     1054  32600 |        0 |        0
1310.70/1311.19	c 1311s |      27 | 16405669 | 13276933 |     1054  32635 |        0 |        0
1312.71/1313.20	c 1313s |      27 | 16427423 | 13295333 |     1054  32669 |        0 |        0
1314.81/1315.20	c 1315s |      27 | 16451007 | 13314933 |     1054  32706 |        0 |        0
1316.81/1317.20	c 1317s |      27 | 16477290 | 13335733 |     1054  32745 |        0 |        0
1318.81/1319.21	c 1319s |      27 | 16503108 | 13356333 |     1054  32784 |        0 |        0
1320.81/1321.22	c 1321s |      27 | 16526623 | 13375733 |     1054  32820 |        0 |        0
1322.80/1323.23	c 1323s |      27 | 16549243 | 13394333 |     1054  32855 |        0 |        0
1324.80/1325.23	c 1325s |      27 | 16570975 | 13412833 |     1054  32890 |        0 |        0
1326.80/1327.23	c 1327s |      27 | 16594592 | 13432033 |     1054  32926 |        0 |        0
1328.80/1329.24	c 1329s |      27 | 16619922 | 13451933 |     1054  32964 |        0 |        0
1330.80/1331.25	c 1331s |      27 | 16641469 | 13470233 |     1054  32998 |        0 |        0
1332.81/1333.26	c 1333s |      27 | 16667225 | 13490133 |     1054  33036 |        0 |        0
1334.80/1335.26	c 1335s |      27 | 16693985 | 13510833 |     1054  33075 |        0 |        0
1336.80/1337.26	c 1337s |      27 | 16720193 | 13531533 |     1054  33114 |        0 |        0
1338.80/1339.27	c 1339s |      27 | 16747773 | 13552933 |     1054  33154 |        0 |        0
1340.80/1341.28	c 1341s |      27 | 16774700 | 13573633 |     1054  33193 |        0 |        0
1342.80/1343.29	c 1343s |      27 | 16801179 | 13594133 |     1054  33232 |        0 |        0
1344.80/1345.29	c 1345s |      27 | 16826451 | 13614333 |     1054  33270 |        0 |        0
1346.90/1347.30	c 1347s |      27 | 16851945 | 13634733 |     1054  33308 |        0 |        0
1348.89/1349.30	c 1349s |      27 | 16877605 | 13655033 |     1054  33347 |        0 |        0
1350.89/1351.31	c 1351s |      27 | 16899572 | 13673633 |     1054  33382 |        0 |        0
1352.89/1353.31	c 1353s |      27 | 16923474 | 13692833 |     1054  33418 |        0 |        0
1354.90/1355.31	c 1355s |      27 | 16946811 | 13712033 |     1054  33454 |        0 |        0
1356.89/1357.31	c 1357s |      27 | 16969368 | 13730833 |     1054  33489 |        0 |        0
1358.89/1359.32	c 1359s |      27 | 16992520 | 13749833 |     1054  33525 |        0 |        0
1360.89/1361.32	c 1361s |      27 | 17016335 | 13769533 |     1054  33562 |        0 |        0
1362.89/1363.33	c 1363s |      27 | 17039938 | 13789033 |     1054  33599 |        0 |        0
1364.90/1365.33	c 1365s |      27 | 17062859 | 13808133 |     1054  33635 |        0 |        0
1366.91/1367.34	c 1367s |      27 | 17089131 | 13828733 |     1054  33674 |        0 |        0
1368.90/1369.34	c 1369s |      27 | 17113983 | 13849133 |     1054  33712 |        0 |        0
1370.90/1371.35	c 1371s |      27 | 17138375 | 13869433 |     1054  33750 |        0 |        0
1372.90/1373.36	c 1373s |      27 | 17164718 | 13889933 |     1054  33789 |        0 |        0
1374.90/1375.36	c 1375s |      27 | 17190222 | 13909833 |     1054  33826 |        0 |        0
1376.90/1377.37	c 1377s |      27 | 17214586 | 13928933 |     1054  33862 |        0 |        0
1378.90/1379.38	c 1379s |      27 | 17236582 | 13947033 |     1054  33896 |        0 |        0
1380.90/1381.38	c 1381s |      27 | 17258178 | 13964933 |     1054  33930 |        0 |        0
1382.89/1383.39	c 1383s |      27 | 17279556 | 13982933 |     1054  33964 |        0 |        0
1384.89/1385.39	c 1385s |      27 | 17299842 | 14000233 |     1054  33996 |        0 |        0
1386.89/1387.39	c 1387s |      27 | 17321749 | 14018133 |     1054  34030 |        0 |        0
1388.90/1389.39	c 1389s |      27 | 17343378 | 14035733 |     1054  34063 |        0 |        0
1390.99/1391.40	c 1391s |      27 | 17364077 | 14052733 |     1054  34095 |        0 |        0
1392.99/1393.40	c 1393s |      27 | 17384324 | 14069833 |     1054  34127 |        0 |        0
1394.99/1395.41	c 1395s |      27 | 17404721 | 14086833 |     1054  34159 |        0 |        0
1396.99/1397.41	c 1397s |      27 | 17426105 | 14104633 |     1054  34192 |        0 |        0
1398.99/1399.42	c 1399s |      27 | 17448022 | 14122933 |     1054  34227 |        0 |        0
1401.00/1401.42	c 1401s |      27 | 17469842 | 14141033 |     1054  34261 |        0 |        0
1402.99/1403.42	c 1403s |      27 | 17491876 | 14159133 |     1054  34295 |        0 |        0
1404.99/1405.42	c 1405s |      27 | 17513607 | 14177333 |     1054  34329 |        0 |        0
1406.99/1407.42	c 1407s |      27 | 17536156 | 14196033 |     1054  34365 |        0 |        0
1408.99/1409.42	c 1409s |      27 | 17557132 | 14213933 |     1054  34398 |        0 |        0
1410.99/1411.43	c 1411s |      27 | 17577954 | 14231633 |     1054  34431 |        0 |        0
1412.99/1413.44	c 1413s |      27 | 17596131 | 14247733 |     1054  34462 |        0 |        0
1414.99/1415.44	c 1415s |      27 | 17616600 | 14264833 |     1054  34494 |        0 |        0
1416.99/1417.45	c 1417s |      27 | 17636424 | 14281533 |     1054  34525 |        0 |        0
1418.99/1419.45	c 1419s |      27 | 17659586 | 14300433 |     1054  34561 |        0 |        0
1420.99/1421.46	c 1421s |      27 | 17681458 | 14318833 |     1054  34596 |        0 |        0
1422.99/1423.46	c 1423s |      27 | 17704880 | 14338033 |     1054  34632 |        0 |        0
1424.98/1425.48	c 1425s |      27 | 17725417 | 14355833 |     1054  34666 |        0 |        0
1426.98/1427.48	c 1427s |      27 | 17748914 | 14374733 |     1054  34701 |        0 |        0
1428.98/1429.49	c 1429s |      27 | 17769802 | 14392333 |     1054  34734 |        0 |        0
1430.99/1431.49	c 1431s |      27 | 17791145 | 14410333 |     1054  34768 |        0 |        0
1433.00/1433.49	c 1433s |      27 | 17811003 | 14427533 |     1054  34801 |        0 |        0
1434.99/1435.49	c 1435s |      27 | 17832689 | 14445533 |     1054  34834 |        0 |        0
1436.99/1437.49	c 1437s |      27 | 17855688 | 14464133 |     1054  34869 |        0 |        0
1439.09/1439.50	c 1439s |      27 | 17878356 | 14482733 |     1054  34905 |        0 |        0
1441.09/1441.50	c 1441s |      27 | 17900410 | 14500933 |     1054  34939 |        0 |        0
1443.09/1443.50	c 1443s |      27 | 17922792 | 14519333 |     1054  34974 |        0 |        0
1445.09/1445.51	c 1445s |      27 | 17944820 | 14537533 |     1054  35008 |        0 |        0
1447.09/1447.52	c 1447s |      27 | 17968507 | 14556433 |     1054  35043 |        0 |        0
1449.09/1449.53	c 1449s |      27 | 17990550 | 14574633 |     1054  35077 |        0 |        0
1451.08/1451.53	c 1451s |      27 | 18013072 | 14593133 |     1054  35111 |        0 |        0
1453.08/1453.54	c 1453s |      27 | 18035017 | 14611833 |     1054  35146 |        0 |        0
1455.08/1455.54	c 1455s |      27 | 18058603 | 14631033 |     1054  35182 |        0 |        0
1457.09/1457.55	c 1457s |      27 | 18079134 | 14648533 |     1054  35215 |        0 |        0
1459.08/1459.55	c 1459s |      27 | 18100972 | 14666533 |     1054  35249 |        0 |        0
1461.08/1461.56	c 1461s |      27 | 18122534 | 14684433 |     1054  35282 |        0 |        0
1463.08/1463.57	c 1463s |      27 | 18143951 | 14701733 |     1054  35315 |        0 |        0
1465.08/1465.58	c 1465s |      27 | 18164958 | 14718933 |     1054  35347 |        0 |        0
1467.09/1467.59	c 1467s |      27 | 18186419 | 14736533 |     1054  35380 |        0 |        0
1469.08/1469.60	c 1469s |      27 | 18208948 | 14754533 |     1054  35413 |        0 |        0
1471.18/1471.60	c 1471s |      27 | 18231692 | 14773333 |     1054  35448 |        0 |        0
1473.18/1473.61	c 1473s |      27 | 18252391 | 14790733 |     1054  35481 |        0 |        0
1475.18/1475.61	c 1475s |      27 | 18273096 | 14808233 |     1054  35514 |        0 |        0
1477.18/1477.62	c 1477s |      27 | 18292563 | 14825133 |     1054  35545 |        0 |        0
1479.18/1479.62	c 1479s |      27 | 18314377 | 14843133 |     1054  35579 |        0 |        0
1481.17/1481.62	c 1481s |      27 | 18336636 | 14861333 |     1054  35613 |        0 |        0
1483.17/1483.63	c 1483s |      27 | 18356901 | 14878533 |     1054  35645 |        0 |        0
1485.17/1485.64	c 1485s |      27 | 18379781 | 14896833 |     1054  35679 |        0 |        0
1487.17/1487.64	c 1487s |      27 | 18404317 | 14916233 |     1054  35716 |        0 |        0
1489.17/1489.65	c 1489s |      27 | 18428570 | 14935633 |     1054  35752 |        0 |        0
1491.18/1491.65	c 1491s |      27 | 18451649 | 14954633 |     1054  35788 |        0 |        0
1493.17/1493.66	c 1493s |      27 | 18472280 | 14972033 |     1054  35820 |        0 |        0
1495.18/1495.67	c 1495s |      27 | 18492798 | 14989433 |     1054  35853 |        0 |        0
1497.18/1497.67	c 1497s |      27 | 18513980 | 15007333 |     1054  35886 |        0 |        0
1499.18/1499.68	c 1499s |      27 | 18535645 | 15025533 |     1054  35921 |        0 |        0
1501.18/1501.68	c 1501s |      27 | 18557750 | 15043733 |     1054  35955 |        0 |        0
1503.18/1503.69	c 1503s |      27 | 18581261 | 15062633 |     1054  35990 |        0 |        0
1505.18/1505.70	c 1505s |      27 | 18600923 | 15079533 |     1054  36022 |        0 |        0
1507.27/1507.70	c 1507s |      27 | 18623484 | 15097933 |     1054  36056 |        0 |        0
1509.27/1509.71	c 1509s |      27 | 18644247 | 15115033 |     1054  36088 |        0 |        0
1511.27/1511.71	c 1511s |      27 | 18668794 | 15134333 |     1054  36125 |        0 |        0
1513.28/1513.72	c 1513s |      27 | 18691334 | 15153033 |     1054  36160 |        0 |        0
1515.27/1515.72	c 1515s |      27 | 18714236 | 15171633 |     1054  36195 |        0 |        0
1517.27/1517.73	c 1517s |      27 | 18737965 | 15190833 |     1054  36231 |        0 |        0
1519.27/1519.73	c 1519s |      27 | 18759703 | 15209133 |     1054  36265 |        0 |        0
1521.27/1521.74	c 1521s |      27 | 18779466 | 15226133 |     1054  36297 |        0 |        0
1523.28/1523.74	c 1523s |      27 | 18799310 | 15243333 |     1054  36329 |        0 |        0
1525.28/1525.75	c 1525s |      27 | 18819825 | 15260533 |     1054  36361 |        0 |        0
1527.27/1527.75	c 1527s |      27 | 18841573 | 15278333 |     1054  36395 |        0 |        0
1529.27/1529.76	c 1529s |      27 | 18864755 | 15297133 |     1054  36430 |        0 |        0
1531.27/1531.77	c 1531s |      27 | 18885823 | 15314633 |     1054  36463 |        0 |        0
1533.27/1533.78	c 1533s |      27 | 18905538 | 15331433 |     1054  36494 |        0 |        0
1535.28/1535.78	c 1535s |      27 | 18923686 | 15347333 |     1054  36524 |        0 |        0
1537.27/1537.79	c 1537s |      27 | 18944415 | 15364633 |     1054  36557 |        0 |        0
1539.37/1539.80	c 1539s |      27 | 18968719 | 15383133 |     1054  36591 |        0 |        0
1541.37/1541.80	c 1541s |      27 | 18991005 | 15401433 |     1054  36626 |        0 |        0
1543.37/1543.81	c 1543s |      27 | 19014758 | 15420233 |     1054  36661 |        0 |        0
1545.37/1545.81	c 1545s |      27 | 19040806 | 15439933 |     1054  36698 |        0 |        0
1547.38/1547.82	c 1547s |      27 | 19064705 | 15458733 |     1054  36734 |        0 |        0
1549.37/1549.83	c 1549s |      27 | 19090434 | 15478433 |     1054  36771 |        0 |        0
1551.37/1551.83	c 1551s |      27 | 19111710 | 15496133 |     1054  36804 |        0 |        0
1553.37/1553.83	c 1553s |      27 | 19130870 | 15512833 |     1054  36835 |        0 |        0
1555.37/1555.84	c 1555s |      27 | 19150805 | 15529933 |     1054  36867 |        0 |        0
1557.37/1557.85	c 1557s |      27 | 19171102 | 15547433 |     1054  36899 |        0 |        0
1559.37/1559.86	c 1559s |      27 | 19192690 | 15565233 |     1054  36933 |        0 |        0
1561.36/1561.86	c 1561s |      27 | 19215266 | 15583533 |     1054  36967 |        0 |        0
1563.36/1563.86	c 1563s |      27 | 19236050 | 15601333 |     1054  37000 |        0 |        0
1565.36/1565.87	c 1565s |      27 | 19258143 | 15619833 |     1054  37034 |        0 |        0
1567.36/1567.88	c 1567s |      27 | 19279734 | 15637933 |     1054  37068 |        0 |        0
1569.37/1569.88	c 1569s |      27 | 19301770 | 15655833 |     1054  37102 |        0 |        0
1571.36/1571.89	c 1571s |      27 | 19324612 | 15674233 |     1054  37136 |        0 |        0
1573.36/1573.89	c 1573s |      27 | 19346378 | 15692133 |     1054  37169 |        0 |        0
1575.46/1575.90	c 1575s |      27 | 19368758 | 15710533 |     1054  37204 |        0 |        0
1577.46/1577.90	c 1577s |      27 | 19390143 | 15728333 |     1054  37237 |        0 |        0
1579.46/1579.91	c 1579s |      27 | 19414704 | 15747633 |     1054  37273 |        0 |        0
1581.47/1581.91	c 1581s |      27 | 19437455 | 15766133 |     1054  37308 |        0 |        0
1583.46/1583.92	c 1583s |      27 | 19460046 | 15784733 |     1054  37343 |        0 |        0
1585.46/1585.93	c 1585s |      27 | 19483342 | 15803833 |     1054  37379 |        0 |        0
1587.46/1587.93	c 1587s |      27 | 19508257 | 15823333 |     1054  37415 |        0 |        0
1589.46/1589.94	c 1589s |      27 | 19530863 | 15842133 |     1054  37450 |        0 |        0
1591.46/1591.95	c 1591s |      27 | 19552212 | 15860433 |     1054  37484 |        0 |        0
1593.47/1593.95	c 1593s |      27 | 19573041 | 15878033 |     1054  37517 |        0 |        0
1595.46/1595.95	c 1595s |      27 | 19591782 | 15894533 |     1054  37548 |        0 |        0
1597.46/1597.95	c 1597s |      27 | 19611691 | 15911433 |     1054  37579 |        0 |        0
1599.46/1599.96	c 1599s |      27 | 19634108 | 15929733 |     1054  37614 |        0 |        0
1601.46/1601.97	c 1601s |      27 | 19656305 | 15947933 |     1054  37648 |        0 |        0
1603.46/1603.98	c 1603s |      27 | 19677598 | 15965933 |     1054  37681 |        0 |        0
1605.46/1605.99	c 1605s |      27 | 19699820 | 15983933 |     1054  37715 |        0 |        0
1607.45/1608.00	c 1607s |      27 | 19720473 | 16001533 |     1054  37748 |        0 |        0
1609.55/1610.00	c 1609s |      27 | 19743545 | 16020233 |     1054  37783 |        0 |        0
1611.55/1612.00	c 1611s |      27 | 19768381 | 16039433 |     1054  37819 |        0 |        0
1613.56/1614.00	c 1613s |      27 | 19792220 | 16058333 |     1054  37854 |        0 |        0
1615.57/1616.01	c 1615s |      27 | 19815787 | 16077333 |     1054  37890 |        0 |        0
1617.56/1618.01	c 1617s |      27 | 19838092 | 16095533 |     1054  37924 |        0 |        0
1619.56/1620.02	c 1620s |      27 | 19860718 | 16114033 |     1054  37958 |        0 |        0
1621.56/1622.02	c 1622s |      27 | 19882950 | 16132233 |     1054  37992 |        0 |        0
1623.56/1624.03	c 1624s |      27 | 19905560 | 16150733 |     1054  38027 |        0 |        0
1625.56/1626.03	c 1626s |      27 | 19929915 | 16169533 |     1054  38062 |        0 |        0
1627.56/1628.03	c 1628s |      27 | 19951005 | 16187133 |     1054  38095 |        0 |        0
1629.56/1630.03	c 1630s |      27 | 19972352 | 16204633 |     1054  38128 |        0 |        0
1631.55/1632.04	c 1632s |      27 | 19992604 | 16221533 |     1054  38160 |        0 |        0
1633.55/1634.05	c 1634s |      27 | 20016540 | 16240433 |     1054  38195 |        0 |        0
1635.55/1636.05	c 1636s |      27 | 20037931 | 16258333 |     1054  38228 |        0 |        0
1637.56/1638.06	c 1638s |      27 | 20059313 | 16276233 |     1054  38262 |        0 |        0
1639.55/1640.06	c 1640s |      27 | 20079640 | 16293433 |     1054  38294 |        0 |        0
1641.55/1642.07	c 1642s |      27 | 20099773 | 16310833 |     1054  38326 |        0 |        0
1643.55/1644.08	c 1644s |      27 | 20120998 | 16328733 |     1054  38359 |        0 |        0
1645.56/1646.08	c 1646s |      27 | 20141276 | 16346033 |     1054  38392 |        0 |        0
1647.56/1648.09	c 1648s |      27 | 20162795 | 16364333 |     1054  38426 |        0 |        0
1649.56/1650.09	c 1650s |      27 | 20184205 | 16382433 |     1054  38459 |        0 |        0
1651.66/1652.10	c 1652s |      27 | 20204478 | 16399833 |     1054  38492 |        0 |        0
1653.65/1654.11	c 1654s |      27 | 20227101 | 16418633 |     1054  38527 |        0 |        0
1655.65/1656.11	c 1656s |      27 | 20250699 | 16437433 |     1054  38562 |        0 |        0
1657.65/1658.12	c 1658s |      27 | 20273760 | 16456133 |     1054  38597 |        0 |        0
1659.65/1660.13	c 1660s |      27 | 20294465 | 16473533 |     1054  38629 |        0 |        0
1661.66/1662.14	c 1662s |      27 | 20316546 | 16491533 |     1054  38663 |        0 |        0
1663.65/1664.15	c 1664s |      27 | 20336899 | 16508833 |     1054  38695 |        0 |        0
1665.65/1666.16	c 1666s |      27 | 20359007 | 16526933 |     1054  38729 |        0 |        0
1667.65/1668.17	c 1668s |      27 | 20382910 | 16545833 |     1054  38764 |        0 |        0
1669.65/1670.17	c 1670s |      27 | 20405220 | 16563933 |     1054  38798 |        0 |        0
1671.65/1672.17	c 1672s |      27 | 20427196 | 16582233 |     1054  38832 |        0 |        0
1673.65/1674.18	c 1674s |      27 | 20448096 | 16599833 |     1054  38865 |        0 |        0
1675.65/1676.18	c 1676s |      27 | 20469817 | 16617633 |     1054  38898 |        0 |        0
1677.65/1678.18	c 1678s |      27 | 20493884 | 16636033 |     1054  38933 |        0 |        0
1679.64/1680.18	c 1680s |      27 | 20519520 | 16656033 |     1054  38971 |        0 |        0
1681.64/1682.19	c 1682s |      27 | 20544097 | 16675633 |     1054  39007 |        0 |        0
1683.65/1684.20	c 1684s |      27 | 20567406 | 16694733 |     1054  39043 |        0 |        0
1685.74/1686.20	c 1686s |      27 | 20588856 | 16712633 |     1054  39077 |        0 |        0
1687.74/1688.21	c 1688s |      27 | 20610902 | 16730733 |     1054  39111 |        0 |        0
1689.74/1690.22	c 1690s |      27 | 20633139 | 16748833 |     1054  39145 |        0 |        0
1691.75/1692.22	c 1692s |      27 | 20655652 | 16767133 |     1054  39179 |        0 |        0
1693.75/1694.23	c 1694s |      27 | 20680554 | 16786433 |     1054  39215 |        0 |        0
1695.76/1696.24	c 1696s |      27 | 20702483 | 16804733 |     1054  39250 |        0 |        0
1697.75/1698.25	c 1698s |      27 | 20723071 | 16822533 |     1054  39283 |        0 |        0
1699.75/1700.26	c 1700s |      27 | 20743134 | 16839933 |     1054  39315 |        0 |        0
1701.75/1702.26	c 1702s |      27 | 20764154 | 16857833 |     1054  39348 |        0 |        0
1703.75/1704.27	c 1704s |      27 | 20787741 | 16877033 |     1054  39384 |        0 |        0
1705.75/1706.27	c 1706s |      27 | 20809727 | 16895033 |     1054  39418 |        0 |        0
1707.75/1708.27	c 1708s |      27 | 20830441 | 16912633 |     1054  39450 |        0 |        0
1709.75/1710.27	c 1710s |      27 | 20850947 | 16929933 |     1054  39483 |        0 |        0
1711.74/1712.28	c 1712s |      27 | 20870535 | 16946933 |     1054  39514 |        0 |        0
1713.74/1714.29	c 1714s |      27 | 20891124 | 16964233 |     1054  39547 |        0 |        0
1715.84/1716.30	c 1716s |      27 | 20910748 | 16980833 |     1160  39576 |        0 |        0
1717.85/1718.31	c 1718s |      27 | 20929459 | 16996933 |     1160  39604 |        0 |        0
1719.84/1720.31	c 1720s |      27 | 20947283 | 17012633 |     1160  39630 |        0 |        0
1721.84/1722.31	c 1722s |      27 | 20967109 | 17029633 |     1160  39659 |        0 |        0
1723.84/1724.32	c 1724s |      27 | 20990470 | 17048333 |     1160  39691 |        0 |        0
1725.84/1726.32	c 1726s |      27 | 21011524 | 17065433 |     1160  39720 |        0 |        0
1727.84/1728.32	c 1728s |      27 | 21031057 | 17082033 |     1160  39748 |        0 |        0
1729.34/1729.81	c 1729s |      28 | 21046696 | 17095205 |     1160  39770 |        0 |        0
1731.34/1731.82	c 1731s |      28 | 21070169 | 17113405 |     1160  39801 |        0 |        0
1733.34/1733.83	c 1733s |      28 | 21093294 | 17131505 |     1160  39832 |        0 |        0
1735.34/1735.83	c 1735s |      28 | 21114766 | 17149405 |     1160  39862 |        0 |        0
1737.34/1737.84	c 1737s |      28 | 21136707 | 17167505 |     1160  39893 |        0 |        0
1739.34/1739.84	c 1739s |      28 | 21157750 | 17184705 |     1160  39922 |        0 |        0
1741.33/1741.84	c 1741s |      28 | 21180681 | 17203005 |     1160  39953 |        0 |        0
1743.34/1743.85	c 1743s |      28 | 21202413 | 17221105 |     1160  39984 |        0 |        0
1745.35/1745.86	c 1745s |      28 | 21223975 | 17238905 |     1160  40014 |        0 |        0
1747.34/1747.86	c 1747s |      28 | 21247374 | 17257805 |     1160  40047 |        0 |        0
1749.34/1749.87	c 1749s |      28 | 21268555 | 17275405 |     1160  40077 |        0 |        0
1751.34/1751.88	c 1751s |      28 | 21290410 | 17293105 |     1160  40107 |        0 |        0
1753.34/1753.88	c 1753s |      28 | 21309337 | 17309205 |     1160  40134 |        0 |        0
1755.34/1755.88	c 1755s |      28 | 21328292 | 17325405 |     1160  40162 |        0 |        0
1757.35/1757.88	c 1757s |      28 | 21347906 | 17341805 |     1160  40190 |        0 |        0
1759.34/1759.89	c 1759s |      28 | 21370258 | 17359605 |     1160  40220 |        0 |        0
1761.44/1761.90	c 1761s |      28 | 21394797 | 17379005 |     1160  40254 |        0 |        0
1763.44/1763.91	c 1763s |      28 | 21417623 | 17397305 |     1160  40285 |        0 |        0
1765.44/1765.92	c 1765s |      28 | 21441425 | 17416505 |     1160  40318 |        0 |        0
1767.44/1767.92	c 1767s |      28 | 21464459 | 17434905 |     1160  40349 |        0 |        0
1769.44/1769.93	c 1769s |      28 | 21487598 | 17453605 |     1160  40381 |        0 |        0
1771.44/1771.93	c 1771s |      28 | 21510710 | 17472705 |     1160  40413 |        0 |        0
1773.44/1773.94	c 1773s |      28 | 21532096 | 17490605 |     1160  40444 |        0 |        0
1775.43/1775.94	c 1775s |      28 | 21554585 | 17509305 |     1160  40476 |        0 |        0
1777.43/1777.95	c 1777s |      28 | 21577252 | 17528205 |     1160  40508 |        0 |        0
1779.44/1779.95	c 1779s |      28 | 21600800 | 17547105 |     1160  40541 |        0 |        0
1781.43/1781.96	c 1781s |      28 | 21624796 | 17566205 |     1160  40573 |        0 |        0
1783.43/1783.97	c 1783s |      28 | 21652099 | 17586605 |     1160  40608 |        0 |        0
1785.43/1785.97	c 1785s |      28 | 21677796 | 17606205 |     1160  40642 |        0 |        0
1787.43/1787.98	c 1787s |      28 | 21702815 | 17626005 |     1160  40676 |        0 |        0
1789.43/1789.98	c 1789s |      28 | 21726617 | 17645205 |     1160  40708 |        0 |        0
1791.44/1791.99	c 1791s |      28 | 21751050 | 17664905 |     1160  40742 |        0 |        0
1793.53/1794.00	c 1793s |      28 | 21774643 | 17684105 |     1160  40775 |        0 |        0
1795.53/1796.01	c 1795s |      28 | 21799785 | 17703805 |     1160  40808 |        0 |        0
1797.53/1798.02	c 1798s |      28 | 21822284 | 17722405 |     1160  40840 |        0 |        0
1799.53/1800.02	c 1800s |      28 | 21846380 | 17741505 |     1160  40873 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4122290-1467316420/watcher-4122290-1467316420 -o /tmp/evaluation-result-4122290-1467316420/solver-4122290-1467316420 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467310476-18420 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122290-1467316420.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.42 2.29 2.21 2/178 19987
/proc/meminfo: memFree=27575100/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=742844 CPUtime=0 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 2774 0 0 0 0 0 0 0 20 0 4 0 12602989 760672256 3135 33554432000 4194304 16246674 140735594900928 140735594900352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 186223 3143 441 2943 0 183117 0
[pid=19987/tid=19988] ppid=19984 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 778498048 3201 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=764348 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 782692352 3219 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=768444 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12602989 786886656 3236 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.42 2.29 2.21 2/178 19987
/proc/meminfo: memFree=27575100/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 24427 0 0 0 6 3 0 0 20 0 4 0 12602989 1247350784 24777 33554432000 4194304 16246674 140735594900928 140735594900352 6836566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 304529 24787 707 2943 0 301423 0
[pid=19987/tid=19988] ppid=19984 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1247350784 24796 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1247350784 24802 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12602989 1247350784 24809 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200507 s]
/proc/loadavg: 2.42 2.29 2.21 2/178 19987
/proc/meminfo: memFree=27575100/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 47616 0 0 0 12 7 0 0 20 0 4 0 12602989 1247350784 47966 33554432000 4194304 16246674 140735594900928 140735594900352 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 304529 47975 707 2943 0 301423 0
[pid=19987/tid=19988] ppid=19984 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1247350784 47981 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1247350784 47987 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12602989 1247350784 47997 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300492 s]
/proc/loadavg: 2.42 2.29 2.21 2/178 19987
/proc/meminfo: memFree=27575100/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 70106 0 0 0 19 10 0 0 20 0 4 0 12602989 1247350784 70456 33554432000 4194304 16246674 140735594900928 140735594900352 5516309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 304529 70467 707 2943 0 301423 0
[pid=19987/tid=19988] ppid=19984 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1247350784 70476 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1247350784 70482 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12602989 1247350784 70488 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700407 s]
/proc/loadavg: 2.42 2.29 2.21 2/178 19987
/proc/meminfo: memFree=27575100/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 160184 0 0 0 47 22 0 0 20 0 4 0 12602989 1247350784 160533 33554432000 4194304 16246674 140735594900928 140735594900352 13195385 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 304529 160543 708 2943 0 301423 0
[pid=19987/tid=19988] ppid=19984 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1247350784 160548 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1247350784 160555 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12602989 1247350784 160561 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.39 2.29 2.20 3/182 19991
/proc/meminfo: memFree=26593072/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 245473 0 0 0 115 34 0 0 20 0 4 0 12602989 1247350784 245802 33554432000 4194304 16246674 140735594900928 140735594900240 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 304529 245802 783 2943 0 301423 0
[pid=19987/tid=19988] ppid=19984 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1247350784 245802 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1247350784 245802 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12602989 1247350784 245802 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.1004 s]
/proc/loadavg: 2.39 2.29 2.20 3/182 19991
/proc/meminfo: memFree=26504260/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 267398 0 0 0 272 37 0 0 20 0 4 0 12602989 1337528320 267727 33554432000 4194304 16246674 140735594900928 140735594882816 6843472 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 326545 267727 783 2943 0 323439 0
[pid=19987/tid=19988] ppid=19984 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1337528320 267727 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1337528320 267727 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12602989 1337528320 267727 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.44 2.30 2.21 3/182 19991
/proc/meminfo: memFree=26504136/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 267409 0 0 0 592 37 0 0 20 0 4 0 12602989 1337528320 267738 33554432000 4194304 16246674 140735594900928 140735594883928 13943729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 326545 267738 783 2943 0 323439 0
[pid=19987/tid=19988] ppid=19984 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1337528320 267738 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1337528320 267738 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12602989 1337528320 267738 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.48 2.31 2.21 3/182 19991
/proc/meminfo: memFree=26503544/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 267417 0 0 0 1232 37 0 0 20 0 4 0 12602989 1337528320 267746 33554432000 4194304 16246674 140735594900928 140735594882816 5822556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 326545 267746 783 2943 0 323439 0
[pid=19987/tid=19988] ppid=19984 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1337528320 267746 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1337528320 267746 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12602989 1337528320 267746 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.41 2.30 2.21 3/182 19991
/proc/meminfo: memFree=26504796/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 267419 0 0 0 2511 38 0 0 20 0 4 0 12602989 1337528320 267748 33554432000 4194304 16246674 140735594900928 140735594883928 5546219 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 326545 267748 783 2943 0 323439 0
[pid=19987/tid=19988] ppid=19984 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1337528320 267748 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1337528320 267748 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12602989 1337528320 267748 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.31 2.28 2.21 3/182 19991
/proc/meminfo: memFree=26505256/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 267426 0 0 0 5070 38 0 0 20 0 4 0 12602989 1337528320 267755 33554432000 4194304 16246674 140735594900928 140735594882816 5707655 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 326545 267755 786 2943 0 323439 0
[pid=19987/tid=19988] ppid=19984 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1337528320 267755 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1337528320 267755 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12602989 1337528320 267755 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.19 2.25 2.20 3/183 20091
/proc/meminfo: memFree=26503408/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 267475 0 0 0 10188 40 0 0 20 0 4 0 12602989 1337528320 267803 33554432000 4194304 16246674 140735594900928 140735594882816 5674844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 326545 267803 786 2943 0 323439 0
[pid=19987/tid=19988] ppid=19984 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1337528320 267803 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1337528320 267803 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12602989 1337528320 267803 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.24 2.20 2.18 3/183 20195
/proc/meminfo: memFree=26489340/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1307204 CPUtime=1361.89 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 268003 0 0 0 136125 64 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140735594882816 5723895 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 326801 268158 788 2943 0 323695 0
[pid=19987/tid=19988] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/183 20196
/proc/meminfo: memFree=26489328/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1307204 CPUtime=1421.89 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 268003 0 0 0 142124 65 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140735594882816 13191279 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 326801 268158 788 2943 0 323695 0
[pid=19987/tid=19988] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.26 2.22 2.19 3/183 20197
/proc/meminfo: memFree=26486532/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1307204 CPUtime=1481.87 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 268003 0 0 0 148121 66 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140735594882816 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 326801 268158 788 2943 0 323695 0
[pid=19987/tid=19988] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 20198
/proc/meminfo: memFree=26486564/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1307204 CPUtime=1541.88 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 268003 0 0 0 154120 68 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140735594882816 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 326801 268158 788 2943 0 323695 0
[pid=19987/tid=19988] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/184 20202
/proc/meminfo: memFree=26486016/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1307204 CPUtime=1601.86 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 268003 0 0 0 160118 68 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140735594883928 5824140 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 326801 268158 788 2943 0 323695 0
[pid=19987/tid=19988] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/183 20204
/proc/meminfo: memFree=26486364/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1307204 CPUtime=1661.85 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 268003 0 0 0 166115 70 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140735594883928 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 326801 268158 788 2943 0 323695 0
[pid=19987/tid=19988] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.16 2.19 2.18 3/183 20205
/proc/meminfo: memFree=26485912/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1307204 CPUtime=1721.84 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 268003 0 0 0 172113 71 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140735594882816 5823262 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 326801 268158 788 2943 0 323695 0
[pid=19987/tid=19988] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 20206
/proc/meminfo: memFree=26485708/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1307204 CPUtime=1781.83 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 268003 0 0 0 178111 72 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140735594882816 5523192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 326801 268158 788 2943 0 323695 0
[pid=19987/tid=19988] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.21 2.19 2.18 3/183 20206
/proc/meminfo: memFree=26485732/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1307204 CPUtime=1800.03 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 268003 0 0 0 179931 72 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140735594883928 13820875 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 326801 268158 788 2943 0 323695 0
[pid=19987/tid=19988] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1307204

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19987 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.21 2.19 2.18 3/183 20206
/proc/meminfo: memFree=26485732/32872528 swapFree=1427768/1542232
[pid=19987] ppid=19984 vsize=1307204 CPUtime=1800.03 cores=0,2,4,6
/proc/19987/stat : 19987 (toysat) R 19984 19987 15544 0 -1 4202496 268003 0 0 0 179931 72 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140735594883928 13820875 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19987/statm: 326801 268158 788 2943 0 323695 0
[pid=19987/tid=19988] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19988/stat : 19988 (toysat) S 19984 19987 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463520591088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19987/tid=19989] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19989/stat : 19989 (toysat) S 19984 19987 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463510101232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19987/tid=19990] ppid=19984 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19987/task/19990/stat : 19990 (toysat) S 19984 19987 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12602989 1338576896 268158 33554432000 4194304 16246674 140735594900928 140463499627696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.32
CPU system time (s): 0.726889
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.726889
maximum resident set size= 1072632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268003
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= 356
involuntary context switches= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.80327 second user time and 6.90795 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-30 21:53:40
IDJOB=4122290
IDBENCH=111028
IDSOLVER=2542
FILE ID=node116/4122290-1467316420
RUNJOBID= node116-1467310476-18420
PBS_JOBID= 20005287
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-28-3.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4122290-1467316420/watcher-4122290-1467316420 -o /tmp/evaluation-result-4122290-1467316420/solver-4122290-1467316420 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467310476-18420 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122290-1467316420.opb

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

MD5SUM BENCH= 29726071aba43ad9b59683b755381078
RANDOM SEED=327902461

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.426
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:        27576016 kB
Buffers:          209088 kB
Cached:          1711156 kB
SwapCached:            0 kB
Active:          1427724 kB
Inactive:        1578156 kB
Active(anon):    1088196 kB
Inactive(anon):        0 kB
Active(file):     339528 kB
Inactive(file):  1578156 kB
Unevictable:     1542232 kB
Mlocked:         1427768 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16528 kB
Writeback:             0 kB
AnonPages:       2627304 kB
Mapped:            16920 kB
Shmem:               204 kB
Slab:             614160 kB
SReclaimable:      58276 kB
SUnreclaim:       555884 kB
KernelStack:        1480 kB
PageTables:         8868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2763520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    602112 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= 71692 MiB
End job on node116 at 2016-06-30 22:23:40