Trace number 4101449

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.09 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-fixnet3.opb
MD5SUM33434aafd8d2cc52b903fb501d38927b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables14036
Total number of constraints600
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 constraints600
Minimum length of a constraint19
Maximum length of a constraint1523
Number of terms in the objective function 13946
Biggest coefficient in the objective function 1187
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 535685
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262020
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 535685
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-18T06:29:24+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-4101449-1466224164.opb"]
0.00/0.01	c use --random-gen="105642584 489219994 1127808974 2164239534 3933750870 3976184731 1909108313 4023387356 1591286976 2029676258 1784037213 208291717 2553666239 2349404887 260392812 3662364946 4263717718 1986112773 1476721053 312522671 1425798639 3163883294 647571442 303181588 2306280672 1096385017 1157495116 1222561544 2033189465 652085553 2842543719 3894960626 1840418453 486833382 507578766 341826505 3694357555 2342335545 1778582775 4077726392 534854878 4108499808 2095156798 1030774683 788683987 1459651153 58434243 1365125837 4142499189 470404631 1174271121 1089714714 520883552 3312743611 1455841589 3690123069 550686108 1854096806 513350488 3839857822 4084816852 3740767751 4215637225 2271637510 707813773 2081288818 1656670518 3025001941 3883607312 707943492 806666976 4248561433 2817696096 2840968991 3395910756 3488139035 658027118 3050526587 1619695410 1503389640 425346316 466856854 1011322934 91253545 1044644710 1051590455 3090016700 3160433791 1519420726 3414713388 712290697 2186845696 851460094 1599168448 959092692 3331118274 3524781692 1377597190 2537429530 1765962280 3335341088 1140551914 2309730445 1098419210 1103007697 1373413243 2201364348 1136518734 752399127 3462651822 3885007477 3042910734 3466654327 317785177 1242584550 2630466640 3421321337 3558827218 105531877 301316232 994072238 725310022 3953043227 2134710919 2316762074 3516276594 1101726776 2426225988 693048595 1946833349 3060571324 1973292848 2348639816 2579049489 1006785004 2542186813 1687248461 1380430163 339416251 3774213976 197951678 4052682297 4199440732 853468794 2260714451 213106751 2516407227 1135938655 2184750578 2359655789 4139329853 3076090831 1468896256 1937617918 577570887 3003026936 2851588771 253177910 3497988716 1972901203 1737282326 3815256696 3873921216 1537318107 235875884 1827720238 4270855595 2508095343 891792150 100713293 2173024521 318950173 1864147495 357671763 3661254717 2784720512 2401103082 394291638 2726587408 813593012 2101581256 799471115 266845513 2358451583 1322083579 3974282936 2167056087 4059195109 2236579531 64381448 2990390871 3542556709 4289088396 404520032 3218992021 2204999266 1393253670 557422317 4175023887 555655832 713735538 1896118438 2370896622 1428257528 212902281 1394570829 3803778434 3958026580 2654011551 2107209767 3798070563 3107649311 3475764605 522078572 2647260327 3308930071 4126602478 2717485420 3927466640 2095141351 2333102121 887623568 1261482161 2575783341 2308563376 2310839902 3549457979 1261145159 502831122 1729936805 1105895227 3422768253 3062113794 1272855130 2399907479 4261576978 3177011740 730010253 4127545794 2121542486 3433560745 2341087904 2880881740 1450339500 1891100950 3585361099 3498022710 615136550 989315298 1098619740 2113548202 1381718935 543520369 2768797438 1679536096 2731659383 255 362436" option to reproduce the execution
0.09/0.13	c #vars 14036
0.09/0.13	c #constraints 600
0.49/0.50	c BCD2: Hardening is enabled.
0.49/0.50	c BCD2: BiasedSearch is enabled.
0.49/0.50	c Solving starts ...
0.49/0.50	c ============================[ Search Statistics ]============================
0.49/0.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.50	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.50	c =============================================================================
0.49/0.52	c  0.0s |       0 |        0 |        0 |     4912      0 |     6234 |        0
0.69/0.76	c  0.2s |       1 |      982 |      100 |     4912      0 |     6234 |      105
1.19/1.25	c  0.7s |       2 |     1553 |      250 |     5404      0 |     6234 |      105
1.99/2.04	c  1.5s |       3 |     2072 |      475 |     5945      0 |     6234 |      105
2.99/3.04	c  2.5s |       4 |     3044 |      813 |     6540      0 |     6234 |      105
4.28/4.37	c  3.8s |       5 |     4340 |     1320 |     7195      0 |     6234 |      105
6.89/6.98	c  6.5s |       5 |     6391 |     1720 |     7915      0 |     6234 |      105
9.48/9.57	c  9.0s |       5 |     6714 |     2020 |     7915      0 |     6234 |      105
9.99/10.05	c  9.5s |       6 |     6773 |     2081 |     8707      0 |     6234 |      105
12.19/12.28	c 11.8s |       6 |    10015 |     2681 |     8707      0 |     6234 |      105
14.68/14.72	c 14.2s |       6 |    11752 |     3181 |     8707      0 |     6234 |      105
14.88/14.92	c 14.4s |       7 |    11863 |     3223 |     9578      0 |     6234 |      105
17.38/17.45	c 16.9s |       7 |    13534 |     3623 |     9578      0 |     6234 |      105
19.98/20.04	c 19.5s |       7 |    13930 |     4023 |     9578      0 |     6234 |      105
22.58/22.60	c 22.1s |       7 |    14331 |     4423 |     9578      0 |     6234 |      105
25.08/25.18	c 24.7s |       7 |    14733 |     4823 |     9578      0 |     6234 |      105
25.88/25.93	c 25.4s |       8 |    14841 |     4936 |    10536      0 |     6234 |      105
28.48/28.59	c 28.1s |       8 |    18518 |     5236 |    10536      0 |     6234 |      105
30.79/30.88	c 30.4s |       8 |    20124 |     5536 |    10536      0 |     6234 |      105
33.09/33.12	c 32.6s |       8 |    20832 |     5836 |    10536      0 |     6234 |      105
35.19/35.29	c 34.8s |       8 |    21834 |     6136 |    10536      0 |     6234 |      105
37.58/37.63	c 37.1s |       8 |    22486 |     6436 |    10536      0 |     6234 |      105
39.88/39.97	c 39.4s |       8 |    23274 |     6736 |    10536      0 |     6234 |      105
42.18/42.20	c 41.7s |       8 |    24019 |     7036 |    10536      0 |     6234 |      105
44.48/44.56	c 44.0s |       8 |    24601 |     7336 |    10536      0 |     6234 |      105
45.88/45.94	c 45.4s |       9 |    24902 |     7506 |    11590      0 |     6234 |      105
48.28/48.32	c 47.8s |       9 |    27263 |     8106 |    11590      0 |     6234 |      105
50.58/50.65	c 50.1s |       9 |    27864 |     8606 |    11590      0 |     6234 |      105
52.78/52.82	c 52.3s |       9 |    28339 |     9006 |    11590      0 |     6234 |      105
55.08/55.14	c 54.6s |       9 |    28939 |     9506 |    11590      0 |     6234 |      105
57.58/57.65	c 57.1s |       9 |    29518 |    10006 |    11590      0 |     6234 |      105
59.88/59.92	c 59.4s |       9 |    29941 |    10406 |    11590      0 |     6234 |      105
62.18/62.27	c 61.7s |       9 |    30367 |    10806 |    11590      0 |     6234 |      105
64.68/64.78	c 64.3s |       9 |    30775 |    11206 |    11590      0 |     6234 |      105
65.48/65.55	c 65.0s |      10 |    30974 |    11361 |    12750      0 |     6234 |      105
67.57/67.69	c 67.2s |      10 |    32688 |    11561 |    12750      0 |     6234 |      105
70.07/70.12	c 69.6s |      10 |    33281 |    11761 |    12750      0 |     6234 |      105
72.58/72.61	c 72.1s |      10 |    33695 |    11961 |    12750      0 |     6234 |      105
74.97/75.08	c 74.6s |      10 |    34215 |    12161 |    12750      0 |     6234 |      105
77.37/77.41	c 76.9s |      10 |    34935 |    12361 |    12750      0 |     6234 |      105
79.77/79.86	c 79.3s |      10 |    35531 |    12561 |    12750      0 |     6234 |      105
82.07/82.19	c 81.7s |      10 |    36158 |    12761 |    12750      0 |     6234 |      105
84.78/84.84	c 84.3s |      10 |    36586 |    12961 |    12750      0 |     6234 |      105
87.67/87.78	c 87.3s |      10 |    36791 |    13161 |    12750      0 |     6234 |      105
90.57/90.67	c 90.1s |      10 |    36999 |    13361 |    12750      0 |     6234 |      105
93.27/93.39	c 92.9s |      10 |    37223 |    13561 |    12750      0 |     6234 |      105
95.78/95.83	c 95.3s |      10 |    37838 |    13761 |    12750      0 |     6234 |      105
98.07/98.15	c 97.6s |      10 |    38475 |    13961 |    12750      0 |     6234 |      105
100.47/100.50	c 100.0s |      10 |    39428 |    14161 |    12750      0 |     6234 |      105
102.97/103.01	c  102s |      10 |    40026 |    14361 |    12750      0 |     6234 |      105
105.47/105.51	c  104s |      10 |    40678 |    14561 |    12750      0 |     6234 |      105
107.77/107.82	c  107s |      10 |    41328 |    14761 |    12750      0 |     6234 |      105
110.37/110.43	c  109s |      10 |    41719 |    14961 |    12750      0 |     6234 |      105
112.87/112.95	c  112s |      10 |    42361 |    15161 |    12750      0 |     6234 |      105
115.27/115.34	c  114s |      10 |    42925 |    15361 |    12750      0 |     6234 |      105
117.77/117.82	c  117s |      10 |    43612 |    15561 |    12750      0 |     6234 |      105
120.16/120.28	c  119s |      10 |    44100 |    15761 |    12750      0 |     6234 |      105
122.56/122.66	c  122s |      10 |    44703 |    15961 |    12750      0 |     6234 |      105
125.26/125.38	c  124s |      10 |    44988 |    16161 |    12750      0 |     6234 |      105
128.06/128.13	c  127s |      10 |    45209 |    16361 |    12750      0 |     6234 |      105
130.76/130.86	c  130s |      10 |    45437 |    16561 |    12750      0 |     6234 |      105
133.46/133.57	c  133s |      10 |    45691 |    16761 |    12750      0 |     6234 |      105
136.26/136.32	c  135s |      10 |    45916 |    16961 |    12750      0 |     6234 |      105
138.76/138.86	c  138s |      11 |    46129 |    17144 |    14026      0 |     6234 |      105
141.16/141.25	c  140s |      11 |    48433 |    17444 |    14026      0 |     6234 |      105
143.16/143.27	c  142s |      11 |    48956 |    17744 |    14026      0 |     6234 |      105
145.46/145.57	c  145s |      11 |    49483 |    18144 |    14026      0 |     6234 |      105
147.66/147.73	c  147s |      11 |    49803 |    18444 |    14026      0 |     6234 |      105
149.76/149.89	c  149s |      11 |    50151 |    18744 |    14026      0 |     6234 |      105
152.16/152.27	c  151s |      11 |    51006 |    19044 |    14026      0 |     6234 |      105
154.66/154.75	c  154s |      11 |    51875 |    19344 |    14026      0 |     6234 |      105
156.97/157.09	c  156s |      11 |    52468 |    19644 |    14026      0 |     6234 |      105
159.37/159.46	c  158s |      11 |    53040 |    19944 |    14026      0 |     6234 |      105
161.57/161.65	c  161s |      11 |    53367 |    20244 |    14026      0 |     6234 |      105
163.87/163.98	c  163s |      11 |    53902 |    20544 |    14026      0 |     6234 |      105
166.37/166.45	c  165s |      11 |    54543 |    20844 |    14026      0 |     6234 |      105
168.77/168.86	c  168s |      11 |    55128 |    21144 |    14026      0 |     6234 |      105
171.07/171.15	c  170s |      11 |    55484 |    21444 |    14026      0 |     6234 |      105
173.37/173.48	c  172s |      11 |    56085 |    21744 |    14026      0 |     6234 |      105
175.87/175.97	c  175s |      11 |    56775 |    22044 |    14026      0 |     6234 |      105
178.46/178.50	c  177s |      11 |    57317 |    22344 |    14026      0 |     6234 |      105
180.96/181.02	c  180s |      11 |    57699 |    22644 |    14026      0 |     6234 |      105
183.46/183.53	c  183s |      11 |    58333 |    22944 |    14026      0 |     6234 |      105
186.06/186.19	c  185s |      11 |    58955 |    23244 |    14026      0 |     6234 |      105
188.56/188.69	c  188s |      11 |    59523 |    23544 |    14026      0 |     6234 |      105
191.06/191.16	c  190s |      11 |    60081 |    23844 |    14026      0 |     6234 |      105
193.67/193.71	c  193s |      11 |    60757 |    24144 |    14026      0 |     6234 |      105
196.06/196.16	c  195s |      11 |    61493 |    24444 |    14026      0 |     6234 |      105
198.66/198.70	c  198s |      11 |    62370 |    24744 |    14026      0 |     6234 |      105
201.16/201.26	c  200s |      11 |    63162 |    25044 |    14026      0 |     6234 |      105
203.76/203.87	c  203s |      11 |    63889 |    25344 |    14026      0 |     6234 |      105
206.46/206.51	c  205s |      11 |    64425 |    25644 |    14026      0 |     6234 |      105
207.97/208.03	c  207s |      12 |    64885 |    25819 |    15429      0 |     6234 |      105
210.26/210.32	c  209s |      12 |    69466 |    26219 |    15429      1 |     6234 |      105
212.56/212.64	c  212s |      12 |    70443 |    26719 |    15429      1 |     6234 |      105
215.06/215.14	c  214s |      12 |    71552 |    27119 |    15429      1 |     6234 |      105
217.36/217.47	c  216s |      12 |    72363 |    27519 |    15429      1 |     6234 |      105
220.36/220.46	c  219s |      12 |    72980 |    27919 |    15429      1 |     6234 |      105
222.86/222.93	c  222s |      12 |    73928 |    28419 |    15429      1 |     6234 |      105
225.26/225.37	c  224s |      12 |    74743 |    28819 |    15429      1 |     6234 |      105
227.46/227.55	c  227s |      12 |    75901 |    29219 |    15429      1 |     6234 |      105
229.76/229.89	c  229s |      12 |    76459 |    29519 |    15429      1 |     6234 |      105
231.86/231.94	c  231s |      12 |    77250 |    29819 |    15429      1 |     6234 |      105
234.36/234.44	c  233s |      12 |    78327 |    30219 |    15429      1 |     6234 |      105
236.76/236.81	c  236s |      12 |    79173 |    30619 |    15429      1 |     6234 |      105
238.96/239.00	c  238s |      12 |    80234 |    31019 |    15429      1 |     6234 |      105
241.36/241.42	c  240s |      12 |    81008 |    31419 |    15429      1 |     6234 |      105
243.85/243.96	c  243s |      12 |    81722 |    31819 |    15429      1 |     6234 |      105
246.15/246.26	c  245s |      12 |    82614 |    32219 |    15429      1 |     6234 |      105
248.66/248.77	c  248s |      12 |    83322 |    32619 |    15429      1 |     6234 |      105
250.76/250.81	c  250s |      12 |    83966 |    32919 |    15429      1 |     6234 |      105
252.75/252.84	c  252s |      12 |    84348 |    33119 |    15429      1 |     6234 |      105
254.85/254.94	c  254s |      12 |    84664 |    33319 |    15429      1 |     6234 |      105
257.25/257.38	c  256s |      12 |    85175 |    33619 |    15429      1 |     6234 |      105
259.95/260.01	c  259s |      12 |    85760 |    33919 |    15429      1 |     6234 |      105
262.45/262.50	c  261s |      12 |    86130 |    34119 |    15429      1 |     6234 |      105
265.45/265.59	c  265s |      12 |    86609 |    34419 |    15429      1 |     6234 |      105
268.55/268.61	c  268s |      12 |    87437 |    34719 |    15429      1 |     6234 |      105
271.35/271.42	c  270s |      12 |    87914 |    35019 |    15429      1 |     6234 |      105
273.75/273.88	c  273s |      12 |    88573 |    35319 |    15429      1 |     6234 |      105
275.85/275.96	c  275s |      12 |    88972 |    35519 |    15429      1 |     6234 |      105
278.36/278.40	c  277s |      12 |    89387 |    35719 |    15429      1 |     6234 |      105
280.35/280.46	c  279s |      12 |    89899 |    35919 |    15429      1 |     6234 |      105
283.25/283.34	c  282s |      12 |    90741 |    36219 |    15429      1 |     6234 |      105
286.06/286.10	c  285s |      12 |    90956 |    36419 |    15429      1 |     6234 |      105
288.85/288.90	c  288s |      12 |    91140 |    36619 |    15429      1 |     6234 |      105
292.05/292.13	c  291s |      12 |    92097 |    36919 |    15429      1 |     6234 |      105
294.55/294.61	c  294s |      12 |    93322 |    37219 |    15429      1 |     6234 |      105
297.75/297.80	c  297s |      12 |    93682 |    37419 |    15429      1 |     6234 |      105
300.65/300.72	c  300s |      12 |    93950 |    37619 |    15429      1 |     6234 |      105
303.55/303.61	c  303s |      12 |    94263 |    37819 |    15429      1 |     6234 |      105
305.54/305.69	c  305s |      12 |    94570 |    38019 |    15429      1 |     6234 |      105
308.05/308.15	c  307s |      12 |    95304 |    38319 |    15429      1 |     6234 |      105
310.84/310.95	c  310s |      12 |    95512 |    38519 |    15429      1 |     6234 |      105
313.84/313.96	c  313s |      12 |    95730 |    38719 |    16972      1 |     6234 |      105
315.34/315.40	c  314s |      13 |    95841 |    38832 |    16972      1 |     6234 |      105
317.34/317.42	c  316s |      13 |   101026 |    39032 |    16972      2 |     6234 |      105
320.34/320.50	c  319s |      13 |   102283 |    39332 |    16972      2 |     6234 |      105
323.24/323.40	c  322s |      13 |   102546 |    39532 |    16972      2 |     6234 |      105
326.24/326.32	c  325s |      13 |   102774 |    39732 |    16972      2 |     6234 |      105
328.54/328.66	c  328s |      13 |   103073 |    39932 |    16972      2 |     6234 |      105
330.94/331.01	c  330s |      13 |   103361 |    40132 |    16972      2 |     6234 |      105
333.14/333.23	c  332s |      13 |   103616 |    40332 |    16972      2 |     6234 |      105
335.34/335.42	c  334s |      13 |   103855 |    40532 |    16972      2 |     6234 |      105
338.04/338.17	c  337s |      13 |   104281 |    40832 |    16972      2 |     6234 |      105
340.64/340.76	c  340s |      13 |   104744 |    41132 |    16972      2 |     6234 |      105
343.24/343.39	c  342s |      13 |   105555 |    41432 |    16972      2 |     6234 |      105
345.44/345.53	c  345s |      13 |   105996 |    41632 |    16972      2 |     6234 |      105
348.23/348.39	c  347s |      13 |   106711 |    41932 |    16972      2 |     6234 |      105
350.73/350.88	c  350s |      13 |   107138 |    42132 |    16972      2 |     6234 |      105
353.63/353.70	c  353s |      13 |   107379 |    42332 |    16972      2 |     6234 |      105
355.93/356.05	c  355s |      13 |   107680 |    42532 |    16972      2 |     6234 |      105
358.13/358.25	c  357s |      13 |   108004 |    42732 |    16972      2 |     6234 |      105
360.43/360.58	c  360s |      13 |   108322 |    42932 |    16972      2 |     6234 |      105
362.73/362.86	c  362s |      13 |   108619 |    43132 |    16972      2 |     6234 |      105
365.53/365.66	c  365s |      13 |   109001 |    43432 |    16972      2 |     6234 |      105
368.33/368.45	c  367s |      13 |   109440 |    43732 |    16972      2 |     6234 |      105
370.92/371.02	c  370s |      13 |   110197 |    44032 |    16972      2 |     6234 |      105
373.52/373.64	c  373s |      13 |   111029 |    44332 |    16972      2 |     6234 |      105
375.92/376.05	c  375s |      13 |   111734 |    44632 |    16972      2 |     6234 |      105
378.72/378.86	c  378s |      13 |   112379 |    44932 |    16972      2 |     6234 |      105
381.12/381.22	c  380s |      13 |   112691 |    45132 |    16972      2 |     6234 |      105
383.22/383.31	c  382s |      13 |   112972 |    45332 |    16972      2 |     6234 |      105
385.22/385.35	c  384s |      13 |   113263 |    45532 |    16972      2 |     6234 |      105
387.52/387.61	c  387s |      13 |   113609 |    45732 |    16972      2 |     6234 |      105
390.32/390.45	c  389s |      13 |   113860 |    45932 |    16972      2 |     6234 |      105
393.32/393.49	c  392s |      13 |   114078 |    46132 |    16972      2 |     6234 |      105
396.62/396.70	c  396s |      13 |   114283 |    46332 |    16972      2 |     6234 |      105
399.42/399.54	c  399s |      13 |   114502 |    46532 |    16972      2 |     6234 |      105
402.21/402.38	c  401s |      13 |   114714 |    46732 |    16972      2 |     6234 |      105
404.82/404.97	c  404s |      13 |   114932 |    46932 |    16972      2 |     6234 |      105
407.61/407.78	c  407s |      13 |   115165 |    47132 |    16972      2 |     6234 |      105
410.51/410.63	c  410s |      13 |   115411 |    47332 |    16972      2 |     6234 |      105
413.21/413.33	c  412s |      13 |   115650 |    47532 |    16972      2 |     6234 |      105
415.72/415.85	c  415s |      13 |   115938 |    47732 |    16972      2 |     6234 |      105
418.71/418.81	c  418s |      13 |   116163 |    47932 |    16972      2 |     6234 |      105
421.32/421.49	c  420s |      13 |   116408 |    48132 |    16972      2 |     6234 |      105
424.01/424.12	c  423s |      13 |   116667 |    48332 |    16972      2 |     6234 |      105
426.81/426.99	c  426s |      13 |   116894 |    48532 |    16972      2 |     6234 |      105
429.81/429.98	c  429s |      13 |   117111 |    48732 |    16972      2 |     6234 |      105
432.81/432.94	c  432s |      13 |   117338 |    48932 |    16972      2 |     6234 |      105
435.61/435.78	c  435s |      13 |   117555 |    49132 |    16972      2 |     6234 |      105
438.40/438.58	c  438s |      13 |   117794 |    49332 |    16972      2 |     6234 |      105
441.01/441.10	c  440s |      13 |   118084 |    49532 |    16972      2 |     6234 |      105
443.50/443.66	c  443s |      13 |   118329 |    49732 |    16972      2 |     6234 |      105
446.30/446.46	c  445s |      13 |   118550 |    49932 |    16972      2 |     6234 |      105
449.00/449.18	c  448s |      13 |   118771 |    50132 |    16972      2 |     6234 |      105
451.50/451.66	c  451s |      13 |   119020 |    50332 |    16972      2 |     6234 |      105
453.70/453.82	c  453s |      13 |   119268 |    50532 |    16972      2 |     6234 |      105
456.00/456.13	c  455s |      13 |   119787 |    50732 |    16972      2 |     6234 |      105
458.61/458.72	c  458s |      13 |   120132 |    50932 |    16972      2 |     6234 |      105
461.30/461.48	c  460s |      13 |   120414 |    51132 |    16972      2 |     6234 |      105
463.80/463.96	c  463s |      13 |   120879 |    51332 |    16972      2 |     6234 |      105
466.20/466.35	c  465s |      13 |   121375 |    51532 |    16972      2 |     6234 |      105
468.60/468.78	c  468s |      13 |   121914 |    51732 |    16972      2 |     6234 |      105
471.10/471.27	c  470s |      13 |   122290 |    51932 |    16972      2 |     6234 |      105
473.70/473.85	c  473s |      13 |   122663 |    52132 |    16972      2 |     6234 |      105
476.30/476.41	c  475s |      13 |   123029 |    52332 |    16972      2 |     6234 |      105
478.80/478.96	c  478s |      13 |   123546 |    52532 |    16972      2 |     6234 |      105
481.60/481.74	c  481s |      13 |   123984 |    52732 |    16972      2 |     6234 |      105
484.10/484.24	c  483s |      13 |   124430 |    52932 |    16972      2 |     6234 |      105
486.70/486.86	c  486s |      13 |   124764 |    53132 |    16972      2 |     6234 |      105
489.09/489.28	c  488s |      13 |   125225 |    53332 |    16972      2 |     6234 |      105
491.60/491.76	c  491s |      13 |   125636 |    53532 |    16972      2 |     6234 |      105
494.19/494.34	c  493s |      13 |   126087 |    53732 |    16972      2 |     6234 |      105
496.99/497.14	c  496s |      13 |   126507 |    53932 |    16972      2 |     6234 |      105
499.79/499.95	c  499s |      13 |   126887 |    54132 |    16972      2 |     6234 |      105
502.49/502.69	c  502s |      13 |   127248 |    54332 |    16972      2 |     6234 |      105
505.09/505.28	c  504s |      13 |   127772 |    54532 |    16972      2 |     6234 |      105
507.69/507.88	c  507s |      13 |   128115 |    54732 |    16972      2 |     6234 |      105
510.49/510.64	c  510s |      13 |   128525 |    54932 |    16972      2 |     6234 |      105
513.19/513.39	c  512s |      13 |   128867 |    55132 |    16972      2 |     6234 |      105
515.89/516.07	c  515s |      13 |   129207 |    55332 |    16972      2 |     6234 |      105
518.49/518.66	c  518s |      13 |   129494 |    55532 |    16972      2 |     6234 |      105
520.98/521.12	c  520s |      13 |   129871 |    55732 |    16972      2 |     6234 |      105
523.59/523.78	c  523s |      13 |   130230 |    55932 |    16972      2 |     6234 |      105
526.18/526.30	c  525s |      13 |   130649 |    56132 |    16972      2 |     6234 |      105
528.68/528.81	c  528s |      13 |   131128 |    56332 |    16972      2 |     6234 |      105
531.29/531.45	c  530s |      13 |   131488 |    56532 |    16972      2 |     6234 |      105
534.27/534.42	c  533s |      13 |   131838 |    56732 |    16972      3 |     6234 |      105
536.78/536.95	c  536s |      13 |   132222 |    56932 |    16972      3 |     6234 |      105
539.27/539.45	c  538s |      13 |   132665 |    57132 |    16972      3 |     6234 |      105
541.87/542.02	c  541s |      13 |   133015 |    57332 |    16972      3 |     6234 |      105
544.27/544.50	c  543s |      13 |   133365 |    57532 |    16972      3 |     6234 |      105
546.87/547.08	c  546s |      13 |   133769 |    57732 |    16972      3 |     6234 |      105
549.37/549.59	c  549s |      13 |   134141 |    57932 |    16972      3 |     6234 |      105
551.87/552.08	c  551s |      13 |   134577 |    58132 |    18670      3 |     6234 |      105
554.37/554.54	c  554s |      13 |   135093 |    58332 |    18670      3 |     6234 |      105
554.57/554.79	c  554s |      14 |   135139 |    58352 |    18670      3 |     6234 |      105
556.67/556.89	c  556s |      14 |   139387 |    59152 |    18670      3 |     6234 |      105
558.87/559.02	c  558s |      14 |   140470 |    60152 |    18670      3 |     6234 |      105
560.87/561.08	c  560s |      14 |   141608 |    61152 |    18670      3 |     6234 |      105
563.07/563.21	c  562s |      14 |   142751 |    62152 |    18670      3 |     6234 |      105
565.16/565.31	c  564s |      14 |   143910 |    63152 |    18670      3 |     6234 |      105
567.36/567.52	c  566s |      14 |   144876 |    64052 |    18670      3 |     6234 |      105
569.46/569.69	c  569s |      14 |   145880 |    64952 |    18670      3 |     6234 |      105
571.66/571.88	c  571s |      14 |   146957 |    65852 |    18670      3 |     6234 |      105
573.66/573.90	c  573s |      14 |   147976 |    66752 |    18670      3 |     6234 |      105
575.96/576.12	c  575s |      14 |   148964 |    67652 |    18670      3 |     6234 |      105
578.06/578.22	c  577s |      14 |   149731 |    68352 |    18670      3 |     6234 |      105
580.36/580.50	c  579s |      14 |   150594 |    69152 |    18670      3 |     6234 |      105
582.36/582.54	c  582s |      14 |   151454 |    69952 |    18670      3 |     6234 |      105
584.46/584.66	c  584s |      14 |   152330 |    70752 |    18670      3 |     6234 |      105
586.66/586.86	c  586s |      14 |   153240 |    71552 |    18670      3 |     6234 |      105
588.66/588.87	c  588s |      14 |   153986 |    72252 |    18670      3 |     6234 |      105
590.96/591.10	c  590s |      14 |   154785 |    72952 |    18670      4 |     6234 |      105
592.95/593.15	c  592s |      14 |   155572 |    73652 |    18670      4 |     6234 |      105
595.06/595.28	c  594s |      14 |   156648 |    74452 |    18670      4 |     6234 |      105
597.26/597.45	c  596s |      14 |   157674 |    75252 |    18670      4 |     6234 |      105
599.25/599.49	c  598s |      14 |   158629 |    76052 |    18670      4 |     6234 |      105
601.35/601.53	c  601s |      14 |   159589 |    76752 |    18670      4 |     6234 |      105
603.55/603.73	c  603s |      14 |   160425 |    77552 |    18670      4 |     6234 |      105
605.75/605.91	c  605s |      14 |   161282 |    78352 |    18670      4 |     6234 |      105
607.85/608.02	c  607s |      14 |   162097 |    79052 |    18670      4 |     6234 |      105
609.95/610.11	c  609s |      14 |   163088 |    79952 |    18670      4 |     6234 |      105
611.94/612.13	c  611s |      14 |   163851 |    80652 |    18670      4 |     6234 |      105
614.04/614.23	c  613s |      14 |   164736 |    81352 |    18670      4 |     6234 |      105
616.04/616.28	c  615s |      14 |   165686 |    82052 |    18670      4 |     6234 |      105
618.15/618.35	c  617s |      14 |   166428 |    82752 |    18670      4 |     6234 |      105
620.25/620.42	c  619s |      14 |   167216 |    83452 |    18670      4 |     6234 |      105
622.34/622.55	c  622s |      14 |   168107 |    84152 |    18670      4 |     6234 |      105
624.65/624.83	c  624s |      14 |   168868 |    84852 |    18670      4 |     6234 |      105
626.74/626.98	c  626s |      14 |   169672 |    85552 |    18670      4 |     6234 |      105
628.94/629.19	c  628s |      14 |   170517 |    86252 |    18670      4 |     6234 |      105
631.04/631.29	c  630s |      14 |   171277 |    86952 |    18670      4 |     6234 |      105
633.13/633.32	c  632s |      15 |   172001 |    87632 |    20537      4 |     6234 |      105
635.65/635.86	c  635s |      15 |   179106 |    88132 |    20537      5 |     6234 |      105
637.85/638.08	c  637s |      15 |   179655 |    88532 |    20537      5 |     6234 |      105
640.05/640.25	c  639s |      15 |   179976 |    88832 |    20537      5 |     6234 |      105
642.44/642.62	c  642s |      15 |   180297 |    89132 |    20537      5 |     6234 |      105
644.54/644.73	c  644s |      15 |   180606 |    89432 |    20537      5 |     6234 |      105
646.54/646.80	c  646s |      15 |   180926 |    89732 |    20537      5 |     6234 |      105
648.64/648.80	c  648s |      15 |   181257 |    90032 |    20537      5 |     6234 |      105
650.84/651.03	c  650s |      15 |   181565 |    90332 |    20537      5 |     6234 |      105
653.03/653.26	c  652s |      15 |   181889 |    90632 |    20537      5 |     6234 |      105
655.63/655.84	c  655s |      15 |   182213 |    90932 |    20537      5 |     6234 |      105
658.23/658.46	c  657s |      15 |   182530 |    91232 |    20537      5 |     6234 |      105
660.63/660.89	c  660s |      15 |   182842 |    91532 |    20537      5 |     6234 |      105
663.23/663.45	c  662s |      15 |   183154 |    91832 |    20537      5 |     6234 |      105
665.83/666.08	c  665s |      15 |   183479 |    92132 |    20537      5 |     6234 |      105
668.33/668.51	c  667s |      15 |   183796 |    92432 |    20537      5 |     6234 |      105
670.83/671.04	c  670s |      15 |   184137 |    92732 |    20537      5 |     6234 |      105
673.22/673.45	c  672s |      15 |   184451 |    93032 |    20537      5 |     6234 |      105
675.62/675.83	c  675s |      15 |   184767 |    93332 |    20537      5 |     6234 |      105
677.72/677.98	c  677s |      15 |   185074 |    93632 |    20537      5 |     6234 |      105
680.32/680.53	c  680s |      15 |   185388 |    93932 |    20537      5 |     6234 |      105
682.93/683.16	c  682s |      15 |   185697 |    94232 |    20537      5 |     6234 |      105
685.13/685.37	c  684s |      15 |   186016 |    94532 |    20537      5 |     6234 |      105
687.22/687.50	c  686s |      15 |   186330 |    94832 |    20537      5 |     6234 |      105
689.72/689.99	c  689s |      15 |   186640 |    95132 |    20537      5 |     6234 |      105
691.92/692.10	c  691s |      15 |   186971 |    95432 |    20537      5 |     6234 |      105
694.42/694.65	c  694s |      15 |   187281 |    95732 |    20537      5 |     6234 |      105
697.02/697.26	c  696s |      15 |   187622 |    96032 |    20537      5 |     6234 |      105
699.52/699.74	c  699s |      15 |   187942 |    96332 |    20537      5 |     6234 |      105
702.22/702.41	c  701s |      15 |   188261 |    96632 |    20537      5 |     6234 |      105
704.71/704.99	c  704s |      15 |   188598 |    96932 |    20537      5 |     6234 |      105
707.12/707.35	c  706s |      15 |   188904 |    97232 |    20537      5 |     6234 |      105
709.71/709.90	c  709s |      15 |   189225 |    97532 |    20537      5 |     6234 |      105
712.01/712.23	c  711s |      15 |   189539 |    97832 |    20537      5 |     6234 |      105
714.51/714.71	c  714s |      15 |   189864 |    98132 |    20537      5 |     6234 |      105
717.02/717.25	c  716s |      15 |   190179 |    98432 |    20537      5 |     6234 |      105
719.61/719.89	c  719s |      15 |   190503 |    98732 |    20537      5 |     6234 |      105
722.21/722.48	c  721s |      15 |   190820 |    99032 |    20537      5 |     6234 |      105
724.91/725.18	c  724s |      15 |   191132 |    99332 |    20537      5 |     6234 |      105
727.51/727.73	c  727s |      15 |   191458 |    99632 |    20537      5 |     6234 |      105
729.51/729.77	c  729s |      15 |   191791 |    99932 |    20537      5 |     6234 |      105
732.10/732.36	c  731s |      15 |   192099 |   100232 |    20537      5 |     6234 |      105
734.71/734.92	c  734s |      15 |   192396 |   100532 |    20537      5 |     6234 |      105
737.60/737.80	c  737s |      15 |   192701 |   100832 |    20537      5 |     6234 |      105
740.11/740.40	c  739s |      15 |   193061 |   101132 |    20537      5 |     6234 |      105
742.80/743.05	c  742s |      15 |   193388 |   101432 |    20537      5 |     6234 |      105
745.30/745.50	c  744s |      15 |   193701 |   101732 |    20537      5 |     6234 |      105
747.60/747.89	c  747s |      15 |   194013 |   102032 |    20537      5 |     6234 |      105
750.30/750.58	c  750s |      15 |   194344 |   102332 |    20537      5 |     6234 |      105
752.99/753.26	c  752s |      15 |   194672 |   102632 |    20537      5 |     6234 |      105
755.79/756.05	c  755s |      15 |   194977 |   102932 |    20537      5 |     6234 |      105
758.49/758.78	c  758s |      15 |   195292 |   103232 |    20537      5 |     6234 |      105
761.19/761.41	c  760s |      15 |   195611 |   103532 |    20537      5 |     6234 |      105
763.89/764.19	c  763s |      15 |   195917 |   103832 |    20537      5 |     6234 |      105
766.69/766.98	c  766s |      15 |   196237 |   104132 |    20537      5 |     6234 |      105
769.49/769.71	c  769s |      15 |   196542 |   104432 |    20537      5 |     6234 |      105
772.28/772.52	c  771s |      15 |   196858 |   104732 |    20537      5 |     6234 |      105
775.08/775.33	c  774s |      15 |   197175 |   105032 |    20537      5 |     6234 |      105
777.88/778.11	c  777s |      15 |   197521 |   105332 |    20537      5 |     6234 |      105
780.68/780.96	c  780s |      15 |   197840 |   105632 |    20537      5 |     6234 |      105
783.48/783.70	c  783s |      15 |   198155 |   105932 |    20537      5 |     6234 |      105
786.28/786.59	c  786s |      15 |   198492 |   106232 |    20537      5 |     6234 |      105
788.58/788.83	c  788s |      15 |   198701 |   106432 |    20537      6 |     6234 |      105
791.28/791.51	c  790s |      15 |   199018 |   106732 |    20537      6 |     6234 |      105
794.08/794.32	c  793s |      15 |   199328 |   107032 |    20537      6 |     6234 |      105
797.07/797.33	c  796s |      15 |   199643 |   107332 |    20537      6 |     6234 |      105
799.87/800.15	c  799s |      15 |   200001 |   107632 |    20537      6 |     6234 |      105
802.47/802.75	c  802s |      15 |   200339 |   107932 |    20537      6 |     6234 |      105
805.27/805.53	c  805s |      15 |   200652 |   108232 |    20537      6 |     6234 |      105
808.07/808.32	c  807s |      15 |   201007 |   108532 |    20537      6 |     6234 |      105
810.97/811.23	c  810s |      15 |   201329 |   108832 |    20537      6 |     6234 |      105
812.97/813.25	c  812s |      15 |   201529 |   109032 |    20537      6 |     6234 |      105
815.87/816.14	c  815s |      15 |   201841 |   109332 |    20537      6 |     6234 |      105
817.86/818.20	c  817s |      15 |   202044 |   109532 |    20537      6 |     6234 |      105
820.76/821.03	c  820s |      15 |   202362 |   109832 |    20537      6 |     6234 |      105
823.67/823.92	c  823s |      15 |   202680 |   110132 |    20537      6 |     6234 |      105
826.36/826.67	c  826s |      15 |   203028 |   110432 |    20537      6 |     6234 |      105
829.36/829.66	c  829s |      15 |   203353 |   110732 |    20537      6 |     6234 |      105
832.26/832.57	c  832s |      15 |   203668 |   111032 |    20537      6 |     6234 |      105
835.06/835.33	c  834s |      15 |   203983 |   111332 |    20537      6 |     6234 |      105
837.86/838.11	c  837s |      15 |   204300 |   111632 |    20537      6 |     6234 |      105
839.86/840.18	c  839s |      15 |   204534 |   111832 |    20537      6 |     6234 |      105
842.05/842.39	c  841s |      15 |   204748 |   112032 |    20537      6 |     6234 |      105
844.85/845.16	c  844s |      15 |   205082 |   112332 |    20537      6 |     6234 |      105
847.86/848.18	c  847s |      15 |   205389 |   112632 |    20537      6 |     6234 |      105
849.85/850.19	c  849s |      15 |   205606 |   112832 |    20537      6 |     6234 |      105
852.65/852.99	c  852s |      15 |   205946 |   113132 |    20537      6 |     6234 |      105
855.55/855.81	c  855s |      15 |   206247 |   113432 |    20537      6 |     6234 |      105
857.65/857.95	c  857s |      15 |   206464 |   113632 |    20537      6 |     6234 |      105
860.75/861.03	c  860s |      15 |   206782 |   113932 |    20537      6 |     6234 |      105
862.84/863.16	c  862s |      15 |   206995 |   114132 |    20537      6 |     6234 |      105
865.64/865.98	c  865s |      15 |   207332 |   114432 |    20537      6 |     6234 |      105
868.34/868.69	c  868s |      15 |   207656 |   114732 |    20537      6 |     6234 |      105
870.54/870.84	c  870s |      15 |   207862 |   114932 |    20537      6 |     6234 |      105
872.84/873.13	c  872s |      15 |   208098 |   115132 |    20537      6 |     6234 |      105
874.94/875.26	c  874s |      15 |   208303 |   115332 |    20537      6 |     6234 |      105
877.14/877.42	c  876s |      15 |   208523 |   115532 |    20537      6 |     6234 |      105
879.14/879.45	c  878s |      15 |   208749 |   115732 |    20537      6 |     6234 |      105
881.14/881.49	c  880s |      15 |   208955 |   115932 |    20537      6 |     6234 |      105
883.34/883.65	c  883s |      15 |   209168 |   116132 |    20537      6 |     6234 |      105
885.44/885.79	c  885s |      15 |   209376 |   116332 |    20537      6 |     6234 |      105
888.64/888.91	c  888s |      15 |   209697 |   116632 |    20537      6 |     6234 |      105
890.93/891.22	c  890s |      15 |   209976 |   116832 |    20537      6 |     6234 |      105
893.13/893.40	c  892s |      15 |   210215 |   117032 |    20537      6 |     6234 |      105
895.24/895.59	c  895s |      15 |   210447 |   117232 |    20537      6 |     6234 |      105
897.53/897.84	c  897s |      15 |   210664 |   117432 |    20537      6 |     6234 |      105
899.73/900.07	c  899s |      15 |   210866 |   117632 |    20537      6 |     6234 |      105
901.92/902.23	c  901s |      15 |   211100 |   117832 |    20537      6 |     6234 |      105
904.72/905.01	c  904s |      15 |   211416 |   118132 |    20537      6 |     6234 |      105
906.72/907.05	c  906s |      15 |   211638 |   118332 |    20537      6 |     6234 |      105
908.72/909.07	c  908s |      15 |   211856 |   118532 |    20537      6 |     6234 |      105
910.92/911.29	c  910s |      15 |   212077 |   118732 |    20537      6 |     6234 |      105
913.12/913.40	c  912s |      15 |   212295 |   118932 |    20537      6 |     6234 |      105
915.22/915.53	c  915s |      15 |   212505 |   119132 |    20537      6 |     6234 |      105
917.32/917.67	c  917s |      15 |   212711 |   119332 |    20537      6 |     6234 |      105
919.82/920.18	c  919s |      15 |   212924 |   119532 |    20537      6 |     6234 |      105
922.31/922.62	c  922s |      15 |   213136 |   119732 |    20537      6 |     6234 |      105
924.41/924.72	c  924s |      15 |   213355 |   119932 |    20537      6 |     6234 |      105
926.61/926.97	c  926s |      15 |   213569 |   120132 |    20537      6 |     6234 |      105
929.11/929.47	c  928s |      15 |   213886 |   120432 |    20537      6 |     6234 |      105
931.21/931.50	c  930s |      15 |   214091 |   120632 |    20537      6 |     6234 |      105
933.81/934.16	c  933s |      15 |   214405 |   120932 |    20537      6 |     6234 |      105
936.61/936.91	c  936s |      15 |   214736 |   121232 |    20537      6 |     6234 |      105
939.31/939.67	c  939s |      15 |   215082 |   121532 |    20537      6 |     6234 |      105
941.71/942.09	c  941s |      15 |   215413 |   121832 |    20537      6 |     6234 |      105
944.20/944.56	c  944s |      15 |   215733 |   122132 |    20537      6 |     6234 |      105
946.20/946.58	c  946s |      15 |   215939 |   122332 |    20537      6 |     6234 |      105
948.90/949.22	c  948s |      15 |   216261 |   122632 |    20537      6 |     6234 |      105
951.60/951.98	c  951s |      15 |   216589 |   122932 |    20537      6 |     6234 |      105
954.20/954.54	c  954s |      15 |   216930 |   123232 |    20537      6 |     6234 |      105
957.50/957.88	c  957s |      15 |   217134 |   123432 |    20537      7 |     6234 |      105
959.70/960.05	c  959s |      15 |   217445 |   123732 |    20537      7 |     6234 |      105
962.30/962.61	c  962s |      15 |   217749 |   124032 |    20537      7 |     6234 |      105
965.19/965.59	c  965s |      15 |   217980 |   124232 |    20537      7 |     6234 |      105
967.70/968.05	c  967s |      15 |   218393 |   124632 |    20537      7 |     6234 |      105
970.39/970.74	c  970s |      15 |   218801 |   125032 |    20537      7 |     6234 |      105
973.89/974.23	c  973s |      15 |   219019 |   125232 |    20537      7 |     6234 |      105
976.50/976.87	c  976s |      15 |   219424 |   125632 |    20537      7 |     6234 |      105
978.70/979.10	c  978s |      15 |   219735 |   125932 |    20537      7 |     6234 |      105
980.79/981.19	c  980s |      15 |   220041 |   126232 |    20537      7 |     6234 |      105
983.39/983.72	c  983s |      15 |   220343 |   126532 |    20537      7 |     6234 |      105
985.89/986.20	c  985s |      15 |   220653 |   126832 |    20537      7 |     6234 |      105
988.39/988.78	c  988s |      15 |   220970 |   127132 |    20537      7 |     6234 |      105
990.99/991.33	c  990s |      15 |   221280 |   127432 |    20537      7 |     6234 |      105
993.10/993.49	c  992s |      15 |   221585 |   127732 |    20537      7 |     6234 |      105
995.20/995.54	c  995s |      15 |   221891 |   128032 |    20537      7 |     6234 |      105
997.29/997.69	c  997s |      15 |   222214 |   128332 |    20537      7 |     6234 |      105
999.49/999.83	c  999s |      15 |   222524 |   128632 |    20537      7 |     6234 |      105
1002.19/1002.50	c 1001s |      15 |   222834 |   128932 |    20537      7 |     6234 |      105
1004.89/1005.26	c 1004s |      15 |   223145 |   129232 |    20537      7 |     6234 |      105
1007.19/1007.58	c 1007s |      15 |   223473 |   129532 |    20537      7 |     6234 |      105
1009.89/1010.26	c 1009s |      15 |   223787 |   129832 |    20537      7 |     6234 |      105
1012.39/1012.76	c 1012s |      15 |   224093 |   130132 |    20537      7 |     6234 |      105
1014.79/1015.13	c 1014s |      15 |   224411 |   130432 |    20537      7 |     6234 |      105
1017.29/1017.61	c 1017s |      15 |   224713 |   130732 |    22591      7 |     6234 |      105
1019.89/1020.27	c 1019s |      15 |   225022 |   131032 |    22591      7 |     6234 |      105
1022.18/1022.59	c 1022s |      15 |   225325 |   131332 |    22591      7 |     6234 |      105
1024.28/1024.62	c 1024s |      16 |   225542 |   131552 |    22591      7 |     6234 |      105
1026.38/1026.71	c 1026s |      16 |   226988 |   131952 |    22591      7 |     6234 |      105
1028.48/1028.81	c 1028s |      16 |   229195 |   132052 |    22591      7 |     6234 |      105
1030.68/1031.05	c 1030s |      16 |   229422 |   132252 |    22591      7 |     6234 |      105
1033.08/1033.47	c 1032s |      16 |   229859 |   132452 |    22591      7 |     6234 |      105
1035.08/1035.48	c 1034s |      16 |   230481 |   132852 |    22591      7 |     6234 |      105
1037.18/1037.54	c 1037s |      16 |   230948 |   133252 |    22591      7 |     6234 |      105
1040.08/1040.42	c 1039s |      16 |   231261 |   133552 |    22591      7 |     6234 |      105
1042.28/1042.66	c 1042s |      16 |   231769 |   133952 |    22591      7 |     6234 |      105
1044.88/1045.26	c 1044s |      16 |   232422 |   134352 |    22591      7 |     6234 |      105
1048.48/1048.80	c 1048s |      16 |   233189 |   134652 |    22591      7 |     6234 |      105
1050.68/1051.07	c 1050s |      16 |   234331 |   135252 |    22591      7 |     6234 |      105
1052.78/1053.16	c 1052s |      16 |   235023 |   135552 |    22591      7 |     6234 |      105
1054.88/1055.25	c 1054s |      16 |   235710 |   135952 |    22591      7 |     6234 |      105
1056.89/1057.26	c 1056s |      16 |   236300 |   136252 |    22591      7 |     6234 |      105
1059.28/1059.60	c 1059s |      16 |   237119 |   136652 |    22591      7 |     6234 |      105
1061.38/1061.71	c 1061s |      16 |   237889 |   137052 |    22591      7 |     6234 |      105
1063.88/1064.21	c 1063s |      16 |   239042 |   137552 |    22591      7 |     6234 |      105
1066.08/1066.46	c 1065s |      16 |   239832 |   137952 |    22591      7 |     6234 |      105
1068.48/1068.85	c 1068s |      16 |   240572 |   138352 |    22591      7 |     6234 |      105
1070.88/1071.22	c 1070s |      16 |   241451 |   138752 |    22591      7 |     6234 |      105
1073.18/1073.55	c 1073s |      16 |   242381 |   139252 |    22591      7 |     6234 |      105
1075.49/1075.87	c 1075s |      16 |   243401 |   139752 |    22591      7 |     6234 |      105
1077.88/1078.20	c 1077s |      16 |   244321 |   140252 |    22591      7 |     6234 |      105
1080.08/1080.40	c 1079s |      16 |   245285 |   140752 |    22591      7 |     6234 |      105
1082.19/1082.58	c 1082s |      16 |   246123 |   141252 |    22591      7 |     6234 |      105
1084.39/1084.78	c 1084s |      16 |   247046 |   141752 |    22591      7 |     6234 |      105
1086.68/1087.08	c 1086s |      16 |   247924 |   142252 |    22591      7 |     6234 |      105
1089.89/1090.21	c 1089s |      16 |   248885 |   142752 |    22591      8 |     6234 |      105
1092.28/1092.67	c 1092s |      16 |   249807 |   143252 |    22591      8 |     6234 |      105
1094.78/1095.13	c 1094s |      16 |   250701 |   143752 |    22591      8 |     6234 |      105
1096.78/1097.14	c 1096s |      16 |   251439 |   144152 |    22591      8 |     6234 |      105
1099.28/1099.65	c 1099s |      16 |   252385 |   144652 |    22591      8 |     6234 |      105
1101.58/1101.98	c 1101s |      16 |   253162 |   145152 |    22591      8 |     6234 |      105
1104.08/1104.45	c 1103s |      16 |   254075 |   145652 |    22591      8 |     6234 |      105
1106.18/1106.57	c 1106s |      16 |   254691 |   146052 |    22591      8 |     6234 |      105
1108.28/1108.69	c 1108s |      16 |   255505 |   146452 |    22591      8 |     6234 |      105
1110.37/1110.80	c 1110s |      16 |   256133 |   146852 |    22591      8 |     6234 |      105
1112.77/1113.12	c 1112s |      16 |   256684 |   147252 |    22591      8 |     6234 |      105
1114.87/1115.28	c 1114s |      16 |   257374 |   147652 |    22591      8 |     6234 |      105
1117.07/1117.46	c 1116s |      16 |   258006 |   148052 |    22591      8 |     6234 |      105
1119.27/1119.67	c 1119s |      16 |   258599 |   148452 |    22591      8 |     6234 |      105
1121.47/1121.86	c 1121s |      16 |   259299 |   148852 |    22591      8 |     6234 |      105
1123.57/1123.92	c 1123s |      16 |   259729 |   149152 |    22591      8 |     6234 |      105
1126.18/1126.51	c 1125s |      16 |   260234 |   149452 |    22591      8 |     6234 |      105
1128.87/1129.27	c 1128s |      16 |   260884 |   149752 |    22591      8 |     6234 |      105
1131.58/1131.94	c 1131s |      16 |   261366 |   150052 |    22591      8 |     6234 |      105
1133.88/1134.27	c 1133s |      16 |   261852 |   150352 |    22591      8 |     6234 |      105
1136.17/1136.53	c 1136s |      16 |   262432 |   150752 |    22591      8 |     6234 |      105
1138.77/1139.12	c 1138s |      16 |   263063 |   151152 |    22591      8 |     6234 |      105
1141.27/1141.69	c 1141s |      16 |   263496 |   151452 |    22591      8 |     6234 |      105
1144.17/1144.58	c 1144s |      16 |   263899 |   151752 |    22591      8 |     6234 |      105
1146.67/1147.05	c 1146s |      16 |   264489 |   152052 |    22591      8 |     6234 |      105
1149.07/1149.42	c 1148s |      16 |   265048 |   152352 |    22591      8 |     6234 |      105
1151.77/1152.16	c 1151s |      16 |   265590 |   152652 |    22591      8 |     6234 |      105
1154.17/1154.59	c 1154s |      16 |   265967 |   152952 |    22591      8 |     6234 |      105
1156.97/1157.34	c 1156s |      16 |   266479 |   153252 |    22591      8 |     6234 |      105
1159.27/1159.63	c 1159s |      16 |   267223 |   153552 |    22591      8 |     6234 |      105
1161.86/1162.27	c 1161s |      16 |   267814 |   153852 |    22591      8 |     6234 |      105
1164.46/1164.83	c 1164s |      16 |   268698 |   154252 |    22591      8 |     6234 |      105
1167.06/1167.45	c 1166s |      16 |   269639 |   154652 |    22591      8 |     6234 |      105
1169.26/1169.60	c 1169s |      16 |   270518 |   155052 |    22591      8 |     6234 |      105
1171.66/1172.02	c 1171s |      16 |   271443 |   155452 |    22591      8 |     6234 |      105
1174.47/1174.87	c 1174s |      16 |   272095 |   155852 |    22591      8 |     6234 |      105
1176.86/1177.24	c 1176s |      16 |   272293 |   156052 |    22591      8 |     6234 |      105
1179.36/1179.78	c 1179s |      16 |   272505 |   156252 |    22591      8 |     6234 |      105
1181.56/1181.93	c 1181s |      16 |   272852 |   156552 |    22591      8 |     6234 |      105
1183.86/1184.24	c 1183s |      16 |   273255 |   156852 |    22591      8 |     6234 |      105
1185.96/1186.38	c 1185s |      16 |   273799 |   157152 |    22591      8 |     6234 |      105
1188.36/1188.71	c 1188s |      16 |   274196 |   157452 |    22591      8 |     6234 |      105
1190.46/1190.89	c 1190s |      16 |   274476 |   157652 |    22591      8 |     6234 |      105
1192.76/1193.14	c 1192s |      16 |   274796 |   157852 |    22591      8 |     6234 |      105
1195.06/1195.45	c 1194s |      16 |   275078 |   158052 |    22591      8 |     6234 |      105
1197.36/1197.72	c 1197s |      16 |   275343 |   158252 |    22591      8 |     6234 |      105
1199.66/1200.04	c 1199s |      16 |   275593 |   158452 |    22591      8 |     6234 |      105
1201.76/1202.15	c 1201s |      16 |   275877 |   158652 |    22591      8 |     6234 |      105
1203.96/1204.39	c 1203s |      16 |   276186 |   158852 |    22591      8 |     6234 |      105
1206.76/1207.12	c 1206s |      16 |   276714 |   159152 |    22591      8 |     6234 |      105
1209.76/1210.13	c 1209s |      16 |   277142 |   159452 |    22591      8 |     6234 |      105
1212.05/1212.43	c 1211s |      16 |   277410 |   159652 |    22591      8 |     6234 |      105
1214.65/1215.07	c 1214s |      16 |   277658 |   159852 |    22591      8 |     6234 |      105
1216.75/1217.19	c 1216s |      16 |   277904 |   160052 |    22591      8 |     6234 |      105
1219.15/1219.52	c 1219s |      16 |   278179 |   160252 |    22591      8 |     6234 |      105
1221.65/1222.07	c 1221s |      16 |   278446 |   160452 |    22591      8 |     6234 |      105
1224.35/1224.73	c 1224s |      16 |   278675 |   160652 |    22591      8 |     6234 |      105
1226.95/1227.30	c 1226s |      16 |   278923 |   160852 |    22591      9 |     6234 |      105
1229.46/1229.81	c 1229s |      16 |   279040 |   160952 |    22591      9 |     6234 |      105
1232.35/1232.74	c 1232s |      16 |   279504 |   161252 |    22591      9 |     6234 |      105
1234.75/1235.19	c 1234s |      16 |   279840 |   161452 |    22591      9 |     6234 |      105
1237.35/1237.73	c 1237s |      16 |   280365 |   161752 |    22591      9 |     6234 |      105
1239.75/1240.16	c 1239s |      16 |   280650 |   161952 |    22591      9 |     6234 |      105
1243.55/1243.98	c 1243s |      16 |   280911 |   162152 |    22591      9 |     6234 |      105
1247.55/1247.95	c 1247s |      16 |   281108 |   162352 |    22591      9 |     6234 |      105
1249.65/1250.04	c 1249s |      16 |   281211 |   162452 |    22591      9 |     6234 |      105
1253.05/1253.40	c 1252s |      16 |   281436 |   162652 |    22591      9 |     6234 |      105
1256.05/1256.44	c 1255s |      16 |   281645 |   162852 |    22591      9 |     6234 |      105
1259.65/1260.00	c 1259s |      16 |   281871 |   163052 |    22591      9 |     6234 |      105
1262.75/1263.12	c 1262s |      16 |   282098 |   163252 |    22591      9 |     6234 |      105
1265.35/1265.70	c 1265s |      16 |   282327 |   163452 |    22591      9 |     6234 |      105
1268.35/1268.74	c 1268s |      16 |   282526 |   163652 |    22591      9 |     6234 |      105
1271.36/1271.73	c 1271s |      16 |   282730 |   163852 |    22591      9 |     6234 |      105
1274.25/1274.63	c 1274s |      16 |   282942 |   164052 |    22591      9 |     6234 |      105
1276.65/1277.01	c 1276s |      16 |   283157 |   164252 |    22591      9 |     6234 |      105
1279.65/1280.01	c 1279s |      16 |   283637 |   164652 |    22591      9 |     6234 |      105
1282.05/1282.44	c 1281s |      16 |   283829 |   164852 |    22591      9 |     6234 |      105
1284.65/1285.06	c 1284s |      16 |   284032 |   165052 |    22591      9 |     6234 |      105
1287.45/1287.82	c 1287s |      16 |   284240 |   165252 |    22591      9 |     6234 |      105
1289.95/1290.36	c 1289s |      16 |   284441 |   165452 |    22591      9 |     6234 |      105
1292.74/1293.16	c 1292s |      16 |   284643 |   165652 |    22591      9 |     6234 |      105
1295.24/1295.64	c 1295s |      16 |   284847 |   165852 |    22591      9 |     6234 |      105
1298.14/1298.53	c 1298s |      16 |   285043 |   166052 |    22591      9 |     6234 |      105
1301.05/1301.47	c 1300s |      16 |   285244 |   166252 |    22591      9 |     6234 |      105
1303.94/1304.37	c 1303s |      16 |   285446 |   166452 |    22591      9 |     6234 |      105
1306.55/1306.91	c 1306s |      16 |   285644 |   166652 |    22591      9 |     6234 |      105
1309.44/1309.82	c 1309s |      16 |   285852 |   166852 |    22591      9 |     6234 |      105
1312.24/1312.61	c 1312s |      16 |   286061 |   167052 |    22591      9 |     6234 |      105
1314.84/1315.26	c 1314s |      16 |   286248 |   167252 |    22591      9 |     6234 |      105
1317.94/1318.31	c 1317s |      16 |   286446 |   167452 |    22591      9 |     6234 |      105
1320.94/1321.35	c 1320s |      16 |   286654 |   167652 |    22591      9 |     6234 |      105
1323.54/1323.99	c 1323s |      16 |   286859 |   167852 |    22591      9 |     6234 |      105
1326.35/1326.77	c 1326s |      16 |   287057 |   168052 |    22591      9 |     6234 |      105
1329.44/1329.86	c 1329s |      16 |   287258 |   168252 |    22591      9 |     6234 |      105
1332.95/1333.35	c 1332s |      16 |   287457 |   168452 |    22591      9 |     6234 |      105
1336.14/1336.54	c 1336s |      16 |   287668 |   168652 |    22591      9 |     6234 |      105
1338.94/1339.39	c 1338s |      16 |   287867 |   168852 |    22591      9 |     6234 |      105
1342.34/1342.76	c 1342s |      16 |   288066 |   169052 |    22591      9 |     6234 |      105
1345.54/1345.99	c 1345s |      16 |   288266 |   169252 |    22591      9 |     6234 |      105
1348.74/1349.13	c 1348s |      16 |   288531 |   169452 |    22591      9 |     6234 |      105
1351.43/1351.86	c 1351s |      16 |   288727 |   169652 |    22591      9 |     6234 |      105
1354.43/1354.85	c 1354s |      16 |   288935 |   169852 |    22591      9 |     6234 |      105
1357.53/1357.92	c 1357s |      16 |   289129 |   170052 |    22591      9 |     6234 |      105
1360.63/1361.02	c 1360s |      16 |   289325 |   170252 |    22591      9 |     6234 |      105
1363.93/1364.34	c 1363s |      16 |   289571 |   170452 |    22591      9 |     6234 |      105
1366.83/1367.24	c 1366s |      16 |   289772 |   170652 |    22591      9 |     6234 |      105
1369.83/1370.24	c 1369s |      16 |   289976 |   170852 |    22591      9 |     6234 |      105
1372.93/1373.33	c 1372s |      16 |   290178 |   171052 |    22591      9 |     6234 |      105
1376.13/1376.58	c 1376s |      16 |   290459 |   171252 |    22591      9 |     6234 |      105
1379.04/1379.43	c 1378s |      16 |   290663 |   171452 |    22591      9 |     6234 |      105
1382.13/1382.52	c 1382s |      16 |   290862 |   171652 |    22591      9 |     6234 |      105
1384.73/1385.16	c 1384s |      16 |   291093 |   171852 |    22591      9 |     6234 |      105
1388.53/1388.90	c 1388s |      16 |   291279 |   172052 |    22591      9 |     6234 |      105
1392.43/1392.87	c 1392s |      16 |   291509 |   172252 |    22591      9 |     6234 |      105
1395.23/1395.62	c 1395s |      16 |   291718 |   172452 |    22591      9 |     6234 |      105
1397.93/1398.32	c 1397s |      16 |   291986 |   172652 |    22591      9 |     6234 |      105
1400.03/1400.47	c 1399s |      16 |   292248 |   172852 |    22591      9 |     6234 |      105
1402.92/1403.32	c 1402s |      16 |   292451 |   173052 |    22591      9 |     6234 |      105
1406.02/1406.45	c 1405s |      16 |   292651 |   173252 |    22591      9 |     6234 |      105
1409.83/1410.24	c 1409s |      16 |   292838 |   173452 |    22591      9 |     6234 |      105
1413.92/1414.32	c 1413s |      16 |   293062 |   173652 |    22591      9 |     6234 |      105
1415.92/1416.34	c 1415s |      16 |   293158 |   173752 |    22591      9 |     6234 |      105
1419.22/1419.67	c 1419s |      16 |   293406 |   173952 |    22591      9 |     6234 |      105
1422.22/1422.66	c 1422s |      16 |   293620 |   174152 |    22591      9 |     6234 |      105
1425.62/1426.03	c 1425s |      16 |   293816 |   174352 |    22591      9 |     6234 |      105
1428.72/1429.19	c 1428s |      16 |   294028 |   174552 |    22591      9 |     6234 |      105
1431.83/1432.23	c 1431s |      16 |   294227 |   174752 |    22591      9 |     6234 |      105
1434.72/1435.13	c 1434s |      16 |   294433 |   174952 |    22591      9 |     6234 |      105
1438.22/1438.60	c 1438s |      16 |   294629 |   175152 |    22591      9 |     6234 |      105
1441.83/1442.28	c 1441s |      16 |   294834 |   175352 |    22591      9 |     6234 |      105
1445.52/1445.95	c 1445s |      16 |   295038 |   175552 |    22591      9 |     6234 |      105
1449.22/1449.63	c 1449s |      16 |   295232 |   175752 |    22591      9 |     6234 |      105
1452.82/1453.27	c 1452s |      16 |   295437 |   175952 |    22591      9 |     6234 |      105
1456.52/1456.94	c 1456s |      16 |   295630 |   176152 |    22591      9 |     6234 |      105
1460.22/1460.66	c 1460s |      16 |   295834 |   176352 |    22591      9 |     6234 |      105
1463.92/1464.36	c 1463s |      16 |   296026 |   176552 |    22591      9 |     6234 |      105
1467.61/1468.08	c 1467s |      16 |   296234 |   176752 |    22591      9 |     6234 |      105
1471.71/1472.12	c 1471s |      16 |   296440 |   176952 |    22591      9 |     6234 |      105
1474.82/1475.22	c 1474s |      16 |   296645 |   177152 |    22591      9 |     6234 |      105
1478.41/1478.89	c 1478s |      16 |   296847 |   177352 |    22591      9 |     6234 |      105
1481.91/1482.32	c 1481s |      16 |   297060 |   177552 |    22591      9 |     6234 |      105
1485.51/1485.99	c 1485s |      16 |   297262 |   177752 |    22591      9 |     6234 |      105
1489.12/1489.52	c 1488s |      16 |   297465 |   177952 |    22591      9 |     6234 |      105
1492.71/1493.11	c 1492s |      16 |   297667 |   178152 |    22591      9 |     6234 |      105
1494.71/1495.13	c 1494s |      16 |   297769 |   178252 |    22591      9 |     6234 |      105
1498.21/1498.69	c 1498s |      16 |   297964 |   178452 |    22591      9 |     6234 |      105
1501.71/1502.17	c 1501s |      16 |   298166 |   178652 |    22591      9 |     6234 |      105
1505.41/1505.88	c 1505s |      16 |   298364 |   178852 |    22591      9 |     6234 |      105
1508.01/1508.40	c 1507s |      16 |   298464 |   178952 |    22591     10 |     6234 |      105
1511.81/1512.27	c 1511s |      16 |   298663 |   179152 |    22591     10 |     6234 |      105
1515.31/1515.75	c 1515s |      16 |   298931 |   179352 |    22591     10 |     6234 |      105
1518.72/1519.17	c 1518s |      16 |   299129 |   179552 |    22591     10 |     6234 |      105
1522.31/1522.71	c 1522s |      16 |   299322 |   179752 |    22591     10 |     6234 |      105
1525.81/1526.25	c 1525s |      16 |   299524 |   179952 |    22591     10 |     6234 |      105
1527.91/1528.39	c 1527s |      16 |   299625 |   180052 |    22591     10 |     6234 |      105
1531.21/1531.69	c 1531s |      16 |   299829 |   180252 |    22591     10 |     6234 |      105
1534.71/1535.19	c 1534s |      16 |   300024 |   180452 |    22591     10 |     6234 |      105
1538.11/1538.60	c 1538s |      16 |   300231 |   180652 |    22591     10 |     6234 |      105
1541.61/1542.02	c 1541s |      16 |   300430 |   180852 |    22591     10 |     6234 |      105
1545.51/1545.97	c 1545s |      16 |   300635 |   181052 |    22591     10 |     6234 |      105
1548.21/1548.63	c 1548s |      16 |   300846 |   181252 |    22591     10 |     6234 |      105
1551.31/1551.72	c 1551s |      16 |   301227 |   181552 |    22591     10 |     6234 |      105
1554.31/1554.70	c 1554s |      16 |   301428 |   181752 |    22591     10 |     6234 |      105
1557.60/1558.09	c 1557s |      16 |   301628 |   181952 |    22591     10 |     6234 |      105
1561.00/1561.42	c 1560s |      16 |   301834 |   182152 |    22591     10 |     6234 |      105
1564.10/1564.50	c 1563s |      16 |   302054 |   182352 |    22591     10 |     6234 |      105
1567.50/1567.96	c 1567s |      16 |   302251 |   182552 |    22591     10 |     6234 |      105
1571.00/1571.49	c 1570s |      16 |   302450 |   182752 |    22591     10 |     6234 |      105
1574.70/1575.11	c 1574s |      16 |   302656 |   182952 |    22591     10 |     6234 |      105
1578.21/1578.63	c 1578s |      16 |   302854 |   183152 |    22591     10 |     6234 |      105
1581.70/1582.15	c 1581s |      16 |   303049 |   183352 |    22591     10 |     6234 |      105
1585.20/1585.67	c 1585s |      16 |   303260 |   183552 |    22591     10 |     6234 |      105
1588.80/1589.29	c 1588s |      16 |   303486 |   183752 |    22591     10 |     6234 |      105
1592.10/1592.55	c 1592s |      16 |   303690 |   183952 |    22591     10 |     6234 |      105
1595.60/1596.00	c 1595s |      16 |   303887 |   184152 |    22591     10 |     6234 |      105
1598.80/1599.25	c 1598s |      16 |   304097 |   184352 |    22591     10 |     6234 |      105
1602.20/1602.62	c 1602s |      16 |   304296 |   184552 |    22591     10 |     6234 |      105
1605.60/1606.10	c 1605s |      16 |   304500 |   184752 |    22591     10 |     6234 |      105
1609.29/1609.75	c 1609s |      16 |   304692 |   184952 |    22591     10 |     6234 |      105
1612.89/1613.36	c 1612s |      16 |   304896 |   185152 |    22591     10 |     6234 |      105
1616.99/1617.49	c 1616s |      16 |   305102 |   185352 |    22591     10 |     6234 |      105
1620.89/1621.38	c 1620s |      16 |   305305 |   185552 |    22591     10 |     6234 |      105
1624.79/1625.20	c 1624s |      16 |   305523 |   185752 |    22591     10 |     6234 |      105
1626.79/1627.20	c 1626s |      16 |   305619 |   185852 |    22591     10 |     6234 |      105
1628.80/1629.26	c 1628s |      16 |   305723 |   185952 |    22591     10 |     6234 |      105
1630.79/1631.26	c 1630s |      16 |   305820 |   186052 |    22591     10 |     6234 |      105
1632.89/1633.34	c 1632s |      16 |   305922 |   186152 |    22591     10 |     6234 |      105
1636.19/1636.67	c 1636s |      16 |   306129 |   186352 |    22591     10 |     6234 |      105
1640.19/1640.65	c 1640s |      16 |   306331 |   186552 |    22591     10 |     6234 |      105
1642.29/1642.71	c 1642s |      16 |   306429 |   186652 |    22591     10 |     6234 |      105
1644.29/1644.74	c 1644s |      16 |   306534 |   186752 |    22591     10 |     6234 |      105
1646.29/1646.76	c 1646s |      16 |   306638 |   186852 |    22591     10 |     6234 |      105
1648.29/1648.79	c 1648s |      16 |   306736 |   186952 |    22591     10 |     6234 |      105
1652.08/1652.57	c 1652s |      16 |   306939 |   187152 |    22591     10 |     6234 |      105
1655.58/1656.00	c 1655s |      16 |   307307 |   187452 |    22591     10 |     6234 |      105
1659.49/1659.97	c 1659s |      16 |   307556 |   187652 |    22591     10 |     6234 |      105
1661.58/1662.08	c 1661s |      16 |   307692 |   187752 |    22591     10 |     6234 |      105
1663.69/1664.15	c 1663s |      16 |   307853 |   187852 |    22591     10 |     6234 |      105
1667.49/1667.90	c 1667s |      16 |   308066 |   188052 |    22591     10 |     6234 |      105
1671.09/1671.56	c 1671s |      16 |   308285 |   188252 |    22591     10 |     6234 |      105
1673.29/1673.79	c 1673s |      16 |   308387 |   188352 |    22591     10 |     6234 |      105
1675.59/1676.06	c 1675s |      16 |   308488 |   188452 |    22591     10 |     6234 |      105
1677.79/1678.26	c 1677s |      16 |   308594 |   188552 |    22591     10 |     6234 |      105
1679.89/1680.34	c 1679s |      16 |   308692 |   188652 |    22591     10 |     6234 |      105
1681.89/1682.35	c 1681s |      16 |   308793 |   188752 |    22591     10 |     6234 |      105
1685.89/1686.31	c 1685s |      16 |   308995 |   188952 |    22591     10 |     6234 |      105
1689.39/1689.86	c 1689s |      16 |   309215 |   189152 |    22591     10 |     6234 |      105
1692.49/1692.98	c 1692s |      16 |   309413 |   189352 |    22591     10 |     6234 |      105
1694.89/1695.32	c 1694s |      16 |   309736 |   189652 |    22591     10 |     6234 |      105
1697.49/1697.92	c 1697s |      16 |   310074 |   189952 |    22591     10 |     6234 |      105
1700.39/1700.86	c 1700s |      16 |   310311 |   190152 |    22591     10 |     6234 |      105
1704.18/1704.70	c 1704s |      16 |   310504 |   190352 |    22591     10 |     6234 |      105
1706.48/1706.92	c 1706s |      16 |   310715 |   190552 |    22591     10 |     6234 |      105
1709.78/1710.24	c 1709s |      16 |   311019 |   190852 |    22591     10 |     6234 |      105
1712.08/1712.52	c 1711s |      16 |   311323 |   191152 |    22591     10 |     6234 |      105
1714.49/1714.91	c 1714s |      16 |   311638 |   191452 |    22591     10 |     6234 |      105
1716.58/1717.03	c 1716s |      16 |   311834 |   191652 |    22591     10 |     6234 |      105
1718.78/1719.23	c 1718s |      16 |   312152 |   191952 |    22591     10 |     6234 |      105
1720.98/1721.45	c 1720s |      16 |   312449 |   192252 |    22591     10 |     6234 |      105
1723.48/1723.98	c 1723s |      16 |   312761 |   192552 |    22591     10 |     6234 |      105
1726.08/1726.59	c 1726s |      16 |   313165 |   192952 |    22591     10 |     6234 |      105
1729.38/1729.85	c 1729s |      16 |   313377 |   193152 |    22591     10 |     6234 |      105
1732.09/1732.53	c 1732s |      16 |   313579 |   193352 |    22591     10 |     6234 |      105
1734.78/1735.23	c 1734s |      16 |   313795 |   193552 |    22591     10 |     6234 |      105
1738.08/1738.50	c 1737s |      16 |   314003 |   193752 |    22591     10 |     6234 |      105
1740.78/1741.22	c 1740s |      16 |   314210 |   193952 |    22591     10 |     6234 |      105
1744.29/1744.75	c 1744s |      16 |   314416 |   194152 |    22591     10 |     6234 |      105
1747.88/1748.36	c 1747s |      16 |   314626 |   194352 |    22591     10 |     6234 |      105
1751.18/1751.62	c 1751s |      16 |   314826 |   194552 |    22591     10 |     6234 |      105
1754.88/1755.36	c 1754s |      16 |   315024 |   194752 |    22591     10 |     6234 |      105
1758.48/1758.96	c 1758s |      16 |   315235 |   194952 |    22591     10 |     6234 |      105
1761.17/1761.61	c 1761s |      16 |   315442 |   195152 |    22591     10 |     6234 |      105
1764.27/1764.78	c 1764s |      16 |   315646 |   195352 |    22591     10 |     6234 |      105
1768.27/1768.80	c 1768s |      16 |   315848 |   195552 |    22591     10 |     6234 |      105
1771.97/1772.42	c 1771s |      16 |   316062 |   195752 |    22591     10 |     6234 |      105
1774.98/1775.42	c 1774s |      16 |   316367 |   196052 |    22591     10 |     6234 |      105
1778.47/1778.95	c 1778s |      16 |   316563 |   196252 |    24851     10 |     6234 |      105
1782.37/1782.80	c 1782s |      16 |   316764 |   196452 |    24851     10 |     6234 |      105
1784.37/1784.84	c 1784s |      16 |   316862 |   196552 |    24851     10 |     6234 |      105
1786.47/1786.93	c 1786s |      16 |   316965 |   196652 |    24851     10 |     6234 |      105
1790.47/1790.99	c 1790s |      16 |   317172 |   196852 |    24851     10 |     6234 |      105
1794.16/1794.69	c 1794s |      16 |   317369 |   197052 |    24851     10 |     6234 |      105
1796.76/1797.22	c 1796s |      16 |   317574 |   197252 |    24851     10 |     6234 |      105
1799.96/1800.41	c 1799s |      17 |   317752 |   197432 |    24851     10 |     6234 |      105

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-4101449-1466224164/watcher-4101449-1466224164 -o /tmp/evaluation-result-4101449-1466224164/solver-4101449-1466224164 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101449-1466224164.opb 

