Trace number 4101209

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scagr7.opb
MD5SUM898083402c7ca4355f8e4024f5c352c7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark527
Best CPU time to get the best result obtained on this benchmark1800.65
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 472
Optimality of the best value was proved NO
Number of variables4200
Total number of constraints129
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints129
Minimum length of a constraint30
Maximum length of a constraint300
Number of terms in the objective function 3990
Biggest coefficient in the objective function 14255
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 527499
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262051
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527499
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T05:59:11+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-4101209-1466222351.opb"]
0.00/0.01	c use --random-gen="3478892483 1592880377 2762504913 2897470477 1968213483 4140364885 3552779562 1407341757 1403419232 1833158663 3166148298 31953545 3912625421 3797671490 1721692087 2683104555 2626540892 2631357578 504247493 1743543453 2268769702 3411685181 2540887015 2311558774 741066489 3974223790 3387969006 3465169823 1462799873 2087688046 3945732028 3968663282 7827372 1192592645 1480639532 1219977963 3297031364 1132045398 2875338709 264178335 1260887043 3108288253 1273649755 915332959 2211701091 2236266398 1944999224 4236028958 1216537479 1883320374 601881147 2809628206 1057038484 4274410597 3019191368 875727217 3380762976 714212801 3349173053 2818306205 3372509533 727724426 3644363141 2673316349 702160136 3405138457 1110018148 2603954129 3615109600 3107902863 2752691690 97449433 4284541884 861045184 2445690500 1048671024 1551599774 3187883474 1505470992 2080687772 267581447 1810355721 4175554875 3634996311 2167619474 1860561775 775375997 3070442200 2113119769 2647380023 2722029005 1757597603 2751684253 1258926218 3806537543 3942286575 2698427782 3389283427 3214315979 2033309552 2344602579 1463724926 420590614 2730030316 3112341831 3957100605 259000035 2091171541 3812574137 2436611720 3999854703 621647829 124405457 3211069580 231566375 2652664522 2404056440 3349474004 1891790933 3986176955 2025526461 747416198 3086947774 1251226033 4220617902 3701242866 467533747 3210458858 2293393641 1626042577 2192228525 2679513141 1324235099 3372933941 4080533262 2157413247 2270160288 3851971958 594342506 3116642797 3335462403 3325246208 999423851 2755476452 904205664 2340988815 420675443 3201322785 601541497 2686361394 3607747355 2611702896 2217228892 2925681263 1214475534 1639182782 2850905746 3850488185 3188950215 1766693920 697493052 3321310183 3754706675 2454030046 3460524480 3283826128 3472261109 3947520850 3924194005 450679579 473540079 1883644188 2093826654 989634639 962532413 2378588451 545900294 2343958456 1302166772 4272418816 430270344 4086926778 2053250378 1394535256 300304043 931514212 3439029038 1824036443 239592823 1955015734 2173399074 622785046 1646545853 3652262761 3918061845 3468662268 2803877664 4241529240 1016132868 837271787 911830796 423849887 1746034291 724901381 1299013322 474448240 1072026169 2309364349 4229106571 3552222361 1816076751 2043226106 3648897130 508791684 1063774520 547777702 2269140955 2375640613 4046162227 2250296967 194783563 1911591894 2328277504 564338225 322454332 2778307559 2012609306 695564733 1410786241 3661844537 265757413 309898489 1349427845 1437113015 3000032175 928107489 1102512763 197943221 2691892243 473328850 4229643029 2157685221 555541171 126417790 3322160547 2890419586 4192194813 1802693387 1674218133 3039295792 3501517282 3334687297 2269071347 970993978 3266181873 1675597532 255 362436" option to reproduce the execution
0.00/0.06	c #vars 4200
0.00/0.06	c #constraints 129
0.09/0.17	c BCD2: Hardening is enabled.
0.09/0.17	c BCD2: BiasedSearch is enabled.
0.09/0.17	c Solving starts ...
0.09/0.17	c ============================[ Search Statistics ]============================
0.09/0.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.17	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.17	c =============================================================================
0.09/0.17	c  0.0s |       0 |        0 |        0 |     1471      0 |     1063 |        0
0.18/0.21	c  0.0s |       1 |      206 |      100 |     1471      0 |     1063 |        0
0.28/0.34	c  0.2s |       2 |     1674 |      250 |     1619      0 |     1094 |        0
0.38/0.44	c  0.3s |       3 |     1939 |      475 |     1781      0 |     1094 |        0
0.48/0.58	c  0.4s |       4 |     2317 |      813 |     1960      0 |     1094 |        0
0.78/0.86	c  0.7s |       5 |     3008 |     1320 |     2156      0 |     1094 |        0
1.09/1.13	c  1.0s |       6 |     4406 |     2081 |     2610      0 |     1125 |        0
1.29/1.35	c  1.2s |       7 |     5901 |     3223 |     2872      0 |     1125 |        0
1.89/1.94	c  1.8s |       8 |     7931 |     4936 |     3160      1 |     1125 |        0
2.39/2.47	c  2.3s |       9 |    10656 |     7506 |     3477      2 |     1125 |        0
3.09/3.14	c  3.0s |      10 |    15054 |    11361 |     3825      3 |     1125 |        0
4.19/4.26	c  4.1s |      11 |    21434 |    17144 |     4208      6 |     1125 |        0
6.18/6.27	c  6.1s |      11 |    30125 |    24244 |     4208      8 |     1125 |        0
6.59/6.68	c  6.5s |      12 |    32080 |    25819 |     4629      9 |     1125 |        0
8.69/8.70	c  8.5s |      12 |    42051 |    33319 |     4629     11 |     1125 |        0
10.19/10.26	c 10.1s |      13 |    49433 |    38832 |     5092     13 |     1125 |        0
12.19/12.29	c 12.1s |      13 |    59245 |    46232 |     5092     15 |     1125 |        0
14.29/14.30	c 14.1s |      13 |    68872 |    52832 |     5092     17 |     1125 |        0
16.29/16.33	c 16.2s |      13 |    77107 |    58332 |     5602     19 |     1125 |        0
16.29/16.33	c 16.2s |      14 |    77141 |    58352 |     5602     19 |     1125 |        0
18.28/18.36	c 18.2s |      14 |    86226 |    65052 |     5602     21 |     1125 |        0
20.29/20.36	c 20.2s |      14 |    96000 |    71052 |     5602     23 |     1125 |        0
22.28/22.37	c 22.2s |      14 |   104329 |    76152 |     5602     24 |     1125 |        0
24.29/24.39	c 24.2s |      14 |   112670 |    82152 |     5602     26 |     1125 |        0
26.39/26.41	c 26.2s |      14 |   119258 |    87352 |     6163     28 |     1125 |        0
26.39/26.50	c 26.3s |      15 |   119673 |    87632 |     6163     28 |     1125 |        0
28.48/28.51	c 28.3s |      15 |   130713 |    95532 |     6163     30 |     1125 |        0
30.48/30.55	c 30.4s |      15 |   137524 |   102132 |     6163     31 |     1125 |        0
32.48/32.57	c 32.4s |      15 |   142273 |   106832 |     6163     33 |     1125 |        0
34.48/34.59	c 34.4s |      15 |   146680 |   111232 |     6163     34 |     1125 |        0
36.58/36.62	c 36.4s |      15 |   151176 |   115532 |     6163     35 |     1125 |        0
38.59/38.63	c 38.5s |      15 |   155985 |   120032 |     6163     36 |     1125 |        0
40.58/40.68	c 40.5s |      15 |   161253 |   124832 |     6163     37 |     1125 |        0
42.68/42.70	c 42.5s |      15 |   165968 |   129232 |     6163     38 |     1125 |        0
43.68/43.73	c 43.6s |      16 |   168381 |   131552 |     6780     39 |     1125 |        0
45.68/45.74	c 45.6s |      16 |   177281 |   138752 |     6780     41 |     1125 |        0
47.68/47.76	c 47.6s |      16 |   183774 |   144052 |     6780     42 |     1125 |        0
49.67/49.78	c 49.6s |      16 |   190408 |   149552 |     6780     43 |     1125 |        0
51.69/51.79	c 51.6s |      16 |   197103 |   154752 |     6780     45 |     1125 |        0
53.78/53.81	c 53.6s |      16 |   204117 |   159852 |     6780     46 |     1125 |        0
55.78/55.81	c 55.6s |      16 |   211021 |   165052 |     6780     47 |     1125 |        0
57.78/57.82	c 57.6s |      16 |   218661 |   171252 |     6780     49 |     1125 |        0
59.78/59.84	c 59.7s |      16 |   226007 |   177552 |     6780     50 |     1125 |        0
61.78/61.85	c 61.7s |      16 |   231482 |   182352 |     6780     51 |     1125 |        0
63.78/63.88	c 63.7s |      16 |   237694 |   187552 |     6780     53 |     1125 |        0
65.78/65.89	c 65.7s |      16 |   242897 |   192252 |     6780     54 |     1125 |        0
67.88/67.94	c 67.8s |      16 |   248315 |   197352 |     7459     55 |     1125 |        0
67.88/67.98	c 67.8s |      17 |   248398 |   197432 |     7459     55 |     1125 |        0
69.98/70.02	c 69.8s |      17 |   257603 |   204532 |     7459     57 |     1132 |        0
71.98/72.04	c 71.9s |      17 |   264867 |   210032 |     7459     58 |     1132 |        0
74.27/74.35	c 74.2s |      17 |   271103 |   215132 |     7459     59 |     1132 |        0
76.37/76.41	c 76.2s |      17 |   278824 |   221032 |     7459     60 |     1132 |        0
78.37/78.44	c 78.3s |      17 |   287295 |   227332 |     7459     62 |     1132 |        0
80.38/80.46	c 80.3s |      17 |   294537 |   232732 |     7459     63 |     1132 |        0
82.37/82.47	c 82.3s |      17 |   303484 |   239832 |     7459     65 |     1132 |        0
84.37/84.47	c 84.3s |      17 |   312265 |   246132 |     7459     66 |     1132 |        0
86.47/86.50	c 86.3s |      17 |   321911 |   252332 |     7459     67 |     1132 |        0
88.47/88.51	c 88.3s |      17 |   329678 |   258132 |     7459     69 |     1132 |        0
90.47/90.54	c 90.4s |      17 |   337285 |   263732 |     7459     70 |     1132 |        0
92.47/92.54	c 92.4s |      17 |   344527 |   269232 |     7459     71 |     1132 |        0
94.47/94.56	c 94.4s |      17 |   351537 |   274932 |     7459     72 |     1132 |        0
96.47/96.59	c 96.4s |      17 |   358308 |   280132 |     7459     73 |     1132 |        0
98.57/98.62	c 98.4s |      17 |   365719 |   285232 |     7459     74 |     1132 |        0
100.57/100.64	c  100s |      17 |   372620 |   290632 |     7459     76 |     1132 |        0
102.57/102.65	c  102s |      17 |   378581 |   295232 |     8205     76 |     1132 |        0
103.07/103.13	c  102s |      18 |   379880 |   296252 |     8205     77 |     1132 |        0
105.07/105.15	c  104s |      18 |   385886 |   300452 |     8205     77 |     1132 |        0
107.07/107.16	c  106s |      18 |   390231 |   304552 |     8205     78 |     1132 |        0
109.07/109.17	c  108s |      18 |   394518 |   308452 |     8205     79 |     1132 |        0
111.07/111.19	c  111s |      18 |   398428 |   312052 |     8205     80 |     1132 |        0
113.16/113.24	c  113s |      18 |   402504 |   315852 |     8205     80 |     1132 |        0
115.26/115.32	c  115s |      18 |   405565 |   318852 |     8205     81 |     1132 |        0
117.36/117.43	c  117s |      18 |   408218 |   321452 |     8205     82 |     1132 |        0
119.37/119.46	c  119s |      18 |   410722 |   323852 |     8205     82 |     1132 |        0
121.37/121.48	c  121s |      18 |   413081 |   326152 |     8205     82 |     1132 |        0
123.57/123.68	c  123s |      18 |   415563 |   328552 |     8205     83 |     1132 |        0
125.67/125.74	c  125s |      18 |   418927 |   331552 |     8205     83 |     1132 |        0
127.68/127.78	c  127s |      18 |   421787 |   334252 |     8205     84 |     1132 |        0
129.88/129.92	c  129s |      18 |   425152 |   337352 |     8205     85 |     1132 |        0
131.87/131.98	c  131s |      18 |   428400 |   340452 |     8205     85 |     1132 |        0
133.97/134.01	c  133s |      18 |   431392 |   343252 |     8205     86 |     1132 |        0
135.97/136.03	c  135s |      18 |   434260 |   345952 |     8205     86 |     1132 |        0
138.37/138.46	c  138s |      18 |   436636 |   348252 |     8205     87 |     1132 |        0
140.47/140.50	c  140s |      18 |   439533 |   351052 |     8205     87 |     1132 |        0
142.56/142.68	c  142s |      18 |   442311 |   353652 |     8205     88 |     1132 |        0
144.56/144.69	c  144s |      18 |   445682 |   356752 |     8205     88 |     1132 |        0
146.66/146.71	c  146s |      18 |   449156 |   360052 |     8205     89 |     1132 |        0
148.66/148.74	c  148s |      18 |   452692 |   363352 |     8205     90 |     1132 |        0
150.67/150.78	c  150s |      18 |   455617 |   366052 |     8205     90 |     1132 |        0
152.76/152.81	c  152s |      18 |   458691 |   368952 |     8205     91 |     1132 |        0
154.86/154.96	c  154s |      18 |   461561 |   371652 |     8205     91 |     1132 |        0
156.96/157.02	c  156s |      18 |   464955 |   374452 |     8205     92 |     1132 |        0
158.96/159.05	c  158s |      18 |   468148 |   377352 |     8205     92 |     1132 |        0
160.96/161.07	c  160s |      18 |   471354 |   380252 |     8205     93 |     1132 |        0
162.96/163.07	c  162s |      18 |   474600 |   383152 |     8205     94 |     1132 |        0
165.06/165.14	c  164s |      18 |   477890 |   386152 |     8205     94 |     1132 |        0
167.16/167.25	c  167s |      18 |   480935 |   389052 |     8205     95 |     1132 |        0
169.25/169.31	c  169s |      18 |   484635 |   392152 |     8205     95 |     1132 |        0
171.25/171.33	c  171s |      18 |   489056 |   395252 |     8205     96 |     1132 |        0
173.35/173.40	c  173s |      18 |   492732 |   398352 |     8205     96 |     1132 |        0
175.35/175.44	c  175s |      18 |   495850 |   401152 |     8205     97 |     1132 |        0
177.35/177.44	c  177s |      18 |   499344 |   404252 |     8205     98 |     1132 |        0
179.36/179.45	c  179s |      18 |   503773 |   407652 |     8205     98 |     1132 |        0
181.36/181.50	c  181s |      18 |   508218 |   411152 |     8205     99 |     1132 |        0
183.46/183.53	c  183s |      18 |   512243 |   414252 |     8205    100 |     1132 |        0
185.46/185.54	c  185s |      18 |   516122 |   417152 |     8205    100 |     1132 |        0
187.45/187.57	c  187s |      18 |   518914 |   419652 |     8205    101 |     1132 |        0
189.55/189.62	c  189s |      18 |   522505 |   422652 |     8205    101 |     1132 |        0
191.55/191.68	c  191s |      18 |   525879 |   425352 |     8205    102 |     1132 |        0
193.56/193.69	c  193s |      18 |   529976 |   428552 |     8205    102 |     1132 |        0
195.65/195.72	c  195s |      18 |   532764 |   430852 |     8205    103 |     1132 |        0
197.65/197.78	c  197s |      18 |   536219 |   433952 |     8205    103 |     1132 |        0
199.75/199.80	c  199s |      18 |   539628 |   436852 |     8205    104 |     1132 |        0
201.75/201.82	c  201s |      18 |   543952 |   440752 |     8205    105 |     1132 |        0
203.75/203.89	c  203s |      18 |   547950 |   444452 |     9026    105 |     1132 |        0
203.85/203.92	c  203s |      19 |   547981 |   444482 |     9026    105 |     1132 |        0
205.85/205.95	c  205s |      19 |   552519 |   448082 |     9026    106 |     1132 |        0
207.95/208.01	c  207s |      19 |   556708 |   451382 |     9026    107 |     1132 |        0
209.94/210.07	c  209s |      19 |   560992 |   454282 |     9026    107 |     1132 |        0
211.94/212.07	c  211s |      19 |   566348 |   459082 |     9026    108 |     1132 |        0
214.04/214.10	c  213s |      19 |   570263 |   462782 |     9026    109 |     1132 |        0
216.04/216.10	c  215s |      19 |   573677 |   466082 |     9026    110 |     1132 |        0
218.04/218.11	c  217s |      19 |   576906 |   469282 |     9026    110 |     1132 |        0
220.04/220.16	c  219s |      19 |   580632 |   472982 |     9026    111 |     1132 |        0
222.14/222.21	c  222s |      19 |   583806 |   475782 |     9026    111 |     1132 |        0
224.13/224.24	c  224s |      19 |   586815 |   478482 |     9026    112 |     1132 |        0
226.13/226.28	c  226s |      19 |   592217 |   482182 |     9026    113 |     1132 |        0
228.22/228.38	c  228s |      19 |   595787 |   484682 |     9026    113 |     1132 |        0
230.32/230.41	c  230s |      19 |   600099 |   487482 |     9026    114 |     1132 |        0
232.32/232.42	c  232s |      19 |   604510 |   490782 |     9026    114 |     1132 |        0
234.33/234.43	c  234s |      19 |   608829 |   493782 |     9026    115 |     1132 |        0
236.43/236.51	c  236s |      19 |   612807 |   496482 |     9026    115 |     1132 |        0
238.42/238.57	c  238s |      19 |   617583 |   499082 |     9026    116 |     1132 |        0
240.52/240.61	c  240s |      19 |   621689 |   501882 |     9026    116 |     1132 |        0
243.02/243.17	c  242s |      19 |   625456 |   504782 |     9026    117 |     1132 |        0
245.02/245.17	c  244s |      19 |   632000 |   507682 |     9026    118 |     1132 |        0
247.12/247.25	c  247s |      19 |   640014 |   510982 |     9026    118 |     1132 |        0
249.12/249.28	c  249s |      19 |   647154 |   513982 |     9026    119 |     1132 |        0
251.21/251.31	c  251s |      19 |   653914 |   517282 |     9026    119 |     1132 |        0
253.21/253.34	c  253s |      19 |   659664 |   519982 |     9026    120 |     1132 |        0
255.22/255.36	c  255s |      19 |   665968 |   522882 |     9026    121 |     1132 |        0
257.21/257.36	c  257s |      19 |   673530 |   525882 |     9026    121 |     1132 |        0
259.31/259.44	c  259s |      19 |   681701 |   528882 |     9026    122 |     1132 |        0
261.61/261.70	c  261s |      19 |   688000 |   531482 |     9026    122 |     1132 |        0
263.61/263.72	c  263s |      19 |   694890 |   534082 |     9026    123 |     1132 |        0
265.62/265.74	c  265s |      19 |   702687 |   536882 |     9026    123 |     1132 |        0
267.61/267.77	c  267s |      19 |   708781 |   539382 |     9026    124 |     1132 |        0
269.71/269.84	c  269s |      19 |   716872 |   542682 |     9026    124 |     1132 |        0
271.81/271.90	c  271s |      19 |   722713 |   545182 |     9026    125 |     1132 |        0
273.81/273.95	c  273s |      19 |   729327 |   548282 |     9026    125 |     1132 |        0
275.81/275.96	c  275s |      19 |   734746 |   550882 |     9026    126 |     1132 |        0
277.81/277.97	c  277s |      19 |   740677 |   556682 |     9026    127 |     1132 |        0
279.81/279.98	c  279s |      19 |   745042 |   560782 |     9026    128 |     1132 |        0
281.91/282.01	c  281s |      19 |   754442 |   564382 |     9026    129 |     1132 |        0
283.90/284.05	c  283s |      19 |   763328 |   567882 |     9026    129 |     1132 |        0
285.91/286.08	c  285s |      19 |   771785 |   570982 |     9026    130 |     1132 |        0
288.00/288.12	c  287s |      19 |   778419 |   573982 |     9026    130 |     1132 |        0
290.20/290.34	c  290s |      19 |   784874 |   576282 |     9026    131 |     1132 |        0
292.30/292.40	c  292s |      19 |   791700 |   579382 |     9026    131 |     1132 |        0
294.30/294.41	c  294s |      19 |   799020 |   582382 |     9026    132 |     1132 |        0
296.30/296.46	c  296s |      19 |   806261 |   585482 |     9026    133 |     1132 |        0
298.30/298.48	c  298s |      19 |   813916 |   588882 |     9026    133 |     1132 |        0
300.31/300.48	c  300s |      19 |   820811 |   591882 |     9026    134 |     1132 |        0
302.40/302.53	c  302s |      19 |   827409 |   594882 |     9026    134 |     1132 |        0
304.40/304.53	c  304s |      19 |   833054 |   597282 |     9026    135 |     1132 |        0
306.40/306.55	c  306s |      19 |   840674 |   600382 |     9026    135 |     1132 |        0
308.49/308.60	c  308s |      19 |   846769 |   603082 |     9026    136 |     1132 |        0
310.49/310.63	c  310s |      19 |   853226 |   607682 |     9026    137 |     1132 |        0
312.49/312.63	c  312s |      19 |   858372 |   610982 |     9026    138 |     1132 |        0
314.50/314.65	c  314s |      19 |   867102 |   614882 |     9026    138 |     1132 |        0
316.49/316.68	c  316s |      19 |   874626 |   618082 |     9026    139 |     1132 |        0
318.69/318.83	c  318s |      19 |   881347 |   621282 |     9026    140 |     1132 |        0
320.69/320.87	c  320s |      19 |   888877 |   624482 |     9026    140 |     1132 |        0
322.69/322.88	c  322s |      19 |   895713 |   627582 |     9026    141 |     1132 |        0
324.69/324.88	c  324s |      19 |   903455 |   630682 |     9026    141 |     1132 |        0
326.79/326.92	c  326s |      19 |   909948 |   633582 |     9026    142 |     1132 |        0
328.79/328.93	c  328s |      19 |   916002 |   636382 |     9026    142 |     1132 |        0
330.78/330.98	c  330s |      19 |   923345 |   639382 |     9026    143 |     1132 |        0
332.99/333.13	c  332s |      19 |   928179 |   641982 |     9026    144 |     1132 |        0
334.99/335.13	c  334s |      19 |   935513 |   645182 |     9026    144 |     1132 |        0
336.99/337.18	c  337s |      19 |   942328 |   648082 |     9026    145 |     1132 |        0
339.09/339.23	c  339s |      19 |   949637 |   651482 |     9026    145 |     1132 |        0
341.09/341.29	c  341s |      19 |   956974 |   654382 |     9026    146 |     1132 |        0
343.20/343.32	c  343s |      19 |   962946 |   656582 |     9026    146 |     1132 |        0
345.19/345.37	c  345s |      19 |   970835 |   659782 |     9026    147 |     1132 |        0
347.19/347.37	c  347s |      19 |   976759 |   662782 |     9929    147 |     1132 |        0
349.19/349.37	c  349s |      19 |   982981 |   665582 |     9929    148 |     1132 |        0
349.99/350.18	c  350s |      20 |   986136 |   666827 |     9929    148 |     1132 |        0
351.99/352.20	c  352s |      20 |   992151 |   669527 |     9929    149 |     1132 |        0
354.09/354.23	c  354s |      20 |   998709 |   672527 |     9929    149 |     1132 |        0
356.09/356.26	c  356s |      20 |  1005723 |   677527 |     9929    150 |     1132 |        0
358.08/358.29	c  358s |      20 |  1009903 |   681427 |     9929    151 |     1132 |        0
360.18/360.30	c  360s |      20 |  1014344 |   685627 |     9929    151 |     1132 |        0
362.18/362.31	c  362s |      20 |  1017240 |   688227 |     9929    152 |     1132 |        0
364.28/364.44	c  364s |      20 |  1021314 |   691927 |     9929    153 |     1132 |        0
366.28/366.44	c  366s |      20 |  1024636 |   695127 |     9929    153 |     1132 |        0
368.27/368.47	c  368s |      20 |  1028057 |   697827 |     9929    154 |     1132 |        0
370.37/370.51	c  370s |      20 |  1036141 |   701227 |     9929    154 |     1132 |        0
372.37/372.56	c  372s |      20 |  1044640 |   704527 |     9929    155 |     1132 |        0
374.47/374.62	c  374s |      20 |  1053307 |   707627 |     9929    155 |     1132 |        0
376.47/376.66	c  376s |      20 |  1061165 |   710627 |     9929    156 |     1132 |        0
378.56/378.75	c  378s |      20 |  1069668 |   713127 |     9929    156 |     1132 |        0
380.57/380.77	c  380s |      20 |  1077001 |   715627 |     9929    157 |     1132 |        0
382.67/382.85	c  382s |      20 |  1085786 |   718627 |     9929    157 |     1132 |        0
384.66/384.87	c  384s |      20 |  1094218 |   721627 |     9929    158 |     1132 |        0
386.76/386.91	c  386s |      20 |  1101834 |   725127 |     9929    158 |     1132 |        0
388.76/388.98	c  388s |      20 |  1110985 |   728227 |     9929    159 |     1132 |        0
390.86/391.04	c  390s |      20 |  1118818 |   731327 |     9929    160 |     1132 |        0
392.86/393.06	c  392s |      20 |  1126538 |   734327 |     9929    160 |     1132 |        0
394.86/395.06	c  394s |      20 |  1132678 |   738727 |     9929    161 |     1132 |        0
396.86/397.07	c  396s |      20 |  1137269 |   743227 |     9929    162 |     1132 |        0
398.85/399.08	c  398s |      20 |  1140942 |   746027 |     9929    162 |     1132 |        0
400.95/401.11	c  400s |      20 |  1150335 |   749327 |     9929    163 |     1132 |        0
402.95/403.14	c  402s |      20 |  1159060 |   752527 |     9929    163 |     1132 |        0
404.95/405.14	c  404s |      20 |  1167340 |   755627 |     9929    164 |     1132 |        0
407.05/407.24	c  407s |      20 |  1172713 |   758227 |     9929    164 |     1132 |        0
409.05/409.27	c  409s |      20 |  1180316 |   761127 |     9929    165 |     1132 |        0
411.14/411.31	c  411s |      20 |  1188413 |   764327 |     9929    165 |     1132 |        0
413.14/413.33	c  413s |      20 |  1196325 |   767327 |     9929    166 |     1132 |        0
415.14/415.35	c  415s |      20 |  1200705 |   769227 |     9929    166 |     1132 |        0
417.14/417.38	c  417s |      20 |  1208015 |   774527 |     9929    167 |     1132 |        0
419.23/419.42	c  419s |      20 |  1212937 |   779427 |     9929    168 |     1132 |        0
421.24/421.45	c  421s |      20 |  1216749 |   783227 |     9929    169 |     1132 |        0
423.24/423.45	c  423s |      20 |  1220717 |   787127 |     9929    169 |     1132 |        0
425.24/425.46	c  425s |      20 |  1227289 |   793527 |     9929    171 |     1132 |        0
427.34/427.51	c  427s |      20 |  1232028 |   798227 |     9929    171 |     1132 |        0
429.34/429.56	c  429s |      20 |  1235546 |   801727 |     9929    172 |     1132 |        0
431.34/431.59	c  431s |      20 |  1238774 |   804927 |     9929    173 |     1132 |        0
433.44/433.60	c  433s |      20 |  1241917 |   808027 |     9929    173 |     1132 |        0
435.44/435.62	c  435s |      20 |  1246534 |   812627 |     9929    174 |     1132 |        0
437.44/437.62	c  437s |      20 |  1250745 |   816827 |     9929    175 |     1132 |        0
439.43/439.64	c  439s |      20 |  1254257 |   820327 |     9929    175 |     1132 |        0
441.43/441.64	c  441s |      20 |  1257572 |   823627 |     9929    176 |     1132 |        0
443.43/443.65	c  443s |      20 |  1261985 |   828027 |     9929    177 |     1132 |        0
445.44/445.67	c  445s |      20 |  1266406 |   832427 |     9929    177 |     1132 |        0
447.43/447.68	c  447s |      20 |  1270633 |   836627 |     9929    178 |     1132 |        0
449.53/449.70	c  449s |      20 |  1274544 |   840527 |     9929    179 |     1132 |        0
451.53/451.73	c  451s |      20 |  1277680 |   843627 |     9929    179 |     1132 |        0
453.53/453.76	c  453s |      20 |  1281397 |   847327 |     9929    180 |     1132 |        0
455.53/455.76	c  455s |      20 |  1285407 |   851327 |     9929    181 |     1132 |        0
457.62/457.80	c  457s |      20 |  1289226 |   855127 |     9929    181 |     1132 |        0
459.82/460.02	c  459s |      20 |  1293536 |   859427 |     9929    182 |     1132 |        0
461.92/462.15	c  461s |      20 |  1297458 |   863327 |     9929    183 |     1132 |        0
463.92/464.18	c  464s |      20 |  1300967 |   866827 |     9929    184 |     1132 |        0
466.02/466.20	c  466s |      20 |  1303781 |   869627 |     9929    184 |     1132 |        0
468.01/468.21	c  468s |      20 |  1307297 |   873127 |     9929    185 |     1132 |        0
470.01/470.26	c  470s |      20 |  1311513 |   877327 |     9929    185 |     1132 |        0
472.11/472.30	c  472s |      20 |  1315935 |   881727 |     9929    186 |     1132 |        0
474.31/474.58	c  474s |      20 |  1318849 |   884627 |     9929    187 |     1132 |        0
476.41/476.63	c  476s |      20 |  1322181 |   887927 |     9929    187 |     1132 |        0
478.41/478.67	c  478s |      20 |  1326208 |   891927 |     9929    188 |     1132 |        0
480.41/480.68	c  480s |      20 |  1329318 |   895027 |     9929    189 |     1132 |        0
482.51/482.73	c  482s |      20 |  1333039 |   898727 |     9929    189 |     1132 |        0
484.51/484.74	c  484s |      20 |  1336886 |   902527 |     9929    190 |     1132 |        0
486.51/486.78	c  486s |      20 |  1340699 |   906327 |     9929    191 |     1132 |        0
488.60/488.82	c  488s |      20 |  1344602 |   910227 |     9929    191 |     1132 |        0
490.60/490.86	c  490s |      20 |  1348614 |   914227 |     9929    192 |     1132 |        0
492.61/492.88	c  492s |      20 |  1351395 |   916827 |     9929    192 |     1132 |        0
494.70/494.91	c  494s |      20 |  1355340 |   920527 |     9929    193 |     1132 |        0
496.70/496.91	c  496s |      20 |  1360770 |   925927 |     9929    194 |     1132 |        0
498.69/498.92	c  498s |      20 |  1365285 |   930427 |     9929    195 |     1132 |        0
500.69/500.93	c  500s |      20 |  1369395 |   934527 |     9929    196 |     1132 |        0
502.70/502.94	c  502s |      20 |  1373418 |   938527 |     9929    196 |     1132 |        0
505.10/505.39	c  505s |      20 |  1377733 |   942827 |     9929    197 |     1132 |        0
507.10/507.40	c  507s |      20 |  1382154 |   947227 |     9929    198 |     1132 |        0
509.20/509.41	c  509s |      20 |  1386569 |   951627 |     9929    199 |     1132 |        0
511.30/511.53	c  511s |      20 |  1391087 |   956127 |     9929    199 |     1132 |        0
513.30/513.57	c  513s |      20 |  1394999 |   960027 |     9929    200 |     1132 |        0
515.29/515.58	c  515s |      20 |  1399413 |   964427 |     9929    201 |     1132 |        0
517.39/517.62	c  517s |      20 |  1403927 |   968927 |     9929    202 |     1132 |        0
519.69/519.99	c  519s |      20 |  1405032 |   970027 |     9929    202 |     1132 |        0
521.68/521.99	c  521s |      20 |  1409443 |   974427 |     9929    203 |     1132 |        0
523.68/524.00	c  523s |      20 |  1413555 |   978527 |     9929    203 |     1132 |        0
525.78/526.00	c  525s |      20 |  1416975 |   981927 |     9929    204 |     1132 |        0
527.78/528.01	c  527s |      20 |  1421290 |   986227 |     9929    205 |     1132 |        0
529.78/530.02	c  529s |      20 |  1425806 |   990727 |     9929    206 |     1132 |        0
532.28/532.57	c  532s |      20 |  1429427 |   994327 |    10922    206 |     1132 |        0
534.28/534.58	c  534s |      20 |  1430323 |   995227 |    10922    206 |     1132 |        0
536.38/536.60	c  536s |      20 |  1434541 |   999427 |    10922    207 |     1132 |        0
536.69/536.98	c  536s |      21 |  1435461 |  1000345 |    10922    207 |     1132 |        0
538.78/539.01	c  538s |      21 |  1438221 |  1003045 |    10922    207 |     1132 |        0
540.78/541.02	c  540s |      21 |  1442438 |  1007245 |    10922    208 |     1132 |        0
542.77/543.04	c  542s |      21 |  1446144 |  1010945 |    10922    209 |     1132 |        0
544.77/545.05	c  544s |      21 |  1450468 |  1015245 |    10922    210 |     1132 |        0
546.77/547.08	c  546s |      21 |  1455781 |  1020545 |    10922    210 |     1132 |        0
548.78/549.08	c  548s |      21 |  1458011 |  1022745 |    10922    211 |     1132 |        0
550.88/551.13	c  550s |      21 |  1462723 |  1027445 |    10922    212 |     1132 |        0
552.87/553.15	c  552s |      21 |  1467850 |  1032545 |    10922    212 |     1132 |        0
556.48/556.73	c  556s |      21 |  1472476 |  1037145 |    10922    213 |     1132 |        0
558.47/558.73	c  558s |      21 |  1477295 |  1041945 |    10922    214 |     1132 |        0
560.47/560.75	c  560s |      21 |  1482209 |  1046845 |    10922    215 |     1132 |        0
562.47/562.76	c  562s |      21 |  1486024 |  1050645 |    10922    215 |     1132 |        0
564.57/564.80	c  564s |      21 |  1490333 |  1054945 |    10922    216 |     1132 |        0
566.57/566.81	c  566s |      21 |  1494751 |  1059345 |    10922    217 |     1132 |        0
568.57/568.84	c  568s |      21 |  1499372 |  1063945 |    10922    218 |     1132 |        0
570.56/570.87	c  570s |      21 |  1504485 |  1069045 |    10922    218 |     1132 |        0
573.66/573.92	c  573s |      21 |  1507907 |  1072445 |    10922    219 |     1132 |        0
576.36/576.67	c  576s |      21 |  1511427 |  1075945 |    10922    220 |     1132 |        0
578.46/578.74	c  578s |      21 |  1516642 |  1081145 |    10922    220 |     1132 |        0
580.45/580.76	c  580s |      21 |  1521767 |  1086245 |    10922    221 |     1132 |        0
582.46/582.78	c  582s |      21 |  1524885 |  1089345 |    10922    222 |     1132 |        0
584.56/584.80	c  584s |      21 |  1530907 |  1095345 |    10922    223 |     1132 |        0
586.56/586.80	c  586s |      21 |  1535420 |  1099845 |    10922    223 |     1132 |        0
588.55/588.81	c  588s |      21 |  1539739 |  1104145 |    10922    224 |     1132 |        0
590.56/590.82	c  590s |      21 |  1544352 |  1108745 |    10922    225 |     1132 |        0
593.15/593.42	c  593s |      21 |  1546767 |  1111145 |    10922    225 |     1132 |        0
595.15/595.46	c  595s |      21 |  1551179 |  1115545 |    10922    226 |     1132 |        0
597.15/597.49	c  597s |      21 |  1555495 |  1119845 |    10922    227 |     1132 |        0
599.25/599.58	c  599s |      21 |  1560110 |  1124445 |    10922    228 |     1132 |        0
602.65/602.98	c  602s |      21 |  1564127 |  1128445 |    10922    228 |     1132 |        0
604.75/605.02	c  604s |      21 |  1568141 |  1132445 |    10922    229 |     1132 |        0
606.74/607.05	c  606s |      21 |  1572356 |  1136645 |    10922    230 |     1132 |        0
608.74/609.06	c  608s |      21 |  1576374 |  1140645 |    10922    230 |     1132 |        0
610.74/611.06	c  610s |      21 |  1581091 |  1145345 |    10922    231 |     1132 |        0
612.74/613.09	c  612s |      21 |  1582399 |  1146645 |    10922    231 |     1132 |        0
614.84/615.10	c  614s |      21 |  1586818 |  1151045 |    10922    232 |     1132 |        0
616.85/617.13	c  616s |      21 |  1590830 |  1155045 |    10922    233 |     1132 |        0
619.84/620.18	c  620s |      21 |  1593446 |  1157645 |    10922    233 |     1132 |        0
621.84/622.19	c  622s |      21 |  1597860 |  1162045 |    10922    234 |     1132 |        0
623.94/624.22	c  624s |      21 |  1603181 |  1167345 |    10922    235 |     1132 |        0
625.94/626.22	c  626s |      21 |  1606997 |  1171145 |    10922    235 |     1132 |        0
627.94/628.25	c  628s |      21 |  1611913 |  1176045 |    10922    236 |     1132 |        0
629.93/630.26	c  630s |      21 |  1616231 |  1180345 |    10922    237 |     1132 |        0
631.93/632.29	c  632s |      21 |  1619947 |  1184045 |    10922    237 |     1132 |        0
633.93/634.29	c  634s |      21 |  1624469 |  1188545 |    10922    238 |     1132 |        0
636.03/636.31	c  636s |      21 |  1628884 |  1192945 |    10922    239 |     1132 |        0
638.62/638.92	c  638s |      21 |  1632103 |  1196145 |    10922    239 |     1132 |        0
640.62/640.95	c  640s |      21 |  1635215 |  1199245 |    10922    240 |     1132 |        0
642.62/642.95	c  642s |      21 |  1639925 |  1203945 |    10922    241 |     1132 |        0
644.62/644.96	c  644s |      21 |  1642447 |  1206445 |    10922    241 |     1132 |        0
646.63/646.98	c  646s |      21 |  1647258 |  1211245 |    10922    242 |     1132 |        0
648.72/649.05	c  648s |      21 |  1651480 |  1215445 |    10922    243 |     1132 |        0
650.81/651.10	c  650s |      21 |  1656396 |  1220345 |    10922    243 |     1132 |        0
653.92/654.29	c  654s |      21 |  1657165 |  1220945 |    10922    243 |     1132 |        0
656.02/656.33	c  656s |      21 |  1663649 |  1227245 |    10922    244 |     1132 |        0
658.01/658.34	c  658s |      21 |  1668045 |  1231545 |    10922    245 |     1132 |        0
660.01/660.38	c  660s |      21 |  1672243 |  1235645 |    10922    246 |     1132 |        0
662.11/662.41	c  662s |      21 |  1677198 |  1240245 |    10922    247 |     1132 |        0
664.12/664.44	c  664s |      21 |  1680987 |  1243845 |    10922    247 |     1132 |        0
666.11/666.48	c  666s |      21 |  1684787 |  1247445 |    10922    248 |     1132 |        0
668.21/668.52	c  668s |      21 |  1688543 |  1251045 |    10922    248 |     1132 |        0
670.21/670.53	c  670s |      21 |  1691654 |  1254045 |    10922    249 |     1132 |        0
672.21/672.55	c  672s |      21 |  1695993 |  1258245 |    10922    249 |     1132 |        0
674.20/674.57	c  674s |      21 |  1699536 |  1261745 |    10922    250 |     1132 |        0
676.21/676.58	c  676s |      21 |  1705382 |  1267045 |    10922    251 |     1132 |        0
679.20/679.58	c  679s |      21 |  1709393 |  1270945 |    10922    252 |     1132 |        0
681.30/681.62	c  681s |      21 |  1714872 |  1276245 |    10922    252 |     1132 |        0
683.30/683.65	c  683s |      21 |  1718347 |  1279645 |    10922    253 |     1132 |        0
685.30/685.67	c  685s |      21 |  1722027 |  1283245 |    10922    254 |     1132 |        0
687.39/687.72	c  687s |      21 |  1724542 |  1285745 |    10922    254 |     1132 |        0
689.40/689.75	c  689s |      21 |  1729289 |  1290345 |    10922    255 |     1132 |        0
691.39/691.77	c  691s |      21 |  1733585 |  1294545 |    10922    255 |     1132 |        0
693.39/693.79	c  693s |      21 |  1739386 |  1299945 |    10922    256 |     1132 |        0
697.30/697.67	c  697s |      21 |  1743160 |  1303645 |    10922    257 |     1132 |        0
699.30/699.70	c  699s |      21 |  1746595 |  1306845 |    10922    257 |     1132 |        0
701.39/701.70	c  701s |      21 |  1751170 |  1311145 |    10922    258 |     1132 |        0
703.39/703.72	c  703s |      21 |  1754187 |  1314045 |    10922    259 |     1132 |        0
705.39/705.75	c  705s |      21 |  1758519 |  1318145 |    10922    259 |     1132 |        0
707.39/707.78	c  707s |      21 |  1762165 |  1321645 |    10922    260 |     1132 |        0
709.49/709.81	c  709s |      21 |  1764141 |  1323445 |    10922    260 |     1132 |        0
711.50/711.85	c  711s |      21 |  1769203 |  1328145 |    10922    261 |     1132 |        0
713.49/713.87	c  713s |      21 |  1773507 |  1332245 |    10922    262 |     1132 |        0
715.49/715.89	c  715s |      21 |  1778819 |  1337245 |    10922    262 |     1132 |        0
717.68/718.07	c  717s |      21 |  1782481 |  1340745 |    10922    263 |     1132 |        0
719.78/720.16	c  719s |      21 |  1787003 |  1345045 |    10922    264 |     1132 |        0
721.78/722.20	c  722s |      21 |  1791602 |  1349445 |    10922    264 |     1132 |        0
723.88/724.23	c  724s |      21 |  1795617 |  1353245 |    10922    265 |     1132 |        0
725.88/726.27	c  726s |      21 |  1799276 |  1356745 |    10922    266 |     1132 |        0
728.18/728.51	c  728s |      21 |  1802414 |  1359745 |    10922    266 |     1132 |        0
730.19/730.54	c  730s |      21 |  1807679 |  1364745 |    10922    267 |     1132 |        0
732.29/732.62	c  732s |      21 |  1811683 |  1368545 |    10922    268 |     1132 |        0
734.28/734.62	c  734s |      21 |  1816994 |  1373445 |    10922    268 |     1132 |        0
736.28/736.62	c  736s |      21 |  1820838 |  1376945 |    10922    269 |     1132 |        0
738.27/738.63	c  738s |      21 |  1825288 |  1381145 |    10922    270 |     1132 |        0
740.27/740.65	c  740s |      21 |  1830442 |  1385945 |    10922    270 |     1132 |        0
742.37/742.71	c  742s |      21 |  1835494 |  1390545 |    10922    271 |     1132 |        0
744.67/745.04	c  744s |      21 |  1839124 |  1394045 |    10922    272 |     1132 |        0
746.68/747.07	c  746s |      21 |  1843129 |  1397845 |    10922    272 |     1132 |        0
748.67/749.08	c  748s |      21 |  1847433 |  1401945 |    10922    273 |     1132 |        0
750.77/751.12	c  750s |      21 |  1850663 |  1404945 |    10922    273 |     1132 |        0
752.78/753.15	c  752s |      21 |  1854690 |  1408645 |    10922    274 |     1132 |        0
754.78/755.17	c  755s |      21 |  1858863 |  1412645 |    10922    275 |     1132 |        0
756.88/757.21	c  757s |      21 |  1863706 |  1417145 |    10922    275 |     1132 |        0
758.87/759.23	c  759s |      21 |  1868331 |  1421545 |    10922    276 |     1132 |        0
760.88/761.23	c  761s |      21 |  1872471 |  1425445 |    10922    277 |     1132 |        0
762.87/763.28	c  763s |      21 |  1877019 |  1429745 |    10922    278 |     1132 |        0
765.07/765.43	c  765s |      21 |  1881458 |  1433945 |    10922    278 |     1132 |        0
767.07/767.47	c  767s |      21 |  1885310 |  1437345 |    10922    279 |     1132 |        0
769.06/769.49	c  769s |      21 |  1891238 |  1442945 |    10922    280 |     1132 |        0
771.16/771.51	c  771s |      21 |  1895850 |  1447345 |    10922    280 |     1132 |        0
773.16/773.55	c  773s |      21 |  1900448 |  1451645 |    10922    281 |     1132 |        0
775.17/775.58	c  775s |      21 |  1904251 |  1455345 |    10922    282 |     1132 |        0
777.26/777.60	c  777s |      21 |  1909346 |  1460145 |    10922    282 |     1132 |        0
779.26/779.62	c  779s |      21 |  1914347 |  1464845 |    10922    283 |     1132 |        0
781.27/781.66	c  781s |      21 |  1918680 |  1469045 |    10922    284 |     1132 |        0
783.36/783.73	c  783s |      21 |  1922639 |  1472845 |    10922    285 |     1132 |        0
785.36/785.75	c  785s |      21 |  1927022 |  1476945 |    10922    285 |     1132 |        0
787.37/787.79	c  787s |      21 |  1932327 |  1481945 |    10922    286 |     1132 |        0
789.47/789.81	c  789s |      21 |  1935710 |  1485145 |    10922    287 |     1132 |        0
791.46/791.83	c  791s |      21 |  1940305 |  1489545 |    10922    287 |     1132 |        0
793.46/793.84	c  793s |      21 |  1945150 |  1494145 |    12015    288 |     1132 |        0
795.86/796.25	c  796s |      21 |  1948262 |  1497045 |    12015    288 |     1132 |        0
797.86/798.22	c  798s |      22 |  1951977 |  1500622 |    12015    289 |     1132 |        0
799.86/800.23	c  800s |      22 |  1961522 |  1508622 |    12015    290 |     1141 |        0
801.86/802.27	c  802s |      22 |  1968829 |  1514922 |    12015    291 |     1141 |        0
803.96/804.30	c  804s |      22 |  1973458 |  1519022 |    12015    292 |     1141 |        0
805.96/806.31	c  806s |      22 |  1978933 |  1523922 |    12015    292 |     1141 |        0
807.95/808.36	c  808s |      22 |  1982636 |  1527322 |    12015    293 |     1141 |        0
810.25/810.69	c  810s |      22 |  1988547 |  1532322 |    12015    294 |     1141 |        0
812.35/812.71	c  812s |      22 |  1994051 |  1537322 |    12015    294 |     1141 |        0
814.95/815.35	c  815s |      22 |  1998129 |  1541122 |    12015    295 |     1141 |        0
816.96/817.37	c  817s |      22 |  2004230 |  1546522 |    12015    296 |     1141 |        0
819.05/819.41	c  819s |      22 |  2009657 |  1551522 |    12015    296 |     1141 |        0
821.06/821.41	c  821s |      22 |  2012982 |  1554422 |    12015    297 |     1141 |        0
823.06/823.43	c  823s |      22 |  2017761 |  1558822 |    12015    298 |     1141 |        0
825.56/825.95	c  825s |      22 |  2021220 |  1561622 |    12015    298 |     1141 |        0
827.56/827.96	c  827s |      22 |  2028120 |  1567522 |    12015    299 |     1141 |        0
830.16/830.53	c  830s |      22 |  2033326 |  1571822 |    12015    300 |     1141 |        0
832.66/833.03	c  832s |      22 |  2040429 |  1577822 |    12015    300 |     1141 |        0
834.66/835.05	c  834s |      22 |  2045283 |  1582022 |    12015    301 |     1141 |        0
836.65/837.05	c  836s |      22 |  2051317 |  1587222 |    12015    302 |     1141 |        0
838.65/839.09	c  838s |      22 |  2055827 |  1591322 |    12015    302 |     1141 |        0
840.75/841.10	c  840s |      22 |  2061864 |  1596322 |    12015    303 |     1141 |        0
842.75/843.12	c  842s |      22 |  2068174 |  1601622 |    12015    304 |     1141 |        0
844.85/845.21	c  845s |      22 |  2072055 |  1605022 |    12015    305 |     1141 |        0
846.85/847.22	c  847s |      22 |  2078468 |  1610722 |    12015    305 |     1141 |        0
849.65/850.06	c  849s |      22 |  2080220 |  1612022 |    12015    306 |     1141 |        0
851.65/852.07	c  851s |      22 |  2086824 |  1617422 |    12015    306 |     1141 |        0
853.65/854.07	c  853s |      22 |  2091939 |  1622222 |    12015    307 |     1141 |        0
855.74/856.15	c  855s |      22 |  2096932 |  1626622 |    12015    308 |     1141 |        0
857.84/858.21	c  858s |      22 |  2102865 |  1631622 |    12015    309 |     1141 |        0
859.85/860.25	c  860s |      22 |  2108490 |  1636722 |    12015    309 |     1141 |        0
861.84/862.26	c  862s |      22 |  2113264 |  1640622 |    12015    310 |     1141 |        0
863.84/864.29	c  864s |      22 |  2119732 |  1645922 |    12015    311 |     1141 |        0
865.94/866.30	c  866s |      22 |  2124345 |  1649222 |    12015    311 |     1141 |        0
867.94/868.32	c  868s |      22 |  2130248 |  1654422 |    12015    312 |     1141 |        0
870.05/870.42	c  870s |      22 |  2134527 |  1658322 |    12015    313 |     1141 |        0
872.05/872.43	c  872s |      22 |  2140007 |  1663422 |    12015    313 |     1141 |        0
874.05/874.44	c  874s |      22 |  2143859 |  1666922 |    12015    314 |     1141 |        0
876.05/876.47	c  876s |      22 |  2149028 |  1671522 |    12015    314 |     1141 |        0
878.05/878.48	c  878s |      22 |  2151876 |  1674222 |    12015    315 |     1141 |        0
880.15/880.50	c  880s |      22 |  2156769 |  1678622 |    12015    316 |     1141 |        0
882.14/882.53	c  882s |      22 |  2158321 |  1680022 |    12015    316 |     1141 |        0
884.15/884.55	c  884s |      22 |  2163796 |  1684922 |    12015    317 |     1141 |        0
886.14/886.55	c  886s |      22 |  2168605 |  1689222 |    12015    317 |     1141 |        0
888.14/888.57	c  888s |      22 |  2172843 |  1693122 |    12015    318 |     1141 |        0
890.14/890.58	c  890s |      22 |  2177191 |  1697122 |    12015    318 |     1141 |        0
892.34/892.77	c  892s |      22 |  2179809 |  1699522 |    12015    319 |     1141 |        0
894.44/894.80	c  894s |      22 |  2185055 |  1704422 |    12015    319 |     1141 |        0
896.44/896.81	c  896s |      22 |  2190100 |  1709022 |    12015    320 |     1141 |        0
898.45/898.81	c  898s |      22 |  2193780 |  1712422 |    12015    321 |     1141 |        0
900.55/900.92	c  900s |      22 |  2197204 |  1715522 |    12015    321 |     1141 |        0
902.54/902.93	c  902s |      22 |  2200339 |  1718122 |    12015    322 |     1141 |        0
904.54/904.96	c  904s |      22 |  2206235 |  1722622 |    12015    322 |     1141 |        0
906.54/906.99	c  906s |      22 |  2211478 |  1726822 |    12015    323 |     1141 |        0
908.64/909.02	c  908s |      22 |  2216617 |  1731422 |    12015    324 |     1141 |        0
910.64/911.03	c  910s |      22 |  2221421 |  1735822 |    12015    324 |     1141 |        0
913.23/913.61	c  913s |      22 |  2225231 |  1739422 |    12015    325 |     1141 |        0
915.23/915.61	c  915s |      22 |  2229929 |  1743222 |    12015    325 |     1141 |        0
917.63/918.04	c  917s |      22 |  2233376 |  1746522 |    12015    326 |     1141 |        0
919.63/920.09	c  919s |      22 |  2239127 |  1751522 |    12015    327 |     1141 |        0
921.73/922.14	c  921s |      22 |  2244704 |  1756222 |    12015    327 |     1141 |        0
923.75/924.15	c  923s |      22 |  2247307 |  1758522 |    12015    328 |     1141 |        0
925.74/926.20	c  926s |      22 |  2252813 |  1763622 |    12015    328 |     1141 |        0
927.84/928.24	c  928s |      22 |  2257125 |  1767522 |    12015    329 |     1141 |        0
929.94/930.33	c  930s |      22 |  2261498 |  1771322 |    12015    330 |     1141 |        0
932.24/932.65	c  932s |      22 |  2263760 |  1773422 |    12015    330 |     1141 |        0
934.44/934.80	c  934s |      22 |  2272143 |  1779822 |    12015    331 |     1141 |        0
936.43/936.82	c  936s |      22 |  2281294 |  1787622 |    12015    332 |     1141 |        0
938.43/938.86	c  938s |      22 |  2287308 |  1792522 |    12015    333 |     1141 |        0
940.53/940.90	c  940s |      22 |  2293016 |  1797622 |    12015    333 |     1141 |        0
942.53/942.93	c  942s |      22 |  2298163 |  1802222 |    12015    334 |     1141 |        0
944.54/944.94	c  944s |      22 |  2301468 |  1804822 |    12015    335 |     1141 |        0
946.53/946.97	c  946s |      22 |  2307423 |  1810022 |    12015    335 |     1141 |        0
948.53/948.99	c  948s |      22 |  2311388 |  1813122 |    12015    336 |     1141 |        0
950.63/951.00	c  950s |      22 |  2319080 |  1819622 |    12015    337 |     1141 |        0
952.63/953.01	c  952s |      22 |  2325921 |  1825322 |    12015    338 |     1141 |        0
954.63/955.02	c  954s |      22 |  2331097 |  1829622 |    12015    338 |     1141 |        0
956.63/957.07	c  956s |      22 |  2337454 |  1835222 |    12015    339 |     1141 |        0
958.73/959.10	c  958s |      22 |  2343284 |  1840322 |    12015    340 |     1141 |        0
960.73/961.11	c  960s |      22 |  2348843 |  1845222 |    12015    341 |     1141 |        0
963.53/963.96	c  963s |      22 |  2353580 |  1849522 |    12015    341 |     1141 |        0
965.54/966.00	c  965s |      22 |  2359514 |  1854122 |    12015    342 |     1141 |        0
967.64/968.01	c  967s |      22 |  2366496 |  1859522 |    12015    343 |     1141 |        0
969.63/970.03	c  969s |      22 |  2370500 |  1862922 |    12015    343 |     1141 |        0
971.63/972.04	c  971s |      22 |  2377255 |  1868722 |    12015    344 |     1141 |        0
973.63/974.06	c  973s |      22 |  2382704 |  1873522 |    12015    345 |     1141 |        0
976.03/976.40	c  976s |      22 |  2388155 |  1878022 |    12015    346 |     1141 |        0
978.03/978.40	c  978s |      22 |  2394213 |  1883422 |    12015    346 |     1141 |        0
980.03/980.43	c  980s |      22 |  2399390 |  1887922 |    12015    347 |     1141 |        0
982.04/982.43	c  982s |      22 |  2403911 |  1891622 |    12015    348 |     1141 |        0
984.03/984.45	c  984s |      22 |  2410683 |  1897322 |    12015    348 |     1141 |        0
986.03/986.45	c  986s |      22 |  2416383 |  1902122 |    12015    349 |     1141 |        0
988.03/988.46	c  988s |      22 |  2423137 |  1907822 |    12015    350 |     1141 |        0
990.23/990.65	c  990s |      22 |  2426901 |  1911222 |    12015    351 |     1141 |        0
992.23/992.65	c  992s |      22 |  2434109 |  1917422 |    12015    351 |     1141 |        0
994.23/994.69	c  994s |      22 |  2439973 |  1922422 |    12015    352 |     1141 |        0
996.23/996.70	c  996s |      22 |  2445662 |  1927222 |    12015    353 |     1141 |        0
998.33/998.70	c  998s |      22 |  2450865 |  1931822 |    12015    354 |     1141 |        0
1000.33/1000.73	c 1000s |      22 |  2455743 |  1936322 |    12015    354 |     1141 |        0
1002.42/1002.85	c 1002s |      22 |  2456401 |  1936922 |    12015    354 |     1141 |        0
1004.42/1004.85	c 1004s |      22 |  2464343 |  1943122 |    12015    355 |     1141 |        0
1006.42/1006.86	c 1006s |      22 |  2471058 |  1948722 |    12015    356 |     1141 |        0
1008.43/1008.89	c 1008s |      22 |  2477316 |  1954022 |    12015    357 |     1141 |        0
1010.62/1011.02	c 1010s |      22 |  2481343 |  1957622 |    12015    358 |     1141 |        0
1012.62/1013.04	c 1012s |      22 |  2487136 |  1962222 |    12015    358 |     1141 |        0
1014.62/1015.06	c 1014s |      22 |  2492393 |  1966522 |    12015    359 |     1141 |        0
1016.63/1017.06	c 1016s |      22 |  2500949 |  1974022 |    12015    360 |     1141 |        0
1018.63/1019.09	c 1018s |      22 |  2508346 |  1979922 |    12015    361 |     1141 |        0
1020.72/1021.11	c 1020s |      22 |  2514969 |  1985122 |    12015    362 |     1141 |        0
1022.73/1023.16	c 1022s |      22 |  2521874 |  1990422 |    12015    362 |     1141 |        0
1024.72/1025.17	c 1024s |      22 |  2527681 |  1994822 |    12015    363 |     1141 |        0
1026.72/1027.18	c 1027s |      22 |  2534516 |  2000122 |    12015    364 |     1141 |        0
1028.92/1029.35	c 1029s |      22 |  2541513 |  2005322 |    12015    365 |     1141 |        0
1030.92/1031.38	c 1031s |      22 |  2548022 |  2010622 |    12015    365 |     1141 |        0
1034.12/1034.54	c 1034s |      22 |  2550613 |  2012822 |    12015    366 |     1141 |        0
1036.12/1036.55	c 1036s |      22 |  2559139 |  2019922 |    12015    367 |     1141 |        0
1038.12/1038.56	c 1038s |      22 |  2563551 |  2023722 |    12015    367 |     1141 |        0
1040.12/1040.57	c 1040s |      22 |  2571163 |  2030122 |    12015    368 |     1141 |        0
1042.12/1042.58	c 1042s |      22 |  2577933 |  2035622 |    12015    369 |     1141 |        0
1044.22/1044.66	c 1044s |      22 |  2583176 |  2040322 |    12015    370 |     1141 |        0
1047.93/1048.38	c 1048s |      22 |  2588524 |  2044722 |    12015    371 |     1141 |        0
1049.92/1050.39	c 1050s |      22 |  2596817 |  2051922 |    12015    372 |     1141 |        0
1052.02/1052.40	c 1052s |      22 |  2604414 |  2058022 |    12015    373 |     1141 |        0
1054.02/1054.41	c 1054s |      22 |  2610288 |  2062622 |    12015    373 |     1141 |        0
1056.02/1056.45	c 1056s |      22 |  2616817 |  2067722 |    12015    374 |     1141 |        0
1058.02/1058.47	c 1058s |      22 |  2623121 |  2072822 |    12015    375 |     1141 |        0
1060.02/1060.48	c 1060s |      22 |  2628762 |  2077422 |    12015    376 |     1141 |        0
1062.12/1062.50	c 1062s |      22 |  2635477 |  2083022 |    12015    376 |     1141 |        0
1064.12/1064.54	c 1064s |      22 |  2641652 |  2088022 |    12015    377 |     1141 |        0
1066.81/1067.21	c 1067s |      22 |  2648610 |  2093322 |    12015    378 |     1141 |        0
1068.82/1069.22	c 1069s |      22 |  2654283 |  2097722 |    12015    379 |     1141 |        0
1070.81/1071.23	c 1071s |      22 |  2661418 |  2103622 |    12015    379 |     1141 |        0
1072.81/1073.25	c 1073s |      22 |  2668057 |  2108822 |    12015    380 |     1141 |        0
1074.81/1075.26	c 1075s |      22 |  2674708 |  2113922 |    12015    381 |     1141 |        0
1076.81/1077.27	c 1077s |      22 |  2678630 |  2117022 |    12015    382 |     1141 |        0
1078.82/1079.28	c 1079s |      22 |  2685010 |  2122322 |    12015    382 |     1141 |        0
1080.92/1081.31	c 1081s |      22 |  2692238 |  2128722 |    12015    383 |     1141 |        0
1082.91/1083.32	c 1083s |      22 |  2698670 |  2133922 |    12015    384 |     1141 |        0
1085.51/1085.98	c 1085s |      22 |  2704371 |  2138822 |    12015    385 |     1141 |        0
1087.51/1087.99	c 1087s |      22 |  2711733 |  2144322 |    12015    386 |     1141 |        0
1089.61/1090.01	c 1089s |      22 |  2719730 |  2150722 |    12015    387 |     1141 |        0
1091.61/1092.03	c 1091s |      22 |  2725692 |  2155622 |    12015    387 |     1141 |        0
1093.61/1094.05	c 1093s |      22 |  2734627 |  2161922 |    12015    388 |     1141 |        0
1095.61/1096.07	c 1095s |      22 |  2741841 |  2167322 |    12015    389 |     1141 |        0
1097.71/1098.19	c 1098s |      22 |  2748976 |  2172822 |    12015    390 |     1141 |        0
1099.71/1100.19	c 1100s |      22 |  2755867 |  2177922 |    12015    391 |     1141 |        0
1101.81/1102.21	c 1102s |      22 |  2761794 |  2182922 |    12015    391 |     1141 |        0
1103.80/1104.21	c 1104s |      22 |  2766984 |  2187022 |    12015    392 |     1141 |        0
1106.22/1106.69	c 1106s |      22 |  2771033 |  2190322 |    12015    393 |     1141 |        0
1108.31/1108.72	c 1108s |      22 |  2775929 |  2194422 |    12015    393 |     1141 |        0
1110.31/1110.72	c 1110s |      22 |  2781652 |  2199622 |    12015    394 |     1141 |        0
1112.51/1112.90	c 1112s |      22 |  2786264 |  2203522 |    12015    395 |     1141 |        0
1114.51/1114.92	c 1114s |      22 |  2790638 |  2207222 |    12015    395 |     1141 |        0
1116.51/1116.93	c 1116s |      22 |  2794047 |  2210222 |    12015    396 |     1141 |        0
1118.51/1118.95	c 1118s |      22 |  2800311 |  2215722 |    12015    396 |     1141 |        0
1120.51/1120.96	c 1120s |      22 |  2805357 |  2220122 |    12015    397 |     1141 |        0
1122.61/1123.01	c 1122s |      22 |  2810746 |  2224822 |    12015    398 |     1141 |        0
1124.61/1125.01	c 1124s |      22 |  2816291 |  2229622 |    12015    398 |     1141 |        0
1126.61/1127.02	c 1126s |      22 |  2821933 |  2234822 |    12015    399 |     1141 |        0
1128.60/1129.03	c 1128s |      22 |  2823415 |  2236122 |    13217    399 |     1141 |        0
1130.60/1131.07	c 1130s |      22 |  2828581 |  2240422 |    13217    400 |     1141 |        0
1132.71/1133.11	c 1132s |      22 |  2833786 |  2245022 |    13217    400 |     1141 |        0
1134.91/1135.31	c 1135s |      22 |  2836741 |  2247522 |    13217    401 |     1141 |        0
1136.31/1136.77	c 1136s |      23 |  2840938 |  2251038 |    13217    401 |     1141 |        0
1138.41/1138.80	c 1138s |      23 |  2850048 |  2256638 |    13217    402 |     1141 |        0
1140.41/1140.83	c 1140s |      23 |  2856805 |  2261338 |    13217    403 |     1141 |        0
1142.41/1142.84	c 1142s |      23 |  2862159 |  2265238 |    13217    403 |     1141 |        0
1144.51/1144.91	c 1144s |      23 |  2866806 |  2268538 |    13217    404 |     1141 |        0
1146.50/1146.96	c 1146s |      23 |  2871324 |  2272038 |    13217    404 |     1141 |        0
1148.50/1149.00	c 1148s |      23 |  2875594 |  2275338 |    13217    404 |     1141 |        0
1150.60/1151.04	c 1150s |      23 |  2880124 |  2278838 |    13217    405 |     1141 |        0
1152.80/1153.23	c 1153s |      23 |  2883233 |  2281438 |    13217    405 |     1141 |        0
1154.90/1155.35	c 1155s |      23 |  2886833 |  2284038 |    13217    406 |     1141 |        0
1156.91/1157.38	c 1157s |      23 |  2891143 |  2287338 |    13217    406 |     1141 |        0
1159.01/1159.41	c 1159s |      23 |  2895075 |  2290438 |    13217    406 |     1141 |        0
1161.00/1161.44	c 1161s |      23 |  2899358 |  2293838 |    13217    407 |     1141 |        0
1163.00/1163.44	c 1163s |      23 |  2902335 |  2296238 |    13217    407 |     1141 |        0
1165.00/1165.46	c 1165s |      23 |  2906872 |  2299838 |    13217    408 |     1141 |        0
1167.00/1167.48	c 1167s |      23 |  2911382 |  2303738 |    13217    408 |     1141 |        0
1169.00/1169.49	c 1169s |      23 |  2915580 |  2307138 |    13217    409 |     1141 |        0
1171.10/1171.55	c 1171s |      23 |  2919936 |  2310738 |    13217    409 |     1141 |        0
1173.10/1173.58	c 1173s |      23 |  2923428 |  2313638 |    13217    409 |     1141 |        0
1175.20/1175.61	c 1175s |      23 |  2928115 |  2317338 |    13217    410 |     1141 |        0
1177.20/1177.66	c 1177s |      23 |  2933084 |  2321238 |    13217    410 |     1141 |        0
1179.30/1179.70	c 1179s |      23 |  2936060 |  2323638 |    13217    411 |     1141 |        0
1181.30/1181.73	c 1181s |      23 |  2940525 |  2327238 |    13217    411 |     1141 |        0
1183.30/1183.79	c 1183s |      23 |  2943575 |  2329638 |    13217    412 |     1141 |        0
1185.29/1185.79	c 1185s |      23 |  2947752 |  2332938 |    13217    412 |     1141 |        0
1187.39/1187.85	c 1187s |      23 |  2952418 |  2336438 |    13217    412 |     1141 |        0
1189.69/1190.17	c 1190s |      23 |  2955745 |  2339238 |    13217    413 |     1141 |        0
1191.79/1192.22	c 1192s |      23 |  2959978 |  2342538 |    13217    413 |     1141 |        0
1194.50/1194.94	c 1194s |      23 |  2963807 |  2345638 |    13217    414 |     1141 |        0
1196.60/1197.00	c 1196s |      23 |  2968693 |  2349638 |    13217    414 |     1141 |        0
1198.60/1199.02	c 1198s |      23 |  2973170 |  2353138 |    13217    415 |     1141 |        0
1200.60/1201.09	c 1200s |      23 |  2977957 |  2356738 |    13217    415 |     1141 |        0
1203.00/1203.45	c 1203s |      23 |  2982320 |  2360238 |    13217    416 |     1141 |        0
1204.99/1205.45	c 1205s |      23 |  2986836 |  2363838 |    13217    416 |     1141 |        0
1206.99/1207.49	c 1207s |      23 |  2990282 |  2366638 |    13217    416 |     1141 |        0
1209.09/1209.54	c 1209s |      23 |  2994181 |  2369838 |    13217    417 |     1141 |        0
1211.09/1211.56	c 1211s |      23 |  2998950 |  2373438 |    13217    417 |     1141 |        0
1213.09/1213.57	c 1213s |      23 |  3002422 |  2376438 |    13217    418 |     1141 |        0
1215.20/1215.61	c 1215s |      23 |  3007289 |  2380338 |    13217    418 |     1141 |        0
1217.40/1217.81	c 1217s |      23 |  3010641 |  2383138 |    13217    419 |     1141 |        0
1219.39/1219.83	c 1219s |      23 |  3015135 |  2386838 |    13217    419 |     1141 |        0
1221.39/1221.86	c 1221s |      23 |  3018648 |  2389238 |    13217    419 |     1141 |        0
1223.39/1223.89	c 1223s |      23 |  3021483 |  2391538 |    13217    420 |     1141 |        0
1225.49/1225.90	c 1225s |      23 |  3024767 |  2394338 |    13217    420 |     1141 |        0
1227.49/1227.91	c 1227s |      23 |  3028260 |  2397238 |    13217    420 |     1141 |        0
1229.49/1229.97	c 1229s |      23 |  3031655 |  2400038 |    13217    421 |     1141 |        0
1231.49/1231.97	c 1231s |      23 |  3036923 |  2404238 |    13217    421 |     1141 |        0
1233.59/1234.02	c 1233s |      23 |  3039974 |  2406638 |    13217    422 |     1141 |        0
1235.59/1236.05	c 1235s |      23 |  3044121 |  2409938 |    13217    422 |     1141 |        0
1237.59/1238.08	c 1237s |      23 |  3047721 |  2413138 |    13217    422 |     1141 |        0
1239.68/1240.17	c 1239s |      23 |  3051370 |  2416138 |    13217    423 |     1141 |        0
1241.68/1242.18	c 1242s |      23 |  3055159 |  2419338 |    13217    423 |     1141 |        0
1243.69/1244.19	c 1244s |      23 |  3058847 |  2422338 |    13217    424 |     1141 |        0
1245.78/1246.20	c 1246s |      23 |  3062605 |  2425338 |    13217    424 |     1141 |        0
1247.78/1248.22	c 1248s |      23 |  3066626 |  2428638 |    13217    424 |     1141 |        0
1249.79/1250.28	c 1250s |      23 |  3070089 |  2431538 |    13217    425 |     1141 |        0
1251.89/1252.30	c 1252s |      23 |  3074580 |  2435038 |    13217    425 |     1141 |        0
1253.89/1254.31	c 1254s |      23 |  3078291 |  2438338 |    13217    426 |     1141 |        0
1256.19/1256.65	c 1256s |      23 |  3081144 |  2440838 |    13217    426 |     1141 |        0
1258.29/1258.71	c 1258s |      23 |  3084841 |  2444038 |    13217    426 |     1141 |        0
1260.29/1260.74	c 1260s |      23 |  3088697 |  2447238 |    13217    427 |     1141 |        0
1262.29/1262.78	c 1262s |      23 |  3092881 |  2450838 |    13217    427 |     1141 |        0
1264.29/1264.78	c 1264s |      23 |  3096662 |  2454138 |    13217    428 |     1141 |        0
1266.29/1266.79	c 1266s |      23 |  3102070 |  2458938 |    13217    428 |     1141 |        0
1268.39/1268.82	c 1268s |      23 |  3107614 |  2464438 |    13217    429 |     1141 |        0
1270.39/1270.85	c 1270s |      23 |  3111578 |  2468338 |    13217    430 |     1141 |        0
1272.39/1272.88	c 1272s |      23 |  3115306 |  2472038 |    13217    430 |     1141 |        0
1274.49/1274.91	c 1274s |      23 |  3118262 |  2474938 |    13217    431 |     1141 |        0
1276.58/1277.05	c 1276s |      23 |  3122012 |  2478638 |    13217    431 |     1141 |        0
1278.58/1279.09	c 1278s |      23 |  3125140 |  2481738 |    13217    431 |     1141 |        0
1280.78/1281.24	c 1281s |      23 |  3128425 |  2484938 |    13217    432 |     1141 |        0
1282.78/1283.25	c 1283s |      23 |  3132527 |  2488938 |    13217    432 |     1141 |        0
1284.78/1285.28	c 1285s |      23 |  3135696 |  2492038 |    13217    433 |     1141 |        0
1287.38/1287.81	c 1287s |      23 |  3138947 |  2495238 |    13217    433 |     1141 |        0
1289.88/1290.34	c 1290s |      23 |  3148283 |  2500838 |    13217    434 |     1141 |        0
1291.88/1292.35	c 1292s |      23 |  3153506 |  2505238 |    13217    435 |     1141 |        0
1293.88/1294.35	c 1294s |      23 |  3157942 |  2508738 |    13217    435 |     1141 |        0
1295.98/1296.43	c 1296s |      23 |  3161871 |  2512038 |    13217    435 |     1141 |        0
1297.97/1298.43	c 1298s |      23 |  3165187 |  2515138 |    13217    436 |     1141 |        0
1299.97/1300.46	c 1300s |      23 |  3168297 |  2517738 |    13217    436 |     1141 |        0
1301.98/1302.48	c 1302s |      23 |  3171129 |  2520238 |    13217    437 |     1141 |        0
1303.97/1304.49	c 1304s |      23 |  3174021 |  2522738 |    13217    437 |     1141 |        0
1306.07/1306.51	c 1306s |      23 |  3177030 |  2525138 |    13217    437 |     1141 |        0
1308.07/1308.55	c 1308s |      23 |  3180263 |  2527538 |    13217    437 |     1141 |        0
1310.08/1310.58	c 1310s |      23 |  3182834 |  2529738 |    13217    438 |     1141 |        0
1312.18/1312.62	c 1312s |      23 |  3185876 |  2532338 |    13217    438 |     1141 |        0
1314.19/1314.62	c 1314s |      23 |  3189453 |  2535038 |    13217    438 |     1141 |        0
1316.88/1317.37	c 1317s |      23 |  3191505 |  2536738 |    13217    439 |     1141 |        0
1318.98/1319.40	c 1319s |      23 |  3194601 |  2538838 |    13217    439 |     1141 |        0
1320.98/1321.45	c 1321s |      23 |  3197637 |  2541438 |    13217    439 |     1141 |        0
1322.98/1323.46	c 1323s |      23 |  3200516 |  2544038 |    13217    440 |     1141 |        0
1324.97/1325.50	c 1325s |      23 |  3204151 |  2547038 |    13217    440 |     1141 |        0
1327.07/1327.51	c 1327s |      23 |  3207832 |  2549938 |    13217    440 |     1141 |        0
1329.07/1329.56	c 1329s |      23 |  3210270 |  2551938 |    13217    441 |     1141 |        0
1331.17/1331.64	c 1331s |      23 |  3213782 |  2554938 |    13217    441 |     1141 |        0
1333.18/1333.69	c 1333s |      23 |  3216512 |  2557438 |    13217    441 |     1141 |        0
1335.28/1335.70	c 1335s |      23 |  3218939 |  2559238 |    13217    442 |     1141 |        0
1337.28/1337.79	c 1337s |      23 |  3222905 |  2562538 |    13217    442 |     1141 |        0
1339.38/1339.83	c 1339s |      23 |  3225506 |  2564938 |    13217    442 |     1141 |        0
1341.38/1341.86	c 1341s |      23 |  3229030 |  2568138 |    13217    443 |     1141 |        0
1343.38/1343.87	c 1343s |      23 |  3231365 |  2570138 |    13217    443 |     1141 |        0
1345.48/1345.94	c 1345s |      23 |  3234110 |  2572638 |    13217    444 |     1141 |        0
1347.48/1347.96	c 1347s |      23 |  3237448 |  2575738 |    13217    444 |     1141 |        0
1349.47/1349.99	c 1349s |      23 |  3241038 |  2579038 |    13217    444 |     1141 |        0
1351.48/1351.99	c 1351s |      23 |  3243395 |  2581338 |    13217    445 |     1141 |        0
1353.57/1354.02	c 1353s |      23 |  3247870 |  2585338 |    13217    445 |     1141 |        0
1356.07/1356.59	c 1356s |      23 |  3251396 |  2588238 |    13217    446 |     1141 |        0
1358.18/1358.61	c 1358s |      23 |  3254897 |  2591638 |    13217    446 |     1141 |        0
1360.17/1360.65	c 1360s |      23 |  3258417 |  2594638 |    13217    446 |     1141 |        0
1362.17/1362.65	c 1362s |      23 |  3260349 |  2596338 |    13217    447 |     1141 |        0
1364.17/1364.69	c 1364s |      23 |  3263252 |  2598938 |    13217    447 |     1141 |        0
1366.27/1366.78	c 1366s |      23 |  3266124 |  2601438 |    13217    447 |     1141 |        0
1368.37/1368.83	c 1368s |      23 |  3268842 |  2603938 |    13217    448 |     1141 |        0
1370.47/1370.90	c 1370s |      23 |  3271542 |  2606338 |    13217    448 |     1141 |        0
1372.47/1372.99	c 1372s |      23 |  3274462 |  2608938 |    13217    448 |     1141 |        0
1374.57/1375.02	c 1374s |      23 |  3275834 |  2610238 |    13217    449 |     1141 |        0
1376.57/1377.04	c 1376s |      23 |  3277977 |  2612238 |    13217    449 |     1141 |        0
1378.57/1379.05	c 1378s |      23 |  3280555 |  2614438 |    13217    449 |     1141 |        0
1380.57/1381.08	c 1380s |      23 |  3283618 |  2617238 |    13217    449 |     1141 |        0
1382.57/1383.08	c 1382s |      23 |  3286021 |  2619538 |    13217    450 |     1141 |        0
1384.67/1385.13	c 1384s |      23 |  3290028 |  2623338 |    13217    450 |     1141 |        0
1386.67/1387.18	c 1387s |      23 |  3293110 |  2626338 |    13217    451 |     1141 |        0
1388.97/1389.47	c 1389s |      23 |  3295790 |  2628838 |    13217    451 |     1141 |        0
1391.07/1391.51	c 1391s |      23 |  3299112 |  2631838 |    13217    451 |     1141 |        0
1393.06/1393.52	c 1393s |      23 |  3302392 |  2634738 |    13217    452 |     1141 |        0
1395.06/1395.58	c 1395s |      23 |  3306127 |  2638038 |    13217    452 |     1141 |        0
1397.36/1397.82	c 1397s |      23 |  3308434 |  2640138 |    13217    453 |     1141 |        0
1399.36/1399.83	c 1399s |      23 |  3311492 |  2643138 |    13217    453 |     1141 |        0
1401.36/1401.85	c 1401s |      23 |  3315364 |  2646538 |    13217    453 |     1141 |        0
1403.36/1403.86	c 1403s |      23 |  3319796 |  2650538 |    13217    454 |     1141 |        0
1405.47/1405.91	c 1405s |      23 |  3323193 |  2653638 |    13217    454 |     1141 |        0
1407.46/1407.94	c 1407s |      23 |  3326168 |  2656538 |    13217    455 |     1141 |        0
1409.56/1410.00	c 1409s |      23 |  3328255 |  2658538 |    13217    455 |     1141 |        0
1411.56/1412.03	c 1411s |      23 |  3331373 |  2661538 |    13217    455 |     1141 |        0
1413.56/1414.08	c 1413s |      23 |  3334274 |  2664238 |    13217    456 |     1141 |        0
1415.66/1416.11	c 1415s |      23 |  3337199 |  2666938 |    13217    456 |     1141 |        0
1417.66/1418.11	c 1417s |      23 |  3340067 |  2669538 |    13217    456 |     1141 |        0
1419.76/1420.29	c 1420s |      23 |  3342506 |  2671838 |    13217    457 |     1141 |        0
1421.86/1422.36	c 1422s |      23 |  3345855 |  2675038 |    13217    457 |     1141 |        0
1423.96/1424.41	c 1424s |      23 |  3347871 |  2676838 |    13217    457 |     1141 |        0
1426.26/1426.71	c 1426s |      23 |  3348815 |  2677738 |    13217    458 |     1141 |        0
1428.35/1428.82	c 1428s |      23 |  3350298 |  2679138 |    13217    458 |     1141 |        0
1430.35/1430.86	c 1430s |      23 |  3352380 |  2681138 |    13217    458 |     1141 |        0
1432.45/1432.91	c 1432s |      23 |  3355745 |  2684338 |    13217    458 |     1141 |        0
1434.46/1434.93	c 1434s |      23 |  3359438 |  2687738 |    13217    459 |     1141 |        0
1437.06/1437.50	c 1437s |      23 |  3363076 |  2690738 |    13217    459 |     1141 |        0
1439.06/1439.56	c 1439s |      23 |  3365832 |  2693238 |    13217    460 |     1141 |        0
1441.06/1441.58	c 1441s |      23 |  3370280 |  2697238 |    13217    460 |     1141 |        0
1443.16/1443.60	c 1443s |      23 |  3374119 |  2700538 |    13217    461 |     1141 |        0
1445.16/1445.62	c 1445s |      23 |  3378299 |  2704138 |    13217    461 |     1141 |        0
1447.46/1447.95	c 1447s |      23 |  3381777 |  2707038 |    13217    461 |     1141 |        0
1449.46/1449.98	c 1449s |      23 |  3384917 |  2709738 |    13217    462 |     1141 |        0
1451.46/1451.99	c 1451s |      23 |  3388144 |  2712638 |    13217    462 |     1141 |        0
1453.56/1454.04	c 1453s |      23 |  3391380 |  2715438 |    13217    463 |     1141 |        0
1455.55/1456.05	c 1455s |      23 |  3394895 |  2718538 |    13217    463 |     1141 |        0
1457.65/1458.11	c 1457s |      23 |  3398470 |  2721738 |    13217    463 |     1141 |        0
1459.65/1460.12	c 1459s |      23 |  3401236 |  2724238 |    13217    464 |     1141 |        0
1461.65/1462.16	c 1461s |      23 |  3405112 |  2727638 |    13217    464 |     1141 |        0
1463.95/1464.49	c 1464s |      23 |  3408456 |  2730438 |    13217    465 |     1141 |        0
1466.05/1466.55	c 1466s |      23 |  3412610 |  2733938 |    13217    465 |     1141 |        0
1468.06/1468.57	c 1468s |      23 |  3416156 |  2737038 |    13217    465 |     1141 |        0
1470.15/1470.62	c 1470s |      23 |  3419366 |  2739838 |    13217    466 |     1141 |        0
1472.15/1472.67	c 1472s |      23 |  3423113 |  2743038 |    13217    466 |     1141 |        0
1474.25/1474.70	c 1474s |      23 |  3425886 |  2745538 |    13217    467 |     1141 |        0
1476.25/1476.70	c 1476s |      23 |  3429796 |  2748938 |    13217    467 |     1141 |        0
1478.25/1478.75	c 1478s |      23 |  3433537 |  2752238 |    13217    467 |     1141 |        0
1480.26/1480.76	c 1480s |      23 |  3439382 |  2757838 |    13217    468 |     1141 |        0
1482.25/1482.79	c 1482s |      23 |  3444327 |  2762738 |    13217    469 |     1141 |        0
1484.25/1484.80	c 1484s |      23 |  3448398 |  2766738 |    13217    469 |     1141 |        0
1486.35/1486.81	c 1486s |      23 |  3455759 |  2773138 |    13217    470 |     1141 |        0
1488.35/1488.84	c 1488s |      23 |  3461081 |  2777938 |    13217    471 |     1141 |        0
1495.95/1496.44	c 1496s |      23 |  3465053 |  2781338 |    13217    471 |     1141 |        0
1497.95/1498.46	c 1498s |      23 |  3466210 |  2782238 |    13217    471 |     1141 |        0
1500.06/1500.57	c 1500s |      23 |  3470480 |  2785938 |    13217    472 |     1141 |        0
1502.05/1502.58	c 1502s |      23 |  3477595 |  2791838 |    13217    473 |     1141 |        0
1504.05/1504.58	c 1504s |      23 |  3481777 |  2795238 |    13217    473 |     1141 |        0
1506.15/1506.64	c 1506s |      23 |  3485520 |  2798438 |    13217    474 |     1141 |        0
1508.15/1508.64	c 1508s |      23 |  3489227 |  2801538 |    13217    474 |     1141 |        0
1510.15/1510.69	c 1510s |      23 |  3491784 |  2803638 |    13217    474 |     1141 |        0
1512.16/1512.69	c 1512s |      23 |  3493861 |  2805438 |    13217    475 |     1141 |        0
1514.25/1514.71	c 1514s |      23 |  3497872 |  2809138 |    13217    475 |     1141 |        0
1516.25/1516.74	c 1516s |      23 |  3501204 |  2811838 |    13217    475 |     1141 |        0
1518.25/1518.76	c 1518s |      23 |  3505875 |  2816238 |    13217    476 |     1141 |        0
1520.25/1520.77	c 1520s |      23 |  3509818 |  2819938 |    13217    476 |     1141 |        0
1522.65/1523.10	c 1522s |      23 |  3513590 |  2823338 |    13217    477 |     1141 |        0
1524.64/1525.11	c 1524s |      23 |  3515748 |  2825138 |    13217    477 |     1141 |        0
1526.64/1527.12	c 1526s |      23 |  3520896 |  2829338 |    13217    478 |     1141 |        0
1528.65/1529.17	c 1528s |      23 |  3524957 |  2832638 |    13217    478 |     1141 |        0
1530.75/1531.22	c 1531s |      23 |  3528111 |  2835438 |    13217    479 |     1141 |        0
1532.74/1533.27	c 1533s |      23 |  3533959 |  2840238 |    13217    479 |     1141 |        0
1534.84/1535.30	c 1535s |      23 |  3537070 |  2843038 |    13217    480 |     1141 |        0
1536.84/1537.31	c 1537s |      23 |  3541237 |  2846438 |    13217    480 |     1141 |        0
1539.04/1539.58	c 1539s |      23 |  3545797 |  2850138 |    13217    481 |     1141 |        0
1541.14/1541.60	c 1541s |      23 |  3551625 |  2854938 |    13217    481 |     1141 |        0
1543.14/1543.64	c 1543s |      23 |  3556568 |  2858938 |    13217    482 |     1141 |        0
1545.24/1545.70	c 1545s |      23 |  3560958 |  2862638 |    13217    482 |     1141 |        0
1547.24/1547.72	c 1547s |      23 |  3565674 |  2866638 |    13217    483 |     1141 |        0
1549.24/1549.73	c 1549s |      23 |  3569737 |  2870138 |    13217    483 |     1141 |        0
1551.24/1551.74	c 1551s |      23 |  3572702 |  2872738 |    13217    484 |     1141 |        0
1553.24/1553.78	c 1553s |      23 |  3575858 |  2875538 |    13217    484 |     1141 |        0
1555.44/1555.91	c 1555s |      23 |  3579637 |  2878538 |    13217    484 |     1141 |        0
1557.43/1557.94	c 1557s |      23 |  3581822 |  2880438 |    13217    485 |     1141 |        0
1559.44/1559.98	c 1559s |      23 |  3585331 |  2883438 |    13217    485 |     1141 |        0
1561.44/1562.00	c 1561s |      23 |  3587952 |  2885838 |    13217    485 |     1141 |        0
1563.54/1564.03	c 1563s |      23 |  3590931 |  2888138 |    13217    486 |     1141 |        0
1565.74/1566.27	c 1566s |      23 |  3593641 |  2890638 |    13217    486 |     1141 |        0
1567.74/1568.28	c 1568s |      23 |  3597411 |  2893638 |    13217    486 |     1141 |        0
1569.84/1570.31	c 1570s |      23 |  3601402 |  2896938 |    13217    487 |     1141 |        0
1571.84/1572.31	c 1572s |      23 |  3605169 |  2899738 |    13217    487 |     1141 |        0
1573.84/1574.38	c 1574s |      23 |  3608514 |  2902638 |    13217    488 |     1141 |        0
1575.85/1576.38	c 1576s |      23 |  3612880 |  2906238 |    13217    488 |     1141 |        0
1577.94/1578.42	c 1578s |      23 |  3616819 |  2909638 |    13217    488 |     1141 |        0
1579.94/1580.42	c 1580s |      23 |  3620084 |  2912538 |    13217    489 |     1141 |        0
1581.94/1582.48	c 1582s |      23 |  3623566 |  2915638 |    13217    489 |     1141 |        0
1584.04/1584.52	c 1584s |      23 |  3626726 |  2918438 |    13217    490 |     1141 |        0
1586.04/1586.54	c 1586s |      23 |  3630418 |  2921138 |    13217    490 |     1141 |        0
1588.04/1588.59	c 1588s |      23 |  3634219 |  2924238 |    13217    490 |     1141 |        0
1590.04/1590.60	c 1590s |      23 |  3637547 |  2927138 |    13217    491 |     1141 |        0
1592.14/1592.62	c 1592s |      23 |  3640998 |  2930138 |    13217    491 |     1141 |        0
1594.24/1594.75	c 1594s |      23 |  3644626 |  2933238 |    13217    492 |     1141 |        0
1596.34/1596.81	c 1596s |      23 |  3648117 |  2936338 |    13217    492 |     1141 |        0
1598.34/1598.84	c 1598s |      23 |  3653209 |  2940638 |    13217    493 |     1141 |        0
1600.34/1600.85	c 1600s |      23 |  3658151 |  2944738 |    13217    493 |     1141 |        0
1602.44/1602.92	c 1602s |      23 |  3662734 |  2948738 |    13217    494 |     1141 |        0
1604.44/1604.95	c 1604s |      23 |  3666915 |  2952238 |    13217    494 |     1141 |        0
1606.43/1606.97	c 1606s |      23 |  3670662 |  2955338 |    13217    495 |     1141 |        0
1608.43/1608.97	c 1608s |      23 |  3675279 |  2959338 |    13217    495 |     1141 |        0
1610.63/1611.10	c 1610s |      23 |  3679478 |  2962838 |    13217    496 |     1141 |        0
1612.73/1613.27	c 1613s |      23 |  3682246 |  2965238 |    13217    496 |     1141 |        0
1614.83/1615.35	c 1615s |      23 |  3687490 |  2970138 |    13217    497 |     1141 |        0
1616.83/1617.37	c 1617s |      23 |  3692323 |  2974038 |    13217    497 |     1141 |        0
1618.93/1619.43	c 1619s |      23 |  3696498 |  2977338 |    13217    497 |     1141 |        0
1620.94/1621.44	c 1621s |      23 |  3699551 |  2979938 |    13217    498 |     1141 |        0
1622.93/1623.49	c 1623s |      23 |  3703115 |  2983038 |    13217    498 |     1141 |        0
1625.03/1625.52	c 1625s |      23 |  3706612 |  2985938 |    13217    499 |     1141 |        0
1627.03/1627.55	c 1627s |      23 |  3710546 |  2989338 |    13217    499 |     1141 |        0
1629.03/1629.56	c 1629s |      23 |  3713827 |  2992038 |    13217    499 |     1141 |        0
1631.03/1631.57	c 1631s |      23 |  3715736 |  2993638 |    13217    500 |     1141 |        0
1633.13/1633.61	c 1633s |      23 |  3717876 |  2995538 |    13217    500 |     1141 |        0
1635.13/1635.69	c 1635s |      23 |  3721606 |  2998838 |    13217    500 |     1141 |        0
1637.22/1637.70	c 1637s |      23 |  3725711 |  3002138 |    13217    501 |     1141 |        0
1639.22/1639.72	c 1639s |      23 |  3729824 |  3005438 |    13217    501 |     1141 |        0
1641.22/1641.76	c 1641s |      23 |  3733685 |  3008738 |    13217    502 |     1141 |        0
1643.22/1643.78	c 1643s |      23 |  3737403 |  3011738 |    13217    502 |     1141 |        0
1645.42/1645.90	c 1645s |      23 |  3741438 |  3015138 |    13217    503 |     1141 |        0
1647.43/1647.92	c 1647s |      23 |  3745632 |  3018338 |    13217    503 |     1141 |        0
1649.42/1649.99	c 1649s |      23 |  3749265 |  3021238 |    13217    503 |     1141 |        0
1651.52/1652.00	c 1651s |      23 |  3752509 |  3023838 |    13217    504 |     1141 |        0
1653.52/1654.06	c 1653s |      23 |  3756540 |  3027038 |    13217    504 |     1141 |        0
1655.62/1656.18	c 1656s |      23 |  3759926 |  3030038 |    13217    505 |     1141 |        0
1657.72/1658.20	c 1658s |      23 |  3763832 |  3033638 |    13217    505 |     1141 |        0
1659.72/1660.24	c 1660s |      23 |  3767201 |  3036638 |    13217    505 |     1141 |        0
1661.73/1662.24	c 1662s |      23 |  3771136 |  3040138 |    13217    506 |     1141 |        0
1663.72/1664.24	c 1664s |      23 |  3774511 |  3043238 |    13217    506 |     1141 |        0
1666.13/1666.69	c 1666s |      23 |  3776883 |  3045138 |    13217    507 |     1141 |        0
1668.23/1668.71	c 1668s |      23 |  3780508 |  3048338 |    13217    507 |     1141 |        0
1670.33/1670.85	c 1670s |      23 |  3783908 |  3051338 |    13217    507 |     1141 |        0
1672.32/1672.87	c 1672s |      23 |  3786924 |  3053738 |    13217    508 |     1141 |        0
1674.42/1674.90	c 1674s |      23 |  3790891 |  3057038 |    13217    508 |     1141 |        0
1676.62/1677.19	c 1677s |      23 |  3793826 |  3059738 |    13217    508 |     1141 |        0
1678.72/1679.23	c 1679s |      23 |  3798400 |  3064138 |    13217    509 |     1141 |        0
1680.72/1681.25	c 1681s |      23 |  3802059 |  3067638 |    13217    510 |     1141 |        0
1682.72/1683.29	c 1683s |      23 |  3807065 |  3072238 |    13217    510 |     1141 |        0
1685.02/1685.53	c 1685s |      23 |  3810893 |  3075938 |    13217    511 |     1141 |        0
1687.03/1687.56	c 1687s |      23 |  3815702 |  3080438 |    13217    511 |     1141 |        0
1689.02/1689.60	c 1689s |      23 |  3818525 |  3083138 |    13217    512 |     1141 |        0
1691.12/1691.65	c 1691s |      23 |  3822589 |  3087038 |    13217    512 |     1141 |        0
1693.22/1693.75	c 1693s |      23 |  3826074 |  3090138 |    13217    513 |     1141 |        0
1695.32/1695.80	c 1695s |      23 |  3829909 |  3093738 |    13217    513 |     1141 |        0
1697.32/1697.80	c 1697s |      23 |  3833154 |  3096638 |    13217    513 |     1141 |        0
1699.32/1699.83	c 1699s |      23 |  3836648 |  3100038 |    13217    514 |     1141 |        0
1701.32/1701.85	c 1701s |      23 |  3838267 |  3101538 |    13217    514 |     1141 |        0
1703.31/1703.87	c 1703s |      23 |  3842310 |  3105238 |    13217    515 |     1141 |        0
1705.41/1705.92	c 1705s |      23 |  3846494 |  3109038 |    13217    515 |     1141 |        0
1707.41/1707.95	c 1707s |      23 |  3850038 |  3112038 |    13217    515 |     1141 |        0
1709.41/1709.99	c 1709s |      23 |  3854251 |  3115838 |    13217    516 |     1141 |        0
1711.51/1712.00	c 1711s |      23 |  3858054 |  3119238 |    13217    516 |     1141 |        0
1713.92/1714.46	c 1714s |      23 |  3860890 |  3122038 |    13217    517 |     1141 |        0
1715.92/1716.46	c 1716s |      23 |  3865304 |  3126138 |    13217    517 |     1141 |        0
1717.92/1718.46	c 1718s |      23 |  3868736 |  3129138 |    13217    518 |     1141 |        0
1720.03/1720.51	c 1720s |      23 |  3872262 |  3132538 |    13217    518 |     1141 |        0
1722.13/1722.64	c 1722s |      23 |  3875311 |  3135438 |    13217    519 |     1141 |        0
1724.42/1724.98	c 1724s |      23 |  3877807 |  3137838 |    13217    519 |     1141 |        0
1726.52/1727.01	c 1726s |      23 |  3881549 |  3141338 |    13217    519 |     1141 |        0
1728.52/1729.01	c 1728s |      23 |  3884717 |  3144338 |    13217    520 |     1141 |        0
1730.52/1731.04	c 1730s |      23 |  3888028 |  3147538 |    13217    520 |     1141 |        0
1732.81/1733.32	c 1733s |      23 |  3890693 |  3150138 |    13217    521 |     1141 |        0
1734.81/1735.37	c 1735s |      23 |  3894334 |  3153638 |    13217    521 |     1141 |        0
1736.91/1737.41	c 1737s |      23 |  3897860 |  3157038 |    13217    521 |     1141 |        0
1739.11/1739.66	c 1739s |      23 |  3900599 |  3159638 |    13217    522 |     1141 |        0
1741.11/1741.67	c 1741s |      23 |  3904719 |  3163538 |    13217    522 |     1141 |        0
1743.12/1743.67	c 1743s |      23 |  3908492 |  3167138 |    13217    523 |     1141 |        0
1745.11/1745.67	c 1745s |      23 |  3912433 |  3170938 |    13217    523 |     1141 |        0
1747.71/1748.22	c 1748s |      23 |  3915246 |  3173638 |    13217    524 |     1141 |        0
1749.72/1750.27	c 1750s |      23 |  3919765 |  3177838 |    13217    524 |     1141 |        0
1751.82/1752.34	c 1752s |      23 |  3922518 |  3180438 |    13217    525 |     1141 |        0
1753.81/1754.36	c 1754s |      23 |  3927013 |  3184538 |    13217    525 |     1141 |        0
1755.91/1756.40	c 1756s |      23 |  3930077 |  3187438 |    13217    525 |     1141 |        0
1758.31/1758.86	c 1758s |      23 |  3933890 |  3191038 |    13217    526 |     1141 |        0
1760.41/1760.90	c 1760s |      23 |  3938183 |  3194938 |    13217    526 |     1141 |        0
1762.41/1762.94	c 1762s |      23 |  3942508 |  3198938 |    13217    527 |     1141 |        0
1764.50/1765.05	c 1764s |      23 |  3946296 |  3202538 |    13217    527 |     1141 |        0
1766.50/1767.07	c 1766s |      23 |  3949452 |  3205538 |    13217    528 |     1141 |        0
1768.51/1769.09	c 1768s |      23 |  3952544 |  3208438 |    13217    528 |     1141 |        0
1770.62/1771.12	c 1770s |      23 |  3955556 |  3211338 |    13217    529 |     1141 |        0
1772.61/1773.12	c 1772s |      23 |  3958126 |  3213738 |    13217    529 |     1141 |        0
1774.61/1775.16	c 1774s |      23 |  3961005 |  3216538 |    13217    529 |     1141 |        0
1776.61/1777.18	c 1777s |      23 |  3964191 |  3219638 |    13217    530 |     1141 |        0
1778.71/1779.20	c 1779s |      23 |  3969096 |  3224338 |    13217    530 |     1141 |        0
1780.81/1781.34	c 1781s |      23 |  3971992 |  3227138 |    13217    531 |     1141 |        0
1782.81/1783.36	c 1783s |      23 |  3975498 |  3230438 |    13217    531 |     1141 |        0
1784.81/1785.36	c 1785s |      23 |  3978432 |  3233138 |    13217    532 |     1141 |        0
1786.81/1787.38	c 1787s |      23 |  3984958 |  3239338 |    13217    532 |     1141 |        0
1789.21/1789.71	c 1789s |      23 |  3988928 |  3243038 |    13217    533 |     1141 |        0
1791.21/1791.74	c 1791s |      23 |  3993462 |  3247338 |    13217    533 |     1141 |        0
1793.21/1793.79	c 1793s |      23 |  3998669 |  3251938 |    13217    534 |     1141 |        0
1795.31/1795.84	c 1795s |      23 |  4002458 |  3255338 |    13217    535 |     1141 |        0
1797.30/1797.86	c 1797s |      23 |  4004121 |  3256838 |    13217    535 |     1141 |        0
1799.30/1799.87	c 1799s |      23 |  4008665 |  3260838 |    13217    535 |     1141 |        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-4101209-1466222351/watcher-4101209-1466222351 -o /tmp/evaluation-result-4101209-1466222351/solver-4101209-1466222351 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101209-1466222351.opb 

