Trace number 4101833

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.07 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-modglob.opb
MD5SUM1c32686691bf96e75781667309b05481
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 104
Optimality of the best value was proved NO
Number of variables9818
Total number of constraints291
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints291
Minimum length of a constraint30
Maximum length of a constraint270
Number of terms in the objective function 9818
Biggest coefficient in the objective function 7770
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 533087
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 533087
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T07:29:41+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4101833-1466227781.opb"]
0.00/0.01	c use --random-gen="2198981545 1532494575 3641103725 1597430832 4040164241 1785433457 928742930 2686834062 2471659372 1300510838 2697438844 3899395872 512187626 1762541784 1896591493 1171323993 4133079010 2357767463 3802536769 2613931300 3012002421 373349954 2974370377 2546853488 2337394631 2460453018 1853598616 1751373560 2745883578 3357647063 2435172237 3359406319 229421627 2463257159 449545886 1014052123 3987008588 1401821284 2935607504 475440881 3822554516 595924717 3270192809 4057273547 1552695690 3503923980 3983819367 2370629017 7483073 2061384372 1161014193 1991496521 891587798 704245321 3127437068 3383578572 3201183829 3416932000 4211846176 3580569966 1277016533 2938298705 635769968 2685718222 1674190293 3333038160 1965346169 4092584881 3152351595 2419158276 1437545823 3097406002 2795181632 1290075777 2489087397 1053356521 790739601 2900418093 2529815565 407349994 931668706 3779476497 610485380 3977543900 2852456522 2069584269 1877365260 1918393190 971729424 2463958236 130815156 2462733556 604060723 1051244336 628970463 3143353473 3666596656 4164640838 4179936830 2280541059 2871455482 2242176274 839707982 1599687302 1799781252 1867944537 449033399 1752448456 4065823281 1571942844 2212953077 866175091 2770674703 3587815364 1328870733 945941415 1022272372 4262147609 2511053675 2239696939 2159860023 2922211785 4030502220 2021350857 2397958618 3973575354 4032112750 3899074491 1632098098 692419604 2229107383 3792287537 51302372 468092831 3427696801 3826631603 3349687579 2341283282 4144945087 680172496 4053569860 2479596558 1267212660 88744010 3335468722 2057496791 3377360309 192260207 888663233 2434517604 3246013192 980262551 1526388428 3592310855 1236796111 1098480011 876959735 3393269930 1998140477 4228943171 3863966006 1111484787 2491355064 2320180481 3238524182 831241579 316089573 2987536136 1808171577 1667744742 1217741820 162945949 565279847 2198013359 2951857982 2839828072 2073046060 3571600931 1958252751 3242003858 3329151813 1539997737 1814660998 676752547 3034286468 1801147739 775470750 1862311962 3903084025 2969839133 296525396 158092120 3134434110 1955773990 384968603 2174943528 2362249088 53534808 719608566 3569240938 2764525022 1273109310 3343755919 2325886688 4283625201 3081265683 3134817158 1322807207 2212102045 2763271476 4051957673 41488984 1023382801 495240029 1949211693 4243902551 2877592278 1101577419 1449418418 1108616989 4268070120 1744540115 4235093528 2093912769 2510278885 284465118 940724825 1669073730 2015908381 977702709 3280400987 979880689 4211276043 626676059 662981129 1708821975 1200913629 3748303180 1277507720 2693267161 1653551991 2225715373 4199898685 2268924071 4008520873 166183755 2224232706 4256068381 1891825187 755233168 2676966401 800209032 531170129 4149247118 4158187165 1124569798 255 362436" option to reproduce the execution
0.00/0.07	c #vars 9818
0.00/0.07	c #constraints 291
0.49/0.53	c BCD2: Hardening is enabled.
0.49/0.53	c BCD2: BiasedSearch is enabled.
0.49/0.53	c Solving starts ...
0.49/0.53	c ============================[ Search Statistics ]============================
0.49/0.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.53	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.53	c =============================================================================
0.49/0.53	c  0.0s |       0 |        0 |        0 |     3400      0 |     2434 |        0
0.49/0.56	c  0.0s |       1 |      169 |      100 |     3400      0 |     2434 |        2
0.59/0.60	c  0.1s |       2 |      375 |      250 |     3741      0 |     2434 |        2
0.59/0.67	c  0.1s |       3 |      886 |      475 |     4116      0 |     2434 |        2
0.89/0.90	c  0.4s |       4 |     2073 |      813 |     4528      0 |     2434 |        2
0.99/1.09	c  0.6s |       5 |     2934 |     1320 |     4981      0 |     2434 |        2
1.39/1.42	c  0.9s |       6 |     3869 |     2081 |     6029      0 |     2434 |        2
1.88/1.98	c  1.4s |       7 |     5470 |     3223 |     6632      0 |     2434 |        2
2.79/2.86	c  2.3s |       8 |     8214 |     4936 |     7296      0 |     2434 |        2
4.29/4.37	c  3.8s |       9 |    13037 |     7506 |     8026      0 |     2434 |        2
6.29/6.39	c  5.9s |       9 |    17791 |    10506 |     8026      0 |     2434 |        2
6.89/6.94	c  6.4s |      10 |    19033 |    11361 |     8829      1 |     2434 |        2
8.90/8.95	c  8.4s |      10 |    23626 |    14661 |     8829      1 |     2434 |        2
10.39/10.50	c 10.0s |      11 |    27161 |    17144 |     9712      2 |     2434 |        2
12.49/12.54	c 12.0s |      11 |    32510 |    20344 |     9712      2 |     2434 |        2
14.59/14.62	c 14.1s |      11 |    36898 |    23344 |     9712      3 |     2434 |        2
15.99/16.03	c 15.5s |      12 |    39757 |    25819 |    10684      3 |     2434 |        2
17.99/18.06	c 17.5s |      12 |    44168 |    28819 |    10684      3 |     2434 |        2
20.08/20.11	c 19.6s |      12 |    48037 |    32119 |    10684      4 |     2434 |        2
22.09/22.12	c 21.6s |      12 |    52192 |    35119 |    10684      4 |     2434 |        2
24.08/24.13	c 23.6s |      12 |    57143 |    37519 |    10684      5 |     2434 |        2
24.98/25.00	c 24.5s |      13 |    59302 |    38832 |    11753      5 |     2434 |        2
26.98/27.05	c 26.5s |      13 |    63717 |    41332 |    11753      5 |     2434 |        2
28.98/29.08	c 28.5s |      13 |    69158 |    44032 |    11753      5 |     2434 |        2
31.08/31.11	c 30.6s |      13 |    73476 |    46532 |    11753      6 |     2434 |        2
33.09/33.19	c 32.7s |      13 |    78482 |    49432 |    11753      6 |     2434 |        2
35.19/35.25	c 34.7s |      13 |    82796 |    52132 |    11753      7 |     2434 |        2
37.18/37.27	c 36.7s |      13 |    88511 |    55332 |    11753      7 |     2434 |        2
37.89/37.97	c 37.4s |      14 |    96344 |    58352 |    12929      7 |     2435 |        2
39.88/39.98	c 39.5s |      14 |   107382 |    62852 |    12929      7 |     2435 |        2
41.89/41.99	c 41.5s |      14 |   112285 |    67152 |    12929      8 |     2435 |        2
43.99/44.01	c 43.5s |      14 |   116059 |    70552 |    12929      8 |     2435 |        2
45.98/46.04	c 45.5s |      14 |   119482 |    73752 |    12929      8 |     2435 |        2
47.98/48.07	c 47.5s |      14 |   122523 |    76452 |    12929      9 |     2435 |        2
50.08/50.12	c 49.6s |      14 |   125296 |    78952 |    12929      9 |     2435 |        2
52.08/52.14	c 51.6s |      14 |   127616 |    81052 |    12929      9 |     2435 |        2
54.08/54.16	c 53.6s |      14 |   129684 |    82952 |    12929      9 |     2435 |        2
56.09/56.20	c 55.7s |      14 |   130985 |    84152 |    12929     10 |     2435 |        2
58.18/58.25	c 57.7s |      14 |   133103 |    86152 |    12929     10 |     2435 |        2
59.78/59.80	c 59.3s |      15 |   134668 |    87632 |    14222     10 |     2435 |        2
61.78/61.84	c 61.3s |      15 |   138713 |    90932 |    14222     11 |     2435 |        2
63.79/63.86	c 63.3s |      15 |   141632 |    93732 |    14222     11 |     2435 |        2
65.78/65.87	c 65.3s |      15 |   143971 |    96032 |    14222     11 |     2435 |        2
67.88/67.90	c 67.4s |      15 |   146201 |    98232 |    14222     11 |     2435 |        2
69.88/69.96	c 69.4s |      15 |   148170 |   100032 |    14222     12 |     2435 |        2
71.98/72.05	c 71.5s |      15 |   151131 |   102532 |    14222     12 |     2435 |        2
73.97/74.05	c 73.5s |      15 |   153045 |   104232 |    14222     12 |     2435 |        2
76.08/76.14	c 75.6s |      15 |   154973 |   106132 |    14222     12 |     2435 |        2
78.08/78.14	c 77.6s |      15 |   156685 |   107832 |    14222     12 |     2435 |        2
80.07/80.18	c 79.7s |      15 |   158331 |   109432 |    14222     13 |     2435 |        2
82.18/82.29	c 81.8s |      15 |   160168 |   111232 |    14222     13 |     2435 |        2
84.28/84.34	c 83.8s |      15 |   161895 |   112932 |    14222     13 |     2435 |        2
89.09/89.15	c 88.6s |      15 |   163622 |   114532 |    14222     13 |     2435 |        2
91.18/91.24	c 90.7s |      15 |   165443 |   116332 |    14222     13 |     2435 |        2
93.18/93.26	c 92.7s |      15 |   166881 |   117732 |    14222     14 |     2435 |        2
95.28/95.32	c 94.8s |      15 |   168917 |   119732 |    14222     14 |     2435 |        2
97.38/97.40	c 96.9s |      15 |   170326 |   121132 |    14222     14 |     2435 |        2
99.37/99.49	c 99.0s |      15 |   172413 |   123132 |    14222     14 |     2435 |        2
101.47/101.52	c  100s |      15 |   174326 |   125032 |    14222     14 |     2435 |        2
103.57/103.62	c  103s |      15 |   175550 |   126232 |    14222     15 |     2435 |        2
107.28/107.38	c  106s |      15 |   177392 |   128032 |    14222     15 |     2435 |        2
109.38/109.44	c  108s |      15 |   178524 |   129132 |    14222     15 |     2435 |        2
111.48/111.55	c  111s |      15 |   180605 |   131132 |    15645     15 |     2435 |        2
111.88/111.98	c  111s |      16 |   181067 |   131552 |    15645     15 |     2435 |        2
113.98/114.02	c  113s |      16 |   189308 |   135652 |    15645     15 |     2435 |        2
116.08/116.17	c  115s |      16 |   192644 |   138752 |    15645     16 |     2435 |        2
118.08/118.19	c  117s |      16 |   197673 |   143552 |    15645     16 |     2435 |        2
120.17/120.20	c  119s |      16 |   202398 |   148252 |    15645     16 |     2435 |        2
122.17/122.25	c  121s |      16 |   205811 |   151652 |    15645     17 |     2435 |        2
124.27/124.31	c  123s |      16 |   209030 |   154852 |    15645     17 |     2435 |        2
126.27/126.34	c  125s |      16 |   211942 |   157752 |    15645     17 |     2435 |        2
128.27/128.38	c  127s |      16 |   216578 |   160652 |    15645     17 |     2435 |        2
130.37/130.44	c  129s |      16 |   220250 |   163952 |    15645     18 |     2435 |        2
132.46/132.58	c  132s |      16 |   222925 |   166352 |    15645     18 |     2435 |        2
134.56/134.66	c  134s |      16 |   225813 |   168252 |    15645     18 |     2435 |        2
136.66/136.71	c  136s |      16 |   228458 |   170152 |    15645     18 |     2435 |        2
138.76/138.86	c  138s |      16 |   230872 |   171952 |    15645     18 |     2435 |        2
140.77/140.86	c  140s |      16 |   232952 |   173552 |    15645     19 |     2435 |        2
142.86/142.94	c  142s |      16 |   235048 |   175252 |    15645     19 |     2435 |        2
144.96/145.05	c  144s |      16 |   237939 |   177452 |    15645     19 |     2435 |        2
146.95/147.05	c  146s |      16 |   239953 |   178852 |    15645     19 |     2435 |        2
148.95/149.06	c  148s |      16 |   241597 |   180152 |    15645     19 |     2435 |        2
151.05/151.16	c  150s |      16 |   243893 |   182152 |    15645     19 |     2435 |        2
153.15/153.20	c  152s |      16 |   245637 |   183852 |    15645     20 |     2435 |        2
155.16/155.25	c  154s |      16 |   248153 |   186152 |    15645     20 |     2435 |        2
157.15/157.26	c  156s |      16 |   250829 |   188652 |    15645     20 |     2435 |        2
159.15/159.29	c  158s |      16 |   253314 |   190952 |    15645     20 |     2435 |        2
161.25/161.38	c  160s |      16 |   255832 |   192952 |    15645     20 |     2435 |        2
163.54/163.60	c  163s |      16 |   257874 |   194652 |    15645     21 |     2435 |        2
165.64/165.70	c  165s |      16 |   259767 |   196252 |    17210     21 |     2435 |        2
166.74/166.87	c  166s |      17 |   261049 |   197432 |    17210     21 |     2435 |        2
169.14/169.25	c  168s |      17 |   266196 |   200932 |    17210     21 |     2435 |        2
171.14/171.29	c  170s |      17 |   269175 |   203832 |    17210     21 |     2435 |        2
173.24/173.34	c  172s |      17 |   272354 |   206432 |    17210     22 |     2435 |        2
175.24/175.38	c  174s |      17 |   275035 |   208932 |    17210     22 |     2435 |        2
177.34/177.44	c  176s |      17 |   277559 |   211232 |    17210     22 |     2435 |        2
179.34/179.47	c  178s |      17 |   279805 |   213432 |    17210     22 |     2435 |        2
181.44/181.52	c  180s |      17 |   282108 |   215532 |    17210     23 |     2435 |        2
183.43/183.57	c  183s |      17 |   284221 |   217532 |    17210     23 |     2435 |        2
185.43/185.57	c  185s |      17 |   286795 |   219532 |    17210     23 |     2435 |        2
187.53/187.61	c  187s |      17 |   289232 |   221432 |    17210     23 |     2435 |        2
189.53/189.69	c  189s |      17 |   291643 |   223332 |    17210     23 |     2435 |        2
191.63/191.70	c  191s |      17 |   293349 |   224732 |    17210     23 |     2435 |        2
193.63/193.75	c  193s |      17 |   295580 |   226732 |    17210     24 |     2435 |        2
195.73/195.83	c  195s |      17 |   297954 |   228832 |    17210     24 |     2435 |        2
197.72/197.87	c  197s |      17 |   299831 |   230632 |    17210     24 |     2435 |        2
199.82/199.90	c  199s |      17 |   302165 |   232732 |    17210     24 |     2435 |        2
201.82/201.96	c  201s |      17 |   304423 |   234732 |    17210     24 |     2435 |        2
204.12/204.23	c  203s |      17 |   306536 |   236632 |    17210     25 |     2435 |        2
206.22/206.33	c  205s |      17 |   308414 |   238432 |    17210     25 |     2435 |        2
208.22/208.38	c  207s |      17 |   309665 |   239632 |    17210     25 |     2435 |        2
210.32/210.42	c  209s |      17 |   311967 |   241632 |    17210     25 |     2435 |        2
212.91/213.06	c  212s |      17 |   313743 |   243032 |    17210     25 |     2435 |        2
215.02/215.12	c  214s |      17 |   314991 |   244232 |    17210     25 |     2435 |        2
217.02/217.13	c  216s |      17 |   316605 |   245832 |    17210     25 |     2435 |        2
220.12/220.25	c  219s |      17 |   318091 |   247232 |    17210     26 |     2435 |        2
222.51/222.64	c  222s |      17 |   319548 |   248632 |    17210     26 |     2435 |        2
224.61/224.71	c  224s |      17 |   320219 |   249132 |    17210     26 |     2435 |        2
226.62/226.72	c  226s |      17 |   322249 |   250832 |    17210     26 |     2435 |        2
228.72/228.81	c  228s |      17 |   324080 |   252532 |    17210     26 |     2435 |        2
230.71/230.87	c  230s |      17 |   325821 |   254232 |    17210     26 |     2435 |        2
232.91/233.00	c  232s |      17 |   328030 |   256232 |    17210     26 |     2435 |        2
235.01/235.13	c  234s |      17 |   329447 |   257632 |    17210     26 |     2435 |        2
237.11/237.21	c  236s |      17 |   330560 |   258732 |    17210     27 |     2435 |        2
239.11/239.29	c  238s |      17 |   332315 |   260432 |    17210     27 |     2435 |        2
241.21/241.32	c  240s |      17 |   334037 |   262132 |    17210     27 |     2435 |        2
243.30/243.40	c  242s |      17 |   335664 |   263732 |    17210     27 |     2435 |        2
245.31/245.49	c  244s |      17 |   338119 |   265832 |    17210     27 |     2435 |        2
247.30/247.50	c  246s |      17 |   340567 |   268032 |    17210     27 |     2435 |        2
249.40/249.52	c  248s |      17 |   342535 |   269832 |    17210     28 |     2435 |        2
253.11/253.21	c  252s |      17 |   344665 |   271632 |    17210     28 |     2435 |        2
255.11/255.22	c  254s |      17 |   346069 |   272932 |    17210     28 |     2435 |        2
257.20/257.32	c  256s |      17 |   347229 |   274032 |    17210     28 |     2435 |        2
259.30/259.43	c  258s |      17 |   348388 |   275132 |    17210     28 |     2435 |        2
261.30/261.44	c  260s |      17 |   349765 |   276432 |    17210     28 |     2435 |        2
263.40/263.53	c  263s |      17 |   350973 |   277632 |    17210     28 |     2435 |        2
265.50/265.61	c  265s |      17 |   352884 |   279132 |    17210     29 |     2435 |        2
267.50/267.67	c  267s |      17 |   354922 |   280832 |    17210     29 |     2435 |        2
269.51/269.68	c  269s |      17 |   357191 |   282732 |    17210     29 |     2435 |        2
271.61/271.78	c  271s |      17 |   359326 |   284532 |    17210     29 |     2435 |        2
273.70/273.87	c  273s |      17 |   361339 |   286332 |    17210     29 |     2435 |        2
275.80/275.90	c  275s |      17 |   363106 |   288032 |    17210     29 |     2435 |        2
277.80/277.95	c  277s |      17 |   364298 |   289132 |    17210     29 |     2435 |        2
279.90/280.00	c  279s |      17 |   365723 |   290432 |    17210     30 |     2435 |        2
282.60/282.80	c  282s |      17 |   367710 |   292132 |    17210     30 |     2435 |        2
284.69/284.86	c  284s |      17 |   369685 |   293832 |    17210     30 |     2435 |        2
286.79/286.91	c  286s |      17 |   371930 |   295732 |    18931     30 |     2435 |        2
287.39/287.54	c  287s |      18 |   372457 |   296252 |    18931     30 |     2435 |        2
289.39/289.54	c  289s |      18 |   382547 |   299352 |    18931     30 |     2435 |        2
291.40/291.58	c  291s |      18 |   386925 |   302752 |    18931     30 |     2435 |        2
293.49/293.60	c  293s |      18 |   391744 |   306052 |    18931     31 |     2435 |        2
295.49/295.62	c  295s |      18 |   394774 |   308752 |    18931     31 |     2435 |        2
297.49/297.65	c  297s |      18 |   399678 |   311752 |    18931     31 |     2435 |        2
299.49/299.68	c  299s |      18 |   403329 |   314252 |    18931     31 |     2435 |        2
301.59/301.77	c  301s |      18 |   405590 |   315952 |    18931     31 |     2435 |        2
303.68/303.83	c  303s |      18 |   407652 |   317552 |    18931     31 |     2435 |        2
305.88/306.07	c  305s |      18 |   409793 |   319052 |    18931     32 |     2435 |        2
307.99/308.11	c  307s |      18 |   411786 |   320852 |    18931     32 |     2435 |        2
310.09/310.22	c  309s |      18 |   414015 |   322352 |    18931     32 |     2435 |        2
312.18/312.33	c  311s |      18 |   415905 |   323952 |    18931     32 |     2435 |        2
314.28/314.41	c  313s |      18 |   417662 |   325452 |    18931     32 |     2435 |        2
316.38/316.55	c  316s |      18 |   419521 |   326952 |    18931     32 |     2435 |        2
318.48/318.62	c  318s |      18 |   420928 |   328152 |    18931     32 |     2435 |        2
320.48/320.69	c  320s |      18 |   422709 |   329552 |    18931     32 |     2435 |        2
322.58/322.79	c  322s |      18 |   424908 |   331052 |    18931     32 |     2435 |        2
324.78/324.95	c  324s |      18 |   426847 |   332352 |    18931     33 |     2435 |        2
326.88/327.08	c  326s |      18 |   428786 |   333852 |    18931     33 |     2435 |        2
328.98/329.16	c  328s |      18 |   430788 |   335452 |    18931     33 |     2435 |        2
331.08/331.25	c  330s |      18 |   432857 |   337052 |    18931     33 |     2435 |        2
333.07/333.27	c  332s |      18 |   434515 |   338452 |    18931     33 |     2435 |        2
335.07/335.27	c  334s |      18 |   435935 |   339752 |    18931     33 |     2435 |        2
339.07/339.20	c  338s |      18 |   437060 |   340752 |    18931     33 |     2435 |        2
341.07/341.29	c  340s |      18 |   438970 |   341852 |    18931     33 |     2435 |        2
343.17/343.38	c  342s |      18 |   440851 |   342952 |    18931     33 |     2435 |        2
345.27/345.42	c  344s |      18 |   442608 |   344052 |    18931     33 |     2435 |        2
347.96/348.14	c  347s |      18 |   444942 |   345652 |    18931     34 |     2435 |        2
351.06/351.27	c  350s |      18 |   446079 |   346552 |    18931     34 |     2435 |        2
353.16/353.37	c  352s |      18 |   448341 |   348252 |    18931     34 |     2435 |        2
355.27/355.44	c  354s |      18 |   451880 |   350352 |    18931     34 |     2435 |        2
357.26/357.45	c  356s |      18 |   454426 |   352052 |    18931     34 |     2435 |        2
359.36/359.51	c  358s |      18 |   456245 |   353552 |    18931     34 |     2435 |        2
361.36/361.59	c  361s |      18 |   458332 |   355052 |    18931     34 |     2435 |        2
363.46/363.65	c  363s |      18 |   460123 |   356352 |    18931     34 |     2435 |        2
365.56/365.78	c  365s |      18 |   461751 |   357552 |    18931     34 |     2435 |        2
367.76/367.95	c  367s |      18 |   463261 |   358752 |    18931     34 |     2435 |        2
369.86/370.02	c  369s |      18 |   463963 |   359152 |    18931     35 |     2435 |        2
371.96/372.13	c  371s |      18 |   466433 |   360852 |    18931     35 |     2435 |        2
373.97/374.18	c  373s |      18 |   469298 |   362752 |    18931     35 |     2435 |        2
376.07/376.27	c  375s |      18 |   471380 |   364352 |    18931     35 |     2435 |        2
378.27/378.41	c  377s |      18 |   473886 |   366152 |    18931     35 |     2435 |        2
380.36/380.55	c  380s |      18 |   476113 |   367752 |    18931     35 |     2435 |        2
382.46/382.65	c  382s |      18 |   477844 |   369152 |    18931     35 |     2435 |        2
386.85/387.01	c  386s |      18 |   478911 |   370152 |    18931     35 |     2435 |        2
388.95/389.12	c  388s |      18 |   480037 |   371152 |    18931     35 |     2435 |        2
391.05/391.25	c  390s |      18 |   481192 |   372152 |    18931     35 |     2435 |        2
393.05/393.28	c  392s |      18 |   482415 |   373052 |    18931     36 |     2435 |        2
395.15/395.30	c  394s |      18 |   484218 |   374252 |    18931     36 |     2435 |        2
397.15/397.33	c  396s |      18 |   486550 |   375952 |    18931     36 |     2435 |        2
399.26/399.42	c  398s |      18 |   488404 |   377452 |    18931     36 |     2435 |        2
401.35/401.56	c  401s |      18 |   489783 |   378552 |    18931     36 |     2435 |        2
403.44/403.62	c  403s |      18 |   492303 |   380052 |    18931     36 |     2435 |        2
405.54/405.70	c  405s |      18 |   494199 |   381452 |    18931     36 |     2435 |        2
407.54/407.71	c  407s |      18 |   495941 |   382752 |    18931     36 |     2435 |        2
409.54/409.75	c  409s |      18 |   497681 |   384052 |    18931     36 |     2435 |        2
411.54/411.79	c  411s |      18 |   499475 |   385352 |    18931     36 |     2435 |        2
413.74/413.92	c  413s |      18 |   500327 |   386052 |    18931     37 |     2435 |        2
415.75/415.99	c  415s |      18 |   503220 |   388052 |    18931     37 |     2435 |        2
417.74/418.00	c  417s |      18 |   505177 |   389452 |    18931     37 |     2435 |        2
419.84/420.05	c  419s |      18 |   506974 |   390952 |    18931     37 |     2435 |        2
421.94/422.11	c  421s |      18 |   508864 |   392552 |    18931     37 |     2435 |        2
424.04/424.23	c  423s |      18 |   510391 |   393952 |    18931     37 |     2435 |        2
426.04/426.25	c  425s |      18 |   511558 |   395052 |    18931     37 |     2435 |        2
428.04/428.29	c  427s |      18 |   512768 |   396152 |    18931     37 |     2435 |        2
430.14/430.35	c  429s |      18 |   514161 |   397252 |    18931     37 |     2435 |        2
432.34/432.53	c  432s |      18 |   515430 |   398352 |    18931     37 |     2435 |        2
434.34/434.54	c  434s |      18 |   516297 |   399152 |    18931     38 |     2435 |        2
440.74/440.93	c  440s |      18 |   516405 |   399252 |    18931     38 |     2435 |        2
442.84/443.00	c  442s |      18 |   519634 |   401252 |    18931     38 |     2435 |        2
444.94/445.15	c  444s |      18 |   523135 |   403452 |    18931     38 |     2435 |        2
446.94/447.19	c  446s |      18 |   526253 |   405452 |    18931     38 |     2435 |        2
449.04/449.27	c  448s |      18 |   529163 |   407552 |    18931     38 |     2435 |        2
451.14/451.33	c  450s |      18 |   532218 |   409452 |    18931     38 |     2435 |        2
453.33/453.53	c  453s |      18 |   535283 |   411352 |    18931     38 |     2435 |        2
455.53/455.79	c  455s |      18 |   537355 |   412852 |    18931     39 |     2435 |        2
458.33/458.57	c  458s |      18 |   540641 |   415252 |    18931     39 |     2435 |        2
460.43/460.64	c  460s |      18 |   542935 |   416752 |    18931     39 |     2435 |        2
462.53/462.71	c  462s |      18 |   545155 |   418352 |    18931     39 |     2435 |        2
464.53/464.73	c  464s |      18 |   547308 |   419852 |    18931     39 |     2435 |        2
466.53/466.79	c  466s |      18 |   549643 |   421252 |    18931     39 |     2435 |        2
468.62/468.88	c  468s |      18 |   551911 |   422752 |    18931     39 |     2435 |        2
470.63/470.89	c  470s |      18 |   553722 |   424052 |    18931     39 |     2435 |        2
472.83/473.02	c  472s |      18 |   555350 |   425352 |    18931     39 |     2435 |        2
476.32/476.55	c  476s |      18 |   557264 |   426752 |    18931     40 |     2435 |        2
478.42/478.61	c  478s |      18 |   558001 |   427452 |    18931     40 |     2435 |        2
480.42/480.62	c  480s |      18 |   560757 |   429152 |    18931     40 |     2435 |        2
482.41/482.69	c  482s |      18 |   563793 |   431052 |    18931     40 |     2435 |        2
484.51/484.71	c  484s |      18 |   566275 |   432752 |    18931     40 |     2435 |        2
486.51/486.77	c  486s |      18 |   568639 |   434352 |    18931     40 |     2435 |        2
488.71/488.90	c  488s |      18 |   570537 |   435652 |    18931     40 |     2435 |        2
490.81/491.05	c  490s |      18 |   572674 |   437152 |    18931     40 |     2435 |        2
492.91/493.18	c  492s |      18 |   574413 |   438552 |    18931     40 |     2435 |        2
495.01/495.20	c  494s |      18 |   576318 |   439952 |    18931     41 |     2435 |        2
497.02/497.27	c  496s |      18 |   578885 |   441752 |    20825     41 |     2435 |        2
499.11/499.31	c  498s |      18 |   580273 |   442752 |    20825     41 |     2435 |        2
501.11/501.37	c  500s |      18 |   581559 |   443852 |    20825     41 |     2435 |        2
501.91/502.19	c  501s |      19 |   582441 |   444482 |    20825     41 |     2435 |        2
504.01/504.23	c  503s |      19 |   592336 |   447482 |    20825     41 |     2435 |        2
506.01/506.23	c  505s |      19 |   597071 |   450682 |    20825     41 |     2435 |        2
508.01/508.23	c  507s |      19 |   601486 |   453382 |    20825     41 |     2435 |        2
510.00/510.24	c  509s |      19 |   605170 |   455582 |    20825     42 |     2435 |        2
512.00/512.25	c  511s |      19 |   608281 |   457982 |    20825     42 |     2435 |        2
514.00/514.27	c  513s |      19 |   610624 |   460182 |    20825     42 |     2435 |        2
516.10/516.32	c  515s |      19 |   612864 |   462182 |    20825     42 |     2435 |        2
518.10/518.34	c  517s |      19 |   614833 |   463982 |    20825     42 |     2435 |        2
520.21/520.45	c  519s |      19 |   616723 |   465782 |    20825     42 |     2435 |        2
522.30/522.52	c  521s |      19 |   618638 |   467482 |    20825     42 |     2435 |        2
524.40/524.66	c  524s |      19 |   620404 |   468982 |    20825     43 |     2435 |        2
526.40/526.67	c  526s |      19 |   622141 |   470482 |    20825     43 |     2435 |        2
528.40/528.69	c  528s |      19 |   623710 |   471882 |    20825     43 |     2435 |        2
530.50/530.74	c  530s |      19 |   625281 |   473182 |    20825     43 |     2435 |        2
532.59/532.85	c  532s |      19 |   627202 |   474782 |    20825     43 |     2435 |        2
534.59/534.89	c  534s |      19 |   629084 |   476382 |    20825     43 |     2435 |        2
536.79/537.03	c  536s |      19 |   630605 |   477682 |    20825     43 |     2435 |        2
538.90/539.18	c  538s |      19 |   632031 |   478882 |    20825     43 |     2435 |        2
541.10/541.33	c  540s |      19 |   633500 |   480082 |    20825     43 |     2435 |        2
543.19/543.46	c  542s |      19 |   634978 |   481382 |    20825     43 |     2435 |        2
545.59/545.83	c  545s |      19 |   636473 |   482682 |    20825     44 |     2435 |        2
547.59/547.84	c  547s |      19 |   637437 |   483482 |    20825     44 |     2435 |        2
549.68/549.95	c  549s |      19 |   638739 |   484482 |    20825     44 |     2435 |        2
551.68/551.95	c  551s |      19 |   639888 |   485582 |    20825     44 |     2435 |        2
553.78/554.02	c  553s |      19 |   640974 |   486582 |    20825     44 |     2435 |        2
555.88/556.11	c  555s |      19 |   642115 |   487682 |    20825     44 |     2435 |        2
557.88/558.16	c  557s |      19 |   643636 |   488982 |    20825     44 |     2435 |        2
559.98/560.27	c  559s |      19 |   645019 |   490182 |    20825     44 |     2435 |        2
562.08/562.35	c  561s |      19 |   646210 |   491282 |    20825     44 |     2435 |        2
564.18/564.46	c  563s |      19 |   647259 |   492282 |    20825     44 |     2435 |        2
566.28/566.53	c  565s |      19 |   648343 |   493282 |    20825     44 |     2435 |        2
568.48/568.77	c  568s |      19 |   649392 |   494282 |    20825     44 |     2435 |        2
570.68/570.95	c  570s |      19 |   650311 |   495182 |    20825     44 |     2435 |        2
572.77/573.05	c  572s |      19 |   651129 |   495982 |    20825     44 |     2435 |        2
575.68/575.99	c  575s |      19 |   652213 |   496982 |    20825     45 |     2435 |        2
577.78/578.04	c  577s |      19 |   653269 |   497982 |    20825     45 |     2435 |        2
579.88/580.12	c  579s |      19 |   654744 |   499382 |    20825     45 |     2435 |        2
581.87/582.18	c  581s |      19 |   656183 |   500782 |    20825     45 |     2435 |        2
583.98/584.22	c  583s |      19 |   657668 |   502182 |    20825     45 |     2435 |        2
586.08/586.35	c  585s |      19 |   659231 |   503682 |    20825     45 |     2435 |        2
588.17/588.48	c  587s |      19 |   660684 |   505082 |    20825     45 |     2435 |        2
590.27/590.52	c  589s |      19 |   662039 |   506382 |    20825     45 |     2435 |        2
592.27/592.54	c  592s |      19 |   663413 |   507682 |    20825     45 |     2435 |        2
594.27/594.58	c  594s |      19 |   664780 |   508982 |    20825     45 |     2435 |        2
596.37/596.64	c  596s |      19 |   666090 |   510182 |    20825     45 |     2435 |        2
599.37/599.60	c  599s |      19 |   667363 |   511282 |    20825     46 |     2435 |        2
601.37/601.65	c  601s |      19 |   668856 |   512682 |    20825     46 |     2435 |        2
603.36/603.67	c  603s |      19 |   670358 |   514082 |    20825     46 |     2435 |        2
605.46/605.71	c  605s |      19 |   671617 |   515282 |    20825     46 |     2435 |        2
607.56/607.83	c  607s |      19 |   673003 |   516582 |    20825     46 |     2435 |        2
609.66/609.94	c  609s |      19 |   674155 |   517682 |    20825     46 |     2435 |        2
611.66/611.98	c  611s |      19 |   675209 |   518682 |    20825     46 |     2435 |        2
619.46/619.76	c  619s |      19 |   675639 |   519082 |    20825     46 |     2435 |        2
621.56/621.86	c  621s |      19 |   677209 |   520482 |    20825     46 |     2435 |        2
623.66/623.91	c  623s |      19 |   678679 |   521782 |    20825     46 |     2435 |        2
625.77/626.07	c  625s |      19 |   680145 |   523082 |    20825     46 |     2435 |        2
627.86/628.12	c  627s |      19 |   681776 |   524382 |    20825     46 |     2435 |        2
630.17/630.45	c  629s |      19 |   682970 |   525482 |    20825     47 |     2435 |        2
632.27/632.52	c  631s |      19 |   684739 |   526782 |    20825     47 |     2435 |        2
634.26/634.60	c  634s |      19 |   686326 |   528182 |    20825     47 |     2435 |        2
636.46/636.72	c  636s |      19 |   687707 |   529482 |    20825     47 |     2435 |        2
638.56/638.85	c  638s |      19 |   689237 |   530782 |    20825     47 |     2435 |        2
640.66/640.96	c  640s |      19 |   690804 |   532182 |    20825     47 |     2435 |        2
642.76/643.01	c  642s |      19 |   692262 |   533482 |    20825     47 |     2435 |        2
644.76/645.05	c  644s |      19 |   694083 |   534982 |    20825     47 |     2435 |        2
646.96/647.25	c  646s |      19 |   695336 |   536082 |    20825     47 |     2435 |        2
649.06/649.33	c  648s |      19 |   696560 |   537082 |    20825     47 |     2435 |        2
651.16/651.44	c  650s |      19 |   697667 |   538082 |    20825     47 |     2435 |        2
653.35/653.61	c  653s |      19 |   698869 |   539182 |    20825     47 |     2435 |        2
655.55/655.81	c  655s |      19 |   699508 |   539782 |    20825     48 |     2435 |        2
657.75/658.01	c  657s |      19 |   700607 |   540782 |    20825     48 |     2435 |        2
659.86/660.11	c  659s |      19 |   702718 |   542282 |    20825     48 |     2435 |        2
661.96/662.21	c  661s |      19 |   704027 |   543382 |    20825     48 |     2435 |        2
663.95/664.24	c  663s |      19 |   705146 |   544482 |    20825     48 |     2435 |        2
666.05/666.35	c  665s |      19 |   705589 |   544882 |    20825     48 |     2435 |        2
668.25/668.50	c  667s |      19 |   706903 |   546082 |    20825     48 |     2435 |        2
670.25/670.54	c  670s |      19 |   708061 |   547182 |    20825     48 |     2435 |        2
672.34/672.60	c  672s |      19 |   709380 |   548282 |    20825     48 |     2435 |        2
674.44/674.71	c  674s |      19 |   710900 |   549482 |    20825     48 |     2435 |        2
676.44/676.72	c  676s |      19 |   712095 |   550582 |    20825     48 |     2435 |        2
678.45/678.80	c  678s |      19 |   713376 |   551682 |    20825     48 |     2435 |        2
680.65/680.97	c  680s |      19 |   714365 |   552582 |    20825     48 |     2435 |        2
682.64/682.98	c  682s |      19 |   715320 |   553482 |    20825     48 |     2435 |        2
685.04/685.31	c  684s |      19 |   715940 |   554082 |    20825     49 |     2435 |        2
687.14/687.42	c  686s |      19 |   717518 |   555482 |    20825     49 |     2435 |        2
689.13/689.44	c  688s |      19 |   718742 |   556582 |    20825     49 |     2435 |        2
691.23/691.55	c  691s |      19 |   720257 |   557982 |    20825     49 |     2435 |        2
693.33/693.63	c  693s |      19 |   721777 |   559282 |    20825     49 |     2435 |        2
695.53/695.85	c  695s |      19 |   723020 |   560382 |    20825     49 |     2435 |        2
697.53/697.86	c  697s |      19 |   724144 |   561382 |    20825     49 |     2435 |        2
699.53/699.89	c  699s |      19 |   725222 |   562382 |    20825     49 |     2435 |        2
701.63/701.99	c  701s |      19 |   726435 |   563382 |    20825     49 |     2435 |        2
703.83/704.11	c  703s |      19 |   727385 |   564282 |    20825     49 |     2435 |        2
705.93/706.21	c  705s |      19 |   728211 |   565082 |    20825     49 |     2435 |        2
707.93/708.27	c  707s |      19 |   728946 |   565782 |    20825     49 |     2435 |        2
710.13/710.46	c  709s |      19 |   730462 |   566882 |    20825     49 |     2435 |        2
713.03/713.37	c  712s |      19 |   731678 |   567582 |    20825     49 |     2435 |        2
716.73/717.08	c  716s |      19 |   732797 |   568382 |    20825     50 |     2435 |        2
718.82/719.17	c  718s |      19 |   735226 |   569782 |    20825     50 |     2435 |        2
720.82/721.17	c  720s |      19 |   736924 |   571082 |    20825     50 |     2435 |        2
722.92/723.21	c  722s |      19 |   737525 |   571682 |    20825     50 |     2435 |        2
725.02/725.32	c  724s |      19 |   738628 |   572782 |    20825     50 |     2435 |        2
727.12/727.49	c  726s |      19 |   739755 |   573882 |    20825     50 |     2435 |        2
729.22/729.50	c  728s |      19 |   741067 |   574982 |    20825     50 |     2435 |        2
731.33/731.64	c  731s |      19 |   742457 |   576182 |    20825     50 |     2435 |        2
733.42/733.79	c  733s |      19 |   743939 |   577382 |    20825     50 |     2435 |        2
735.51/735.84	c  735s |      19 |   745348 |   578482 |    20825     50 |     2435 |        2
737.61/737.98	c  737s |      19 |   746588 |   579582 |    20825     50 |     2435 |        2
739.71/740.05	c  739s |      19 |   747708 |   580582 |    20825     50 |     2435 |        2
741.91/742.23	c  741s |      19 |   749041 |   581682 |    20825     50 |     2435 |        2
744.82/745.12	c  744s |      19 |   750181 |   582682 |    20825     51 |     2435 |        2
746.92/747.24	c  746s |      19 |   751665 |   583982 |    20825     51 |     2435 |        2
749.92/750.29	c  749s |      19 |   753006 |   585182 |    20825     51 |     2435 |        2
752.01/752.36	c  751s |      19 |   754709 |   586582 |    20825     51 |     2435 |        2
754.11/754.40	c  753s |      19 |   756324 |   587982 |    20825     51 |     2435 |        2
756.21/756.53	c  756s |      19 |   758029 |   589382 |    20825     51 |     2435 |        2
758.21/758.57	c  758s |      19 |   759514 |   590682 |    20825     51 |     2435 |        2
760.31/760.69	c  760s |      19 |   761007 |   591982 |    20825     51 |     2435 |        2
762.41/762.71	c  762s |      19 |   762365 |   593182 |    20825     51 |     2435 |        2
764.50/764.81	c  764s |      19 |   763734 |   594382 |    20825     51 |     2435 |        2
766.51/766.87	c  766s |      19 |   765083 |   595582 |    20825     51 |     2435 |        2
768.50/768.87	c  768s |      19 |   766309 |   596682 |    20825     51 |     2435 |        2
770.70/771.04	c  770s |      19 |   767285 |   597582 |    20825     52 |     2435 |        2
772.70/773.07	c  772s |      19 |   768720 |   598882 |    20825     52 |     2435 |        2
774.80/775.19	c  774s |      19 |   770379 |   600282 |    20825     52 |     2435 |        2
777.00/777.32	c  776s |      19 |   771956 |   601682 |    20825     52 |     2435 |        2
779.00/779.33	c  778s |      19 |   773410 |   602882 |    20825     52 |     2435 |        2
781.10/781.42	c  780s |      19 |   774950 |   604182 |    20825     52 |     2435 |        2
783.20/783.54	c  783s |      19 |   776530 |   605482 |    20825     52 |     2435 |        2
785.30/785.63	c  785s |      19 |   777904 |   606682 |    20825     52 |     2435 |        2
787.31/787.65	c  787s |      19 |   779092 |   607782 |    20825     52 |     2435 |        2
792.19/792.52	c  791s |      19 |   779963 |   608582 |    20825     52 |     2435 |        2
794.19/794.56	c  794s |      19 |   780839 |   609382 |    20825     52 |     2435 |        2
796.29/796.66	c  796s |      19 |   781916 |   610382 |    20825     52 |     2435 |        2
800.30/800.69	c  800s |      19 |   782770 |   611182 |    20825     53 |     2435 |        2
802.40/802.77	c  802s |      19 |   783601 |   611982 |    20825     53 |     2435 |        2
804.50/804.85	c  804s |      19 |   784664 |   612982 |    20825     53 |     2435 |        2
806.70/807.00	c  806s |      19 |   785809 |   614082 |    20825     53 |     2435 |        2
808.80/809.12	c  808s |      19 |   786959 |   615182 |    20825     53 |     2435 |        2
810.80/811.14	c  810s |      19 |   787989 |   616182 |    20825     53 |     2435 |        2
812.99/813.34	c  812s |      19 |   788916 |   617082 |    20825     53 |     2435 |        2
815.19/815.50	c  814s |      19 |   789822 |   617982 |    20825     53 |     2435 |        2
817.19/817.51	c  816s |      19 |   790643 |   618782 |    20825     53 |     2435 |        2
819.30/819.66	c  819s |      19 |   791584 |   619682 |    20825     53 |     2435 |        2
821.50/821.81	c  821s |      19 |   792521 |   620582 |    20825     53 |     2435 |        2
823.60/823.96	c  823s |      19 |   793322 |   621382 |    20825     53 |     2435 |        2
832.79/833.19	c  832s |      19 |   795140 |   621782 |    20825     53 |     2435 |        2
834.89/835.22	c  834s |      19 |   795526 |   621982 |    20825     53 |     2435 |        2
836.90/837.27	c  836s |      19 |   797924 |   623682 |    20825     53 |     2435 |        2
839.19/839.54	c  839s |      19 |   800768 |   625582 |    20825     54 |     2435 |        2
841.20/841.57	c  841s |      19 |   802564 |   627082 |    20825     54 |     2435 |        2
843.29/843.62	c  843s |      19 |   803683 |   628082 |    20825     54 |     2435 |        2
845.39/845.74	c  845s |      19 |   805140 |   629382 |    20825     54 |     2435 |        2
847.39/847.76	c  847s |      19 |   806671 |   630782 |    20825     54 |     2435 |        2
849.49/849.86	c  849s |      19 |   808681 |   632182 |    20825     54 |     2435 |        2
851.49/851.88	c  851s |      19 |   811363 |   634082 |    20825     54 |     2435 |        2
853.49/853.89	c  853s |      19 |   813526 |   635982 |    20825     54 |     2435 |        2
855.69/856.08	c  855s |      19 |   815193 |   637382 |    20825     54 |     2435 |        2
857.80/858.14	c  857s |      19 |   816757 |   638682 |    20825     54 |     2435 |        2
859.89/860.23	c  859s |      19 |   818430 |   639982 |    20825     55 |     2435 |        2
861.89/862.29	c  861s |      19 |   819917 |   641182 |    20825     55 |     2435 |        2
863.99/864.31	c  863s |      19 |   821862 |   642582 |    20825     55 |     2435 |        2
865.99/866.31	c  865s |      19 |   823541 |   643982 |    20825     55 |     2435 |        2
868.09/868.43	c  867s |      19 |   826294 |   645582 |    20825     55 |     2435 |        2
870.08/870.48	c  869s |      19 |   828689 |   646982 |    20825     55 |     2435 |        2
872.28/872.63	c  872s |      19 |   830736 |   648482 |    20825     55 |     2435 |        2
874.38/874.79	c  874s |      19 |   832149 |   649782 |    20825     55 |     2435 |        2
876.58/876.93	c  876s |      19 |   833591 |   651082 |    20825     55 |     2435 |        2
878.59/878.99	c  878s |      19 |   835069 |   652382 |    20825     55 |     2435 |        2
881.08/881.41	c  880s |      19 |   836374 |   653582 |    20825     55 |     2435 |        2
883.09/883.46	c  882s |      19 |   837403 |   654482 |    20825     56 |     2435 |        2
885.19/885.56	c  885s |      19 |   838941 |   655782 |    20825     56 |     2435 |        2
887.28/887.62	c  887s |      19 |   840696 |   657182 |    20825     56 |     2435 |        2
889.28/889.62	c  889s |      19 |   842628 |   658682 |    20825     56 |     2435 |        2
891.28/891.68	c  891s |      19 |   843856 |   659882 |    20825     56 |     2435 |        2
893.38/893.78	c  893s |      19 |   845175 |   660982 |    20825     56 |     2435 |        2
895.58/895.97	c  895s |      19 |   846400 |   662082 |    20825     56 |     2435 |        2
897.68/898.01	c  897s |      19 |   847574 |   663082 |    22908     56 |     2435 |        2
899.78/900.15	c  899s |      19 |   848676 |   664082 |    22908     56 |     2435 |        2
901.98/902.34	c  901s |      19 |   849892 |   665182 |    22908     56 |     2435 |        2
904.08/904.42	c  903s |      19 |   851015 |   666182 |    22908     56 |     2435 |        2
905.09/905.45	c  904s |      20 |   851964 |   666827 |    22908     56 |     2435 |        2
907.08/907.46	c  906s |      20 |   856162 |   667027 |    22908     57 |     2435 |        2
909.18/909.50	c  908s |      20 |   858584 |   669327 |    22908     57 |     2435 |        2
911.18/911.56	c  911s |      20 |   860795 |   671527 |    22908     57 |     2435 |        2
913.28/913.66	c  913s |      20 |   862905 |   673627 |    22908     57 |     2435 |        2
915.38/915.71	c  915s |      20 |   864814 |   675527 |    22908     57 |     2435 |        2
917.38/917.73	c  917s |      20 |   866626 |   677327 |    22908     57 |     2435 |        2
919.38/919.74	c  919s |      20 |   868328 |   679027 |    22908     57 |     2435 |        2
921.38/921.79	c  921s |      20 |   870037 |   680727 |    22908     57 |     2435 |        2
923.48/923.86	c  923s |      20 |   871541 |   682227 |    22908     57 |     2435 |        2
925.58/925.90	c  925s |      20 |   873051 |   683727 |    22908     57 |     2435 |        2
927.68/928.02	c  927s |      20 |   874356 |   685027 |    22908     58 |     2435 |        2
929.67/930.08	c  929s |      20 |   875769 |   686427 |    22908     58 |     2435 |        2
931.87/932.22	c  931s |      20 |   877172 |   687827 |    22908     58 |     2435 |        2
933.98/934.37	c  933s |      20 |   878382 |   689027 |    22908     58 |     2435 |        2
936.17/936.51	c  935s |      20 |   879785 |   690427 |    22908     58 |     2435 |        2
938.27/938.62	c  938s |      20 |   881088 |   691727 |    22908     58 |     2435 |        2
940.28/940.66	c  940s |      20 |   882294 |   692927 |    22908     58 |     2435 |        2
942.27/942.68	c  942s |      20 |   883502 |   694127 |    22908     58 |     2435 |        2
944.37/944.75	c  944s |      20 |   884707 |   695327 |    22908     58 |     2435 |        2
946.47/946.89	c  946s |      20 |   886013 |   696627 |    22908     58 |     2435 |        2
948.57/948.95	c  948s |      20 |   887217 |   697827 |    22908     58 |     2435 |        2
950.77/951.15	c  950s |      20 |   888321 |   698927 |    22908     58 |     2435 |        2
954.27/954.66	c  954s |      20 |   888920 |   699527 |    22908     59 |     2435 |        2
956.27/956.68	c  956s |      20 |   889826 |   700427 |    22908     59 |     2435 |        2
958.37/958.77	c  958s |      20 |   890928 |   701527 |    22908     59 |     2435 |        2
960.57/960.91	c  960s |      20 |   892329 |   702927 |    22908     59 |     2435 |        2
962.57/962.93	c  962s |      20 |   893737 |   704327 |    22908     59 |     2435 |        2
964.57/964.97	c  964s |      20 |   895142 |   705727 |    22908     59 |     2435 |        2
966.77/967.10	c  966s |      20 |   896544 |   707127 |    22908     59 |     2435 |        2
968.77/969.19	c  968s |      20 |   897545 |   708127 |    22908     59 |     2435 |        2
970.97/971.36	c  970s |      20 |   898750 |   709327 |    22908     59 |     2435 |        2
972.96/973.38	c  972s |      20 |   899863 |   710427 |    22908     59 |     2435 |        2
975.06/975.42	c  974s |      20 |   901066 |   711627 |    22908     59 |     2435 |        2
977.06/977.46	c  976s |      20 |   902271 |   712827 |    22908     59 |     2435 |        2
979.16/979.58	c  979s |      20 |   903476 |   714027 |    22908     59 |     2435 |        2
984.67/985.00	c  984s |      20 |   904283 |   714827 |    22908     60 |     2435 |        2
989.77/990.14	c  989s |      20 |   905791 |   716327 |    22908     60 |     2435 |        2
991.87/992.25	c  991s |      20 |   907307 |   717827 |    22908     60 |     2435 |        2
993.96/994.32	c  993s |      20 |   908812 |   719327 |    22908     60 |     2435 |        2
996.06/996.44	c  995s |      20 |   910222 |   720727 |    22908     60 |     2435 |        2
998.06/998.48	c  997s |      20 |   911424 |   721927 |    22908     60 |     2435 |        2
1000.16/1000.57	c 1000s |      20 |   912632 |   723127 |    22908     60 |     2435 |        2
1002.26/1002.66	c 1002s |      20 |   913836 |   724327 |    22908     60 |     2435 |        2
1004.36/1004.71	c 1004s |      20 |   915045 |   725527 |    22908     60 |     2435 |        2
1006.36/1006.73	c 1006s |      20 |   916152 |   726627 |    22908     60 |     2435 |        2
1008.47/1008.86	c 1008s |      20 |   917153 |   727627 |    22908     60 |     2435 |        2
1010.67/1011.02	c 1010s |      20 |   918154 |   728627 |    22908     60 |     2435 |        2
1012.66/1013.07	c 1012s |      20 |   919057 |   729527 |    22908     60 |     2435 |        2
1015.96/1016.37	c 1015s |      20 |   919758 |   730227 |    22908     61 |     2435 |        2
1018.16/1018.52	c 1017s |      20 |   920863 |   731327 |    22908     61 |     2435 |        2
1020.26/1020.68	c 1020s |      20 |   921965 |   732427 |    22908     61 |     2435 |        2
1022.26/1022.69	c 1022s |      20 |   922970 |   733427 |    22908     61 |     2435 |        2
1024.36/1024.78	c 1024s |      20 |   924281 |   734727 |    22908     61 |     2435 |        2
1026.56/1026.95	c 1026s |      20 |   925690 |   736127 |    22908     61 |     2435 |        2
1028.56/1028.98	c 1028s |      20 |   926896 |   737327 |    22908     61 |     2435 |        2
1030.66/1031.03	c 1030s |      20 |   928101 |   738527 |    22908     61 |     2435 |        2
1032.67/1033.05	c 1032s |      20 |   929204 |   739627 |    22908     61 |     2435 |        2
1034.66/1035.10	c 1034s |      20 |   930108 |   740527 |    22908     61 |     2435 |        2
1036.76/1037.13	c 1036s |      20 |   931208 |   741627 |    22908     61 |     2435 |        2
1038.86/1039.26	c 1038s |      20 |   932316 |   742727 |    22908     61 |     2435 |        2
1040.96/1041.39	c 1040s |      20 |   933319 |   743727 |    22908     61 |     2435 |        2
1043.16/1043.53	c 1042s |      20 |   934225 |   744627 |    22908     61 |     2435 |        2
1045.16/1045.59	c 1045s |      20 |   935131 |   745527 |    22908     61 |     2435 |        2
1047.26/1047.60	c 1047s |      20 |   935630 |   746027 |    22908     62 |     2435 |        2
1049.26/1049.65	c 1049s |      20 |   937038 |   747427 |    22908     62 |     2435 |        2
1051.36/1051.78	c 1051s |      20 |   938250 |   748627 |    22908     62 |     2435 |        2
1053.56/1053.96	c 1053s |      20 |   939553 |   749927 |    22908     62 |     2435 |        2
1055.66/1056.04	c 1055s |      20 |   940856 |   751227 |    22908     62 |     2435 |        2
1057.76/1058.19	c 1057s |      20 |   942069 |   752427 |    22908     62 |     2435 |        2
1060.55/1060.98	c 1060s |      20 |   943175 |   753527 |    22908     62 |     2435 |        2
1062.65/1063.06	c 1062s |      20 |   943872 |   754227 |    22908     62 |     2435 |        2
1064.85/1065.21	c 1064s |      20 |   944878 |   755227 |    22908     62 |     2435 |        2
1066.95/1067.36	c 1066s |      20 |   945782 |   756127 |    22908     62 |     2435 |        2
1069.15/1069.50	c 1068s |      20 |   946685 |   757027 |    22908     62 |     2435 |        2
1071.16/1071.56	c 1071s |      20 |   947488 |   757827 |    22908     62 |     2435 |        2
1073.26/1073.63	c 1073s |      20 |   948387 |   758727 |    22908     62 |     2435 |        2
1075.46/1075.89	c 1075s |      20 |   949197 |   759527 |    22908     62 |     2435 |        2
1077.66/1078.02	c 1077s |      20 |   949997 |   760327 |    22908     62 |     2435 |        2
1080.15/1080.54	c 1080s |      20 |   950603 |   760927 |    22908     63 |     2435 |        2
1082.25/1082.65	c 1082s |      20 |   951703 |   762027 |    22908     63 |     2435 |        2
1084.36/1084.76	c 1084s |      20 |   952915 |   763227 |    22908     63 |     2435 |        2
1086.45/1086.86	c 1086s |      20 |   954123 |   764427 |    22908     63 |     2435 |        2
1088.45/1088.88	c 1088s |      20 |   955220 |   765527 |    22908     63 |     2435 |        2
1090.65/1091.00	c 1090s |      20 |   956425 |   766727 |    22908     63 |     2435 |        2
1092.75/1093.18	c 1092s |      20 |   957630 |   767927 |    22908     63 |     2435 |        2
1094.95/1095.33	c 1094s |      20 |   958840 |   769127 |    22908     63 |     2435 |        2
1097.05/1097.46	c 1096s |      20 |   960044 |   770327 |    22908     63 |     2435 |        2
1102.25/1102.63	c 1102s |      20 |   961156 |   771427 |    22908     63 |     2435 |        2
1104.45/1104.82	c 1104s |      20 |   961952 |   772227 |    22908     63 |     2435 |        2
1106.45/1106.86	c 1106s |      20 |   962764 |   773027 |    22908     63 |     2435 |        2
1108.65/1109.06	c 1108s |      20 |   963673 |   773927 |    22908     63 |     2435 |        2
1110.95/1111.31	c 1110s |      20 |   964474 |   774727 |    22908     63 |     2435 |        2
1113.05/1113.40	c 1112s |      20 |   965178 |   775427 |    22908     63 |     2435 |        2
1115.25/1115.60	c 1115s |      20 |   965980 |   776227 |    22908     63 |     2435 |        2
1117.35/1117.79	c 1117s |      20 |   966679 |   776927 |    22908     64 |     2435 |        2
1119.84/1120.23	c 1119s |      20 |   967988 |   778227 |    22908     64 |     2435 |        2
1121.94/1122.31	c 1121s |      20 |   969493 |   779727 |    22908     64 |     2435 |        2
1123.95/1124.39	c 1123s |      20 |   970902 |   781127 |    22908     64 |     2435 |        2
1126.05/1126.43	c 1125s |      20 |   971907 |   782127 |    22908     64 |     2435 |        2
1128.04/1128.45	c 1127s |      20 |   973111 |   783327 |    22908     64 |     2435 |        2
1130.14/1130.54	c 1130s |      20 |   974317 |   784527 |    22908     64 |     2435 |        2
1132.24/1132.68	c 1132s |      20 |   975417 |   785627 |    22908     64 |     2435 |        2
1134.34/1134.79	c 1134s |      20 |   976519 |   786727 |    22908     64 |     2435 |        2
1136.54/1136.97	c 1136s |      20 |   977629 |   787827 |    22908     64 |     2435 |        2
1142.55/1142.94	c 1142s |      20 |   978129 |   788327 |    22908     64 |     2435 |        2
1144.65/1145.07	c 1144s |      20 |   979238 |   789427 |    22908     64 |     2435 |        2
1146.74/1147.19	c 1146s |      20 |   980341 |   790527 |    22908     64 |     2435 |        2
1149.04/1149.46	c 1148s |      20 |   981545 |   791727 |    22908     65 |     2435 |        2
1151.04/1151.49	c 1150s |      20 |   982751 |   792927 |    22908     65 |     2435 |        2
1153.24/1153.61	c 1153s |      20 |   984162 |   794327 |    22908     65 |     2435 |        2
1155.24/1155.62	c 1155s |      20 |   985361 |   795527 |    22908     65 |     2435 |        2
1157.34/1157.70	c 1157s |      20 |   986764 |   796927 |    22908     65 |     2435 |        2
1159.34/1159.72	c 1159s |      20 |   988075 |   798227 |    22908     65 |     2435 |        2
1161.44/1161.82	c 1161s |      20 |   989378 |   799527 |    22908     65 |     2435 |        2
1163.64/1164.06	c 1163s |      20 |   990084 |   800227 |    22908     65 |     2435 |        2
1165.75/1166.13	c 1165s |      20 |   990887 |   801027 |    22908     65 |     2435 |        2
1167.95/1168.39	c 1167s |      20 |   991495 |   801627 |    22908     65 |     2435 |        2
1170.15/1170.59	c 1170s |      20 |   992296 |   802427 |    22908     65 |     2435 |        2
1172.24/1172.63	c 1172s |      20 |   993103 |   803227 |    22908     65 |     2435 |        2
1174.24/1174.67	c 1174s |      20 |   993903 |   804027 |    22908     65 |     2435 |        2
1176.44/1176.85	c 1176s |      20 |   994713 |   804827 |    22908     65 |     2435 |        2
1178.64/1179.00	c 1178s |      20 |   995622 |   805727 |    22908     65 |     2435 |        2
1180.64/1181.01	c 1180s |      20 |   996525 |   806627 |    22908     65 |     2435 |        2
1182.73/1183.12	c 1182s |      20 |   997032 |   807127 |    22908     66 |     2435 |        2
1184.83/1185.27	c 1184s |      20 |   998336 |   808427 |    22908     66 |     2435 |        2
1186.93/1187.32	c 1186s |      20 |   999547 |   809627 |    22908     66 |     2435 |        2
1188.93/1189.38	c 1188s |      20 |  1000751 |   810827 |    22908     66 |     2435 |        2
1191.13/1191.52	c 1190s |      20 |  1002061 |   812127 |    22908     66 |     2435 |        2
1193.24/1193.63	c 1193s |      20 |  1003265 |   813327 |    22908     66 |     2435 |        2
1195.44/1195.83	c 1195s |      20 |  1004365 |   814427 |    22908     66 |     2435 |        2
1197.64/1198.03	c 1197s |      20 |  1005372 |   815427 |    22908     66 |     2435 |        2
1199.63/1200.06	c 1199s |      20 |  1006376 |   816427 |    22908     66 |     2435 |        2
1201.73/1202.14	c 1201s |      20 |  1007376 |   817427 |    22908     66 |     2435 |        2
1203.93/1204.30	c 1203s |      20 |  1008381 |   818427 |    22908     66 |     2435 |        2
1205.93/1206.32	c 1205s |      20 |  1009283 |   819327 |    22908     66 |     2435 |        2
1207.93/1208.34	c 1207s |      20 |  1010188 |   820227 |    22908     66 |     2435 |        2
1210.03/1210.47	c 1209s |      20 |  1011089 |   821127 |    22908     66 |     2435 |        2
1212.13/1212.51	c 1211s |      20 |  1011891 |   821927 |    22908     66 |     2435 |        2
1214.33/1214.75	c 1214s |      20 |  1012392 |   822427 |    22908     67 |     2435 |        2
1216.43/1216.89	c 1216s |      20 |  1013300 |   823327 |    22908     67 |     2435 |        2
1218.63/1219.02	c 1218s |      20 |  1014601 |   824627 |    22908     67 |     2435 |        2
1220.64/1221.09	c 1220s |      20 |  1015707 |   825727 |    22908     67 |     2435 |        2
1222.73/1223.17	c 1222s |      20 |  1016809 |   826827 |    22908     67 |     2435 |        2
1224.83/1225.20	c 1224s |      20 |  1017810 |   827827 |    22908     67 |     2435 |        2
1227.03/1227.40	c 1226s |      20 |  1018918 |   828927 |    22908     67 |     2435 |        2
1229.13/1229.56	c 1229s |      20 |  1019922 |   829927 |    22908     67 |     2435 |        2
1231.23/1231.64	c 1231s |      20 |  1020828 |   830827 |    22908     67 |     2435 |        2
1233.33/1233.79	c 1233s |      20 |  1021829 |   831827 |    22908     67 |     2435 |        2
1235.43/1235.83	c 1235s |      20 |  1022738 |   832727 |    22908     67 |     2435 |        2
1237.63/1238.02	c 1237s |      20 |  1023742 |   833727 |    22908     67 |     2435 |        2
1239.63/1240.03	c 1239s |      20 |  1024644 |   834627 |    22908     67 |     2435 |        2
1241.83/1242.22	c 1241s |      20 |  1025653 |   835627 |    22908     67 |     2435 |        2
1243.84/1244.23	c 1243s |      20 |  1026462 |   836427 |    22908     67 |     2435 |        2
1245.94/1246.36	c 1245s |      20 |  1027362 |   837327 |    22908     67 |     2435 |        2
1248.32/1248.78	c 1248s |      20 |  1027862 |   837827 |    22908     68 |     2435 |        2
1250.43/1250.85	c 1250s |      20 |  1029173 |   839127 |    22908     68 |     2435 |        2
1265.03/1265.47	c 1264s |      20 |  1030388 |   840327 |    22908     68 |     2435 |        2
1267.13/1267.51	c 1266s |      20 |  1031492 |   841427 |    22908     68 |     2435 |        2
1269.13/1269.58	c 1269s |      20 |  1032595 |   842527 |    22908     68 |     2435 |        2
1271.23/1271.65	c 1271s |      20 |  1033701 |   843627 |    22908     68 |     2435 |        2
1273.43/1273.87	c 1273s |      20 |  1034708 |   844627 |    22908     68 |     2435 |        2
1275.53/1275.92	c 1275s |      20 |  1035609 |   845527 |    22908     68 |     2435 |        2
1277.52/1277.93	c 1277s |      20 |  1036510 |   846427 |    22908     68 |     2435 |        2
1279.52/1279.94	c 1279s |      20 |  1037414 |   847327 |    22908     68 |     2435 |        2
1281.72/1282.13	c 1281s |      20 |  1038426 |   848327 |    22908     68 |     2435 |        2
1283.82/1284.24	c 1283s |      20 |  1039320 |   849227 |    22908     68 |     2435 |        2
1286.02/1286.40	c 1285s |      20 |  1040126 |   850027 |    22908     68 |     2435 |        2
1288.02/1288.45	c 1287s |      20 |  1040928 |   850827 |    22908     68 |     2435 |        2
1290.12/1290.59	c 1290s |      20 |  1041732 |   851627 |    22908     68 |     2435 |        2
1292.23/1292.69	c 1292s |      20 |  1042530 |   852427 |    22908     68 |     2435 |        2
1295.62/1296.01	c 1295s |      20 |  1043340 |   853227 |    22908     69 |     2435 |        2
1297.63/1298.07	c 1297s |      20 |  1044344 |   854227 |    22908     69 |     2435 |        2
1299.72/1300.12	c 1299s |      20 |  1045749 |   855627 |    22908     69 |     2435 |        2
1301.82/1302.20	c 1301s |      20 |  1047056 |   856927 |    22908     69 |     2435 |        2
1303.82/1304.26	c 1303s |      20 |  1048360 |   858227 |    22908     69 |     2435 |        2
1305.92/1306.34	c 1305s |      20 |  1049667 |   859527 |    22908     69 |     2435 |        2
1308.02/1308.49	c 1307s |      20 |  1050772 |   860627 |    22908     69 |     2435 |        2
1310.12/1310.55	c 1310s |      20 |  1051776 |   861627 |    22908     69 |     2435 |        2
1312.22/1312.62	c 1312s |      20 |  1052885 |   862727 |    22908     69 |     2435 |        2
1314.32/1314.74	c 1314s |      20 |  1054096 |   863927 |    22908     69 |     2435 |        2
1316.32/1316.77	c 1316s |      20 |  1055198 |   865027 |    22908     69 |     2435 |        2
1318.52/1318.93	c 1318s |      20 |  1056407 |   866227 |    22908     69 |     2435 |        2
1320.62/1321.10	c 1320s |      20 |  1057513 |   867327 |    22908     69 |     2435 |        2
1322.72/1323.16	c 1322s |      20 |  1058517 |   868327 |    22908     69 |     2435 |        2
1325.12/1325.55	c 1325s |      20 |  1059126 |   868927 |    22908     70 |     2435 |        2
1329.72/1330.11	c 1329s |      20 |  1059423 |   869227 |    22908     70 |     2435 |        2
1331.73/1332.18	c 1331s |      20 |  1060824 |   870627 |    22908     70 |     2435 |        2
1333.93/1334.33	c 1333s |      20 |  1062038 |   871827 |    22908     70 |     2435 |        2
1336.02/1336.45	c 1335s |      20 |  1063142 |   872927 |    22908     70 |     2435 |        2
1338.02/1338.49	c 1337s |      20 |  1064251 |   874027 |    22908     70 |     2435 |        2
1340.22/1340.64	c 1340s |      20 |  1065256 |   875027 |    22908     70 |     2435 |        2
1342.32/1342.76	c 1342s |      20 |  1066263 |   876027 |    22908     70 |     2435 |        2
1344.42/1344.86	c 1344s |      20 |  1067270 |   877027 |    22908     70 |     2435 |        2
1346.52/1346.90	c 1346s |      20 |  1068170 |   877927 |    22908     70 |     2435 |        2
1348.72/1349.15	c 1348s |      20 |  1069174 |   878927 |    22908     70 |     2435 |        2
1350.72/1351.17	c 1350s |      20 |  1070084 |   879827 |    22908     70 |     2435 |        2
1352.82/1353.23	c 1352s |      20 |  1070986 |   880727 |    22908     70 |     2435 |        2
1354.92/1355.32	c 1354s |      20 |  1071895 |   881627 |    22908     70 |     2435 |        2
1356.91/1357.38	c 1356s |      20 |  1072799 |   882527 |    22908     70 |     2435 |        2
1359.11/1359.60	c 1359s |      20 |  1073703 |   883427 |    22908     70 |     2435 |        2
1361.31/1361.73	c 1361s |      20 |  1074205 |   883927 |    22908     71 |     2435 |        2
1363.41/1363.82	c 1363s |      20 |  1074511 |   884227 |    22908     71 |     2435 |        2
1365.51/1365.90	c 1365s |      20 |  1075713 |   885427 |    22908     71 |     2435 |        2
1367.51/1367.91	c 1367s |      20 |  1077022 |   886727 |    22908     71 |     2435 |        2
1369.51/1369.99	c 1369s |      20 |  1078324 |   888027 |    22908     71 |     2435 |        2
1371.71/1372.15	c 1371s |      20 |  1079630 |   889327 |    22908     71 |     2435 |        2
1373.81/1374.24	c 1373s |      20 |  1080828 |   890527 |    22908     71 |     2435 |        2
1375.82/1376.26	c 1375s |      20 |  1081740 |   891427 |    22908     71 |     2435 |        2
1378.01/1378.47	c 1377s |      20 |  1082639 |   892327 |    22908     71 |     2435 |        2
1380.11/1380.57	c 1380s |      20 |  1083446 |   893127 |    22908     71 |     2435 |        2
1382.21/1382.63	c 1382s |      20 |  1084246 |   893927 |    22908     71 |     2435 |        2
1384.21/1384.67	c 1384s |      20 |  1085052 |   894727 |    22908     71 |     2435 |        2
1386.31/1386.77	c 1386s |      20 |  1085858 |   895527 |    22908     71 |     2435 |        2
1388.51/1388.91	c 1388s |      20 |  1086664 |   896327 |    22908     71 |     2435 |        2
1390.71/1391.12	c 1390s |      20 |  1087467 |   897127 |    22908     71 |     2435 |        2
1392.91/1393.35	c 1392s |      20 |  1088470 |   898127 |    22908     71 |     2435 |        2
1395.11/1395.54	c 1395s |      20 |  1089377 |   899027 |    22908     71 |     2435 |        2
1397.30/1397.75	c 1397s |      20 |  1089778 |   899427 |    22908     72 |     2435 |        2
1402.61/1403.06	c 1402s |      20 |  1090783 |   900427 |    22908     72 |     2435 |        2
1404.61/1405.07	c 1404s |      20 |  1091991 |   901627 |    22908     72 |     2435 |        2
1406.71/1407.19	c 1406s |      20 |  1093295 |   902927 |    22908     72 |     2435 |        2
1408.91/1409.31	c 1408s |      20 |  1094803 |   904427 |    22908     72 |     2435 |        2
1411.01/1411.42	c 1410s |      20 |  1096211 |   905827 |    22908     72 |     2435 |        2
1413.11/1413.58	c 1413s |      20 |  1097219 |   906827 |    22908     72 |     2435 |        2
1415.20/1415.64	c 1415s |      20 |  1098217 |   907827 |    22908     72 |     2435 |        2
1417.30/1417.74	c 1417s |      20 |  1099322 |   908927 |    22908     72 |     2435 |        2
1419.40/1419.80	c 1419s |      20 |  1100321 |   909927 |    22908     72 |     2435 |        2
1421.50/1421.92	c 1421s |      20 |  1101226 |   910827 |    22908     72 |     2435 |        2
1423.60/1424.09	c 1423s |      20 |  1102129 |   911727 |    22908     72 |     2435 |        2
1425.80/1426.21	c 1425s |      20 |  1103036 |   912627 |    22908     72 |     2435 |        2
1428.70/1429.17	c 1428s |      20 |  1103245 |   912827 |    22908     72 |     2435 |        2
1439.10/1439.59	c 1439s |      20 |  1103387 |   912927 |    22908     72 |     2435 |        2
1441.20/1441.64	c 1441s |      20 |  1104586 |   914127 |    22908     72 |     2435 |        2
1443.29/1443.74	c 1443s |      20 |  1105291 |   914827 |    22908     73 |     2435 |        2
1445.29/1445.79	c 1445s |      20 |  1106593 |   916127 |    22908     73 |     2435 |        2
1447.49/1447.91	c 1447s |      20 |  1107605 |   917127 |    22908     73 |     2435 |        2
1449.59/1450.03	c 1449s |      20 |  1108811 |   918327 |    22908     73 |     2435 |        2
1451.70/1452.14	c 1451s |      20 |  1109816 |   919327 |    22908     73 |     2435 |        2
1453.80/1454.30	c 1453s |      20 |  1110926 |   920427 |    22908     73 |     2435 |        2
1455.89/1456.31	c 1455s |      20 |  1111928 |   921427 |    22908     73 |     2435 |        2
1465.09/1465.58	c 1465s |      20 |  1112646 |   922127 |    22908     73 |     2435 |        2
1467.19/1467.62	c 1467s |      20 |  1113547 |   923027 |    22908     73 |     2435 |        2
1469.30/1469.75	c 1469s |      20 |  1114551 |   924027 |    22908     73 |     2435 |        2
1471.40/1471.86	c 1471s |      20 |  1115253 |   924727 |    22908     73 |     2435 |        2
1473.49/1473.98	c 1473s |      20 |  1116152 |   925627 |    22908     73 |     2435 |        2
1475.59/1476.07	c 1475s |      20 |  1117164 |   926627 |    22908     73 |     2435 |        2
1477.69/1478.13	c 1477s |      20 |  1118370 |   927827 |    22908     73 |     2435 |        2
1479.79/1480.23	c 1479s |      20 |  1119473 |   928927 |    22908     73 |     2435 |        2
1482.19/1482.68	c 1482s |      20 |  1120573 |   930027 |    22908     74 |     2435 |        2
1484.29/1484.74	c 1484s |      20 |  1121774 |   931227 |    22908     74 |     2435 |        2
1486.39/1486.82	c 1486s |      20 |  1122977 |   932427 |    22908     74 |     2435 |        2
1488.39/1488.83	c 1488s |      20 |  1124284 |   933727 |    22908     74 |     2435 |        2
1490.49/1490.90	c 1490s |      20 |  1125595 |   935027 |    22908     74 |     2435 |        2
1492.49/1492.96	c 1492s |      20 |  1126802 |   936227 |    22908     74 |     2435 |        2
1494.59/1495.03	c 1494s |      20 |  1128110 |   937527 |    22908     74 |     2435 |        2
1496.69/1497.13	c 1496s |      20 |  1129418 |   938827 |    22908     74 |     2435 |        2
1498.79/1499.22	c 1498s |      20 |  1130723 |   940127 |    22908     74 |     2435 |        2
1500.88/1501.33	c 1500s |      20 |  1131929 |   941327 |    22908     74 |     2435 |        2
1502.98/1503.44	c 1502s |      20 |  1133036 |   942427 |    22908     74 |     2435 |        2
1504.98/1505.46	c 1504s |      20 |  1134043 |   943427 |    22908     74 |     2435 |        2
1507.18/1507.62	c 1507s |      20 |  1135060 |   944427 |    22908     74 |     2435 |        2
1509.68/1510.12	c 1509s |      20 |  1136085 |   945427 |    22908     75 |     2435 |        2
1511.68/1512.20	c 1511s |      20 |  1137002 |   946327 |    22908     75 |     2435 |        2
1513.88/1514.30	c 1513s |      20 |  1138215 |   947527 |    22908     75 |     2435 |        2
1517.49/1517.95	c 1517s |      20 |  1138729 |   948027 |    22908     75 |     2435 |        2
1519.49/1519.96	c 1519s |      20 |  1139637 |   948927 |    22908     75 |     2435 |        2
1521.69/1522.12	c 1521s |      20 |  1140663 |   949927 |    22908     75 |     2435 |        2
1523.79/1524.26	c 1523s |      20 |  1141670 |   950927 |    22908     75 |     2435 |        2
1525.99/1526.43	c 1525s |      20 |  1142893 |   952127 |    22908     75 |     2435 |        2
1528.09/1528.59	c 1528s |      20 |  1144028 |   953227 |    22908     75 |     2435 |        2
1530.19/1530.60	c 1530s |      20 |  1144930 |   954127 |    22908     75 |     2435 |        2
1533.18/1533.66	c 1533s |      20 |  1145236 |   954427 |    22908     75 |     2435 |        2
1535.29/1535.75	c 1535s |      20 |  1146451 |   955627 |    22908     75 |     2435 |        2
1539.09/1539.53	c 1539s |      20 |  1147463 |   956627 |    22908     75 |     2435 |        2
1541.09/1541.54	c 1541s |      20 |  1148088 |   957227 |    22908     75 |     2435 |        2
1543.29/1543.71	c 1543s |      20 |  1149501 |   958627 |    22908     75 |     2435 |        2
1545.39/1545.84	c 1545s |      20 |  1150822 |   959927 |    22908     75 |     2435 |        2
1547.98/1548.40	c 1547s |      20 |  1151939 |   961027 |    22908     76 |     2435 |        2
1550.08/1550.50	c 1549s |      20 |  1153562 |   962627 |    22908     76 |     2435 |        2
1552.08/1552.54	c 1552s |      20 |  1154971 |   964027 |    22908     76 |     2435 |        2
1554.08/1554.57	c 1554s |      20 |  1156380 |   965427 |    22908     76 |     2435 |        2
1556.28/1556.71	c 1556s |      20 |  1157891 |   966927 |    22908     76 |     2435 |        2
1558.29/1558.74	c 1558s |      20 |  1159314 |   968327 |    22908     76 |     2435 |        2
1560.28/1560.74	c 1560s |      20 |  1160621 |   969627 |    22908     76 |     2435 |        2
1562.38/1562.81	c 1562s |      20 |  1161957 |   970927 |    22908     76 |     2435 |        2
1564.38/1564.87	c 1564s |      20 |  1163161 |   972127 |    22908     76 |     2435 |        2
1566.38/1566.88	c 1566s |      20 |  1164412 |   973327 |    22908     76 |     2435 |        2
1568.48/1568.95	c 1568s |      20 |  1165655 |   974527 |    22908     76 |     2435 |        2
1570.68/1571.15	c 1570s |      20 |  1166897 |   975727 |    22908     76 |     2435 |        2
1572.78/1573.20	c 1572s |      20 |  1167734 |   976527 |    22908     77 |     2435 |        2
1574.79/1575.22	c 1574s |      20 |  1168960 |   977727 |    22908     77 |     2435 |        2
1576.99/1577.41	c 1576s |      20 |  1170195 |   978927 |    22908     77 |     2435 |        2
1579.08/1579.55	c 1579s |      20 |  1171408 |   980127 |    22908     77 |     2435 |        2
1581.18/1581.61	c 1581s |      20 |  1171922 |   980627 |    22908     77 |     2435 |        2
1583.18/1583.68	c 1583s |      20 |  1172973 |   981627 |    22908     77 |     2435 |        2
1585.38/1585.86	c 1585s |      20 |  1174010 |   982627 |    22908     77 |     2435 |        2
1587.48/1587.96	c 1587s |      20 |  1175029 |   983627 |    22908     77 |     2435 |        2
1589.58/1590.05	c 1589s |      20 |  1175951 |   984527 |    22908     77 |     2435 |        2
1591.58/1592.05	c 1591s |      20 |  1176767 |   985327 |    22908     77 |     2435 |        2
1593.68/1594.15	c 1593s |      20 |  1177601 |   986127 |    22908     77 |     2435 |        2
1595.88/1596.40	c 1595s |      20 |  1178432 |   986927 |    22908     77 |     2435 |        2
1598.08/1598.58	c 1598s |      20 |  1179262 |   987727 |    22908     77 |     2435 |        2
1600.37/1600.81	c 1600s |      20 |  1180172 |   988627 |    22908     77 |     2435 |        2
1602.38/1602.86	c 1602s |      20 |  1181000 |   989427 |    22908     77 |     2435 |        2
1604.48/1604.90	c 1604s |      20 |  1181804 |   990227 |    22908     77 |     2435 |        2
1606.47/1606.97	c 1606s |      20 |  1182710 |   991127 |    22908     77 |     2435 |        2
1608.47/1608.98	c 1608s |      20 |  1183116 |   991527 |    22908     78 |     2435 |        2
1610.57/1611.09	c 1610s |      20 |  1184227 |   992627 |    22908     78 |     2435 |        2
1612.57/1613.09	c 1612s |      20 |  1185334 |   993727 |    25199     78 |     2435 |        2
1614.77/1615.23	c 1614s |      20 |  1186469 |   994827 |    25199     78 |     2435 |        2
1616.87/1617.31	c 1616s |      20 |  1187687 |   996027 |    25199     78 |     2435 |        2
1618.88/1619.36	c 1618s |      20 |  1188690 |   997027 |    25199     78 |     2435 |        2
1620.98/1621.46	c 1620s |      20 |  1189792 |   998127 |    25199     78 |     2435 |        2
1623.07/1623.51	c 1622s |      20 |  1191100 |   999427 |    25199     78 |     2435 |        2
1624.47/1624.93	c 1624s |      21 |  1192023 |  1000345 |    25199     78 |     2435 |        2
1626.48/1626.96	c 1626s |      21 |  1198674 |  1002645 |    25199     78 |     2435 |        2
1628.57/1629.01	c 1628s |      21 |  1201436 |  1004945 |    25199     78 |     2435 |        2
1630.57/1631.03	c 1630s |      21 |  1203895 |  1007045 |    25199     78 |     2435 |        2
1632.57/1633.09	c 1632s |      21 |  1206503 |  1009145 |    25199     78 |     2435 |        2
1634.77/1635.20	c 1634s |      21 |  1208906 |  1011045 |    25199     79 |     2435 |        2
1636.77/1637.23	c 1636s |      21 |  1210891 |  1012645 |    25199     79 |     2435 |        2
1638.77/1639.27	c 1638s |      21 |  1212758 |  1014245 |    25199     79 |     2435 |        2
1640.77/1641.27	c 1640s |      21 |  1214390 |  1015645 |    25199     79 |     2435 |        2
1642.87/1643.39	c 1642s |      21 |  1216214 |  1017045 |    25199     79 |     2435 |        2
1644.97/1645.41	c 1644s |      21 |  1218452 |  1018745 |    25199     79 |     2435 |        2
1647.07/1647.51	c 1646s |      21 |  1220944 |  1020445 |    25199     79 |     2435 |        2
1649.07/1649.57	c 1649s |      21 |  1222563 |  1021745 |    25199     79 |     2435 |        2
1651.07/1651.57	c 1651s |      21 |  1224002 |  1022945 |    25199     79 |     2435 |        2
1653.27/1653.72	c 1653s |      21 |  1225703 |  1024245 |    25199     79 |     2435 |        2
1655.37/1655.82	c 1655s |      21 |  1227224 |  1025545 |    25199     79 |     2435 |        2
1657.56/1658.02	c 1657s |      21 |  1228979 |  1026945 |    25199     80 |     2435 |        2
1659.66/1660.17	c 1659s |      21 |  1230162 |  1027945 |    25199     80 |     2435 |        2
1661.77/1662.27	c 1661s |      21 |  1231746 |  1029145 |    25199     80 |     2435 |        2
1664.16/1664.61	c 1664s |      21 |  1232984 |  1030145 |    25199     80 |     2435 |        2
1666.26/1666.71	c 1666s |      21 |  1234972 |  1031845 |    25199     80 |     2435 |        2
1668.27/1668.76	c 1668s |      21 |  1236351 |  1032945 |    25199     80 |     2435 |        2
1670.47/1670.94	c 1670s |      21 |  1238035 |  1034145 |    25199     80 |     2435 |        2
1672.56/1673.02	c 1672s |      21 |  1240513 |  1036245 |    25199     80 |     2435 |        2
1674.56/1675.04	c 1674s |      21 |  1242805 |  1038145 |    25199     80 |     2435 |        2
1676.66/1677.13	c 1676s |      21 |  1245091 |  1039845 |    25199     80 |     2435 |        2
1678.76/1679.20	c 1678s |      21 |  1246843 |  1041345 |    25199     80 |     2435 |        2
1681.26/1681.73	c 1681s |      21 |  1248370 |  1042545 |    25199     81 |     2435 |        2
1683.36/1683.84	c 1683s |      21 |  1248632 |  1042745 |    25199     81 |     2435 |        2
1685.46/1685.92	c 1685s |      21 |  1249869 |  1043845 |    25199     81 |     2435 |        2
1687.46/1687.98	c 1687s |      21 |  1251419 |  1045245 |    25199     81 |     2435 |        2
1689.46/1689.99	c 1689s |      21 |  1252514 |  1046245 |    25199     81 |     2435 |        2
1691.66/1692.10	c 1691s |      21 |  1253627 |  1047245 |    25199     81 |     2435 |        2
1693.76/1694.27	c 1693s |      21 |  1255527 |  1048545 |    25199     81 |     2435 |        2
1695.87/1696.37	c 1695s |      21 |  1257198 |  1049845 |    25199     81 |     2435 |        2
1698.07/1698.54	c 1698s |      21 |  1258861 |  1051045 |    25199     81 |     2435 |        2
1700.17/1700.70	c 1700s |      21 |  1260352 |  1052245 |    25199     81 |     2435 |        2
1702.26/1702.79	c 1702s |      21 |  1261574 |  1053245 |    25199     81 |     2435 |        2
1704.36/1704.81	c 1704s |      21 |  1262867 |  1054245 |    25199     81 |     2435 |        2
1706.46/1706.97	c 1706s |      21 |  1264152 |  1055245 |    25199     81 |     2435 |        2
1708.66/1709.16	c 1708s |      21 |  1265529 |  1056345 |    25199     81 |     2435 |        2
1710.66/1711.17	c 1710s |      21 |  1266664 |  1057245 |    25199     81 |     2435 |        2
1712.86/1713.33	c 1712s |      21 |  1267755 |  1058145 |    25199     81 |     2435 |        2
1715.06/1715.51	c 1714s |      21 |  1268779 |  1058945 |    25199     82 |     2435 |        2
1717.06/1717.51	c 1716s |      21 |  1270062 |  1059845 |    25199     82 |     2435 |        2
1719.06/1719.52	c 1718s |      21 |  1271894 |  1061245 |    25199     82 |     2435 |        2
1721.06/1721.59	c 1721s |      21 |  1273728 |  1062745 |    25199     82 |     2435 |        2
1723.26/1723.71	c 1723s |      21 |  1274858 |  1063745 |    25199     82 |     2435 |        2
1725.35/1725.80	c 1725s |      21 |  1276021 |  1064745 |    25199     82 |     2435 |        2
1727.35/1727.83	c 1727s |      21 |  1277926 |  1065845 |    25199     82 |     2435 |        2
1729.36/1729.87	c 1729s |      21 |  1281794 |  1068245 |    25199     82 |     2435 |        2
1731.45/1731.91	c 1731s |      21 |  1285242 |  1070745 |    25199     82 |     2435 |        2
1733.45/1733.92	c 1733s |      21 |  1288357 |  1073545 |    25199     82 |     2435 |        2
1735.46/1735.94	c 1735s |      21 |  1291106 |  1076045 |    25199     82 |     2435 |        2
1737.45/1737.97	c 1737s |      21 |  1292990 |  1077745 |    25199     83 |     2435 |        2
1739.55/1740.05	c 1739s |      21 |  1295490 |  1079945 |    25199     83 |     2435 |        2
1741.65/1742.13	c 1741s |      21 |  1297717 |  1081945 |    25199     83 |     2435 |        2
1743.65/1744.14	c 1743s |      21 |  1299461 |  1083545 |    25199     83 |     2435 |        2
1745.75/1746.24	c 1745s |      21 |  1301436 |  1085345 |    25199     83 |     2435 |        2
1747.85/1748.40	c 1747s |      21 |  1303212 |  1086945 |    25199     83 |     2435 |        2
1749.95/1750.43	c 1749s |      21 |  1304527 |  1088145 |    25199     83 |     2435 |        2
1751.96/1752.46	c 1751s |      21 |  1305993 |  1089445 |    25199     83 |     2435 |        2
1754.06/1754.54	c 1754s |      21 |  1307589 |  1090745 |    25199     83 |     2435 |        2
1756.05/1756.57	c 1756s |      21 |  1309285 |  1092045 |    25199     83 |     2435 |        2
1758.56/1759.01	c 1758s |      21 |  1310543 |  1093045 |    25199     84 |     2435 |        2
1760.66/1761.18	c 1760s |      21 |  1311408 |  1093845 |    25199     84 |     2435 |        2
1762.86/1763.36	c 1762s |      21 |  1312578 |  1094845 |    25199     84 |     2435 |        2
1764.95/1765.42	c 1764s |      21 |  1313689 |  1095845 |    25199     84 |     2435 |        2
1766.95/1767.45	c 1766s |      21 |  1314646 |  1096745 |    25199     84 |     2435 |        2
1768.95/1769.47	c 1768s |      21 |  1315692 |  1097645 |    25199     84 |     2435 |        2
1771.05/1771.57	c 1771s |      21 |  1317229 |  1098945 |    25199     84 |     2435 |        2
1773.05/1773.58	c 1773s |      21 |  1318827 |  1100345 |    25199     84 |     2435 |        2
1775.15/1775.63	c 1775s |      21 |  1319873 |  1101345 |    25199     84 |     2435 |        2
1777.15/1777.65	c 1777s |      21 |  1321540 |  1102445 |    25199     84 |     2435 |        2
1779.15/1779.65	c 1779s |      21 |  1323673 |  1104245 |    25199     84 |     2435 |        2
1781.25/1781.73	c 1781s |      21 |  1325507 |  1105845 |    25199     84 |     2435 |        2
1783.25/1783.75	c 1783s |      21 |  1327607 |  1107645 |    25199     84 |     2435 |        2
1785.35/1785.80	c 1785s |      21 |  1329461 |  1108745 |    25199     84 |     2435 |        2
1787.35/1787.88	c 1787s |      21 |  1332047 |  1109745 |    25199     85 |     2435 |        2
1789.45/1789.90	c 1789s |      21 |  1335162 |  1111145 |    25199     85 |     2435 |        2
1791.55/1792.06	c 1791s |      21 |  1337448 |  1112445 |    25199     85 |     2435 |        2
1793.65/1794.15	c 1793s |      21 |  1339237 |  1113845 |    25199     85 |     2435 |        2
1795.65/1796.18	c 1795s |      21 |  1341283 |  1115245 |    25199     85 |     2435 |        2
1797.74/1798.22	c 1797s |      21 |  1342736 |  1116445 |    25199     85 |     2435 |        2
1799.74/1800.25	c 1799s |      21 |  1344010 |  1117445 |    25199     85 |     2435 |        2

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