pid=13562
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.20 2.22 2.15 3/179 13565
/proc/meminfo: memFree=29760604/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=513468 CPUtime=0 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 1879 0 0 0 0 0 0 0 20 0 4 0 24462003 525791232 2751 33554432000 4194304 16246674 140734924551408 140734924550832 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 128879 2759 441 2943 0 125773 0
[pid=13565/tid=13566] ppid=13562 vsize=530876 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 543617024 2819 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=534972 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 547811328 2835 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=540092 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 553054208 2851 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.20 2.22 2.15 3/179 13565
/proc/meminfo: memFree=29760604/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 26802 0 0 0 5 4 0 0 20 0 4 0 24462003 1333334016 27612 33554432000 4194304 16246674 140734924551408 140734924550720 7368729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 325521 27627 800 2943 0 322415 0
[pid=13565/tid=13566] ppid=13562 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1333334016 27638 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1333334016 27649 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1333334016 27661 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200504 s]
/proc/loadavg: 2.20 2.22 2.15 3/179 13565
/proc/meminfo: memFree=29760604/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1315396 CPUtime=0.19 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 47194 0 0 0 13 6 0 0 20 0 4 0 24462003 1346965504 48004 33554432000 4194304 16246674 140734924551408 140734924550720 12657222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 328849 48021 832 2943 0 325743 0
[pid=13565/tid=13566] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 48031 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 48042 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 48051 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1315396