pid=15439
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.08 2.19 2.20 3/179 15442
/proc/meminfo: memFree=29331016/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=486844 CPUtime=0 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 1776 0 0 0 0 0 0 0 20 0 4 0 24281885 498528256 2137 33554432000 4194304 16246674 140733551032208 140733551031632 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 122479 2147 441 2943 0 119373 0
[pid=15442/tid=15443] ppid=15439 vsize=504252 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 516354048 2205 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=508348 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 520548352 2221 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=512444 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24281886 524742656 2237 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.08 2.19 2.20 3/179 15442
/proc/meminfo: memFree=29331016/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 24075 0 0 0 6 3 0 0 20 0 4 0 24281885 1249447936 24375 33554432000 4194304 16246674 140733551032208 140733551031520 6757370 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 305041 24390 834 2943 0 301935 0
[pid=15442/tid=15443] ppid=15439 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1249447936 24400 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1249447936 24410 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281886 1249447936 24415 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200565 s]
/proc/loadavg: 2.08 2.19 2.20 3/179 15442
/proc/meminfo: memFree=29331016/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1220164 CPUtime=0.18 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 49033 0 0 0 12 6 0 0 20 0 4 0 24281885 1249447936 49332 33554432000 4194304 16246674 140733551032208 140733551031520 5602147 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 305041 49335 884 2943 0 301935 0
[pid=15442/tid=15443] ppid=15439 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1249447936 49337 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1249447936 49339 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281886 1249447936 49340 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1220164

