Trace number 4093408

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.61

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo
MD5SUMe56482878ee36dcbb361a64b1d161fc3
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.03
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3660
Total number of constraints121
Number of soft constraints81
Number of constraints which are clauses61
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint61
Top cost 3401
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 3400
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T15:14:02+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","--wbo","--search=bcd2","HOME/instance-4093408-1466082841.wbo"]
0.00/0.01	c use --random-gen="2029748362 2626589728 4213308798 3933402318 2859595738 3632813219 1688695623 4272902379 2530254984 2106303116 1807097375 3992077417 3440197129 2428985625 2483818158 2562517627 457108775 3779733782 1852679622 1225567751 2911745413 643817645 164774090 1912552797 2032055488 1172126404 227402571 302527845 4090428210 3844957077 2266709569 3781560725 812845873 2499838374 3775514465 1149475389 3672703088 3506820334 2291185024 3569151881 68337023 252860862 2353694533 2653062473 3996866737 1359325794 3144893609 986676697 3735327345 1324857086 1437004915 718318856 138234139 2588644742 4214185856 2496835665 769542927 3138513879 1790775828 3139602781 3489980701 3779823125 2935434135 2390022699 160219448 1966555137 1605373510 785307666 3079453010 1385132697 948062504 1421351959 1415348321 3533650983 2720712158 3862996424 2010837793 3155995917 904908722 3666635184 3774056673 2014082077 40683977 3714723804 206467185 338109297 4052356331 2433913340 1228489472 194099853 1014244143 2813852353 3876412917 2039560513 746547289 3239506391 1021125691 1945694538 3443842531 40655939 2391448570 2013742299 1778282156 1403433637 3082871422 1857664328 2597989891 3511358518 3844177675 291697190 1600717109 1255284631 23308261 4002146782 3889191407 2378878835 1665120316 863281798 1924118857 2964080075 167995111 2641401185 304951585 4084056290 113961077 2938385733 3784748578 957138992 1464457161 1743356961 683054054 2983694907 845285875 3793093862 3416546125 854342224 1199134955 2604003225 3238582090 2896485255 317743246 2554712886 3299718988 1011365878 2298661156 504961688 911994810 1624846428 1577482648 2102864047 3055938289 808550460 123639944 3046702868 3781965065 2353349811 2987892136 1283157593 1689431641 1928546204 1636543666 2242972994 2970058665 4275893855 1920931469 391329134 2800935605 2376723208 3533595188 4031155366 615736022 800259130 3084526160 2953337010 2305869468 242905998 2065022335 1672736105 2774121992 1610405609 47067493 452080242 197960100 491554602 4024545859 1923908366 2627163859 2826815997 2205005588 2576590129 2693697410 3563272816 2874935555 3106959282 506561100 1618619340 122242879 614864732 2442248551 3520411338 3386795441 783995686 3427749331 3289222424 4886472 1523008560 2368494299 3691072298 2786557791 1291081131 536360403 2241307024 3211568455 2734277565 1664227170 818547105 2988886308 2899116255 2900300787 929016177 3295144958 3421338935 1338933896 4092833557 1253367500 2092574452 2833108168 1807146 3420845199 1940794961 3035229336 3873699531 3347924237 486446879 2543648958 2741447539 3367777364 1587908238 2226631601 3089459307 178017743 2074029703 3488191916 1665828460 1430741329 3594931965 3959330713 2742027284 3341884515 428081635 150056360 794417867 41915317 649721867 3069211456 2949686861 255 362436" option to reproduce the execution
0.09/0.18	c #vars 3660
0.09/0.18	c #constraints 121
0.19/0.20	c BCD2: Hardening is enabled.
0.19/0.20	c BCD2: BiasedSearch is enabled.
0.19/0.20	c Solving starts ...
0.19/0.20	c ============================[ Search Statistics ]============================
0.19/0.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.20	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.20	c =============================================================================
0.19/0.20	c  0.0s |       0 |        0 |        0 |     1287      0 |        0 |        0
0.19/0.26	c  0.1s |       1 |      258 |      100 |     1287      0 |        0 |        0
0.19/0.27	c  0.1s |       1 |     2685 |      101 |     1416      0 |        0 |        0
0.19/0.27	c #cpu_time = 0.072s
0.19/0.27	c #wall_clock_time = 0.072s
0.19/0.27	c #decision = 2685
0.19/0.27	c #random_decision = 11
0.19/0.27	c #conflict = 101
0.19/0.27	c #restart = 1
0.19/0.27	o 1805
0.19/0.27	c BCD2: updating upper bound: 3400 -> 1804
0.19/0.27	c BCD2: 0 <= obj <= 1804
0.19/0.27	c BCD2: #cores=0, #unrelaxed=81, #relaxed=0, #hardened=0
0.19/0.27	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |     1416      0 |        0 |        0
0.39/0.45	c  0.2s |       1 |     1480 |      100 |     1416      0 |        0 |        0
0.59/0.67	c  0.4s |       2 |     3786 |      250 |     1558      0 |        0 |        0
0.99/1.04	c  0.8s |       3 |     5928 |      475 |     1714      0 |        0 |        0
1.49/1.51	c  1.2s |       4 |     8556 |      813 |     1886      0 |        0 |        0
2.20/2.30	c  2.0s |       5 |    11101 |     1320 |     2075      0 |        0 |        0
3.09/3.24	c  3.0s |       6 |    14100 |     2081 |     2283      0 |        0 |        0
5.49/5.50	c  5.2s |       6 |    17073 |     2981 |     2283      0 |        0 |        0
6.19/6.28	c  6.0s |       7 |    17353 |     3223 |     2512      0 |        0 |        0
8.38/8.46	c  8.2s |       7 |    20771 |     4423 |     2512      1 |        0 |        0
9.68/9.72	c  9.5s |       8 |    21349 |     4936 |     2764      1 |        0 |        0
11.78/11.81	c 11.5s |       8 |    24857 |     6136 |     2764      2 |        0 |        0
13.88/13.99	c 13.7s |       8 |    26078 |     7236 |     2764      2 |        0 |        0
14.49/14.55	c 14.3s |       9 |    26396 |     7506 |     3041      2 |        0 |        0
16.48/16.60	c 16.3s |       9 |    29684 |     8706 |     3041      3 |        0 |        0
18.58/18.63	c 18.4s |       9 |    31025 |     9906 |     3041      3 |        0 |        0
20.79/20.88	c 20.6s |       9 |    32267 |    11006 |     3041      3 |        0 |        0
21.89/21.98	c 21.7s |      10 |    32638 |    11361 |     3346      3 |        0 |        0
23.99/24.03	c 23.8s |      10 |    36026 |    12261 |     3346      4 |        0 |        0
26.09/26.19	c 25.9s |      10 |    36953 |    13061 |     3346      4 |        0 |        0
28.39/28.46	c 28.2s |      10 |    37956 |    13961 |     3346      4 |        0 |        0
30.39/30.49	c 30.2s |      10 |    38711 |    14661 |     3346      4 |        0 |        0
32.58/32.65	c 32.4s |      10 |    39490 |    15361 |     3346      4 |        0 |        0
34.88/34.99	c 34.7s |      10 |    40149 |    15961 |     3346      5 |        0 |        0
37.19/37.24	c 37.0s |      10 |    40873 |    16561 |     3346      5 |        0 |        0
39.48/39.54	c 39.3s |      11 |    41574 |    17144 |     3681      5 |        0 |        0
41.48/41.57	c 41.3s |      11 |    43499 |    18244 |     3681      6 |        0 |        0
43.59/43.60	c 43.3s |      11 |    44633 |    19244 |     3681      7 |        0 |        0
45.58/45.62	c 45.4s |      11 |    47170 |    20344 |     3681      7 |        0 |        0
47.58/47.66	c 47.4s |      11 |    48184 |    21244 |     3681      7 |        0 |        0
49.69/49.73	c 49.5s |      11 |    49188 |    22144 |     3681      7 |        0 |        0
51.89/51.94	c 51.7s |      11 |    50070 |    22944 |     3681      7 |        0 |        0
53.98/54.04	c 53.8s |      11 |    50868 |    23644 |     3681      7 |        0 |        0
56.08/56.20	c 55.9s |      11 |    51654 |    24344 |     3681      8 |        0 |        0
58.18/58.20	c 57.9s |      11 |    52556 |    25144 |     3681      8 |        0 |        0
60.08/60.10	c 59.8s |      12 |    53318 |    25819 |     4050      8 |        0 |        0
62.18/62.27	c 62.0s |      12 |    56439 |    26619 |     4050      9 |        0 |        0
64.38/64.40	c 64.1s |      12 |    57254 |    27319 |     4050      9 |        0 |        0
66.37/66.49	c 66.2s |      12 |    57966 |    27919 |     4050      9 |        0 |        0
68.48/68.51	c 68.2s |      12 |    58631 |    28519 |     4050      9 |        0 |        0
70.68/70.72	c 70.4s |      12 |    59293 |    29119 |     4050      9 |        0 |        0
72.88/72.96	c 72.7s |      12 |    59831 |    29619 |     4050      9 |        0 |        0
74.89/74.99	c 74.7s |      12 |    60261 |    30019 |     4050      9 |        0 |        0
77.18/77.28	c 77.0s |      12 |    60819 |    30519 |     4050      9 |        0 |        0
79.38/79.43	c 79.2s |      12 |    61422 |    31019 |     4050     10 |        0 |        0
81.37/81.45	c 81.2s |      12 |    62002 |    31519 |     4050     10 |        0 |        0
83.57/83.66	c 83.4s |      12 |    62550 |    32019 |     4050     10 |        0 |        0
85.77/85.89	c 85.6s |      12 |    63154 |    32519 |     4050     10 |        0 |        0
88.28/88.31	c 88.0s |      12 |    63709 |    33019 |     4050     10 |        0 |        0
90.28/90.34	c 90.1s |      12 |    64160 |    33419 |     4050     10 |        0 |        0
92.67/92.80	c 92.5s |      12 |    64743 |    33919 |     4050     10 |        0 |        0
94.78/94.86	c 94.6s |      12 |    65205 |    34319 |     4050     10 |        0 |        0
97.18/97.27	c 97.0s |      12 |    65659 |    34719 |     4050     11 |        0 |        0
99.27/99.37	c 99.1s |      12 |    66111 |    35119 |     4050     11 |        0 |        0
101.58/101.63	c  101s |      12 |    66666 |    35619 |     4050     11 |        0 |        0
103.87/103.94	c  103s |      12 |    67226 |    36119 |     4050     11 |        0 |        0
106.27/106.31	c  106s |      12 |    67782 |    36619 |     4050     11 |        0 |        0
108.67/108.71	c  108s |      12 |    68381 |    37119 |     4050     11 |        0 |        0
110.67/110.78	c  110s |      12 |    68839 |    37519 |     4050     11 |        0 |        0
112.78/112.85	c  112s |      12 |    69299 |    37919 |     4050     11 |        0 |        0
115.17/115.27	c  114s |      12 |    69833 |    38419 |     4050     11 |        0 |        0
117.07/117.11	c  116s |      13 |    70317 |    38832 |     4455     11 |        0 |        0
119.17/119.21	c  118s |      13 |    73119 |    39632 |     4455     12 |        0 |        0
121.27/121.32	c  121s |      13 |    74266 |    40632 |     4455     12 |        0 |        0
123.38/123.41	c  123s |      13 |    75291 |    41532 |     4455     12 |        0 |        0
125.57/125.61	c  125s |      13 |    76292 |    42432 |     4455     12 |        0 |        0
127.56/127.69	c  127s |      13 |    77078 |    43132 |     4455     13 |        0 |        0
129.66/129.80	c  129s |      13 |    77893 |    43832 |     4455     13 |        0 |        0
131.97/132.00	c  131s |      13 |    78688 |    44532 |     4455     13 |        0 |        0
134.17/134.22	c  133s |      13 |    79469 |    45232 |     4455     13 |        0 |        0
136.37/136.43	c  136s |      13 |    80154 |    45832 |     4455     13 |        0 |        0
138.68/138.75	c  138s |      13 |    80955 |    46532 |     4455     13 |        0 |        0
140.88/140.91	c  140s |      13 |    81624 |    47132 |     4455     14 |        0 |        0
142.87/142.91	c  142s |      13 |    82306 |    47732 |     4455     14 |        0 |        0
145.07/145.12	c  144s |      13 |    83098 |    48432 |     4455     14 |        0 |        0
147.07/147.15	c  146s |      13 |    83853 |    49132 |     4455     14 |        0 |        0
149.27/149.34	c  149s |      13 |    84637 |    49832 |     4455     14 |        0 |        0
151.37/151.42	c  151s |      13 |    85292 |    50432 |     4455     14 |        0 |        0
153.66/153.75	c  153s |      13 |    85951 |    51032 |     4455     15 |        0 |        0
155.76/155.87	c  155s |      13 |    86724 |    51732 |     4455     15 |        0 |        0
157.86/157.94	c  157s |      13 |    87501 |    52432 |     4455     15 |        0 |        0
160.06/160.12	c  159s |      13 |    88275 |    53132 |     4455     15 |        0 |        0
162.27/162.38	c  162s |      13 |    89072 |    53832 |     4455     15 |        0 |        0
164.37/164.42	c  164s |      13 |    89752 |    54432 |     4455     15 |        0 |        0
166.36/166.46	c  166s |      13 |    90417 |    55032 |     4455     15 |        0 |        0
168.56/168.69	c  168s |      13 |    91083 |    55632 |     4455     16 |        0 |        0
170.67/170.71	c  170s |      13 |    91864 |    56332 |     4455     16 |        0 |        0
172.77/172.81	c  172s |      13 |    92704 |    57032 |     4455     16 |        0 |        0
174.97/175.05	c  174s |      13 |    93454 |    57732 |     4455     16 |        0 |        0
177.07/177.12	c  176s |      13 |    94114 |    58332 |     4901     16 |        0 |        0
177.07/177.18	c  176s |      14 |    94132 |    58352 |     4901     16 |        0 |        0
179.16/179.24	c  178s |      14 |    97162 |    59452 |     4901     17 |        0 |        0
181.36/181.47	c  181s |      14 |    98487 |    60552 |     4901     17 |        0 |        0
183.36/183.48	c  183s |      14 |    99401 |    61352 |     4901     17 |        0 |        0
185.46/185.54	c  185s |      14 |   100444 |    62252 |     4901     17 |        0 |        0
187.66/187.79	c  187s |      14 |   101486 |    63152 |     4901     17 |        0 |        0
189.76/189.83	c  189s |      14 |   102288 |    63852 |     4901     18 |        0 |        0
191.86/191.99	c  191s |      14 |   103224 |    64652 |     4901     18 |        0 |        0
193.96/194.03	c  193s |      14 |   104132 |    65452 |     4901     18 |        0 |        0
196.26/196.30	c  196s |      14 |   105030 |    66252 |     4901     18 |        0 |        0
198.26/198.37	c  198s |      14 |   105831 |    66952 |     4901     18 |        0 |        0
200.36/200.46	c  200s |      14 |   106381 |    67452 |     4901     19 |        0 |        0
202.56/202.62	c  202s |      14 |   107157 |    68152 |     4901     19 |        0 |        0
204.66/204.73	c  204s |      14 |   107927 |    68852 |     4901     19 |        0 |        0
206.76/206.83	c  206s |      14 |   108859 |    69652 |     4901     19 |        0 |        0
208.86/208.95	c  208s |      14 |   109628 |    70352 |     4901     19 |        0 |        0
210.95/211.02	c  210s |      14 |   110276 |    70952 |     4901     19 |        0 |        0
213.06/213.19	c  212s |      14 |   110936 |    71552 |     4901     19 |        0 |        0
215.26/215.36	c  215s |      14 |   111584 |    72152 |     4901     20 |        0 |        0
217.36/217.40	c  217s |      14 |   112363 |    72852 |     4901     20 |        0 |        0
219.45/219.56	c  219s |      14 |   113145 |    73552 |     4901     20 |        0 |        0
221.55/221.64	c  221s |      14 |   113779 |    74152 |     4901     20 |        0 |        0
223.65/223.78	c  223s |      14 |   114458 |    74752 |     4901     20 |        0 |        0
225.75/225.81	c  225s |      14 |   114982 |    75252 |     4901     20 |        0 |        0
228.05/228.14	c  227s |      14 |   115661 |    75852 |     4901     21 |        0 |        0
230.36/230.45	c  230s |      14 |   116464 |    76552 |     4901     21 |        0 |        0
232.66/232.79	c  232s |      14 |   117232 |    77252 |     4901     21 |        0 |        0
234.85/234.93	c  234s |      14 |   117891 |    77852 |     4901     21 |        0 |        0
236.85/236.97	c  236s |      14 |   118518 |    78452 |     4901     21 |        0 |        0
239.15/239.20	c  238s |      14 |   119193 |    79052 |     4901     21 |        0 |        0
241.26/241.38	c  241s |      14 |   119835 |    79652 |     4901     21 |        0 |        0
243.55/243.69	c  243s |      14 |   120408 |    80152 |     4901     22 |        0 |        0
245.55/245.70	c  245s |      14 |   121073 |    80752 |     4901     22 |        0 |        0
247.56/247.70	c  247s |      14 |   121719 |    81352 |     4901     22 |        0 |        0
249.66/249.71	c  249s |      14 |   122365 |    81952 |     4901     22 |        0 |        0
251.85/251.93	c  251s |      14 |   123067 |    82552 |     4901     22 |        0 |        0
253.95/254.01	c  253s |      14 |   123607 |    83052 |     4901     22 |        0 |        0
256.05/256.12	c  255s |      14 |   124155 |    83552 |     4901     22 |        0 |        0
258.35/258.48	c  258s |      14 |   124823 |    84152 |     4901     22 |        0 |        0
260.55/260.65	c  260s |      14 |   125716 |    84852 |     4901     23 |        0 |        0
262.65/262.74	c  262s |      14 |   126774 |    85652 |     4901     23 |        0 |        0
264.85/264.96	c  264s |      14 |   127557 |    86352 |     4901     23 |        0 |        0
267.25/267.30	c  267s |      14 |   128347 |    87052 |     5392     23 |        0 |        0
269.05/269.17	c  268s |      15 |   129025 |    87632 |     5392     23 |        0 |        0
271.25/271.33	c  271s |      15 |   131519 |    88432 |     5392     24 |        0 |        0
273.45/273.54	c  273s |      15 |   132668 |    89432 |     5392     24 |        0 |        0
275.65/275.76	c  275s |      15 |   133827 |    90332 |     5392     24 |        0 |        0
277.85/277.94	c  277s |      15 |   134793 |    91132 |     5392     24 |        0 |        0
279.94/280.04	c  279s |      15 |   135599 |    91832 |     5392     24 |        0 |        0
281.94/282.08	c  281s |      15 |   136435 |    92532 |     5392     24 |        0 |        0
283.96/284.08	c  283s |      15 |   137213 |    93132 |     5392     25 |        0 |        0
286.15/286.25	c  285s |      15 |   138090 |    93832 |     5392     25 |        0 |        0
288.45/288.52	c  288s |      15 |   138784 |    94432 |     5392     25 |        0 |        0
290.55/290.62	c  290s |      15 |   139629 |    95132 |     5392     25 |        0 |        0
292.65/292.71	c  292s |      15 |   140419 |    95832 |     5392     25 |        0 |        0
294.74/294.87	c  294s |      15 |   141066 |    96432 |     5392     25 |        0 |        0
297.05/297.14	c  296s |      15 |   141910 |    97132 |     5392     25 |        0 |        0
299.15/299.27	c  298s |      15 |   142626 |    97732 |     5392     26 |        0 |        0
301.34/301.49	c  301s |      15 |   143548 |    98532 |     5392     26 |        0 |        0
303.65/303.77	c  303s |      15 |   144328 |    99232 |     5392     26 |        0 |        0
305.95/306.07	c  305s |      15 |   145137 |    99932 |     5392     26 |        0 |        0
307.94/308.09	c  307s |      15 |   145689 |   100432 |     5392     26 |        0 |        0
310.04/310.14	c  309s |      15 |   146252 |   100932 |     5392     26 |        0 |        0
312.34/312.48	c  312s |      15 |   146949 |   101532 |     5392     26 |        0 |        0
314.54/314.63	c  314s |      15 |   147667 |   102132 |     5392     27 |        0 |        0
316.64/316.79	c  316s |      15 |   148489 |   102832 |     5392     27 |        0 |        0
318.84/318.98	c  318s |      15 |   149336 |   103532 |     5392     27 |        0 |        0
321.14/321.27	c  320s |      15 |   150304 |   104332 |     5392     27 |        0 |        0
323.24/323.34	c  323s |      15 |   150963 |   104932 |     5392     27 |        0 |        0
325.43/325.51	c  325s |      15 |   151815 |   105632 |     5392     27 |        0 |        0
327.85/327.92	c  327s |      15 |   152487 |   106232 |     5392     28 |        0 |        0
329.94/330.04	c  329s |      15 |   153296 |   106932 |     5392     28 |        0 |        0
332.24/332.33	c  332s |      15 |   153958 |   107532 |     5392     28 |        0 |        0
334.24/334.34	c  334s |      15 |   154651 |   108132 |     5392     28 |        0 |        0
336.43/336.56	c  336s |      15 |   155477 |   108832 |     5392     28 |        0 |        0
338.63/338.74	c  338s |      15 |   156146 |   109432 |     5392     28 |        0 |        0
341.05/341.14	c  340s |      15 |   156897 |   110132 |     5392     28 |        0 |        0
343.34/343.43	c  343s |      15 |   157443 |   110632 |     5392     29 |        0 |        0
345.54/345.62	c  345s |      15 |   158149 |   111232 |     5392     29 |        0 |        0
347.64/347.76	c  347s |      15 |   159042 |   111932 |     5392     29 |        0 |        0
349.84/349.94	c  349s |      15 |   159712 |   112532 |     5392     29 |        0 |        0
352.14/352.27	c  351s |      15 |   160386 |   113132 |     5392     29 |        0 |        0
354.43/354.57	c  354s |      15 |   160948 |   113632 |     5392     29 |        0 |        0
356.63/356.74	c  356s |      15 |   161667 |   114232 |     5392     29 |        0 |        0
358.93/359.05	c  358s |      15 |   162348 |   114832 |     5392     29 |        0 |        0
361.13/361.29	c  361s |      15 |   162909 |   115332 |     5392     30 |        0 |        0
363.63/363.70	c  363s |      15 |   163563 |   115932 |     5392     30 |        0 |        0
365.73/365.81	c  365s |      15 |   164311 |   116532 |     5392     30 |        0 |        0
367.83/367.93	c  367s |      15 |   165266 |   117332 |     5392     30 |        0 |        0
369.94/370.01	c  369s |      15 |   166108 |   118032 |     5392     30 |        0 |        0
372.13/372.23	c  371s |      15 |   166774 |   118632 |     5392     30 |        0 |        0
374.53/374.63	c  374s |      15 |   167426 |   119232 |     5392     30 |        0 |        0
376.63/376.77	c  376s |      15 |   167978 |   119732 |     5392     31 |        0 |        0
379.03/379.13	c  378s |      15 |   168636 |   120332 |     5392     31 |        0 |        0
381.44/381.50	c  381s |      15 |   169283 |   120932 |     5392     31 |        0 |        0
383.53/383.60	c  383s |      15 |   169960 |   121532 |     5392     31 |        0 |        0
385.53/385.62	c  385s |      15 |   170629 |   122132 |     5392     31 |        0 |        0
387.63/387.76	c  387s |      15 |   171344 |   122732 |     5392     31 |        0 |        0
389.72/389.87	c  389s |      15 |   171913 |   123232 |     5392     31 |        0 |        0
392.13/392.27	c  391s |      15 |   172583 |   123832 |     5392     31 |        0 |        0
394.23/394.30	c  394s |      15 |   173200 |   124332 |     5392     32 |        0 |        0
396.43/396.51	c  396s |      15 |   174019 |   125032 |     5392     32 |        0 |        0
398.63/398.79	c  398s |      15 |   174813 |   125732 |     5392     32 |        0 |        0
400.83/400.90	c  400s |      15 |   175650 |   126432 |     5392     32 |        0 |        0
402.83/402.91	c  402s |      15 |   176603 |   127232 |     5392     32 |        0 |        0
405.03/405.15	c  404s |      15 |   177392 |   127932 |     5392     32 |        0 |        0
407.32/407.49	c  407s |      15 |   178083 |   128532 |     5392     33 |        0 |        0
409.62/409.77	c  409s |      15 |   178775 |   129132 |     5392     33 |        0 |        0
411.93/412.05	c  411s |      15 |   179435 |   129732 |     5392     33 |        0 |        0
414.13/414.29	c  414s |      15 |   180401 |   130432 |     5392     33 |        0 |        0
416.33/416.47	c  416s |      15 |   181249 |   131132 |     5932     33 |        0 |        0
417.82/417.95	c  417s |      16 |   181765 |   131552 |     5932     33 |        0 |        0
419.92/420.02	c  419s |      16 |   184286 |   132552 |     5932     34 |        0 |        0
421.92/422.09	c  421s |      16 |   185654 |   133752 |     5932     34 |        0 |        0
424.02/424.19	c  423s |      16 |   186765 |   134752 |     5932     34 |        0 |        0
426.13/426.23	c  425s |      16 |   187756 |   135652 |     5932     34 |        0 |        0
428.12/428.25	c  427s |      16 |   188509 |   136352 |     5932     34 |        0 |        0
430.52/430.66	c  430s |      16 |   189376 |   137152 |     5932     35 |        0 |        0
432.82/432.94	c  432s |      16 |   190230 |   137952 |     5932     35 |        0 |        0
434.93/435.03	c  434s |      16 |   190975 |   138652 |     5932     35 |        0 |        0
437.02/437.18	c  436s |      16 |   191714 |   139352 |     5932     35 |        0 |        0
439.22/439.37	c  439s |      16 |   192586 |   140152 |     5932     35 |        0 |        0
441.32/441.40	c  441s |      16 |   193483 |   140952 |     5932     35 |        0 |        0
443.53/443.68	c  443s |      16 |   194376 |   141752 |     5932     35 |        0 |        0
445.72/445.89	c  445s |      16 |   195154 |   142452 |     5932     36 |        0 |        0
448.02/448.10	c  447s |      16 |   196040 |   143252 |     5932     36 |        0 |        0
450.22/450.32	c  450s |      16 |   196906 |   144052 |     5932     36 |        0 |        0
452.42/452.52	c  452s |      16 |   197557 |   144652 |     5932     36 |        0 |        0
454.43/454.59	c  454s |      16 |   198194 |   145252 |     5932     36 |        0 |        0
456.63/456.78	c  456s |      16 |   198940 |   145952 |     5932     36 |        0 |        0
458.82/458.92	c  458s |      16 |   199580 |   146552 |     5932     36 |        0 |        0
460.92/461.07	c  460s |      16 |   200212 |   147152 |     5932     37 |        0 |        0
463.32/463.40	c  463s |      16 |   200953 |   147852 |     5932     37 |        0 |        0
465.43/465.57	c  465s |      16 |   201862 |   148652 |     5932     37 |        0 |        0
467.53/467.69	c  467s |      16 |   202738 |   149452 |     5932     37 |        0 |        0
469.62/469.74	c  469s |      16 |   203426 |   150052 |     5932     37 |        0 |        0
471.82/471.95	c  471s |      16 |   204568 |   151052 |     5932     37 |        0 |        0
473.92/474.09	c  473s |      16 |   205329 |   151752 |     5932     38 |        0 |        0
476.11/476.20	c  475s |      16 |   206211 |   152552 |     5932     38 |        0 |        0
478.22/478.34	c  478s |      16 |   207087 |   153352 |     5932     38 |        0 |        0
480.52/480.64	c  480s |      16 |   207935 |   154152 |     5932     38 |        0 |        0
482.72/482.81	c  482s |      16 |   208508 |   154652 |     5932     38 |        0 |        0
484.92/485.02	c  484s |      16 |   209171 |   155252 |     5932     38 |        0 |        0
487.01/487.11	c  486s |      16 |   209851 |   155852 |     5932     38 |        0 |        0
489.22/489.35	c  489s |      16 |   210517 |   156452 |     5932     39 |        0 |        0
491.42/491.59	c  491s |      16 |   211411 |   157252 |     5932     39 |        0 |        0
493.51/493.65	c  493s |      16 |   212175 |   157952 |     5932     39 |        0 |        0
495.51/495.69	c  495s |      16 |   212830 |   158552 |     5932     39 |        0 |        0
497.61/497.79	c  497s |      16 |   213492 |   159152 |     5932     39 |        0 |        0
499.91/500.02	c  499s |      16 |   214150 |   159752 |     5932     39 |        0 |        0
502.22/502.32	c  502s |      16 |   214910 |   160452 |     5932     39 |        0 |        0
504.41/504.56	c  504s |      16 |   215553 |   161052 |     5932     40 |        0 |        0
506.71/506.85	c  506s |      16 |   216211 |   161652 |     5932     40 |        0 |        0
508.81/508.97	c  508s |      16 |   217022 |   162352 |     5932     40 |        0 |        0
510.91/511.07	c  510s |      16 |   217938 |   163152 |     5932     40 |        0 |        0
513.11/513.26	c  512s |      16 |   218990 |   164052 |     5932     40 |        0 |        0
515.21/515.39	c  515s |      16 |   219746 |   164752 |     5932     40 |        0 |        0
517.51/517.65	c  517s |      16 |   220516 |   165452 |     5932     40 |        0 |        0
519.81/519.96	c  519s |      16 |   221191 |   166052 |     5932     41 |        0 |        0
521.81/521.97	c  521s |      16 |   221955 |   166752 |     5932     41 |        0 |        0
523.81/523.97	c  523s |      16 |   222601 |   167352 |     5932     41 |        0 |        0
526.11/526.29	c  526s |      16 |   223380 |   168052 |     5932     41 |        0 |        0
528.51/528.60	c  528s |      16 |   224174 |   168752 |     5932     41 |        0 |        0
530.61/530.75	c  530s |      16 |   224827 |   169352 |     5932     41 |        0 |        0
532.71/532.87	c  532s |      16 |   225364 |   169852 |     5932     41 |        0 |        0
535.00/535.11	c  534s |      16 |   225917 |   170352 |     5932     42 |        0 |        0
537.21/537.31	c  537s |      16 |   226691 |   171052 |     5932     42 |        0 |        0
539.31/539.45	c  539s |      16 |   227468 |   171752 |     5932     42 |        0 |        0
541.51/541.68	c  541s |      16 |   228149 |   172352 |     5932     42 |        0 |        0
543.71/543.85	c  543s |      16 |   228797 |   172952 |     5932     42 |        0 |        0
546.10/546.24	c  545s |      16 |   229459 |   173552 |     5932     42 |        0 |        0
548.31/548.40	c  548s |      16 |   230008 |   174052 |     5932     42 |        0 |        0
550.51/550.62	c  550s |      16 |   230663 |   174652 |     5932     42 |        0 |        0
552.70/552.86	c  552s |      16 |   231212 |   175152 |     5932     43 |        0 |        0
554.71/554.88	c  554s |      16 |   231774 |   175652 |     5932     43 |        0 |        0
556.71/556.90	c  556s |      16 |   232434 |   176252 |     5932     43 |        0 |        0
558.91/559.04	c  558s |      16 |   233105 |   176852 |     5932     43 |        0 |        0
561.11/561.24	c  560s |      16 |   233768 |   177452 |     5932     43 |        0 |        0
563.10/563.25	c  562s |      16 |   234416 |   178052 |     5932     43 |        0 |        0
565.20/565.34	c  565s |      16 |   235083 |   178652 |     5932     43 |        0 |        0
567.20/567.38	c  567s |      16 |   235748 |   179252 |     5932     43 |        0 |        0
569.51/569.63	c  569s |      16 |   236299 |   179752 |     5932     44 |        0 |        0
571.71/571.85	c  571s |      16 |   237215 |   180552 |     5932     44 |        0 |        0
574.00/574.12	c  573s |      16 |   238106 |   181352 |     5932     44 |        0 |        0
576.10/576.22	c  575s |      16 |   238881 |   182052 |     5932     44 |        0 |        0
578.30/578.43	c  578s |      16 |   239643 |   182752 |     5932     44 |        0 |        0
580.30/580.43	c  580s |      16 |   240266 |   183352 |     5932     44 |        0 |        0
582.40/582.55	c  582s |      16 |   240940 |   183952 |     5932     44 |        0 |        0
584.50/584.62	c  584s |      16 |   241506 |   184452 |     5932     45 |        0 |        0
586.60/586.78	c  586s |      16 |   242263 |   185152 |     5932     45 |        0 |        0
589.00/589.16	c  588s |      16 |   243009 |   185852 |     5932     45 |        0 |        0
591.10/591.21	c  590s |      16 |   243547 |   186352 |     5932     45 |        0 |        0
593.30/593.41	c  593s |      16 |   244080 |   186852 |     5932     45 |        0 |        0
595.30/595.43	c  595s |      16 |   244861 |   187552 |     5932     45 |        0 |        0
597.41/597.58	c  597s |      16 |   245650 |   188252 |     5932     45 |        0 |        0
599.60/599.74	c  599s |      16 |   246303 |   188852 |     5932     45 |        0 |        0
601.80/601.91	c  601s |      16 |   246949 |   189452 |     5932     46 |        0 |        0
603.79/603.99	c  603s |      16 |   247697 |   190152 |     5932     46 |        0 |        0
605.79/605.99	c  605s |      16 |   248527 |   190852 |     5932     46 |        0 |        0
608.00/608.10	c  607s |      16 |   249299 |   191552 |     5932     46 |        0 |        0
610.20/610.34	c  610s |      16 |   250089 |   192252 |     5932     46 |        0 |        0
612.40/612.54	c  612s |      16 |   250878 |   192952 |     5932     46 |        0 |        0
614.50/614.61	c  614s |      16 |   251535 |   193552 |     5932     46 |        0 |        0
616.79/616.98	c  616s |      16 |   252185 |   194152 |     5932     47 |        0 |        0
618.89/619.07	c  618s |      16 |   252956 |   194852 |     5932     47 |        0 |        0
621.20/621.32	c  621s |      16 |   253764 |   195552 |     5932     47 |        0 |        0
623.40/623.58	c  623s |      16 |   254663 |   196352 |     6526     47 |        0 |        0
625.49/625.63	c  625s |      16 |   255450 |   197052 |     6526     47 |        0 |        0
626.79/626.91	c  626s |      17 |   255874 |   197432 |     6526     47 |        0 |        0
628.89/629.09	c  628s |      17 |   258609 |   198432 |     6526     48 |        0 |        0
630.99/631.18	c  630s |      17 |   259638 |   199332 |     6526     48 |        0 |        0
633.09/633.29	c  633s |      17 |   260527 |   200132 |     6526     48 |        0 |        0
635.39/635.57	c  635s |      17 |   261646 |   201032 |     6526     48 |        0 |        0
637.49/637.68	c  637s |      17 |   262577 |   201832 |     6526     48 |        0 |        0
639.89/640.00	c  639s |      17 |   263525 |   202632 |     6526     48 |        0 |        0
641.99/642.11	c  641s |      17 |   264188 |   203232 |     6526     48 |        0 |        0
644.09/644.26	c  643s |      17 |   264746 |   203732 |     6526     49 |        0 |        0
646.39/646.58	c  646s |      17 |   265528 |   204432 |     6526     49 |        0 |        0
648.59/648.75	c  648s |      17 |   266183 |   205032 |     6526     49 |        0 |        0
650.69/650.89	c  650s |      17 |   266846 |   205632 |     6526     49 |        0 |        0
652.79/652.99	c  652s |      17 |   267487 |   206232 |     6526     49 |        0 |        0
654.99/655.12	c  654s |      17 |   268155 |   206832 |     6526     49 |        0 |        0
657.19/657.39	c  657s |      17 |   268810 |   207432 |     6526     49 |        0 |        0
659.39/659.50	c  659s |      17 |   269360 |   207932 |     6526     49 |        0 |        0
661.98/662.17	c  661s |      17 |   269905 |   208432 |     6526     50 |        0 |        0
664.29/664.45	c  664s |      17 |   270676 |   209132 |     6526     50 |        0 |        0
666.29/666.46	c  666s |      17 |   271346 |   209732 |     6526     50 |        0 |        0
668.39/668.51	c  668s |      17 |   272007 |   210332 |     6526     50 |        0 |        0
670.69/670.88	c  670s |      17 |   272783 |   211032 |     6526     50 |        0 |        0
672.98/673.13	c  672s |      17 |   273429 |   211632 |     6526     50 |        0 |        0
675.28/675.48	c  675s |      17 |   274086 |   212232 |     6526     50 |        0 |        0
677.39/677.57	c  677s |      17 |   274648 |   212732 |     6526     50 |        0 |        0
679.49/679.61	c  679s |      17 |   275194 |   213232 |     6526     50 |        0 |        0
681.49/681.67	c  681s |      17 |   275663 |   213632 |     6526     51 |        0 |        0
683.68/683.84	c  683s |      17 |   276736 |   214532 |     6526     51 |        0 |        0
685.98/686.11	c  685s |      17 |   277728 |   215332 |     6526     51 |        0 |        0
688.08/688.29	c  688s |      17 |   278540 |   216032 |     6526     51 |        0 |        0
690.19/690.39	c  690s |      17 |   279319 |   216732 |     6526     51 |        0 |        0
692.49/692.65	c  692s |      17 |   280089 |   217432 |     6526     51 |        0 |        0
694.59/694.77	c  694s |      17 |   280751 |   218032 |     6526     51 |        0 |        0
696.69/696.88	c  696s |      17 |   281332 |   218532 |     6526     52 |        0 |        0
698.98/699.16	c  698s |      17 |   282089 |   219232 |     6526     52 |        0 |        0
701.08/701.29	c  701s |      17 |   282761 |   219832 |     6526     52 |        0 |        0
703.38/703.53	c  703s |      17 |   283539 |   220532 |     6526     52 |        0 |        0
705.58/705.73	c  705s |      17 |   284312 |   221232 |     6526     52 |        0 |        0
707.68/707.83	c  707s |      17 |   284880 |   221732 |     6526     52 |        0 |        0
709.89/710.00	c  709s |      17 |   285545 |   222332 |     6526     52 |        0 |        0
712.08/712.29	c  712s |      17 |   286197 |   222932 |     6526     52 |        0 |        0
714.18/714.33	c  714s |      17 |   286763 |   223432 |     6526     52 |        0 |        0
716.38/716.56	c  716s |      17 |   287442 |   224032 |     6526     53 |        0 |        0
718.58/718.70	c  718s |      17 |   288250 |   224732 |     6526     53 |        0 |        0
720.59/720.74	c  720s |      17 |   288890 |   225332 |     6526     53 |        0 |        0
722.69/722.83	c  722s |      17 |   289567 |   225932 |     6526     53 |        0 |        0
724.88/725.07	c  724s |      17 |   290226 |   226532 |     6526     53 |        0 |        0
727.08/727.21	c  726s |      17 |   290916 |   227132 |     6526     53 |        0 |        0
729.28/729.46	c  729s |      17 |   291572 |   227732 |     6526     53 |        0 |        0
731.67/731.87	c  731s |      17 |   292218 |   228332 |     6526     53 |        0 |        0
733.98/734.13	c  733s |      17 |   292777 |   228832 |     6526     54 |        0 |        0
736.08/736.24	c  735s |      17 |   293402 |   229432 |     6526     54 |        0 |        0
738.18/738.39	c  738s |      17 |   294050 |   230032 |     6526     54 |        0 |        0
740.28/740.43	c  740s |      17 |   294700 |   230632 |     6526     54 |        0 |        0
742.48/742.64	c  742s |      17 |   295368 |   231232 |     6526     54 |        0 |        0
744.48/744.67	c  744s |      17 |   296075 |   231832 |     6526     54 |        0 |        0
746.67/746.81	c  746s |      17 |   297032 |   232532 |     6526     54 |        0 |        0
748.87/749.03	c  748s |      17 |   297830 |   233232 |     6526     54 |        0 |        0
751.17/751.31	c  751s |      17 |   298645 |   233832 |     6526     55 |        0 |        0
753.27/753.48	c  753s |      17 |   299538 |   234632 |     6526     55 |        0 |        0
755.27/755.49	c  755s |      17 |   300323 |   235332 |     6526     55 |        0 |        0
757.48/757.62	c  757s |      17 |   301094 |   236032 |     6526     55 |        0 |        0
759.67/759.87	c  759s |      17 |   301912 |   236732 |     6526     55 |        0 |        0
761.77/761.96	c  761s |      17 |   302598 |   237332 |     6526     55 |        0 |        0
763.88/764.08	c  763s |      17 |   303241 |   237932 |     6526     55 |        0 |        0
765.98/766.10	c  765s |      17 |   303794 |   238432 |     6526     55 |        0 |        0
767.97/768.20	c  767s |      17 |   304519 |   239032 |     6526     56 |        0 |        0
770.27/770.45	c  770s |      17 |   305424 |   239832 |     6526     56 |        0 |        0
772.47/772.69	c  772s |      17 |   306361 |   240632 |     6526     56 |        0 |        0
774.77/774.96	c  774s |      17 |   307159 |   241332 |     6526     56 |        0 |        0
776.97/777.16	c  776s |      17 |   307949 |   242032 |     6526     56 |        0 |        0
779.27/779.41	c  779s |      17 |   308749 |   242732 |     6526     56 |        0 |        0
781.47/781.65	c  781s |      17 |   309449 |   243332 |     6526     56 |        0 |        0
783.67/783.83	c  783s |      17 |   310008 |   243832 |     6526     57 |        0 |        0
785.67/785.86	c  785s |      17 |   310676 |   244432 |     6526     57 |        0 |        0
787.77/787.91	c  787s |      17 |   311307 |   245032 |     6526     57 |        0 |        0
789.77/789.98	c  789s |      17 |   312069 |   245732 |     6526     57 |        0 |        0
792.16/792.30	c  792s |      17 |   312872 |   246432 |     6526     57 |        0 |        0
794.18/794.36	c  794s |      17 |   313506 |   247032 |     6526     57 |        0 |        0
796.27/796.46	c  796s |      17 |   314181 |   247632 |     6526     57 |        0 |        0
798.36/798.51	c  798s |      17 |   314828 |   248232 |     6526     57 |        0 |        0
800.36/800.56	c  800s |      17 |   315395 |   248732 |     6526     58 |        0 |        0
802.56/802.74	c  802s |      17 |   316168 |   249432 |     6526     58 |        0 |        0
804.66/804.83	c  804s |      17 |   316821 |   250032 |     6526     58 |        0 |        0
806.86/807.08	c  806s |      17 |   317713 |   250832 |     6526     58 |        0 |        0
808.97/809.15	c  808s |      17 |   318549 |   251532 |     6526     58 |        0 |        0
811.16/811.32	c  811s |      17 |   319331 |   252232 |     6526     58 |        0 |        0
813.36/813.58	c  813s |      17 |   319979 |   252832 |     6526     58 |        0 |        0
815.36/815.59	c  815s |      17 |   320539 |   253332 |     6526     58 |        0 |        0
817.46/817.64	c  817s |      17 |   320978 |   253732 |     6526     59 |        0 |        0
819.76/819.98	c  819s |      17 |   321606 |   254332 |     6526     59 |        0 |        0
821.86/822.09	c  821s |      17 |   322428 |   255032 |     6526     59 |        0 |        0
824.16/824.33	c  824s |      17 |   323445 |   255932 |     6526     59 |        0 |        0
826.36/826.57	c  826s |      17 |   324213 |   256632 |     6526     59 |        0 |        0
828.36/828.58	c  828s |      17 |   324865 |   257232 |     6526     59 |        0 |        0
830.66/830.84	c  830s |      17 |   325654 |   257932 |     6526     59 |        0 |        0
833.26/833.45	c  833s |      17 |   326444 |   258632 |     6526     60 |        0 |        0
835.46/835.61	c  835s |      17 |   327235 |   259332 |     6526     60 |        0 |        0
837.56/837.71	c  837s |      17 |   328025 |   260032 |     6526     60 |        0 |        0
839.75/839.94	c  839s |      17 |   328815 |   260732 |     6526     60 |        0 |        0
841.96/842.13	c  841s |      17 |   329456 |   261332 |     6526     60 |        0 |        0
844.26/844.41	c  844s |      17 |   330098 |   261932 |     6526     60 |        0 |        0
846.25/846.44	c  846s |      17 |   330651 |   262432 |     6526     60 |        0 |        0
848.56/848.72	c  848s |      17 |   331297 |   263032 |     6526     60 |        0 |        0
850.86/851.04	c  850s |      17 |   331938 |   263632 |     6526     60 |        0 |        0
853.35/853.55	c  853s |      17 |   332601 |   264232 |     6526     61 |        0 |        0
855.56/855.77	c  855s |      17 |   333232 |   264832 |     6526     61 |        0 |        0
857.85/858.03	c  857s |      17 |   333898 |   265432 |     6526     61 |        0 |        0
860.16/860.34	c  860s |      17 |   334540 |   266032 |     6526     61 |        0 |        0
862.46/862.63	c  862s |      17 |   335358 |   266732 |     6526     61 |        0 |        0
864.56/864.74	c  864s |      17 |   336180 |   267432 |     6526     61 |        0 |        0
866.86/867.01	c  866s |      17 |   336954 |   268132 |     6526     61 |        0 |        0
868.96/869.14	c  868s |      17 |   337495 |   268632 |     6526     62 |        0 |        0
871.05/871.29	c  871s |      17 |   338286 |   269332 |     6526     62 |        0 |        0
873.35/873.54	c  873s |      17 |   339038 |   270032 |     6526     62 |        0 |        0
875.35/875.54	c  875s |      17 |   339693 |   270632 |     6526     62 |        0 |        0
877.34/877.57	c  877s |      17 |   340359 |   271232 |     6526     62 |        0 |        0
879.65/879.85	c  879s |      17 |   341001 |   271832 |     6526     62 |        0 |        0
881.64/881.87	c  881s |      17 |   341543 |   272332 |     6526     62 |        0 |        0
883.94/884.12	c  883s |      17 |   342186 |   272932 |     6526     62 |        0 |        0
886.04/886.27	c  885s |      17 |   342830 |   273532 |     6526     62 |        0 |        0
888.14/888.34	c  888s |      17 |   343275 |   273932 |     6526     63 |        0 |        0
890.23/890.44	c  890s |      17 |   344081 |   274632 |     6526     63 |        0 |        0
892.64/892.81	c  892s |      17 |   344854 |   275332 |     6526     63 |        0 |        0
894.84/895.06	c  894s |      17 |   345637 |   276032 |     6526     63 |        0 |        0
896.84/897.09	c  896s |      17 |   346195 |   276532 |     6526     63 |        0 |        0
899.24/899.44	c  899s |      17 |   346857 |   277132 |     6526     63 |        0 |        0
901.34/901.54	c  901s |      17 |   347402 |   277632 |     6526     63 |        0 |        0
903.53/903.78	c  903s |      17 |   347950 |   278132 |     6526     63 |        0 |        0
905.83/906.04	c  905s |      17 |   348499 |   278632 |     6526     63 |        0 |        0
908.44/908.69	c  908s |      17 |   349077 |   279132 |     6526     64 |        0 |        0
910.64/910.89	c  910s |      17 |   349851 |   279832 |     6526     64 |        0 |        0
912.83/913.00	c  912s |      17 |   350505 |   280432 |     6526     64 |        0 |        0
915.14/915.33	c  915s |      17 |   351175 |   281032 |     6526     64 |        0 |        0
917.44/917.65	c  917s |      17 |   351850 |   281632 |     6526     64 |        0 |        0
919.54/919.78	c  919s |      17 |   352400 |   282132 |     6526     64 |        0 |        0
921.73/922.00	c  921s |      17 |   353095 |   282732 |     6526     64 |        0 |        0
924.13/924.37	c  924s |      17 |   353802 |   283332 |     6526     64 |        0 |        0
926.14/926.39	c  926s |      17 |   354378 |   283832 |     6526     65 |        0 |        0
928.34/928.54	c  928s |      17 |   355085 |   284432 |     6526     65 |        0 |        0
930.53/930.74	c  930s |      17 |   355869 |   285132 |     6526     65 |        0 |        0
932.73/933.00	c  932s |      17 |   356637 |   285832 |     6526     65 |        0 |        0
934.83/935.04	c  934s |      17 |   357288 |   286432 |     6526     65 |        0 |        0
937.03/937.26	c  936s |      17 |   357948 |   287032 |     6526     65 |        0 |        0
939.23/939.50	c  939s |      17 |   358610 |   287632 |     6526     65 |        0 |        0
941.53/941.73	c  941s |      17 |   359181 |   288132 |     6526     65 |        0 |        0
943.73/944.00	c  943s |      17 |   359727 |   288632 |     6526     65 |        0 |        0
946.03/946.21	c  945s |      17 |   360155 |   289032 |     6526     66 |        0 |        0
948.13/948.39	c  948s |      17 |   360724 |   289532 |     6526     66 |        0 |        0
950.33/950.52	c  950s |      17 |   361292 |   290032 |     6526     66 |        0 |        0
952.42/952.68	c  952s |      17 |   362074 |   290732 |     6526     66 |        0 |        0
954.62/954.84	c  954s |      17 |   362875 |   291432 |     6526     66 |        0 |        0
956.93/957.20	c  956s |      17 |   363635 |   292132 |     6526     66 |        0 |        0
959.13/959.36	c  959s |      17 |   364432 |   292832 |     6526     66 |        0 |        0
961.52/961.72	c  961s |      17 |   365216 |   293532 |     6526     66 |        0 |        0
963.62/963.85	c  963s |      17 |   365792 |   294032 |     6526     67 |        0 |        0
965.72/965.97	c  965s |      17 |   366457 |   294632 |     7179     67 |        0 |        0
967.81/968.02	c  967s |      17 |   367138 |   295232 |     7179     67 |        0 |        0
969.81/970.08	c  969s |      17 |   367828 |   295832 |     7179     67 |        0 |        0
971.21/971.43	c  971s |      18 |   368278 |   296252 |     7179     67 |        0 |        0
973.31/973.60	c  973s |      18 |   371145 |   297452 |     7179     68 |        0 |        0
975.51/975.79	c  975s |      18 |   372371 |   298552 |     7179     68 |        0 |        0
977.71/977.94	c  977s |      18 |   373358 |   299452 |     7179     68 |        0 |        0
979.81/980.01	c  979s |      18 |   374341 |   300352 |     7179     68 |        0 |        0
981.91/982.18	c  981s |      18 |   375225 |   301152 |     7179     68 |        0 |        0
984.00/984.25	c  983s |      18 |   375986 |   301852 |     7179     68 |        0 |        0
986.20/986.42	c  986s |      18 |   376757 |   302552 |     7179     68 |        0 |        0
988.20/988.44	c  988s |      18 |   377554 |   303252 |     7179     68 |        0 |        0
990.30/990.51	c  990s |      18 |   378105 |   303752 |     7179     69 |        0 |        0
992.40/992.69	c  992s |      18 |   378985 |   304552 |     7179     69 |        0 |        0
994.50/994.73	c  994s |      18 |   379638 |   305152 |     7179     69 |        0 |        0
996.61/996.82	c  996s |      18 |   380288 |   305752 |     7179     69 |        0 |        0
998.71/998.93	c  998s |      18 |   380943 |   306352 |     7179     69 |        0 |        0
1000.91/1001.15	c 1000s |      18 |   381605 |   306952 |     7179     69 |        0 |        0
1002.90/1003.19	c 1002s |      18 |   382247 |   307552 |     7179     69 |        0 |        0
1005.30/1005.55	c 1005s |      18 |   382888 |   308152 |     7179     69 |        0 |        0
1007.39/1007.68	c 1007s |      18 |   383425 |   308652 |     7179     70 |        0 |        0
1009.50/1009.78	c 1009s |      18 |   384103 |   309252 |     7179     70 |        0 |        0
1011.79/1012.02	c 1011s |      18 |   384872 |   309952 |     7179     70 |        0 |        0
1013.79/1014.08	c 1013s |      18 |   385662 |   310652 |     7179     70 |        0 |        0
1016.09/1016.33	c 1016s |      18 |   386410 |   311352 |     7179     70 |        0 |        0
1018.39/1018.64	c 1018s |      18 |   387052 |   311952 |     7179     70 |        0 |        0
1020.69/1020.96	c 1020s |      18 |   387590 |   312452 |     7179     70 |        0 |        0
1022.78/1023.09	c 1022s |      18 |   388235 |   313052 |     7179     70 |        0 |        0
1025.09/1025.38	c 1025s |      18 |   388905 |   313652 |     7179     70 |        0 |        0
1027.29/1027.53	c 1027s |      18 |   389442 |   314152 |     7179     71 |        0 |        0
1029.59/1029.83	c 1029s |      18 |   390107 |   314752 |     7179     71 |        0 |        0
1031.68/1031.94	c 1031s |      18 |   391030 |   315552 |     7179     71 |        0 |        0
1033.68/1033.97	c 1033s |      18 |   391814 |   316252 |     7179     71 |        0 |        0
1035.68/1035.97	c 1035s |      18 |   392460 |   316852 |     7179     71 |        0 |        0
1037.98/1038.26	c 1037s |      18 |   393243 |   317552 |     7179     71 |        0 |        0
1040.27/1040.53	c 1040s |      18 |   394016 |   318252 |     7179     71 |        0 |        0
1042.57/1042.83	c 1042s |      18 |   394824 |   318952 |     7179     71 |        0 |        0
1044.67/1044.98	c 1044s |      18 |   395482 |   319552 |     7179     72 |        0 |        0
1046.87/1047.17	c 1046s |      18 |   396378 |   320352 |     7179     72 |        0 |        0
1049.17/1049.47	c 1049s |      18 |   397260 |   321152 |     7179     72 |        0 |        0
1051.37/1051.68	c 1051s |      18 |   398025 |   321852 |     7179     72 |        0 |        0
1053.57/1053.85	c 1053s |      18 |   398677 |   322452 |     7179     72 |        0 |        0
1055.66/1055.97	c 1055s |      18 |   399368 |   323052 |     7179     72 |        0 |        0
1057.96/1058.21	c 1057s |      18 |   400027 |   323652 |     7179     72 |        0 |        0
1059.96/1060.26	c 1059s |      18 |   400702 |   324252 |     7179     72 |        0 |        0
1062.16/1062.48	c 1062s |      18 |   401235 |   324752 |     7179     73 |        0 |        0
1064.45/1064.76	c 1064s |      18 |   401991 |   325452 |     7179     73 |        0 |        0
1066.45/1066.79	c 1066s |      18 |   402684 |   326052 |     7179     73 |        0 |        0
1068.65/1068.95	c 1068s |      18 |   403483 |   326752 |     7179     73 |        0 |        0
1070.95/1071.29	c 1071s |      18 |   404296 |   327452 |     7179     73 |        0 |        0
1073.36/1073.60	c 1073s |      18 |   405082 |   328152 |     7179     73 |        0 |        0
1075.35/1075.61	c 1075s |      18 |   405784 |   328752 |     7179     73 |        0 |        0
1077.35/1077.63	c 1077s |      18 |   406496 |   329352 |     7179     73 |        0 |        0
1079.65/1079.94	c 1079s |      18 |   407286 |   330052 |     7179     73 |        0 |        0
1081.84/1082.19	c 1081s |      18 |   407962 |   330652 |     7179     74 |        0 |        0
1083.94/1084.20	c 1083s |      18 |   408660 |   331252 |     7179     74 |        0 |        0
1086.04/1086.35	c 1086s |      18 |   409423 |   331952 |     7179     74 |        0 |        0
1088.34/1088.61	c 1088s |      18 |   410230 |   332652 |     7179     74 |        0 |        0
1090.53/1090.80	c 1090s |      18 |   410913 |   333252 |     7179     74 |        0 |        0
1092.54/1092.88	c 1092s |      18 |   411759 |   333952 |     7179     74 |        0 |        0
1094.64/1094.94	c 1094s |      18 |   412425 |   334552 |     7179     74 |        0 |        0
1096.94/1097.25	c 1096s |      18 |   413082 |   335152 |     7179     74 |        0 |        0
1099.04/1099.38	c 1099s |      18 |   413647 |   335652 |     7179     75 |        0 |        0
1101.43/1101.70	c 1101s |      18 |   414411 |   336352 |     7179     75 |        0 |        0
1103.43/1103.78	c 1103s |      18 |   415076 |   336952 |     7179     75 |        0 |        0
1105.63/1105.91	c 1105s |      18 |   415852 |   337652 |     7179     75 |        0 |        0
1107.73/1108.00	c 1107s |      18 |   416620 |   338352 |     7179     75 |        0 |        0
1109.73/1110.01	c 1109s |      18 |   417277 |   338952 |     7179     75 |        0 |        0
1111.82/1112.16	c 1111s |      18 |   417938 |   339552 |     7179     75 |        0 |        0
1114.24/1114.53	c 1114s |      18 |   418597 |   340152 |     7179     75 |        0 |        0
1116.63/1116.91	c 1116s |      18 |   419267 |   340752 |     7179     75 |        0 |        0
1118.63/1118.94	c 1118s |      18 |   419834 |   341252 |     7179     76 |        0 |        0
1120.92/1121.21	c 1120s |      18 |   420610 |   341952 |     7179     76 |        0 |        0
1123.52/1123.87	c 1123s |      18 |   421266 |   342552 |     7179     76 |        0 |        0
1125.82/1126.18	c 1125s |      18 |   422095 |   343252 |     7179     76 |        0 |        0
1128.12/1128.42	c 1128s |      18 |   422883 |   343952 |     7179     76 |        0 |        0
1130.12/1130.43	c 1130s |      18 |   423662 |   344652 |     7179     76 |        0 |        0
1132.31/1132.60	c 1132s |      18 |   424438 |   345352 |     7179     76 |        0 |        0
1134.41/1134.73	c 1134s |      18 |   425231 |   346052 |     7179     76 |        0 |        0
1136.61/1136.99	c 1136s |      18 |   426028 |   346752 |     7179     77 |        0 |        0
1139.01/1139.31	c 1139s |      18 |   426943 |   347552 |     7179     77 |        0 |        0
1141.10/1141.42	c 1141s |      18 |   427704 |   348252 |     7179     77 |        0 |        0
1143.40/1143.72	c 1143s |      18 |   428464 |   348952 |     7179     77 |        0 |        0
1145.51/1145.89	c 1145s |      18 |   429127 |   349552 |     7179     77 |        0 |        0
1147.71/1148.07	c 1147s |      18 |   429801 |   350152 |     7179     77 |        0 |        0
1149.81/1150.16	c 1149s |      18 |   430447 |   350752 |     7179     77 |        0 |        0
1151.90/1152.22	c 1151s |      18 |   430990 |   351252 |     7179     77 |        0 |        0
1154.00/1154.33	c 1154s |      18 |   431419 |   351652 |     7179     78 |        0 |        0
1156.00/1156.37	c 1156s |      18 |   432065 |   352252 |     7179     78 |        0 |        0
1158.30/1158.61	c 1158s |      18 |   432720 |   352852 |     7179     78 |        0 |        0
1160.40/1160.72	c 1160s |      18 |   433260 |   353352 |     7179     78 |        0 |        0
1162.50/1162.85	c 1162s |      18 |   433937 |   353952 |     7179     78 |        0 |        0
1164.60/1164.98	c 1164s |      18 |   434735 |   354652 |     7179     78 |        0 |        0
1166.69/1167.03	c 1166s |      18 |   435421 |   355252 |     7179     78 |        0 |        0
1168.69/1169.07	c 1168s |      18 |   435978 |   355752 |     7179     78 |        0 |        0
1170.89/1171.28	c 1171s |      18 |   436648 |   356352 |     7179     78 |        0 |        0
1173.18/1173.52	c 1173s |      18 |   437183 |   356852 |     7179     79 |        0 |        0
1175.48/1175.85	c 1175s |      18 |   437971 |   357552 |     7179     79 |        0 |        0
1177.59/1177.94	c 1177s |      18 |   438582 |   358052 |     7179     79 |        0 |        0
1179.79/1180.13	c 1179s |      18 |   439465 |   358752 |     7179     79 |        0 |        0
1181.98/1182.30	c 1182s |      18 |   440277 |   359452 |     7179     79 |        0 |        0
1184.08/1184.43	c 1184s |      18 |   440972 |   360052 |     7179     79 |        0 |        0
1186.08/1186.46	c 1186s |      18 |   441633 |   360652 |     7179     79 |        0 |        0
1188.18/1188.52	c 1188s |      18 |   442318 |   361252 |     7179     79 |        0 |        0
1190.37/1190.70	c 1190s |      18 |   443016 |   361852 |     7179     79 |        0 |        0
1192.48/1192.84	c 1192s |      18 |   443580 |   362352 |     7179     80 |        0 |        0
1194.58/1194.90	c 1194s |      18 |   444249 |   362952 |     7179     80 |        0 |        0
1196.68/1197.05	c 1196s |      18 |   445028 |   363652 |     7179     80 |        0 |        0
1198.88/1199.26	c 1198s |      18 |   445827 |   364352 |     7179     80 |        0 |        0
1201.07/1201.45	c 1201s |      18 |   446511 |   364952 |     7179     80 |        0 |        0
1203.37/1203.77	c 1203s |      18 |   447305 |   365652 |     7179     80 |        0 |        0
1205.67/1206.08	c 1205s |      18 |   448085 |   366352 |     7179     80 |        0 |        0
1207.87/1208.21	c 1207s |      18 |   448762 |   366952 |     7179     80 |        0 |        0
1210.06/1210.43	c 1210s |      18 |   449443 |   367552 |     7179     80 |        0 |        0
1212.26/1212.67	c 1212s |      18 |   450153 |   368152 |     7179     81 |        0 |        0
1214.46/1214.81	c 1214s |      18 |   450931 |   368852 |     7179     81 |        0 |        0
1216.66/1217.03	c 1216s |      18 |   451729 |   369552 |     7179     81 |        0 |        0
1218.75/1219.11	c 1218s |      18 |   452407 |   370152 |     7179     81 |        0 |        0
1220.76/1221.15	c 1220s |      18 |   453099 |   370752 |     7179     81 |        0 |        0
1223.07/1223.41	c 1223s |      18 |   453761 |   371352 |     7179     81 |        0 |        0
1225.27/1225.64	c 1225s |      18 |   454422 |   371952 |     7179     81 |        0 |        0
1227.26/1227.67	c 1227s |      18 |   454988 |   372452 |     7179     81 |        0 |        0
1229.36/1229.72	c 1229s |      18 |   455534 |   372952 |     7179     81 |        0 |        0
1231.45/1231.81	c 1231s |      18 |   456111 |   373452 |     7179     82 |        0 |        0
1233.85/1234.21	c 1233s |      18 |   456924 |   374152 |     7179     82 |        0 |        0
1235.95/1236.31	c 1236s |      18 |   457583 |   374752 |     7179     82 |        0 |        0
1238.25/1238.61	c 1238s |      18 |   458270 |   375352 |     7179     82 |        0 |        0
1240.55/1240.97	c 1240s |      18 |   458949 |   375952 |     7179     82 |        0 |        0
1242.75/1243.16	c 1242s |      18 |   459491 |   376452 |     7179     82 |        0 |        0
1244.94/1245.33	c 1245s |      18 |   460081 |   376952 |     7179     82 |        0 |        0
1246.94/1247.36	c 1247s |      18 |   460668 |   377452 |     7179     82 |        0 |        0
1249.24/1249.63	c 1249s |      18 |   461222 |   377952 |     7179     82 |        0 |        0
1251.44/1251.88	c 1251s |      18 |   461780 |   378452 |     7179     83 |        0 |        0
1253.63/1254.07	c 1253s |      18 |   462340 |   378952 |     7179     83 |        0 |        0
1255.94/1256.35	c 1256s |      18 |   462892 |   379452 |     7179     83 |        0 |        0
1258.03/1258.41	c 1258s |      18 |   463331 |   379852 |     7179     83 |        0 |        0
1260.44/1260.83	c 1260s |      18 |   463896 |   380352 |     7179     83 |        0 |        0
1262.43/1262.87	c 1262s |      18 |   464334 |   380752 |     7179     83 |        0 |        0
1264.53/1264.93	c 1264s |      18 |   464752 |   381152 |     7179     83 |        0 |        0
1266.83/1267.21	c 1266s |      18 |   465315 |   381652 |     7179     83 |        0 |        0
1269.13/1269.58	c 1269s |      18 |   465877 |   382152 |     7179     83 |        0 |        0
1271.73/1272.12	c 1271s |      18 |   466419 |   382652 |     7179     83 |        0 |        0
1273.83/1274.21	c 1273s |      18 |   466854 |   383052 |     7179     83 |        0 |        0
1275.92/1276.34	c 1276s |      18 |   467437 |   383552 |     7179     83 |        0 |        0
1277.93/1278.37	c 1278s |      18 |   467998 |   384052 |     7179     84 |        0 |        0
1280.23/1280.66	c 1280s |      18 |   468784 |   384752 |     7179     84 |        0 |        0
1282.42/1282.85	c 1282s |      18 |   469470 |   385352 |     7179     84 |        0 |        0
1284.71/1285.19	c 1284s |      18 |   470135 |   385952 |     7179     84 |        0 |        0
1286.82/1287.23	c 1286s |      18 |   470698 |   386452 |     7179     84 |        0 |        0
1288.82/1289.26	c 1288s |      18 |   471231 |   386952 |     7179     84 |        0 |        0
1290.81/1291.28	c 1291s |      18 |   471775 |   387452 |     7179     84 |        0 |        0
1292.91/1293.35	c 1293s |      18 |   472228 |   387852 |     7179     84 |        0 |        0
1295.41/1295.85	c 1295s |      18 |   472767 |   388352 |     7179     84 |        0 |        0
1297.41/1297.87	c 1297s |      18 |   473319 |   388852 |     7179     84 |        0 |        0
1299.62/1300.05	c 1299s |      18 |   473890 |   389352 |     7179     85 |        0 |        0
1301.71/1302.12	c 1301s |      18 |   474559 |   389952 |     7179     85 |        0 |        0
1304.01/1304.45	c 1304s |      18 |   475229 |   390552 |     7179     85 |        0 |        0
1306.01/1306.46	c 1306s |      18 |   475772 |   391052 |     7179     85 |        0 |        0
1308.11/1308.57	c 1308s |      18 |   476322 |   391552 |     7179     85 |        0 |        0
1310.50/1310.95	c 1310s |      18 |   476963 |   392152 |     7179     85 |        0 |        0
1312.70/1313.19	c 1312s |      18 |   477490 |   392652 |     7179     85 |        0 |        0
1315.00/1315.42	c 1315s |      18 |   478033 |   393152 |     7179     85 |        0 |        0
1317.40/1317.86	c 1317s |      18 |   478594 |   393652 |     7179     85 |        0 |        0
1319.50/1319.92	c 1319s |      18 |   479047 |   394052 |     7179     85 |        0 |        0
1321.59/1322.06	c 1321s |      18 |   479503 |   394452 |     7179     86 |        0 |        0
1323.79/1324.20	c 1323s |      18 |   480052 |   394952 |     7179     86 |        0 |        0
1326.00/1326.41	c 1326s |      18 |   480601 |   395452 |     7179     86 |        0 |        0
1328.40/1328.86	c 1328s |      18 |   481148 |   395952 |     7179     86 |        0 |        0
1330.89/1331.30	c 1331s |      18 |   481693 |   396452 |     7179     86 |        0 |        0
1332.90/1333.31	c 1333s |      18 |   482148 |   396852 |     7179     86 |        0 |        0
1335.10/1335.52	c 1335s |      18 |   482831 |   397452 |     7179     86 |        0 |        0
1337.39/1337.82	c 1337s |      18 |   483561 |   398052 |     7179     86 |        0 |        0
1339.39/1339.86	c 1339s |      18 |   484314 |   398652 |     7179     86 |        0 |        0
1341.58/1342.09	c 1341s |      18 |   485072 |   399252 |     7179     86 |        0 |        0
1343.78/1344.26	c 1343s |      18 |   485533 |   399652 |     7179     87 |        0 |        0
1345.88/1346.34	c 1346s |      18 |   486252 |   400252 |     7179     87 |        0 |        0
1348.08/1348.58	c 1348s |      18 |   486887 |   400852 |     7179     87 |        0 |        0
1350.38/1350.81	c 1350s |      18 |   487435 |   401352 |     7179     87 |        0 |        0
1352.48/1352.92	c 1352s |      18 |   487984 |   401852 |     7179     87 |        0 |        0
1354.68/1355.13	c 1354s |      18 |   488539 |   402352 |     7179     87 |        0 |        0
1356.87/1357.34	c 1357s |      18 |   489093 |   402852 |     7179     87 |        0 |        0
1358.88/1359.37	c 1359s |      18 |   489688 |   403352 |     7179     87 |        0 |        0
1361.07/1361.56	c 1361s |      18 |   490401 |   403952 |     7179     87 |        0 |        0
1363.37/1363.80	c 1363s |      18 |   491135 |   404552 |     7179     87 |        0 |        0
1365.37/1365.84	c 1365s |      18 |   491630 |   404952 |     7179     88 |        0 |        0
1367.77/1368.23	c 1367s |      18 |   492464 |   405552 |     7179     88 |        0 |        0
1370.17/1370.60	c 1370s |      18 |   493245 |   406052 |     7179     88 |        0 |        0
1372.47/1373.00	c 1372s |      18 |   493806 |   406552 |     7179     88 |        0 |        0
1374.87/1375.39	c 1375s |      18 |   494337 |   407052 |     7179     88 |        0 |        0
1377.06/1377.59	c 1377s |      18 |   494924 |   407552 |     7179     88 |        0 |        0
1379.26/1379.70	c 1379s |      18 |   495602 |   408152 |     7179     88 |        0 |        0
1381.45/1381.90	c 1381s |      18 |   496329 |   408752 |     7179     88 |        0 |        0
1383.57/1384.01	c 1383s |      18 |   496940 |   409252 |     7179     88 |        0 |        0
1385.86/1386.30	c 1386s |      18 |   497526 |   409752 |     7179     88 |        0 |        0
1388.16/1388.63	c 1388s |      18 |   498096 |   410252 |     7179     88 |        0 |        0
1390.25/1390.77	c 1390s |      18 |   498525 |   410652 |     7179     89 |        0 |        0
1392.26/1392.78	c 1392s |      18 |   499069 |   411152 |     7179     89 |        0 |        0
1394.35/1394.80	c 1394s |      18 |   499626 |   411652 |     7179     89 |        0 |        0
1396.66/1397.11	c 1396s |      18 |   500181 |   412152 |     7179     89 |        0 |        0
1398.86/1399.34	c 1399s |      18 |   500726 |   412652 |     7179     89 |        0 |        0
1401.05/1401.57	c 1401s |      18 |   501327 |   413152 |     7179     89 |        0 |        0
1403.14/1403.68	c 1403s |      18 |   501738 |   413552 |     7179     89 |        0 |        0
1405.34/1405.84	c 1405s |      18 |   502404 |   414052 |     7179     89 |        0 |        0
1407.44/1407.97	c 1407s |      18 |   503087 |   414652 |     7179     89 |        0 |        0
1409.54/1410.02	c 1409s |      18 |   503690 |   415152 |     7179     89 |        0 |        0
1412.15/1412.64	c 1412s |      18 |   504257 |   415652 |     7179     90 |        0 |        0
1414.35/1414.85	c 1414s |      18 |   504944 |   416252 |     7179     90 |        0 |        0
1416.74/1417.21	c 1416s |      18 |   505602 |   416852 |     7179     90 |        0 |        0
1418.75/1419.25	c 1418s |      18 |   506132 |   417352 |     7179     90 |        0 |        0
1420.94/1421.48	c 1421s |      18 |   506660 |   417852 |     7179     90 |        0 |        0
1423.23/1423.78	c 1423s |      18 |   507231 |   418352 |     7179     90 |        0 |        0
1425.53/1426.09	c 1425s |      18 |   507889 |   418952 |     7179     90 |        0 |        0
1427.94/1428.41	c 1428s |      18 |   508568 |   419552 |     7179     90 |        0 |        0
1430.03/1430.56	c 1430s |      18 |   509118 |   420052 |     7179     90 |        0 |        0
1432.42/1432.99	c 1432s |      18 |   509674 |   420552 |     7179     90 |        0 |        0
1434.82/1435.38	c 1435s |      18 |   510118 |   420952 |     7179     91 |        0 |        0
1437.02/1437.52	c 1437s |      18 |   510713 |   421452 |     7179     91 |        0 |        0
1439.22/1439.72	c 1439s |      18 |   511384 |   422052 |     7179     91 |        0 |        0
1441.32/1441.80	c 1441s |      18 |   511944 |   422552 |     7179     91 |        0 |        0
1443.52/1444.01	c 1443s |      18 |   512506 |   423052 |     7179     91 |        0 |        0
1445.72/1446.26	c 1445s |      18 |   513047 |   423552 |     7179     91 |        0 |        0
1447.72/1448.26	c 1447s |      18 |   513605 |   424052 |     7179     91 |        0 |        0
1449.82/1450.39	c 1450s |      18 |   514195 |   424552 |     7179     91 |        0 |        0
1452.11/1452.66	c 1452s |      18 |   514727 |   425052 |     7179     91 |        0 |        0
1454.41/1454.90	c 1454s |      18 |   515269 |   425552 |     7179     91 |        0 |        0
1456.91/1457.40	c 1457s |      18 |   515817 |   426052 |     7179     91 |        0 |        0
1459.11/1459.65	c 1459s |      18 |   516249 |   426452 |     7179     92 |        0 |        0
1461.11/1461.67	c 1461s |      18 |   516692 |   426852 |     7179     92 |        0 |        0
1463.21/1463.76	c 1463s |      18 |   517242 |   427352 |     7179     92 |        0 |        0
1465.61/1466.14	c 1465s |      18 |   517790 |   427852 |     7179     92 |        0 |        0
1467.71/1468.29	c 1468s |      18 |   518481 |   428452 |     7179     92 |        0 |        0
1470.01/1470.57	c 1470s |      18 |   519291 |   429152 |     7179     92 |        0 |        0
1472.21/1472.76	c 1472s |      18 |   520015 |   429752 |     7179     92 |        0 |        0
1474.32/1474.84	c 1474s |      18 |   520548 |   430252 |     7179     92 |        0 |        0
1476.31/1476.88	c 1476s |      18 |   521140 |   430752 |     7179     92 |        0 |        0
1478.31/1478.89	c 1478s |      18 |   521691 |   431252 |     7179     92 |        0 |        0
1480.32/1480.89	c 1480s |      18 |   522140 |   431652 |     7179     93 |        0 |        0
1482.42/1482.97	c 1482s |      18 |   522806 |   432252 |     7179     93 |        0 |        0
1484.51/1485.02	c 1484s |      18 |   523360 |   432752 |     7179     93 |        0 |        0
1486.71/1487.24	c 1486s |      18 |   523887 |   433252 |     7179     93 |        0 |        0
1488.91/1489.43	c 1489s |      18 |   524426 |   433752 |     7179     93 |        0 |        0
1491.01/1491.58	c 1491s |      18 |   524986 |   434252 |     7179     93 |        0 |        0
1493.10/1493.65	c 1493s |      18 |   525534 |   434752 |     7179     93 |        0 |        0
1495.11/1495.66	c 1495s |      18 |   526073 |   435252 |     7179     93 |        0 |        0
1497.11/1497.67	c 1497s |      18 |   526619 |   435752 |     7179     93 |        0 |        0
1499.51/1500.05	c 1499s |      18 |   527165 |   436252 |     7179     93 |        0 |        0
1501.90/1502.49	c 1502s |      18 |   527718 |   436752 |     7179     93 |        0 |        0
1504.00/1504.54	c 1504s |      18 |   528050 |   437052 |     7179     94 |        0 |        0
1506.20/1506.79	c 1506s |      18 |   528701 |   437652 |     7179     94 |        0 |        0
1508.41/1508.98	c 1508s |      18 |   529256 |   438152 |     7179     94 |        0 |        0
1510.50/1511.01	c 1510s |      18 |   529799 |   438652 |     7179     94 |        0 |        0
1512.70/1513.28	c 1513s |      18 |   530406 |   439152 |     7179     94 |        0 |        0
1514.90/1515.40	c 1515s |      18 |   531148 |   439752 |     7179     94 |        0 |        0
1517.00/1517.56	c 1517s |      18 |   531846 |   440352 |     7179     94 |        0 |        0
1519.00/1519.57	c 1519s |      18 |   532394 |   440852 |     7179     94 |        0 |        0
1521.10/1521.67	c 1521s |      18 |   532930 |   441352 |     7897     94 |        0 |        0
1523.21/1523.72	c 1523s |      18 |   533497 |   441852 |     7897     94 |        0 |        0
1525.61/1526.17	c 1525s |      18 |   534155 |   442452 |     7897     94 |        0 |        0
1528.00/1528.51	c 1528s |      18 |   534716 |   442952 |     7897     94 |        0 |        0
1530.30/1530.84	c 1530s |      18 |   535168 |   443352 |     7897     95 |        0 |        0
1532.50/1533.00	c 1532s |      18 |   535865 |   443952 |     7897     95 |        0 |        0
1534.60/1535.12	c 1534s |      18 |   536412 |   444452 |     7897     95 |        0 |        0
1534.70/1535.23	c 1534s |      19 |   536443 |   444482 |     7897     95 |        0 |        0
1536.80/1537.39	c 1537s |      19 |   539190 |   445482 |     7897     95 |        0 |        0
1539.00/1539.52	c 1539s |      19 |   540113 |   446282 |     7897     95 |        0 |        0
1541.10/1541.61	c 1541s |      19 |   541160 |   447182 |     7897     95 |        0 |        0
1543.20/1543.79	c 1543s |      19 |   542032 |   447982 |     7897     95 |        0 |        0
1545.30/1545.86	c 1545s |      19 |   542842 |   448682 |     7897     95 |        0 |        0
1547.50/1548.05	c 1547s |      19 |   543514 |   449282 |     7897     96 |        0 |        0
1549.50/1550.05	c 1549s |      19 |   544168 |   449882 |     7897     96 |        0 |        0
1551.89/1552.44	c 1552s |      19 |   544946 |   450582 |     7897     96 |        0 |        0
1554.20/1554.74	c 1554s |      19 |   545602 |   451182 |     7897     96 |        0 |        0
1556.40/1556.96	c 1556s |      19 |   546257 |   451782 |     7897     96 |        0 |        0
1558.70/1559.28	c 1559s |      19 |   546958 |   452382 |     7897     96 |        0 |        0
1560.90/1561.40	c 1561s |      19 |   547665 |   452982 |     7897     96 |        0 |        0
1563.09/1563.68	c 1563s |      19 |   548513 |   453682 |     7897     96 |        0 |        0
1565.29/1565.82	c 1565s |      19 |   549137 |   454182 |     7897     96 |        0 |        0
1567.40/1567.95	c 1567s |      19 |   549608 |   454582 |     7897     97 |        0 |        0
1569.70/1570.25	c 1569s |      19 |   550385 |   455282 |     7897     97 |        0 |        0
1571.90/1572.42	c 1572s |      19 |   551062 |   455882 |     7897     97 |        0 |        0
1574.20/1574.73	c 1574s |      19 |   551751 |   456482 |     7897     97 |        0 |        0
1576.39/1576.90	c 1576s |      19 |   552302 |   456982 |     7897     97 |        0 |        0
1578.69/1579.22	c 1578s |      19 |   552854 |   457482 |     7897     97 |        0 |        0
1581.00/1581.51	c 1581s |      19 |   553394 |   457982 |     7897     97 |        0 |        0
1583.29/1583.85	c 1583s |      19 |   553954 |   458482 |     7897     97 |        0 |        0
1585.39/1585.97	c 1585s |      19 |   554390 |   458882 |     7897     97 |        0 |        0
1587.79/1588.35	c 1588s |      19 |   554941 |   459382 |     7897     97 |        0 |        0
1590.10/1590.69	c 1590s |      19 |   555516 |   459882 |     7897     97 |        0 |        0
1592.50/1593.08	c 1592s |      19 |   555958 |   460282 |     7897     98 |        0 |        0
1594.60/1595.12	c 1594s |      19 |   556415 |   460682 |     7897     98 |        0 |        0
1596.59/1597.13	c 1596s |      19 |   556955 |   461182 |     7897     98 |        0 |        0
1598.69/1599.26	c 1598s |      19 |   557493 |   461682 |     7897     98 |        0 |        0
1600.79/1601.32	c 1601s |      19 |   558073 |   462182 |     7897     98 |        0 |        0
1602.99/1603.57	c 1603s |      19 |   558610 |   462682 |     7897     98 |        0 |        0
1605.20/1605.79	c 1605s |      19 |   559187 |   463182 |     7897     98 |        0 |        0
1607.39/1607.98	c 1607s |      19 |   559761 |   463682 |     7897     98 |        0 |        0
1609.49/1610.06	c 1609s |      19 |   560320 |   464182 |     7897     98 |        0 |        0
1611.49/1612.07	c 1611s |      19 |   560860 |   464682 |     7897     98 |        0 |        0
1613.89/1614.45	c 1614s |      19 |   561520 |   465282 |     7897     98 |        0 |        0
1616.19/1616.79	c 1616s |      19 |   562080 |   465782 |     7897     98 |        0 |        0
1618.29/1618.84	c 1618s |      19 |   562316 |   465982 |     7897     99 |        0 |        0
1620.29/1620.88	c 1620s |      19 |   562863 |   466482 |     7897     99 |        0 |        0
1622.69/1623.23	c 1622s |      19 |   563526 |   467082 |     7897     99 |        0 |        0
1624.89/1625.40	c 1625s |      19 |   564256 |   467682 |     7897     99 |        0 |        0
1627.08/1627.65	c 1627s |      19 |   565003 |   468382 |     7897     99 |        0 |        0
1629.08/1629.69	c 1629s |      19 |   565658 |   468982 |     7897     99 |        0 |        0
1631.49/1632.01	c 1631s |      19 |   566303 |   469582 |     7897     99 |        0 |        0
1633.79/1634.38	c 1634s |      19 |   566982 |   470182 |     7897     99 |        0 |        0
1635.89/1636.40	c 1636s |      19 |   567415 |   470582 |     7897     99 |        0 |        0
1637.89/1638.44	c 1638s |      19 |   567954 |   471082 |     7897     99 |        0 |        0
1640.68/1641.22	c 1640s |      19 |   568521 |   471582 |     7897    100 |        0 |        0
1642.78/1643.39	c 1643s |      19 |   569079 |   472082 |     7897    100 |        0 |        0
1644.88/1645.48	c 1645s |      19 |   569622 |   472582 |     7897    100 |        0 |        0
1647.28/1647.83	c 1647s |      19 |   570157 |   473082 |     7897    100 |        0 |        0
1649.59/1650.18	c 1649s |      19 |   570726 |   473582 |     7897    100 |        0 |        0
1651.89/1652.45	c 1652s |      19 |   571294 |   474082 |     7897    100 |        0 |        0
1653.99/1654.51	c 1654s |      19 |   571949 |   474582 |     7897    100 |        0 |        0
1655.98/1656.55	c 1656s |      19 |   572544 |   475082 |     7897    100 |        0 |        0
1658.08/1658.69	c 1658s |      19 |   573101 |   475582 |     7897    100 |        0 |        0
1660.18/1660.75	c 1660s |      19 |   573698 |   476082 |     7897    100 |        0 |        0
1662.58/1663.19	c 1662s |      19 |   574315 |   476582 |     7897    100 |        0 |        0
1664.79/1665.37	c 1665s |      19 |   574908 |   477082 |     7897    100 |        0 |        0
1666.98/1667.52	c 1667s |      19 |   575252 |   477382 |     7897    101 |        0 |        0
1669.18/1669.74	c 1669s |      19 |   575923 |   477982 |     7897    101 |        0 |        0
1671.28/1671.80	c 1671s |      19 |   576545 |   478482 |     7897    101 |        0 |        0
1673.28/1673.80	c 1673s |      19 |   577125 |   478982 |     7897    101 |        0 |        0
1675.38/1675.95	c 1675s |      19 |   577660 |   479482 |     7897    101 |        0 |        0
1677.58/1678.16	c 1677s |      19 |   578224 |   479982 |     7897    101 |        0 |        0
1679.68/1680.22	c 1679s |      19 |   578801 |   480482 |     7897    101 |        0 |        0
1681.78/1682.38	c 1682s |      19 |   579510 |   481082 |     7897    101 |        0 |        0
1684.17/1684.79	c 1684s |      19 |   580218 |   481682 |     7897    101 |        0 |        0
1686.27/1686.88	c 1686s |      19 |   580786 |   482182 |     7897    101 |        0 |        0
1688.38/1688.90	c 1688s |      19 |   581356 |   482682 |     7897    101 |        0 |        0
1690.39/1690.96	c 1690s |      19 |   581690 |   482982 |     7897    102 |        0 |        0
1692.49/1693.05	c 1692s |      19 |   582282 |   483482 |     7897    102 |        0 |        0
1694.69/1695.30	c 1695s |      19 |   583103 |   484182 |     7897    102 |        0 |        0
1696.78/1697.34	c 1697s |      19 |   583841 |   484782 |     7897    102 |        0 |        0
1698.98/1699.59	c 1699s |      19 |   584523 |   485382 |     7897    102 |        0 |        0
1701.47/1702.01	c 1701s |      19 |   585204 |   485982 |     7897    102 |        0 |        0
1703.87/1704.42	c 1704s |      19 |   585775 |   486482 |     7897    102 |        0 |        0
1705.97/1706.56	c 1706s |      19 |   586356 |   486982 |     7897    102 |        0 |        0
1708.27/1708.86	c 1708s |      19 |   587037 |   487582 |     7897    102 |        0 |        0
1710.57/1711.19	c 1710s |      19 |   587854 |   488282 |     7897    102 |        0 |        0
1712.78/1713.33	c 1713s |      19 |   588322 |   488682 |     7897    103 |        0 |        0
1714.98/1715.52	c 1715s |      19 |   589007 |   489282 |     7897    103 |        0 |        0
1717.28/1717.85	c 1717s |      19 |   589792 |   489982 |     7897    103 |        0 |        0
1719.27/1719.87	c 1719s |      19 |   590460 |   490582 |     7897    103 |        0 |        0
1721.57/1722.12	c 1721s |      19 |   591158 |   491182 |     7897    103 |        0 |        0
1723.67/1724.29	c 1724s |      19 |   591872 |   491782 |     7897    103 |        0 |        0
1725.97/1726.50	c 1726s |      19 |   592628 |   492382 |     7897    103 |        0 |        0
1727.97/1728.54	c 1728s |      19 |   593201 |   492882 |     7897    103 |        0 |        0
1730.07/1730.64	c 1730s |      19 |   593751 |   493382 |     7897    103 |        0 |        0
1732.07/1732.67	c 1732s |      19 |   594317 |   493882 |     7897    103 |        0 |        0
1734.97/1735.52	c 1735s |      19 |   594967 |   494482 |     7897    104 |        0 |        0
1737.07/1737.68	c 1737s |      19 |   595686 |   495082 |     7897    104 |        0 |        0
1739.17/1739.80	c 1739s |      19 |   596272 |   495582 |     7897    104 |        0 |        0
1741.37/1741.92	c 1741s |      19 |   596835 |   496082 |     7897    104 |        0 |        0
1743.77/1744.30	c 1744s |      19 |   597521 |   496682 |     7897    104 |        0 |        0
1746.07/1746.60	c 1746s |      19 |   598097 |   497182 |     7897    104 |        0 |        0
1748.06/1748.69	c 1748s |      19 |   598647 |   497682 |     7897    104 |        0 |        0
1750.47/1751.05	c 1750s |      19 |   599318 |   498282 |     7897    104 |        0 |        0
1752.67/1753.23	c 1752s |      19 |   599871 |   498782 |     7897    104 |        0 |        0
1754.86/1755.41	c 1755s |      19 |   600419 |   499282 |     7897    104 |        0 |        0
1757.27/1757.84	c 1757s |      19 |   600977 |   499782 |     7897    104 |        0 |        0
1759.68/1760.23	c 1759s |      19 |   601431 |   500182 |     7897    105 |        0 |        0
1761.78/1762.36	c 1762s |      19 |   602127 |   500782 |     7897    105 |        0 |        0
1764.07/1764.64	c 1764s |      19 |   602773 |   501382 |     7897    105 |        0 |        0
1766.37/1766.99	c 1766s |      19 |   603435 |   501982 |     7897    105 |        0 |        0
1768.47/1769.07	c 1768s |      19 |   604008 |   502482 |     7897    105 |        0 |        0
1770.57/1771.12	c 1770s |      19 |   604458 |   502882 |     7897    105 |        0 |        0
1772.57/1773.17	c 1772s |      19 |   605174 |   503482 |     7897    105 |        0 |        0
1774.67/1775.23	c 1774s |      19 |   605725 |   503982 |     7897    105 |        0 |        0
1776.67/1777.29	c 1777s |      19 |   606287 |   504482 |     7897    105 |        0 |        0
1778.87/1779.48	c 1779s |      19 |   606845 |   504982 |     7897    105 |        0 |        0
1781.06/1781.67	c 1781s |      19 |   607404 |   505482 |     7897    105 |        0 |        0
1783.36/1783.94	c 1783s |      19 |   607857 |   505882 |     7897    106 |        0 |        0
1785.66/1786.23	c 1785s |      19 |   608525 |   506482 |     7897    106 |        0 |        0
1787.67/1788.23	c 1787s |      19 |   609083 |   506982 |     7897    106 |        0 |        0
1789.96/1790.57	c 1790s |      19 |   609760 |   507582 |     7897    106 |        0 |        0
1792.06/1792.69	c 1792s |      19 |   610331 |   508082 |     7897    106 |        0 |        0
1794.27/1794.89	c 1794s |      19 |   610898 |   508582 |     7897    106 |        0 |        0
1796.56/1797.14	c 1796s |      19 |   611487 |   509082 |     7897    106 |        0 |        0
1798.56/1799.19	c 1798s |      19 |   612046 |   509582 |     7897    106 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093408-1466082841/watcher-4093408-1466082841 -o /tmp/evaluation-result-4093408-1466082841/solver-4093408-1466082841 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16984 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093408-1466082841.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.09 2.17 2.17 4/179 18171
/proc/meminfo: memFree=29366612/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=684476 CPUtime=0 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 2549 0 0 0 0 0 0 0 20 0 4 0 10329881 700903424 2398 33554432000 4194304 16246674 140735139636960 140735139636384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 171887 2411 441 2943 0 168781 0
[pid=18171/tid=18172] ppid=18168 vsize=702908 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 719777792 2472 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=708028 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 725020672 2489 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=712124 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10329881 729214976 2505 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.09 2.17 2.17 4/179 18171
/proc/meminfo: memFree=29366612/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 25912 0 0 0 5 4 0 0 20 0 4 0 10329881 1247350784 25754 33554432000 4194304 16246674 140735139636960 140735139636384 12457395 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 304529 25763 604 2943 0 301423 0
[pid=18171/tid=18172] ppid=18168 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1247350784 25769 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1247350784 25775 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10329881 1247350784 25782 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200551 s]
/proc/loadavg: 2.09 2.17 2.17 4/179 18171
/proc/meminfo: memFree=29366612/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 48419 0 0 0 12 7 0 0 20 0 4 0 10329881 1247350784 48258 33554432000 4194304 16246674 140735139636960 140735139636384 12481124 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 304529 48279 680 2943 0 301423 0
[pid=18171/tid=18172] ppid=18168 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1247350784 48294 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1247350784 48306 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10329881 1247350784 48320 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300511 s]
/proc/loadavg: 2.09 2.17 2.17 4/179 18171
/proc/meminfo: memFree=29366612/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 71171 0 0 0 17 12 0 0 20 0 4 0 10329881 1247350784 71006 33554432000 4194304 16246674 140735139636960 140735139636384 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 304529 71020 807 2943 0 301423 0
[pid=18171/tid=18172] ppid=18168 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1247350784 71029 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1247350784 71036 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10329881 1247350784 71038 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70044 s]
/proc/loadavg: 2.09 2.17 2.17 4/179 18171
/proc/meminfo: memFree=29366612/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 95654 0 0 0 53 16 0 0 20 0 4 0 10329881 1338576896 95467 33554432000 4194304 16246674 140735139636960 140735139636272 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 326801 95467 868 2943 0 323695 0
[pid=18171/tid=18172] ppid=18168 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1338576896 95467 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1338576896 95467 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10329881 1338576896 95467 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50042 s]
/proc/loadavg: 2.09 2.17 2.17 4/183 18175
/proc/meminfo: memFree=28985388/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 178607 0 0 0 123 26 0 0 20 0 4 0 10329881 1338576896 178421 33554432000 4194304 16246674 140735139636960 140735139618752 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 326801 178437 868 2943 0 323695 0
[pid=18171/tid=18172] ppid=18168 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1338576896 178445 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1338576896 178454 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10329881 1338576896 178463 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10044 s]
/proc/loadavg: 2.16 2.19 2.17 4/183 18175
/proc/meminfo: memFree=28296064/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 268012 0 0 0 271 38 0 0 20 0 4 0 10329881 1339625472 267825 33554432000 4194304 16246674 140735139636960 140735139618880 5515868 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 327057 267825 868 2943 0 323951 0
[pid=18171/tid=18172] ppid=18168 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1339625472 267825 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1339625472 267825 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10329881 1339625472 267825 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30043 s]
/proc/loadavg: 2.16 2.19 2.17 3/183 18175
/proc/meminfo: memFree=28295332/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 268172 0 0 0 591 38 0 0 20 0 4 0 10329881 1339625472 267985 33554432000 4194304 16246674 140735139636960 140735139636136 13006049 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 327057 267985 868 2943 0 323951 0
[pid=18171/tid=18172] ppid=18168 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1339625472 267985 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1339625472 267985 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10329881 1339625472 267985 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.14 2.18 2.17 3/183 18175
/proc/meminfo: memFree=28294512/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1309252 CPUtime=12.68 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 268302 0 0 0 1230 38 0 0 20 0 4 0 10329881 1340674048 268115 33554432000 4194304 16246674 140735139636960 140735139618880 5712192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 327313 268115 872 2943 0 324207 0
[pid=18171/tid=18172] ppid=18168 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1340674048 268115 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1340674048 268115 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10329881 1340674048 268115 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1309252