[startup+0.300473 s]
/proc/loadavg: 2.20 2.22 2.15 3/179 13565
/proc/meminfo: memFree=29760604/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1315396 CPUtime=0.29 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 69907 0 0 0 20 9 0 0 20 0 4 0 24462003 1346965504 70718 33554432000 4194304 16246674 140734924551408 140734924550720 12654121 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 328849 70734 832 2943 0 325743 0
[pid=13565/tid=13566] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 70744 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 70753 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 70761 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1315396

[startup+0.700388 s]
/proc/loadavg: 2.20 2.22 2.15 3/179 13565
/proc/meminfo: memFree=29760604/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1315396 CPUtime=0.69 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 81373 0 0 0 59 10 0 0 20 0 4 0 24462003 1346965504 82183 33554432000 4194304 16246674 140734924551408 140734924533312 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 328849 82183 891 2943 0 325743 0
[pid=13565/tid=13566] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 82183 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 82183 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 82183 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.5004 s]
/proc/loadavg: 2.20 2.22 2.15 3/183 13569
/proc/meminfo: memFree=29433588/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1315396 CPUtime=1.49 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 81373 0 0 0 139 10 0 0 20 0 4 0 24462003 1346965504 82183 33554432000 4194304 16246674 140734924551408 140734924533312 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 328849 82183 891 2943 0 325743 0
[pid=13565/tid=13566] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 82183 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 82183 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 82183 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.10039 s]
/proc/loadavg: 2.20 2.22 2.15 3/183 13569
/proc/meminfo: memFree=29390668/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1315396 CPUtime=3.09 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 137977 0 0 0 290 19 0 0 20 0 4 0 24462003 1346965504 138788 33554432000 4194304 16246674 140734924551408 140734924533312 12478189 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 328849 138799 891 2943 0 325743 0
[pid=13565/tid=13566] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 138807 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 138818 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 138820 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1315396