[startup+0.300508 s]
/proc/loadavg: 2.08 2.19 2.20 3/179 15442
/proc/meminfo: memFree=29331016/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1220164 CPUtime=0.28 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 56369 0 0 0 21 7 0 0 20 0 4 0 24281885 1249447936 56668 33554432000 4194304 16246674 140733551032208 140733551031520 5662075 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 305041 56671 887 2943 0 301935 0
[pid=15442/tid=15443] ppid=15439 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1249447936 56673 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1249447936 56675 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281886 1249447936 56677 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1220164

[startup+0.700414 s]
/proc/loadavg: 2.08 2.19 2.20 3/179 15442
/proc/meminfo: memFree=29331016/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1220164 CPUtime=0.68 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 88876 0 0 0 57 11 0 0 20 0 4 0 24281885 1249447936 89175 33554432000 4194304 16246674 140733551032208 140733551031520 5602147 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 305041 89179 887 2943 0 301935 0
[pid=15442/tid=15443] ppid=15439 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1249447936 89180 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1249447936 89182 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281886 1249447936 89183 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1220164

[startup+1.5004 s]
/proc/loadavg: 2.08 2.19 2.20 3/183 15446
/proc/meminfo: memFree=28812560/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1220164 CPUtime=1.48 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 168731 0 0 0 127 21 0 0 20 0 4 0 24281885 1249447936 169030 33554432000 4194304 16246674 140733551032208 140733551014080 5602147 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 305041 169033 888 2943 0 301935 0
[pid=15442/tid=15443] ppid=15439 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1249447936 169035 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1249447936 169038 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281886 1249447936 169041 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1220164