[startup+25.5075 s]
/proc/loadavg: 2.12 2.17 2.17 3/183 18175
/proc/meminfo: memFree=28293652/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1310276 CPUtime=25.49 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 268397 0 0 0 2510 39 0 0 20 0 4 0 10329881 1341722624 268210 33554432000 4194304 16246674 140735139636960 140735139618880 13780488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 327569 268210 874 2943 0 324463 0
[pid=18171/tid=18172] ppid=18168 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1341722624 268210 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1341722624 268210 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10329881 1341722624 268210 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1004 s]
/proc/loadavg: 2.16 2.17 2.17 3/183 18175
/proc/meminfo: memFree=28287084/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1316420 CPUtime=51.08 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 270018 0 0 0 5067 41 0 0 20 0 4 0 10329881 1348014080 269831 33554432000 4194304 16246674 140735139636960 140735139618880 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 329105 269831 875 2943 0 325999 0
[pid=18171/tid=18172] ppid=18168 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1348014080 269831 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1348014080 269831 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10329881 1348014080 269831 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 2.18 2.18 2.17 3/183 18177
/proc/meminfo: memFree=28286020/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1316420 CPUtime=102.28 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 270227 0 0 0 10181 47 0 0 20 0 4 0 10329881 1348014080 270040 33554432000 4194304 16246674 140735139636960 140735139618880 5545796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 329105 270040 875 2943 0 325999 0
[pid=18171/tid=18172] ppid=18168 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1348014080 270040 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1348014080 270040 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10329881 1348014080 270040 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1316420


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