[startup+6.3004 s]
/proc/loadavg: 2.18 2.22 2.15 3/183 13569
/proc/meminfo: memFree=29173468/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1315396 CPUtime=6.28 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 146113 0 0 0 608 20 0 0 20 0 4 0 24462003 1346965504 146923 33554432000 4194304 16246674 140734924551408 140734924533312 13780640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 328849 146923 897 2943 0 325743 0
[pid=13565/tid=13566] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 146923 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 146923 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 146923 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.17 2.22 2.15 3/183 13569
/proc/meminfo: memFree=28673128/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1315396 CPUtime=12.68 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 270043 0 0 0 1231 37 0 0 20 0 4 0 24462003 1346965504 270853 33554432000 4194304 16246674 140734924551408 140734924533312 5711318 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 328849 270853 897 2943 0 325743 0
[pid=13565/tid=13566] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 270853 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 270853 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 270853 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.21 2.22 2.15 3/183 13569
/proc/meminfo: memFree=28673560/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1315396 CPUtime=25.48 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 270043 0 0 0 2511 37 0 0 20 0 4 0 24462003 1346965504 270853 33554432000 4194304 16246674 140734924551408 140734924533312 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 328849 270853 897 2943 0 325743 0
[pid=13565/tid=13566] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 270853 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 270853 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 270853 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.20 2.22 2.15 3/184 13572
/proc/meminfo: memFree=28652404/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 270043 0 0 0 5071 37 0 0 20 0 4 0 24462003 1346965504 270853 33554432000 4194304 16246674 140734924551408 140734924533312 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 328849 270853 897 2943 0 325743 0
[pid=13565/tid=13566] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 270853 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 270853 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 270853 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.22 2.23 2.16 3/183 13574
/proc/meminfo: memFree=28615236/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1315396 CPUtime=102.28 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 270044 0 0 0 10191 37 0 0 20 0 4 0 24462003 1346965504 270854 33554432000 4194304 16246674 140734924551408 140734924533312 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 328849 270854 898 2943 0 325743 0
[pid=13565/tid=13566] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 270854 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 270854 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1346965504 270854 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1360596992 274186 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1328708