[startup+3.10041 s]
/proc/loadavg: 2.08 2.19 2.20 3/183 15446
/proc/meminfo: memFree=28356364/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1286724 CPUtime=3.09 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 262718 0 0 0 273 36 0 0 20 0 4 0 24281885 1317605376 263017 33554432000 4194304 16246674 140733551032208 140733551015208 5518912 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 321681 263017 893 2943 0 318575 0
[pid=15442/tid=15443] ppid=15439 vsize=1286724 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1317605376 263017 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1286724 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1317605376 263017 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1286724 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24281886 1317605376 263017 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1286724

[startup+6.30043 s]
/proc/loadavg: 2.07 2.18 2.19 3/183 15446
/proc/meminfo: memFree=28258720/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1311300 CPUtime=6.28 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 269022 0 0 0 592 36 0 0 20 0 4 0 24281885 1342771200 269321 33554432000 4194304 16246674 140733551032208 140733551014080 5675587 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 327825 269321 897 2943 0 324719 0
[pid=15442/tid=15443] ppid=15439 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1342771200 269321 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1342771200 269321 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24281886 1342771200 269321 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.06 2.18 2.19 3/183 15446
/proc/meminfo: memFree=28250676/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1317444 CPUtime=12.69 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 270558 0 0 0 1232 37 0 0 20 0 4 0 24281885 1349062656 270857 33554432000 4194304 16246674 140733551032208 140733551015208 12478198 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 329361 270857 897 2943 0 326255 0
[pid=15442/tid=15443] ppid=15439 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1349062656 270857 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1349062656 270857 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24281886 1349062656 270857 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1317444