pid=26496
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.06 2.02 2.00 3/179 26499
/proc/meminfo: memFree=30598828/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=799164 CPUtime=0 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 2994 0 0 0 0 0 0 0 20 0 4 0 24822901 818343936 3356 33554432000 4194304 16246674 140736232294448 140736232293872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 200303 3366 441 2943 0 197197 0
[pid=26499/tid=26500] ppid=26496 vsize=816572 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 836169728 3426 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=820668 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 840364032 3442 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=825788 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822901 845606912 3459 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 26499
/proc/meminfo: memFree=30598828/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 28826 0 0 0 6 3 0 0 20 0 4 0 24822901 1249447936 29125 33554432000 4194304 16246674 140736232294448 140736232293760 12449399 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 305041 29140 832 2943 0 301935 0
[pid=26499/tid=26500] ppid=26496 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1249447936 29150 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1249447936 29160 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822901 1249447936 29171 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200583 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 26499
/proc/meminfo: memFree=30598828/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 60675 0 0 0 13 6 0 0 20 0 4 0 24822901 1249447936 60975 33554432000 4194304 16246674 140736232294448 140736232293760 12653060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 305041 60986 832 2943 0 301935 0
[pid=26499/tid=26500] ppid=26496 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1249447936 60993 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1249447936 61001 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822901 1249447936 61012 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300497 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 26499
/proc/meminfo: memFree=30598828/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 92535 0 0 0 18 11 0 0 20 0 4 0 24822901 1249447936 92835 33554432000 4194304 16246674 140736232294448 140736232293760 12655109 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 305041 92855 833 2943 0 301935 0
[pid=26499/tid=26500] ppid=26496 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1249447936 92866 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1249447936 92877 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24822901 1249447936 92887 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700425 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 26499
/proc/meminfo: memFree=30598828/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1279556 CPUtime=0.69 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 160406 0 0 0 49 20 0 0 20 0 4 0 24822901 1310265344 160705 33554432000 4194304 16246674 140736232294448 140736232276352 5711636 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 319889 160705 890 2943 0 316783 0
[pid=26499/tid=26500] ppid=26496 vsize=1279556 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1310265344 160705 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1279556 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1310265344 160705 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1279556 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822901 1310265344 160705 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1279556