[startup+1362.3 s]
/proc/loadavg: 2.17 2.15 2.16 3/183 13654
/proc/meminfo: memFree=29043912/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1328708 CPUtime=1361.93 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 273641 0 0 0 136151 42 0 0 20 0 4 0 24462003 1360596992 274186 33554432000 4194304 16246674 140734924551408 140734924533312 5712067 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 332177 274186 902 2943 0 329071 0
[pid=13565/tid=13566] ppid=13562 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1360596992 274186 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1360596992 274186 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1360596992 274186 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1328708

[startup+1422.3 s]
/proc/loadavg: 2.14 2.15 2.16 3/183 13655
/proc/meminfo: memFree=29043892/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1328708 CPUtime=1421.93 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 273641 0 0 0 142151 42 0 0 20 0 4 0 24462003 1360596992 274186 33554432000 4194304 16246674 140734924551408 140734924533312 5823443 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 332177 274186 902 2943 0 329071 0
[pid=13565/tid=13566] ppid=13562 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1360596992 274186 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1360596992 274186 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1360596992 274186 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1328708

[startup+1482.3 s]
/proc/loadavg: 2.23 2.17 2.17 3/183 13656
/proc/meminfo: memFree=29043808/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1328708 CPUtime=1481.91 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 273641 0 0 0 148149 42 0 0 20 0 4 0 24462003 1360596992 274186 33554432000 4194304 16246674 140734924551408 140734924533312 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 332177 274186 902 2943 0 329071 0
[pid=13565/tid=13566] ppid=13562 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1360596992 274186 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1360596992 274186 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1360596992 274186 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1328708