[startup+25.5005 s]
/proc/loadavg: 2.13 2.19 2.19 3/183 15446
/proc/meminfo: memFree=28231552/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1336900 CPUtime=25.48 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 275422 0 0 0 2510 38 0 0 20 0 4 0 24281885 1368985600 275721 33554432000 4194304 16246674 140733551032208 140733551015208 13752941 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 334225 275721 897 2943 0 331119 0
[pid=15442/tid=15443] ppid=15439 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1368985600 275721 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1368985600 275721 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24281886 1368985600 275721 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1336900

[startup+51.1005 s]
/proc/loadavg: 2.16 2.19 2.19 4/184 15449
/proc/meminfo: memFree=28227404/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1338948 CPUtime=51.08 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 275934 0 0 0 5069 39 0 0 20 0 4 0 24281885 1371082752 276233 33554432000 4194304 16246674 140733551032208 140733551014080 13775064 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 334737 276233 897 2943 0 331631 0
[pid=15442/tid=15443] ppid=15439 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1371082752 276233 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1371082752 276233 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24281886 1371082752 276233 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1338948

[startup+102.3 s]
/proc/loadavg: 2.17 2.19 2.19 3/184 15450
/proc/meminfo: memFree=28227028/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1338948 CPUtime=102.27 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 275934 0 0 0 10188 39 0 0 20 0 4 0 24281885 1371082752 276233 33554432000 4194304 16246674 140733551032208 140733551014080 5522977 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 334737 276233 897 2943 0 331631 0
[pid=15442/tid=15443] ppid=15439 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1371082752 276233 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1371082752 276233 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24281886 1371082752 276233 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1338948


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