[startup+1.50041 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 26503
/proc/meminfo: memFree=29957520/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1279556 CPUtime=1.49 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 221859 0 0 0 120 29 0 0 20 0 4 0 24822901 1310265344 222158 33554432000 4194304 16246674 140736232294448 140736232276352 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 319889 222165 890 2943 0 316783 0
[pid=26499/tid=26500] ppid=26496 vsize=1279556 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1310265344 222173 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1279556 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1310265344 222184 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1279556 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822901 1310265344 222188 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1279556

[startup+3.10043 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 26503
/proc/meminfo: memFree=29537160/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1303108 CPUtime=3.09 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 266908 0 0 0 274 35 0 0 20 0 4 0 24822901 1334382592 267207 33554432000 4194304 16246674 140736232294448 140736232276352 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 325777 267207 898 2943 0 322671 0
[pid=26499/tid=26500] ppid=26496 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1334382592 267207 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1334382592 267207 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822901 1334382592 267207 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1303108

[startup+6.30043 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 26503
/proc/meminfo: memFree=29526132/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 268239 0 0 0 594 35 0 0 20 0 4 0 24822901 1339625472 268538 33554432000 4194304 16246674 140736232294448 140736232276352 5711811 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 327057 268538 898 2943 0 323951 0
[pid=26499/tid=26500] ppid=26496 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1339625472 268538 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1339625472 268538 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822901 1339625472 268538 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 26503
/proc/meminfo: memFree=29526536/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 268245 0 0 0 1234 35 0 0 20 0 4 0 24822901 1339625472 268544 33554432000 4194304 16246674 140736232294448 140736232276352 5677559 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 327057 268544 901 2943 0 323951 0
[pid=26499/tid=26500] ppid=26496 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1339625472 268544 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1339625472 268544 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822901 1339625472 268544 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5006 s]
/proc/loadavg: 2.12 2.03 2.01 3/184 26506
/proc/meminfo: memFree=29503708/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1330756 CPUtime=25.48 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 273878 0 0 0 2512 36 0 0 20 0 4 0 24822901 1362694144 274177 33554432000 4194304 16246674 140736232294448 140736232276352 5724546 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 332689 274177 902 2943 0 329583 0
[pid=26499/tid=26500] ppid=26496 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1362694144 274177 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1362694144 274177 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822901 1362694144 274177 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1330756

[startup+51.1005 s]
/proc/loadavg: 2.08 2.03 2.00 3/184 26506
/proc/meminfo: memFree=29491492/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1344068 CPUtime=51.08 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 276978 0 0 0 5071 37 0 0 20 0 4 0 24822901 1376325632 277277 33554432000 4194304 16246674 140736232294448 140736232276352 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 336017 277277 902 2943 0 332911 0
[pid=26499/tid=26500] ppid=26496 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1376325632 277277 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1376325632 277277 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822901 1376325632 277277 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1344068

[startup+102.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 26557
/proc/meminfo: memFree=29516812/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1344068 CPUtime=102.28 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 277214 0 0 0 10190 38 0 0 20 0 4 0 24822901 1376325632 277513 33554432000 4194304 16246674 140736232294448 140736232276352 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 336017 277513 902 2943 0 332911 0
[pid=26499/tid=26500] ppid=26496 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1376325632 277513 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1376325632 277513 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822901 1376325632 277513 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1344068


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

/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1443396

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 26636
/proc/meminfo: memFree=23270480/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1443396 CPUtime=1361.91 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 302363 0 0 0 136128 63 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140736232276352 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 360849 302605 902 2943 0 357743 0
[pid=26499/tid=26500] ppid=26496 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1443396

[startup+1422.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 26637
/proc/meminfo: memFree=23270244/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1443396 CPUtime=1421.91 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 302363 0 0 0 142127 64 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140736232276352 5712756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 360849 302605 902 2943 0 357743 0
[pid=26499/tid=26500] ppid=26496 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1443396

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 26638
/proc/meminfo: memFree=23270288/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1443396 CPUtime=1481.89 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 302363 0 0 0 148123 66 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140736232293624 5712555 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 360849 302605 902 2943 0 357743 0
[pid=26499/tid=26500] ppid=26496 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1443396

[startup+1542.31 s]
/proc/loadavg: 2.08 2.02 2.00 3/183 26639
/proc/meminfo: memFree=23269888/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1443396 CPUtime=1541.89 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 302363 0 0 0 154121 68 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140736232277448 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 360849 302605 902 2943 0 357743 0
[pid=26499/tid=26500] ppid=26496 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1443396

[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 26640
/proc/meminfo: memFree=23269916/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1443396 CPUtime=1601.87 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 302363 0 0 0 160119 68 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140736232276352 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 360849 302605 902 2943 0 357743 0
[pid=26499/tid=26500] ppid=26496 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1443396

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 26642
/proc/meminfo: memFree=23269812/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1443396 CPUtime=1661.86 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 302363 0 0 0 166118 68 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140736232276352 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 360849 302605 902 2943 0 357743 0
[pid=26499/tid=26500] ppid=26496 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1443396 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822901 1478037504 302605 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1443396

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 26643
/proc/meminfo: memFree=23218124/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1494596 CPUtime=1721.86 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 315163 0 0 0 172115 71 0 0 20 0 4 0 24822901 1530466304 315405 33554432000 4194304 16246674 140736232294448 140736232276352 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 373649 315405 902 2943 0 370543 0
[pid=26499/tid=26500] ppid=26496 vsize=1494596 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1530466304 315405 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1494596 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1530466304 315405 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1494596 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822901 1530466304 315405 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1494596

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26644
/proc/meminfo: memFree=23174756/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1537604 CPUtime=1781.85 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 325915 0 0 0 178112 73 0 0 20 0 4 0 24822901 1574506496 326157 33554432000 4194304 16246674 140736232294448 140736232276352 5711624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 384401 326157 902 2943 0 381295 0
[pid=26499/tid=26500] ppid=26496 vsize=1537604 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1574506496 326157 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1537604 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1574506496 326157 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1537604 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822901 1574506496 326157 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1537604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26645
/proc/meminfo: memFree=23106276/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1606212 CPUtime=1800.04 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 343067 0 0 0 179929 75 0 0 20 0 4 0 24822901 1644761088 343309 33554432000 4194304 16246674 140736232294448 140736232276352 12483362 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 401553 343309 902 2943 0 398447 0
[pid=26499/tid=26500] ppid=26496 vsize=1606212 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1644761088 343309 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1606212 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1644761088 343309 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1606212 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822901 1644761088 343309 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1606212

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26645
/proc/meminfo: memFree=23106276/32872528 swapFree=7780/7780
[pid=26499] ppid=26496 vsize=1606212 CPUtime=1800.04 cores=1,3,5,7
/proc/26499/stat : 26499 (toysat) R 26496 26499 23276 0 -1 4202496 343067 0 0 0 179929 75 0 0 20 0 4 0 24822901 1644761088 343309 33554432000 4194304 16246674 140736232294448 140736232276352 12483362 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26499/statm: 401553 343309 902 2943 0 398447 0
[pid=26499/tid=26500] ppid=26496 vsize=1606212 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26500/stat : 26500 (toysat) S 26496 26499 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24822901 1644761088 343309 33554432000 4194304 16246674 140736232294448 140223596965104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26499/tid=26501] ppid=26496 vsize=1606212 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26501/stat : 26501 (toysat) S 26496 26499 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24822901 1644761088 343309 33554432000 4194304 16246674 140736232294448 140223586475248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26499/tid=26502] ppid=26496 vsize=1606212 CPUtime=0 cores=1,3,5,7
/proc/26499/task/26502/stat : 26502 (toysat) S 26496 26499 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24822901 1644761088 343309 33554432000 4194304 16246674 140736232294448 140223501561008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1606212

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.07
CPU user time (s): 1799.3
CPU system time (s): 0.763883
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 1606212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.763883
maximum resident set size= 1373236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 343067
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= 363
involuntary context switches= 1831

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.419 second user time and 15.8076 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 07:29:41
IDJOB=4101833
IDBENCH=1800
IDSOLVER=2542
FILE ID=node151/4101833-1466227781
RUNJOBID= node151-1466206051-23293
PBS_JOBID= 19918135
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 1c32686691bf96e75781667309b05481
RANDOM SEED=1100602979

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        30599356 kB
Buffers:          109896 kB
Cached:           261776 kB
SwapCached:         1996 kB
Active:          1257716 kB
Inactive:         270504 kB
Active(anon):    1156752 kB
Inactive(anon):     1788 kB
Active(file):     100964 kB
Inactive(file):   268716 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             16812 kB
Writeback:             0 kB
AnonPages:       1163488 kB
Mapped:            11856 kB
Shmem:                 0 kB
Slab:             605016 kB
SReclaimable:      47988 kB
SUnreclaim:       557028 kB
KernelStack:        1456 kB
PageTables:         6408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1306604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71640 MiB
End job on node151 at 2016-06-18 07:59:41