[startup+1542.31 s]
/proc/loadavg: 2.23 2.17 2.17 3/183 13657
/proc/meminfo: memFree=29043344/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1328708 CPUtime=1541.92 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 273641 0 0 0 154149 43 0 0 20 0 4 0 24462003 1360596992 274186 33554432000 4194304 16246674 140734924551408 140734924533312 13780600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 332177 274186 902 2943 0 329071 0
[pid=13565/tid=13566] ppid=13562 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1360596992 274186 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1360596992 274186 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1360596992 274186 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1328708

[startup+1602.3 s]
/proc/loadavg: 2.27 2.19 2.18 3/183 13659
/proc/meminfo: memFree=28908956/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1462852 CPUtime=1601.9 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 307069 0 0 0 160143 47 0 0 20 0 4 0 24462003 1497960448 307614 33554432000 4194304 16246674 140734924551408 140734924533312 5712756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 365713 307614 902 2943 0 362607 0
[pid=13565/tid=13566] ppid=13562 vsize=1462852 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1497960448 307614 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1462852 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1497960448 307614 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1462852 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1497960448 307614 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1462852

[startup+1662.3 s]
/proc/loadavg: 2.17 2.18 2.17 3/183 13660
/proc/meminfo: memFree=28908984/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1462852 CPUtime=1661.88 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 307069 0 0 0 166141 47 0 0 20 0 4 0 24462003 1497960448 307614 33554432000 4194304 16246674 140734924551408 140734924533312 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 365713 307614 902 2943 0 362607 0
[pid=13565/tid=13566] ppid=13562 vsize=1462852 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1497960448 307614 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1462852 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1497960448 307614 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1462852 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1497960448 307614 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1462852