/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1372740

[startup+1362.3 s]
/proc/loadavg: 2.34 2.34 2.27 4/183 15552
/proc/meminfo: memFree=28241208/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1372740 CPUtime=1361.87 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 284743 0 0 0 136121 66 0 0 20 0 4 0 24281885 1405685760 284686 33554432000 4194304 16246674 140733551032208 140733551031304 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 343185 284686 899 2943 0 340079 0
[pid=15442/tid=15443] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1372740

[startup+1422.3 s]
/proc/loadavg: 2.35 2.33 2.27 4/183 15553
/proc/meminfo: memFree=28240948/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1372740 CPUtime=1421.86 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 284743 0 0 0 142120 66 0 0 20 0 4 0 24281885 1405685760 284686 33554432000 4194304 16246674 140733551032208 140733551014080 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 343185 284686 899 2943 0 340079 0
[pid=15442/tid=15443] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1372740

[startup+1482.3 s]
/proc/loadavg: 2.29 2.32 2.27 3/183 15555
/proc/meminfo: memFree=28240668/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1372740 CPUtime=1481.85 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 284743 0 0 0 148118 67 0 0 20 0 4 0 24281885 1405685760 284686 33554432000 4194304 16246674 140733551032208 140733551014080 5976032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 343185 284686 899 2943 0 340079 0
[pid=15442/tid=15443] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1372740