/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274136 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.51 2.37 2.28 3/183 18257
/proc/meminfo: memFree=28277384/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1331780 CPUtime=1361.87 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 274390 0 0 0 136046 141 0 0 20 0 4 0 10329881 1363742720 274136 33554432000 4194304 16246674 140735139636960 140735139618880 5545894 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 332945 274136 875 2943 0 329839 0
[pid=18171/tid=18172] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274136 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274136 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274136 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.34 2.35 2.27 4/184 18258
/proc/meminfo: memFree=28277904/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1331780 CPUtime=1421.83 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 274432 0 0 0 142037 146 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 140735139618880 5711326 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 332945 274139 875 2943 0 329839 0
[pid=18171/tid=18172] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.29 2.33 2.27 3/183 18259
/proc/meminfo: memFree=28277160/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1331780 CPUtime=1481.81 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 274454 0 0 0 148031 150 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 140735139618880 5822432 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 332945 274139 875 2943 0 329839 0
[pid=18171/tid=18172] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1331780

[startup+1542.3 s]
/proc/loadavg: 2.30 2.32 2.27 4/183 18260
/proc/meminfo: memFree=28276396/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1331780 CPUtime=1541.81 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 274454 0 0 0 154027 154 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 140735139636056 5721768 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 332945 274139 875 2943 0 329839 0
[pid=18171/tid=18172] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.30 2.31 2.27 3/184 18264
/proc/meminfo: memFree=28276192/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1331780 CPUtime=1601.79 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 274454 0 0 0 160020 159 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 140735139636136 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 332945 274139 875 2943 0 329839 0
[pid=18171/tid=18172] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1331780