[startup+1722.3 s]
/proc/loadavg: 2.12 2.16 2.17 3/183 13661
/proc/meminfo: memFree=28908996/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1462852 CPUtime=1721.88 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 307069 0 0 0 172140 48 0 0 20 0 4 0 24462003 1497960448 307614 33554432000 4194304 16246674 140734924551408 140734924533312 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 365713 307614 902 2943 0 362607 0
[pid=13565/tid=13566] ppid=13562 vsize=1462852 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1497960448 307614 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1462852 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1497960448 307614 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1462852 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1497960448 307614 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1462852

[startup+1782.3 s]
/proc/loadavg: 2.09 2.15 2.16 3/183 13662
/proc/meminfo: memFree=28900976/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1472068 CPUtime=1781.87 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 309265 0 0 0 178139 48 0 0 20 0 4 0 24462003 1507397632 309810 33554432000 4194304 16246674 140734924551408 140734924533312 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 368017 309810 902 2943 0 364911 0
[pid=13565/tid=13566] ppid=13562 vsize=1472068 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1507397632 309810 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1472068 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1507397632 309810 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1472068 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1507397632 309810 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1472068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.14 2.15 2.16 3/183 13662
/proc/meminfo: memFree=28901100/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1472068 CPUtime=1800.06 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 309265 0 0 0 179958 48 0 0 20 0 4 0 24462003 1507397632 309810 33554432000 4194304 16246674 140734924551408 140734924533312 5531944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 368017 309810 902 2943 0 364911 0
[pid=13565/tid=13566] ppid=13562 vsize=1472068 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1507397632 309810 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1472068 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1507397632 309810 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1472068 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1507397632 309810 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1472068

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