[startup+1542.31 s]
/proc/loadavg: 2.36 2.33 2.28 3/183 15556
/proc/meminfo: memFree=28241668/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1372740 CPUtime=1541.85 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 284743 0 0 0 154116 69 0 0 20 0 4 0 24281885 1405685760 284686 33554432000 4194304 16246674 140733551032208 140733551015208 6020573 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 343185 284686 899 2943 0 340079 0
[pid=15442/tid=15443] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1372740

[startup+1602.3 s]
/proc/loadavg: 2.45 2.36 2.28 4/183 15557
/proc/meminfo: memFree=28241424/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1372740 CPUtime=1601.84 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 284743 0 0 0 160114 70 0 0 20 0 4 0 24281885 1405685760 284686 33554432000 4194304 16246674 140733551032208 140733551014080 12875485 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 343185 284686 899 2943 0 340079 0
[pid=15442/tid=15443] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1372740

[startup+1662.3 s]
/proc/loadavg: 2.16 2.29 2.26 3/183 15558
/proc/meminfo: memFree=28241556/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1372740 CPUtime=1661.82 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 284743 0 0 0 166112 70 0 0 20 0 4 0 24281885 1405685760 284686 33554432000 4194304 16246674 140733551032208 140733551014080 4206674 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 343185 284686 899 2943 0 340079 0
[pid=15442/tid=15443] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1372740