[startup+1662.31 s]
/proc/loadavg: 2.36 2.32 2.27 3/183 18266
/proc/meminfo: memFree=28276092/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1331780 CPUtime=1661.79 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 274454 0 0 0 166016 163 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 140735139618880 5522977 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 332945 274139 875 2943 0 329839 0
[pid=18171/tid=18172] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.31 2.31 2.27 3/183 18266
/proc/meminfo: memFree=28275876/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1331780 CPUtime=1721.77 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 274454 0 0 0 172011 166 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 140735139618880 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 332945 274139 875 2943 0 329839 0
[pid=18171/tid=18172] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1331780

[startup+1782.3 s]
/proc/loadavg: 2.47 2.35 2.28 3/183 18268
/proc/meminfo: memFree=28275904/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1331780 CPUtime=1781.76 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 274454 0 0 0 178006 170 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 140735139636136 5523460 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 332945 274139 875 2943 0 329839 0
[pid=18171/tid=18172] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1331780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.49 2.36 2.29 3/183 18268
/proc/meminfo: memFree=28275764/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1331780 CPUtime=1800.06 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 274454 0 0 0 179834 172 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 140735139618880 13760253 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 332945 274139 875 2943 0 329839 0
[pid=18171/tid=18172] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1331780

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

[startup+1800.6 s]
/proc/loadavg: 2.49 2.36 2.29 3/183 18268
/proc/meminfo: memFree=28275764/32872528 swapFree=1402008/1579836
[pid=18171] ppid=18168 vsize=1331780 CPUtime=1800.06 cores=1,3,5,7
/proc/18171/stat : 18171 (toysat) R 18168 18171 13870 0 -1 4202496 274454 0 0 0 179834 172 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 140735139618880 13760253 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18171/statm: 332945 274139 875 2943 0 329839 0
[pid=18171/tid=18172] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18172/stat : 18172 (toysat) S 18168 18171 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139853002943728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18171/tid=18173] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18173/stat : 18173 (toysat) S 18168 18171 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139852992453872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18171/tid=18174] ppid=18168 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/18171/task/18174/stat : 18174 (toysat) S 18168 18171 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10329881 1363742720 274139 33554432000 4194304 16246674 140735139636960 139852981980336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1331780

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1798.35
CPU system time (s): 1.72374
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 1331780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.35
system time used= 1.72374
maximum resident set size= 1096556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274454
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= 403
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.06923 second user time and 7.40687 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-16 15:14:01
IDJOB=4093408
IDBENCH=78714
IDSOLVER=2553
FILE ID=node139/4093408-1466082841
RUNJOBID= node139-1466075487-16984
PBS_JOBID= 19904001
Free space on /tmp= 71612 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093408-1466082841/watcher-4093408-1466082841 -o /tmp/evaluation-result-4093408-1466082841/solver-4093408-1466082841 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16984 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093408-1466082841.wbo

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

MD5SUM BENCH= e56482878ee36dcbb361a64b1d161fc3
RANDOM SEED=966862254

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29366140 kB
Buffers:           29888 kB
Cached:           107172 kB
SwapCached:          960 kB
Active:          1163588 kB
Inactive:          61200 kB
Active(anon):    1088812 kB
Inactive(anon):     1240 kB
Active(file):      74776 kB
Inactive(file):    59960 kB
Unevictable:     1579836 kB
Mlocked:         1402008 kB
SwapTotal:      67108856 kB
SwapFree:       67100120 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2667068 kB
Mapped:            10616 kB
Shmem:                 0 kB
Slab:             567552 kB
SReclaimable:      11624 kB
SUnreclaim:       555928 kB
KernelStack:        1448 kB
PageTables:         9272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2809444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1259520 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= 71596 MiB
End job on node139 at 2016-06-16 15:44:02