[startup+1800.5 s]
/proc/loadavg: 2.14 2.15 2.16 3/183 13662
/proc/meminfo: memFree=28901100/32872528 swapFree=534252/566956
[pid=13565] ppid=13562 vsize=1472068 CPUtime=1800.06 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 10353 0 -1 4202496 309265 0 0 0 179958 48 0 0 20 0 4 0 24462003 1507397632 309810 33554432000 4194304 16246674 140734924551408 140734924533312 5531944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13565/statm: 368017 309810 902 2943 0 364911 0
[pid=13565/tid=13566] ppid=13562 vsize=1472068 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462003 1507397632 309810 33554432000 4194304 16246674 140734924551408 140237787344112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1472068 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462003 1507397632 309810 33554432000 4194304 16246674 140734924551408 140237776854256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1472068 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462003 1507397632 309810 33554432000 4194304 16246674 140734924551408 140237661531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1472068

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.09
CPU user time (s): 1799.59
CPU system time (s): 0.497924
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 1472068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.497924
maximum resident set size= 1239240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309265
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= 281
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49432 second user time and 7.00893 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 06:29:24
IDJOB=4101449
IDBENCH=1750
IDSOLVER=2542
FILE ID=node138/4101449-1466224164
RUNJOBID= node138-1466206053-10369
PBS_JOBID= 19918139
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-fixnet3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101449-1466224164/watcher-4101449-1466224164 -o /tmp/evaluation-result-4101449-1466224164/solver-4101449-1466224164 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101449-1466224164.opb

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

MD5SUM BENCH= 33434aafd8d2cc52b903fb501d38927b
RANDOM SEED=192862671

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29761148 kB
Buffers:          101712 kB
Cached:           122236 kB
SwapCached:         1060 kB
Active:          1679392 kB
Inactive:         127256 kB
Active(anon):    1583732 kB
Inactive(anon):     1228 kB
Active(file):      95660 kB
Inactive(file):   126028 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             16744 kB
Writeback:             0 kB
AnonPages:       2148952 kB
Mapped:            10764 kB
Shmem:                 0 kB
Slab:             603036 kB
SReclaimable:      46712 kB
SUnreclaim:       556324 kB
KernelStack:        1472 kB
PageTables:         8152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2293456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1300480 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= 71700 MiB
End job on node138 at 2016-06-18 06:59:24