[startup+1722.3 s]
/proc/loadavg: 2.25 2.28 2.26 3/183 15559
/proc/meminfo: memFree=28241800/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1372740 CPUtime=1721.82 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 284743 0 0 0 172110 72 0 0 20 0 4 0 24281885 1405685760 284686 33554432000 4194304 16246674 140733551032208 140733551014080 5822756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 343185 284686 899 2943 0 340079 0
[pid=15442/tid=15443] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24281886 1405685760 284686 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1372740

[startup+1782.3 s]
/proc/loadavg: 2.23 2.27 2.26 4/183 15561
/proc/meminfo: memFree=28231140/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1382980 CPUtime=1781.81 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 287303 0 0 0 178108 73 0 0 20 0 4 0 24281885 1416171520 287246 33554432000 4194304 16246674 140733551032208 140733551031304 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 345745 287246 899 2943 0 342639 0
[pid=15442/tid=15443] ppid=15439 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1416171520 287246 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1416171520 287246 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24281886 1416171520 287246 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1382980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.31 2.29 2.27 3/183 15561
/proc/meminfo: memFree=28231268/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1382980 CPUtime=1800 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 287303 0 0 0 179927 73 0 0 20 0 4 0 24281885 1416171520 287246 33554432000 4194304 16246674 140733551032208 140733551014080 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 345745 287246 899 2943 0 342639 0
[pid=15442/tid=15443] ppid=15439 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1416171520 287246 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1416171520 287246 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24281886 1416171520 287246 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1382980

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

[startup+1800.5 s]
/proc/loadavg: 2.31 2.29 2.27 3/183 15561
/proc/meminfo: memFree=28231268/32872528 swapFree=1286400/1433568
[pid=15442] ppid=15439 vsize=1382980 CPUtime=1800 cores=0,2,4,6
/proc/15442/stat : 15442 (toysat) R 15439 15442 12983 0 -1 4202496 287303 0 0 0 179927 73 0 0 20 0 4 0 24281885 1416171520 287246 33554432000 4194304 16246674 140733551032208 140733551014080 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15442/statm: 345745 287246 899 2943 0 342639 0
[pid=15442/tid=15443] ppid=15439 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15443/stat : 15443 (toysat) S 15439 15442 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281886 1416171520 287246 33554432000 4194304 16246674 140733551032208 139976310238448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=15442/tid=15444] ppid=15439 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15444/stat : 15444 (toysat) S 15439 15442 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281886 1416171520 287246 33554432000 4194304 16246674 140733551032208 139976299748592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15442/tid=15445] ppid=15439 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/15442/task/15445/stat : 15445 (toysat) S 15439 15442 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24281886 1416171520 287246 33554432000 4194304 16246674 140733551032208 139976289275056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1382980

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.28
CPU system time (s): 0.734888
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1382980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.734888
maximum resident set size= 1148984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287303
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= 376
involuntary context switches= 1875

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6291 second user time and 15.6056 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 05:59:11
IDJOB=4101209
IDBENCH=1714
IDSOLVER=2542
FILE ID=node130/4101209-1466222351
RUNJOBID= node130-1466206066-12999
PBS_JOBID= 19918147
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 898083402c7ca4355f8e4024f5c352c7
RANDOM SEED=1415740479

node130.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.365
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.73
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.365
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.365
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.365
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.365
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.365
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.53
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.365
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.56
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.365
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:        29331016 kB
Buffers:          100312 kB
Cached:           121016 kB
SwapCached:         1804 kB
Active:          1240712 kB
Inactive:         127336 kB
Active(anon):    1147396 kB
Inactive(anon):     1604 kB
Active(file):      93316 kB
Inactive(file):   125732 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67099028 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2579472 kB
Mapped:            10712 kB
Shmem:                 0 kB
Slab:             602308 kB
SReclaimable:      45844 kB
SUnreclaim:       556464 kB
KernelStack:        1488 kB
PageTables:         8836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2725152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71712 MiB
End job on node130 at 2016-06-18 06:29:12