Trace number 4116909

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.09 1800.53

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round22-9.opb
MD5SUMf6b5cd4e814bf7344858f51262a058f8
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8736
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T21:46:19+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-4116909-1466970379.opb"]
0.00/0.01	c use --random-gen="2712366150 2116381643 2360926971 613396243 3213425387 2724385075 532422061 1761379185 2933114966 1180093063 2409795596 2974582413 3969693895 35908410 2471594711 3799910948 40860799 2341050198 40294408 538745183 1254810868 905877039 560985205 3777147604 1215431935 1822658037 765931129 2900063989 886887465 2472067953 3278670519 2888229637 410889811 2442024843 3617316565 2068611436 4090632829 2576845361 3145955077 1983767898 1669763327 464565706 38013046 747146235 3578611575 4256596757 1749410923 1304653878 296035358 1300101929 805588240 3302682784 1156474486 2267651631 342013798 1701975253 924355229 626608274 3224235924 3473915028 3762438038 2532122334 2303146977 781393641 2382291894 2343169807 2977489224 360650560 2502877938 3206802001 313581135 860104472 2729100967 64879656 4112835838 1514548502 2990245496 1276020092 2612472353 3508377651 2261991851 2208200412 2876539008 3388119965 3251732105 4130629706 2158557315 2800939758 690087160 1276269821 2182507206 943553210 3791127624 1759057717 1367668153 3886978784 2508003439 1267043180 4273202040 2982449614 3524766056 2387960480 918110944 1776666575 179649309 3165875016 2513470694 1746631280 2033184977 222595029 203384250 922991635 1837821277 11070888 1987380270 1233564337 461900807 669296716 799675198 1693339243 1299480964 1797719803 3745173068 760090368 2522772381 562917087 786997075 2742971423 2962708313 2390068505 1397857873 2688691058 3566335277 1351943301 1317806466 2320139047 2099939461 3223358230 1177613140 2670545100 4075933326 1968186425 3333438936 62412212 2716384761 600000656 4254066408 798992708 271387069 3894900534 903716615 2220278336 3045681368 3425388982 569948209 2056773709 2600409994 4141682245 2284012582 3874114329 3178414447 2947312412 2473339078 978155541 2479121494 4171627634 2255331760 2536618703 4214271351 3289987746 639480600 3599045285 3667452067 3159118548 2970585104 1905749536 2588888410 1826245810 3938638562 285426776 156062973 2878669279 2761662415 2981949769 2179199930 2083254173 34898407 469850949 4149257182 4284644254 2773689252 4268414618 1769285500 4015038131 886624426 1678818999 2937002213 2472850028 3255411594 124198168 943226995 566165739 3764947471 1318131308 1853734420 1196780573 3318634865 1936502998 1344859666 1768786843 1511043855 1505959371 2712362604 775988834 2207628174 1369553881 2322314175 2902364945 2688194963 3511482150 2905308130 2885813454 3422945647 3525705069 2495221716 3594551366 3605446642 1074771684 2049033636 667271985 3476528437 818927268 779966993 2253910540 1406597146 204720079 1309867161 3775747827 1258108004 3399961739 2312911051 2292179549 1827980592 3958747423 1418490891 2620359184 1873054368 4018831984 467226378 2940926708 4167920559 4071169994 896034569 61857307 312447972 1292731750 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8736
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      906 |        0
0.29/0.34	c  0.1s |       1 |      398 |      100 |     4234      0 |      906 |      880
0.38/0.46	c  0.2s |       2 |     2089 |      250 |     4658      0 |      907 |      880
0.58/0.68	c  0.4s |       3 |     2955 |      475 |     5124      0 |      907 |      880
0.89/0.94	c  0.7s |       4 |     6497 |      813 |     5637      0 |      909 |      880
1.39/1.43	c  1.2s |       5 |     8856 |     1320 |     6201      0 |      909 |      880
1.89/1.99	c  1.7s |       6 |    11324 |     2081 |     7505      0 |      909 |      880
2.69/2.75	c  2.5s |       7 |    17272 |     3223 |     8256      0 |      909 |      880
4.59/4.64	c  4.4s |       8 |    20737 |     4936 |     9082      0 |      909 |      880
6.60/6.70	c  6.4s |       8 |    28784 |     7236 |     9082      0 |      909 |      880
6.89/6.99	c  6.7s |       9 |    29167 |     7506 |     9991      0 |      909 |      880
8.99/9.01	c  8.8s |       9 |    33486 |     9306 |     9991      0 |      909 |      880
11.00/11.06	c 10.8s |       9 |    35655 |    10706 |     9991      0 |      909 |      880
11.79/11.88	c 11.6s |      10 |    36758 |    11361 |    10991      0 |      909 |      880
13.89/13.95	c 13.7s |      10 |    40260 |    12961 |    10991      0 |      909 |      880
15.89/15.98	c 15.7s |      10 |    41699 |    14261 |    10991      0 |      909 |      880
17.89/17.99	c 17.7s |      10 |    42823 |    15261 |    10991      1 |      909 |      880
19.99/20.08	c 19.8s |      10 |    43957 |    16261 |    10991      1 |      909 |      880
21.89/21.92	c 21.7s |      11 |    44906 |    17144 |    12091      1 |      909 |      880
23.99/24.00	c 23.7s |      11 |    48876 |    18944 |    12091      1 |      909 |      880
25.99/26.06	c 25.8s |      11 |    50584 |    20544 |    12091      1 |      909 |      880
28.19/28.22	c 28.0s |      11 |    51981 |    21844 |    12091      1 |      909 |      880
30.29/30.35	c 30.1s |      11 |    53161 |    22944 |    12091      2 |      909 |      880
32.39/32.48	c 32.2s |      11 |    54551 |    24244 |    12091      2 |      909 |      880
34.49/34.53	c 34.3s |      11 |    55695 |    25344 |    12091      2 |      909 |      880
35.49/35.50	c 35.2s |      12 |    56199 |    25819 |    13301      2 |      909 |      880
37.59/37.61	c 37.4s |      12 |    61805 |    27919 |    13301      2 |      909 |      880
39.69/39.74	c 39.5s |      12 |    63560 |    29519 |    13301      2 |      909 |      880
41.79/41.85	c 41.6s |      12 |    65456 |    31019 |    13301      2 |      909 |      880
43.89/43.95	c 43.7s |      12 |    67167 |    32319 |    13301      3 |      909 |      880
45.99/46.00	c 45.7s |      12 |    68669 |    33719 |    13301      3 |      909 |      880
48.09/48.12	c 47.9s |      12 |    69991 |    34919 |    13301      3 |      909 |      880
50.19/50.21	c 49.9s |      12 |    71159 |    36019 |    13301      3 |      909 |      880
52.29/52.34	c 52.1s |      12 |    72316 |    37119 |    13301      3 |      909 |      880
54.28/54.38	c 54.1s |      12 |    73666 |    38219 |    13301      3 |      909 |      880
55.58/55.60	c 55.3s |      13 |    74369 |    38832 |    14632      3 |      909 |      880
57.58/57.62	c 57.4s |      13 |    83712 |    41032 |    14632      4 |      909 |      880
59.68/59.74	c 59.5s |      13 |    85870 |    42732 |    14632      4 |      909 |      880
61.69/61.74	c 61.5s |      13 |    87319 |    43932 |    14632      4 |      909 |      880
63.79/63.82	c 63.6s |      13 |    89021 |    45332 |    14632      4 |      909 |      880
65.88/66.00	c 65.7s |      13 |    90813 |    46732 |    14632      4 |      909 |      880
67.98/68.08	c 67.8s |      13 |    92102 |    47832 |    14632      4 |      909 |      880
70.18/70.21	c 70.0s |      13 |    93267 |    48832 |    14632      4 |      909 |      880
72.18/72.23	c 72.0s |      13 |    94474 |    49832 |    14632      5 |      909 |      880
74.28/74.34	c 74.1s |      13 |    95488 |    50732 |    14632      5 |      909 |      880
76.48/76.53	c 76.3s |      13 |    96627 |    51732 |    14632      5 |      909 |      880
78.48/78.55	c 78.3s |      13 |    98804 |    53132 |    14632      5 |      909 |      880
80.48/80.56	c 80.3s |      13 |   104401 |    54832 |    14632      5 |      909 |      880
82.48/82.57	c 82.3s |      13 |   106623 |    56132 |    14632      5 |      909 |      880
84.58/84.66	c 84.4s |      13 |   108660 |    57532 |    14632      5 |      909 |      880
86.18/86.23	c 86.0s |      14 |   109899 |    58352 |    16096      6 |      909 |      880
88.18/88.26	c 88.0s |      14 |   120678 |    60952 |    16096      6 |      909 |      880
90.28/90.37	c 90.1s |      14 |   122957 |    62252 |    16096      6 |      909 |      880
92.38/92.44	c 92.2s |      14 |   124379 |    63252 |    16096      6 |      909 |      880
94.58/94.61	c 94.4s |      14 |   125860 |    64352 |    16096      6 |      909 |      880
96.57/96.65	c 96.4s |      14 |   127379 |    65252 |    16096      6 |      909 |      880
98.67/98.72	c 98.5s |      14 |   130421 |    66752 |    16096      6 |      909 |      880
100.67/100.75	c  100s |      14 |   131941 |    67852 |    16096      6 |      909 |      880
102.87/102.93	c  102s |      14 |   133263 |    68852 |    16096      7 |      909 |      880
104.87/104.99	c  104s |      14 |   134743 |    69952 |    16096      7 |      909 |      880
106.97/107.03	c  106s |      14 |   136028 |    70952 |    16096      7 |      909 |      880
109.07/109.13	c  108s |      14 |   137107 |    71852 |    16096      7 |      909 |      880
111.18/111.26	c  111s |      14 |   138405 |    72852 |    16096      7 |      909 |      880
113.38/113.47	c  113s |      14 |   139638 |    73852 |    16096      7 |      909 |      880
115.58/115.63	c  115s |      14 |   140610 |    74652 |    16096      7 |      909 |      880
117.78/117.85	c  117s |      14 |   141763 |    75552 |    16096      7 |      909 |      880
119.77/119.90	c  119s |      14 |   142713 |    76352 |    16096      7 |      909 |      880
121.97/122.02	c  121s |      14 |   143691 |    77152 |    16096      7 |      909 |      880
123.97/124.02	c  123s |      14 |   144500 |    77852 |    16096      7 |      909 |      880
125.97/126.02	c  125s |      14 |   145374 |    78552 |    16096      8 |      909 |      880
128.07/128.18	c  127s |      14 |   146477 |    79452 |    16096      8 |      909 |      880
130.27/130.38	c  130s |      14 |   147417 |    80252 |    16096      8 |      909 |      880
132.47/132.55	c  132s |      14 |   148386 |    81052 |    16096      8 |      909 |      880
134.57/134.65	c  134s |      14 |   149366 |    81852 |    16096      8 |      909 |      880
136.87/136.98	c  136s |      14 |   150291 |    82652 |    16096      8 |      909 |      880
138.96/139.09	c  138s |      14 |   151832 |    83652 |    16096      8 |      909 |      880
141.06/141.19	c  140s |      14 |   153996 |    84852 |    16096      8 |      909 |      880
143.16/143.27	c  143s |      14 |   155507 |    85852 |    16096      8 |      909 |      880
145.17/145.28	c  145s |      14 |   156420 |    86552 |    16096      8 |      909 |      880
147.26/147.32	c  147s |      14 |   157313 |    87252 |    17706      8 |      909 |      880
148.36/148.40	c  148s |      15 |   157793 |    87632 |    17706      8 |      909 |      880
150.36/150.46	c  150s |      15 |   163498 |    89432 |    17706      9 |      909 |      880
152.46/152.56	c  152s |      15 |   165196 |    91032 |    17706      9 |      909 |      880
154.56/154.63	c  154s |      15 |   166686 |    92432 |    17706      9 |      909 |      880
156.66/156.75	c  156s |      15 |   167960 |    93632 |    17706      9 |      909 |      880
158.86/158.92	c  158s |      15 |   169295 |    94832 |    17706      9 |      909 |      880
160.96/161.07	c  160s |      15 |   170345 |    95832 |    17706      9 |      909 |      880
163.16/163.25	c  162s |      15 |   171289 |    96732 |    17706      9 |      909 |      880
165.26/165.39	c  165s |      15 |   172566 |    97732 |    17706      9 |      909 |      880
167.36/167.40	c  167s |      15 |   173591 |    98732 |    17706      9 |      909 |      880
169.56/169.62	c  169s |      15 |   174567 |    99632 |    17706     10 |      909 |      880
171.67/171.76	c  171s |      15 |   175426 |   100432 |    17706     10 |      909 |      880
173.87/173.99	c  173s |      15 |   176267 |   101232 |    17706     10 |      909 |      880
175.97/176.04	c  175s |      15 |   177261 |   102132 |    17706     10 |      909 |      880
178.17/178.27	c  178s |      15 |   178133 |   102932 |    17706     10 |      909 |      880
180.37/180.48	c  180s |      15 |   178977 |   103732 |    17706     10 |      909 |      880
182.57/182.64	c  182s |      15 |   179839 |   104532 |    17706     10 |      909 |      880
184.76/184.85	c  184s |      15 |   180703 |   105332 |    17706     10 |      909 |      880
186.86/186.90	c  186s |      15 |   181325 |   105932 |    17706     10 |      909 |      880
189.06/189.15	c  188s |      15 |   182205 |   106732 |    17706     10 |      909 |      880
191.06/191.17	c  190s |      15 |   182979 |   107432 |    17706     10 |      909 |      880
193.16/193.26	c  193s |      15 |   183614 |   108032 |    17706     10 |      909 |      880
195.26/195.39	c  195s |      15 |   184271 |   108632 |    17706     10 |      909 |      880
197.36/197.46	c  197s |      15 |   184939 |   109232 |    17706     10 |      909 |      880
199.56/199.70	c  199s |      15 |   185575 |   109832 |    17706     11 |      909 |      880
201.86/201.97	c  201s |      15 |   186426 |   110632 |    17706     11 |      909 |      880
204.16/204.20	c  203s |      15 |   187283 |   111432 |    17706     11 |      909 |      880
206.35/206.44	c  206s |      15 |   188121 |   112232 |    17706     11 |      909 |      880
208.45/208.52	c  208s |      15 |   188843 |   112932 |    17706     11 |      909 |      880
210.45/210.58	c  210s |      15 |   189564 |   113632 |    17706     11 |      909 |      880
212.55/212.64	c  212s |      15 |   190183 |   114232 |    17706     11 |      909 |      880
214.65/214.74	c  214s |      15 |   190794 |   114832 |    17706     11 |      909 |      880
216.66/216.77	c  216s |      15 |   191419 |   115432 |    17706     11 |      909 |      880
218.75/218.81	c  218s |      15 |   192041 |   116032 |    17706     11 |      909 |      880
220.95/221.05	c  220s |      15 |   192655 |   116632 |    17706     11 |      909 |      880
223.15/223.22	c  222s |      15 |   193278 |   117232 |    17706     11 |      909 |      880
225.35/225.45	c  225s |      15 |   193898 |   117832 |    17706     11 |      909 |      880
227.55/227.64	c  227s |      15 |   194517 |   118432 |    17706     11 |      909 |      880
229.75/229.85	c  229s |      15 |   195127 |   119032 |    17706     11 |      909 |      880
231.85/231.97	c  231s |      15 |   195639 |   119532 |    17706     11 |      909 |      880
234.55/234.64	c  234s |      15 |   196253 |   120132 |    17706     12 |      909 |      880
236.85/236.90	c  236s |      15 |   197084 |   120932 |    17706     12 |      909 |      880
238.95/239.03	c  238s |      15 |   197799 |   121632 |    17706     12 |      909 |      880
241.05/241.14	c  240s |      15 |   198514 |   122332 |    17706     12 |      909 |      880
243.35/243.41	c  243s |      15 |   199346 |   123132 |    17706     12 |      909 |      880
245.36/245.42	c  245s |      15 |   199959 |   123732 |    17706     12 |      909 |      880
247.46/247.55	c  247s |      15 |   200713 |   124432 |    17706     12 |      909 |      880
249.55/249.61	c  249s |      15 |   201340 |   125032 |    17706     12 |      909 |      880
251.65/251.74	c  251s |      15 |   201969 |   125632 |    17706     12 |      909 |      880
253.85/253.94	c  253s |      15 |   202591 |   126232 |    17706     12 |      909 |      880
256.05/256.12	c  255s |      15 |   203234 |   126832 |    17706     12 |      909 |      880
258.25/258.34	c  258s |      15 |   204268 |   127632 |    17706     12 |      909 |      880
260.25/260.38	c  260s |      15 |   205033 |   128332 |    17706     12 |      909 |      880
262.54/262.68	c  262s |      15 |   205800 |   129032 |    17706     12 |      909 |      880
264.84/264.99	c  264s |      15 |   206998 |   129932 |    17706     12 |      909 |      880
267.36/267.42	c  267s |      15 |   207731 |   130632 |    17706     13 |      909 |      880
269.35/269.49	c  269s |      15 |   208683 |   131532 |    19477     13 |      909 |      880
269.46/269.54	c  269s |      16 |   208705 |   131552 |    19477     13 |      909 |      880
271.55/271.64	c  271s |      16 |   217290 |   134052 |    19477     13 |      909 |      880
273.55/273.68	c  273s |      16 |   221589 |   136052 |    19477     13 |      909 |      880
275.55/275.68	c  275s |      16 |   223829 |   137552 |    19477     13 |      909 |      880
277.65/277.76	c  277s |      16 |   225053 |   138552 |    19477     13 |      909 |      880
279.75/279.81	c  279s |      16 |   226042 |   139452 |    19477     13 |      909 |      880
281.75/281.87	c  281s |      16 |   227769 |   140652 |    19477     13 |      909 |      880
283.95/284.06	c  283s |      16 |   230389 |   142252 |    19477     13 |      909 |      880
286.05/286.10	c  285s |      16 |   232076 |   143352 |    19477     14 |      909 |      880
288.15/288.28	c  288s |      16 |   234147 |   144652 |    19477     14 |      909 |      880
290.24/290.35	c  290s |      16 |   235959 |   145952 |    19477     14 |      909 |      880
292.24/292.39	c  292s |      16 |   237302 |   146952 |    19477     14 |      909 |      880
294.54/294.63	c  294s |      16 |   238739 |   148052 |    19477     14 |      909 |      880
296.64/296.75	c  296s |      16 |   239807 |   148952 |    19477     14 |      909 |      880
298.74/298.83	c  298s |      16 |   240935 |   149852 |    19477     14 |      909 |      880
300.74/300.86	c  300s |      16 |   242045 |   150752 |    19477     14 |      909 |      880
302.94/303.00	c  302s |      16 |   243153 |   151652 |    19477     14 |      909 |      880
305.04/305.19	c  304s |      16 |   244152 |   152452 |    19477     14 |      909 |      880
307.24/307.37	c  307s |      16 |   245150 |   153252 |    19477     14 |      909 |      880
309.34/309.45	c  309s |      16 |   246449 |   154152 |    19477     15 |      909 |      880
311.35/311.48	c  311s |      16 |   247977 |   155252 |    19477     15 |      909 |      880
313.45/313.53	c  313s |      16 |   249054 |   156152 |    19477     15 |      909 |      880
315.44/315.58	c  315s |      16 |   250109 |   157052 |    19477     15 |      909 |      880
317.64/317.73	c  317s |      16 |   251031 |   157852 |    19477     15 |      909 |      880
319.74/319.85	c  319s |      16 |   251920 |   158652 |    19477     15 |      909 |      880
321.74/321.85	c  321s |      16 |   252726 |   159352 |    19477     15 |      909 |      880
323.84/323.94	c  323s |      16 |   253557 |   160052 |    19477     15 |      909 |      880
325.84/325.97	c  325s |      16 |   254375 |   160752 |    19477     15 |      909 |      880
328.04/328.10	c  327s |      16 |   255195 |   161452 |    19477     15 |      909 |      880
330.14/330.25	c  329s |      16 |   256139 |   162252 |    19477     15 |      909 |      880
332.44/332.53	c  332s |      16 |   257142 |   163052 |    19477     15 |      909 |      880
334.54/334.60	c  334s |      16 |   257957 |   163752 |    19477     15 |      909 |      880
336.54/336.65	c  336s |      16 |   258673 |   164352 |    19477     15 |      909 |      880
338.53/338.67	c  338s |      16 |   259378 |   164952 |    19477     15 |      909 |      880
340.63/340.79	c  340s |      16 |   260106 |   165552 |    19477     16 |      909 |      880
342.93/343.02	c  342s |      16 |   261192 |   166452 |    19477     16 |      909 |      880
344.93/345.03	c  344s |      16 |   262030 |   167152 |    19477     16 |      909 |      880
347.03/347.14	c  346s |      16 |   262856 |   167852 |    19477     16 |      909 |      880
349.33/349.44	c  349s |      16 |   263690 |   168552 |    19477     16 |      909 |      880
351.63/351.71	c  351s |      16 |   264510 |   169252 |    19477     16 |      909 |      880
353.73/353.81	c  353s |      16 |   265185 |   169852 |    19477     16 |      909 |      880
355.93/356.06	c  355s |      16 |   266007 |   170552 |    19477     16 |      909 |      880
358.13/358.24	c  357s |      16 |   266834 |   171252 |    19477     16 |      909 |      880
360.43/360.52	c  360s |      16 |   267687 |   171952 |    19477     16 |      909 |      880
362.74/362.84	c  362s |      16 |   268475 |   172652 |    19477     16 |      909 |      880
364.84/364.95	c  364s |      16 |   269142 |   173252 |    19477     16 |      909 |      880
366.94/367.08	c  366s |      16 |   269832 |   173852 |    19477     16 |      909 |      880
369.14/369.26	c  369s |      16 |   270534 |   174452 |    19477     16 |      909 |      880
371.24/371.39	c  371s |      16 |   271230 |   175052 |    19477     16 |      909 |      880
373.44/373.57	c  373s |      16 |   271941 |   175652 |    19477     16 |      909 |      880
375.54/375.68	c  375s |      16 |   272624 |   176252 |    19477     16 |      909 |      880
377.64/377.71	c  377s |      16 |   273082 |   176652 |    19477     17 |      909 |      880
379.73/379.87	c  379s |      16 |   273925 |   177352 |    19477     17 |      909 |      880
382.03/382.11	c  381s |      16 |   274830 |   178152 |    19477     17 |      909 |      880
384.03/384.16	c  383s |      16 |   275652 |   178852 |    19477     17 |      909 |      880
386.04/386.18	c  385s |      16 |   276354 |   179452 |    19477     17 |      909 |      880
388.13/388.24	c  387s |      16 |   277055 |   180052 |    19477     17 |      909 |      880
390.23/390.33	c  390s |      16 |   277740 |   180652 |    19477     17 |      909 |      880
392.43/392.54	c  392s |      16 |   278399 |   181252 |    19477     17 |      909 |      880
394.63/394.77	c  394s |      16 |   279104 |   181852 |    19477     17 |      909 |      880
396.73/396.80	c  396s |      16 |   279875 |   182452 |    19477     17 |      909 |      880
398.93/399.03	c  398s |      16 |   280701 |   183152 |    19477     17 |      909 |      880
400.93/401.09	c  400s |      16 |   281606 |   183852 |    19477     17 |      909 |      880
402.93/403.09	c  402s |      16 |   282344 |   184452 |    19477     17 |      909 |      880
405.03/405.15	c  404s |      16 |   283054 |   185052 |    19477     17 |      909 |      880
407.13/407.29	c  407s |      16 |   283776 |   185652 |    19477     17 |      909 |      880
409.43/409.54	c  409s |      16 |   284492 |   186252 |    19477     17 |      909 |      880
411.53/411.68	c  411s |      16 |   285199 |   186852 |    19477     17 |      909 |      880
413.83/413.98	c  413s |      16 |   285885 |   187452 |    19477     17 |      909 |      880
416.23/416.30	c  416s |      16 |   286344 |   187852 |    19477     18 |      909 |      880
418.43/418.58	c  418s |      16 |   287185 |   188552 |    19477     18 |      909 |      880
420.63/420.75	c  420s |      16 |   287986 |   189252 |    19477     18 |      909 |      880
422.73/422.84	c  422s |      16 |   288650 |   189852 |    19477     18 |      909 |      880
424.82/424.98	c  424s |      16 |   289320 |   190452 |    19477     18 |      909 |      880
426.92/427.06	c  426s |      16 |   290314 |   191252 |    19477     18 |      909 |      880
429.12/429.23	c  428s |      16 |   291131 |   191952 |    19477     18 |      909 |      880
431.32/431.45	c  431s |      16 |   292128 |   192752 |    19477     18 |      909 |      880
433.62/433.78	c  433s |      16 |   293292 |   193652 |    19477     18 |      909 |      880
435.72/435.86	c  435s |      16 |   294191 |   194352 |    19477     18 |      909 |      880
437.83/437.93	c  437s |      16 |   295045 |   195052 |    19477     18 |      909 |      880
440.12/440.21	c  439s |      16 |   295863 |   195752 |    19477     18 |      909 |      880
442.23/442.35	c  442s |      16 |   296656 |   196452 |    21425     18 |      909 |      880
444.33/444.45	c  444s |      16 |   297442 |   197152 |    21425     18 |      909 |      880
445.12/445.25	c  444s |      17 |   297800 |   197432 |    21425     18 |      909 |      880
447.12/447.28	c  447s |      17 |   303278 |   199232 |    21425     18 |      909 |      880
449.62/449.72	c  449s |      17 |   307606 |   201132 |    21425     19 |      909 |      880
451.62/451.79	c  451s |      17 |   309932 |   202732 |    21425     19 |      909 |      880
453.62/453.79	c  453s |      17 |   311356 |   203932 |    21425     19 |      909 |      880
455.72/455.81	c  455s |      17 |   312707 |   205032 |    21425     19 |      909 |      880
457.82/457.97	c  457s |      17 |   313697 |   205832 |    21425     19 |      909 |      880
459.92/460.07	c  459s |      17 |   314683 |   206632 |    21425     19 |      909 |      880
462.02/462.18	c  461s |      17 |   315943 |   207632 |    21425     19 |      909 |      880
464.02/464.19	c  463s |      17 |   316668 |   208232 |    21425     19 |      909 |      880
466.32/466.42	c  466s |      17 |   317347 |   208832 |    21425     19 |      909 |      880
468.62/468.77	c  468s |      17 |   318052 |   209432 |    21425     19 |      909 |      880
470.82/470.93	c  470s |      17 |   319078 |   210232 |    21425     19 |      909 |      880
472.92/473.01	c  472s |      17 |   320049 |   211032 |    21425     19 |      909 |      880
475.12/475.24	c  474s |      17 |   321009 |   211832 |    21425     19 |      909 |      880
477.32/477.46	c  477s |      17 |   322133 |   212732 |    21425     19 |      909 |      880
479.41/479.53	c  479s |      17 |   322980 |   213432 |    21425     19 |      909 |      880
481.51/481.65	c  481s |      17 |   323684 |   214032 |    21425     20 |      909 |      880
483.71/483.87	c  483s |      17 |   324621 |   214832 |    21425     20 |      909 |      880
486.01/486.18	c  485s |      17 |   325455 |   215532 |    21425     20 |      909 |      880
488.21/488.34	c  488s |      17 |   326274 |   216232 |    21425     20 |      909 |      880
490.41/490.57	c  490s |      17 |   327114 |   216932 |    21425     20 |      909 |      880
492.82/492.93	c  492s |      17 |   327927 |   217632 |    21425     20 |      909 |      880
494.92/495.04	c  494s |      17 |   328810 |   218332 |    21425     20 |      909 |      880
497.01/497.14	c  496s |      17 |   329655 |   219032 |    21425     20 |      909 |      880
499.21/499.40	c  499s |      17 |   330493 |   219732 |    21425     20 |      909 |      880
501.41/501.51	c  501s |      17 |   331245 |   220332 |    21425     20 |      909 |      880
503.51/503.68	c  503s |      17 |   331966 |   220932 |    21425     20 |      909 |      880
505.92/506.04	c  505s |      17 |   332666 |   221532 |    21425     20 |      909 |      880
507.91/508.09	c  507s |      17 |   333386 |   222132 |    21425     20 |      909 |      880
510.21/510.36	c  510s |      17 |   334123 |   222732 |    21425     20 |      909 |      880
512.41/512.54	c  512s |      17 |   334856 |   223332 |    21425     20 |      909 |      880
514.71/514.83	c  514s |      17 |   335735 |   224032 |    21425     20 |      909 |      880
516.91/517.03	c  516s |      17 |   336489 |   224632 |    21425     20 |      909 |      880
519.01/519.20	c  518s |      17 |   337383 |   225332 |    21425     20 |      909 |      880
521.41/521.52	c  521s |      17 |   338131 |   225932 |    21425     21 |      909 |      880
523.61/523.75	c  523s |      17 |   339199 |   226832 |    21425     21 |      909 |      880
525.71/525.86	c  525s |      17 |   340002 |   227532 |    21425     21 |      909 |      880
527.81/527.96	c  527s |      17 |   340988 |   228332 |    21425     21 |      909 |      880
529.91/530.03	c  529s |      17 |   341809 |   229032 |    21425     21 |      909 |      880
532.11/532.22	c  531s |      17 |   342806 |   229832 |    21425     21 |      909 |      880
534.20/534.36	c  534s |      17 |   343614 |   230532 |    21425     21 |      909 |      880
536.40/536.50	c  536s |      17 |   344485 |   231232 |    21425     21 |      909 |      880
538.40/538.53	c  538s |      17 |   345387 |   231932 |    21425     21 |      909 |      880
540.40/540.54	c  540s |      17 |   346472 |   232732 |    21425     21 |      909 |      880
542.40/542.59	c  542s |      17 |   347499 |   233532 |    21425     21 |      909 |      880
544.70/544.85	c  544s |      17 |   348501 |   234332 |    21425     21 |      909 |      880
546.90/547.05	c  546s |      17 |   349373 |   235032 |    21425     21 |      909 |      880
549.00/549.17	c  548s |      17 |   350258 |   235732 |    21425     21 |      909 |      880
551.11/551.23	c  550s |      17 |   351013 |   236332 |    21425     21 |      909 |      880
553.10/553.23	c  552s |      17 |   351852 |   237032 |    21425     21 |      909 |      880
555.41/555.57	c  555s |      17 |   352656 |   237732 |    21425     21 |      909 |      880
557.71/557.82	c  557s |      17 |   353253 |   238232 |    21425     22 |      909 |      880
559.70/559.89	c  559s |      17 |   354056 |   238932 |    21425     22 |      909 |      880
562.01/562.17	c  561s |      17 |   355001 |   239732 |    21425     22 |      909 |      880
564.00/564.18	c  563s |      17 |   355879 |   240432 |    21425     22 |      909 |      880
566.10/566.20	c  565s |      17 |   356696 |   241132 |    21425     22 |      909 |      880
568.30/568.40	c  568s |      17 |   357635 |   241932 |    21425     22 |      909 |      880
570.50/570.60	c  570s |      17 |   358454 |   242632 |    21425     22 |      909 |      880
572.50/572.61	c  572s |      17 |   359161 |   243232 |    21425     22 |      909 |      880
574.70/574.89	c  574s |      17 |   360009 |   243932 |    21425     22 |      909 |      880
576.80/576.99	c  576s |      17 |   360559 |   244432 |    21425     22 |      909 |      880
578.90/579.09	c  578s |      17 |   361118 |   244932 |    21425     22 |      909 |      880
581.20/581.39	c  581s |      17 |   361807 |   245532 |    21425     22 |      909 |      880
583.30/583.49	c  583s |      17 |   362529 |   246132 |    21425     22 |      909 |      880
585.40/585.55	c  585s |      17 |   363252 |   246732 |    21425     22 |      909 |      880
587.70/587.83	c  587s |      17 |   363934 |   247332 |    21425     22 |      909 |      880
589.90/590.03	c  589s |      17 |   364656 |   247932 |    21425     22 |      909 |      880
592.00/592.14	c  591s |      17 |   365366 |   248532 |    21425     22 |      909 |      880
594.20/594.36	c  594s |      17 |   366114 |   249132 |    21425     22 |      909 |      880
596.30/596.43	c  596s |      17 |   366800 |   249732 |    21425     22 |      909 |      880
598.70/598.80	c  598s |      17 |   367481 |   250332 |    21425     22 |      909 |      880
600.89/601.00	c  600s |      17 |   368063 |   250832 |    21425     23 |      909 |      880
603.09/603.21	c  602s |      17 |   368889 |   251532 |    21425     23 |      909 |      880
605.39/605.56	c  605s |      17 |   369713 |   252232 |    21425     23 |      909 |      880
607.69/607.83	c  607s |      17 |   370496 |   252932 |    21425     23 |      909 |      880
609.89/610.07	c  609s |      17 |   371502 |   253732 |    21425     23 |      909 |      880
611.99/612.11	c  611s |      17 |   372330 |   254432 |    21425     23 |      909 |      880
613.99/614.14	c  613s |      17 |   373032 |   255032 |    21425     23 |      909 |      880
616.00/616.17	c  615s |      17 |   373735 |   255632 |    21425     23 |      909 |      880
618.10/618.25	c  617s |      17 |   374434 |   256232 |    21425     23 |      909 |      880
620.40/620.58	c  620s |      17 |   375221 |   256932 |    21425     23 |      909 |      880
622.69/622.82	c  622s |      17 |   375895 |   257532 |    21425     23 |      909 |      880
624.70/624.88	c  624s |      17 |   376592 |   258132 |    21425     23 |      909 |      880
627.00/627.18	c  626s |      17 |   377443 |   258832 |    21425     23 |      909 |      880
629.10/629.21	c  628s |      17 |   378172 |   259432 |    21425     23 |      909 |      880
631.19/631.38	c  631s |      17 |   378834 |   260032 |    21425     23 |      909 |      880
633.39/633.55	c  633s |      17 |   379525 |   260632 |    21425     23 |      909 |      880
635.60/635.76	c  635s |      17 |   380530 |   261332 |    21425     23 |      909 |      880
637.70/637.88	c  637s |      17 |   381447 |   262032 |    21425     23 |      909 |      880
640.40/640.52	c  640s |      17 |   382361 |   262732 |    21425     24 |      909 |      880
642.60/642.72	c  642s |      17 |   383301 |   263532 |    21425     24 |      909 |      880
644.80/644.90	c  644s |      17 |   384376 |   264332 |    21425     24 |      909 |      880
646.80/646.99	c  646s |      17 |   385237 |   265032 |    21425     24 |      909 |      880
649.00/649.15	c  648s |      17 |   386235 |   265832 |    21425     24 |      909 |      880
651.39/651.53	c  651s |      17 |   387036 |   266532 |    21425     24 |      909 |      880
653.49/653.63	c  653s |      17 |   387769 |   267132 |    21425     24 |      909 |      880
655.69/655.80	c  655s |      17 |   388596 |   267832 |    21425     24 |      909 |      880
657.89/658.00	c  657s |      17 |   389262 |   268432 |    21425     24 |      909 |      880
660.09/660.26	c  660s |      17 |   389949 |   269032 |    21425     24 |      909 |      880
662.20/662.39	c  662s |      17 |   390614 |   269632 |    21425     24 |      909 |      880
664.49/664.62	c  664s |      17 |   391283 |   270232 |    21425     24 |      909 |      880
666.50/666.66	c  666s |      17 |   391989 |   270832 |    21425     24 |      909 |      880
668.70/668.88	c  668s |      17 |   392675 |   271432 |    21425     24 |      909 |      880
671.09/671.27	c  671s |      17 |   393481 |   272132 |    21425     24 |      909 |      880
673.39/673.53	c  673s |      17 |   394176 |   272732 |    21425     24 |      909 |      880
675.40/675.59	c  675s |      17 |   394893 |   273332 |    21425     24 |      909 |      880
677.79/677.97	c  677s |      17 |   395599 |   273932 |    21425     24 |      909 |      880
680.29/680.41	c  680s |      17 |   396248 |   274532 |    21425     24 |      909 |      880
682.49/682.67	c  682s |      17 |   396869 |   275032 |    21425     25 |      909 |      880
684.59/684.71	c  684s |      17 |   397744 |   275732 |    21425     25 |      909 |      880
686.78/686.91	c  686s |      17 |   398751 |   276532 |    21425     25 |      909 |      880
688.98/689.15	c  688s |      17 |   399618 |   277232 |    21425     25 |      909 |      880
691.18/691.37	c  691s |      17 |   400413 |   277932 |    21425     25 |      909 |      880
693.48/693.66	c  693s |      17 |   401262 |   278632 |    21425     25 |      909 |      880
695.48/695.67	c  695s |      17 |   401952 |   279232 |    21425     25 |      909 |      880
697.78/697.94	c  697s |      17 |   402609 |   279832 |    21425     25 |      909 |      880
699.88/700.06	c  699s |      17 |   403294 |   280432 |    21425     25 |      909 |      880
701.98/702.17	c  701s |      17 |   404065 |   281032 |    21425     25 |      909 |      880
704.08/704.22	c  703s |      17 |   405188 |   281832 |    21425     25 |      909 |      880
706.09/706.22	c  705s |      17 |   406011 |   282532 |    21425     25 |      909 |      880
708.08/708.28	c  708s |      17 |   406863 |   283232 |    21425     25 |      909 |      880
710.28/710.46	c  710s |      17 |   407714 |   283932 |    21425     25 |      909 |      880
712.48/712.70	c  712s |      17 |   408582 |   284632 |    21425     25 |      909 |      880
714.68/714.89	c  714s |      17 |   409569 |   285432 |    21425     25 |      909 |      880
716.88/717.03	c  716s |      17 |   410389 |   286132 |    21425     25 |      909 |      880
718.98/719.16	c  718s |      17 |   411096 |   286732 |    21425     25 |      909 |      880
721.58/721.72	c  721s |      17 |   411806 |   287332 |    21425     26 |      909 |      880
723.78/723.91	c  723s |      17 |   412762 |   288132 |    21425     26 |      909 |      880
725.98/726.11	c  725s |      17 |   413845 |   289032 |    21425     26 |      909 |      880
727.97/728.17	c  727s |      17 |   414669 |   289732 |    21425     26 |      909 |      880
730.07/730.23	c  729s |      17 |   415563 |   290432 |    21425     26 |      909 |      880
732.17/732.30	c  732s |      17 |   416411 |   291132 |    21425     26 |      909 |      880
734.37/734.59	c  734s |      17 |   417216 |   291832 |    21425     26 |      909 |      880
736.57/736.70	c  736s |      17 |   417935 |   292432 |    21425     26 |      909 |      880
738.87/739.02	c  738s |      17 |   418753 |   293132 |    21425     26 |      909 |      880
740.97/741.11	c  740s |      17 |   419462 |   293732 |    21425     26 |      909 |      880
743.17/743.31	c  743s |      17 |   420152 |   294332 |    23568     26 |      909 |      880
745.37/745.58	c  745s |      17 |   420844 |   294932 |    23568     26 |      909 |      880
747.57/747.71	c  747s |      17 |   421641 |   295632 |    23568     26 |      909 |      880
749.47/749.61	c  749s |      18 |   422388 |   296252 |    23568     26 |      909 |      880
751.57/751.72	c  751s |      18 |   426202 |   297852 |    23568     26 |      909 |      880
753.57/753.79	c  753s |      18 |   428689 |   299452 |    23568     26 |      909 |      880
755.68/755.89	c  755s |      18 |   434570 |   301252 |    23568     27 |      909 |      880
757.78/757.98	c  757s |      18 |   436707 |   302652 |    23568     27 |      909 |      880
759.87/760.09	c  759s |      18 |   438548 |   303952 |    23568     27 |      909 |      880
761.97/762.17	c  761s |      18 |   440267 |   305152 |    23568     27 |      909 |      880
763.97/764.19	c  763s |      18 |   441948 |   306352 |    23568     27 |      909 |      880
766.07/766.27	c  766s |      18 |   443217 |   307352 |    23568     27 |      909 |      880
768.17/768.38	c  768s |      18 |   444253 |   308252 |    23568     27 |      909 |      880
770.28/770.44	c  770s |      18 |   445320 |   309152 |    23568     27 |      909 |      880
772.48/772.69	c  772s |      18 |   446570 |   310152 |    23568     27 |      909 |      880
774.58/774.72	c  774s |      18 |   447551 |   310952 |    23568     27 |      909 |      880
776.77/776.90	c  776s |      18 |   448681 |   311852 |    23568     27 |      909 |      880
778.87/779.02	c  778s |      18 |   449671 |   312652 |    23568     27 |      909 |      880
780.88/781.03	c  780s |      18 |   450521 |   313352 |    23568     27 |      909 |      880
782.87/783.09	c  782s |      18 |   451465 |   314152 |    23568     27 |      909 |      880
784.97/785.14	c  784s |      18 |   452296 |   314852 |    23568     27 |      909 |      880
787.07/787.26	c  787s |      18 |   453154 |   315552 |    23568     28 |      909 |      880
789.37/789.54	c  789s |      18 |   453941 |   316252 |    23568     28 |      909 |      880
791.57/791.78	c  791s |      18 |   454874 |   317052 |    23568     28 |      909 |      880
793.77/793.92	c  793s |      18 |   455680 |   317752 |    23568     28 |      909 |      880
795.97/796.10	c  795s |      18 |   456649 |   318552 |    23568     28 |      909 |      880
798.07/798.23	c  797s |      18 |   457593 |   319352 |    23568     28 |      909 |      880
800.07/800.29	c  800s |      18 |   458382 |   320052 |    23568     28 |      909 |      880
802.17/802.36	c  802s |      18 |   459113 |   320652 |    23568     28 |      909 |      880
804.57/804.71	c  804s |      18 |   459893 |   321352 |    23568     28 |      909 |      880
806.67/806.82	c  806s |      18 |   460577 |   321952 |    23568     28 |      909 |      880
808.87/809.02	c  808s |      18 |   461248 |   322552 |    23568     28 |      909 |      880
811.07/811.30	c  811s |      18 |   461919 |   323152 |    23568     28 |      909 |      880
813.47/813.66	c  813s |      18 |   462584 |   323752 |    23568     28 |      909 |      880
815.57/815.78	c  815s |      18 |   463478 |   324452 |    23568     28 |      909 |      880
817.97/818.19	c  817s |      18 |   464221 |   325052 |    23568     28 |      909 |      880
820.17/820.33	c  820s |      18 |   464767 |   325552 |    23568     28 |      909 |      880
822.17/822.38	c  822s |      18 |   465341 |   326052 |    23568     28 |      909 |      880
824.37/824.55	c  824s |      18 |   465894 |   326552 |    23568     28 |      909 |      880
826.37/826.56	c  826s |      18 |   466471 |   327052 |    23568     28 |      909 |      880
828.36/828.58	c  828s |      18 |   467072 |   327552 |    23568     28 |      909 |      880
830.76/830.98	c  830s |      18 |   467650 |   328052 |    23568     29 |      909 |      880
832.86/833.01	c  832s |      18 |   468442 |   328752 |    23568     29 |      909 |      880
834.87/835.08	c  834s |      18 |   469284 |   329452 |    23568     29 |      909 |      880
837.07/837.21	c  836s |      18 |   470101 |   330152 |    23568     29 |      909 |      880
839.06/839.29	c  839s |      18 |   471053 |   330952 |    23568     29 |      909 |      880
841.37/841.55	c  841s |      18 |   471968 |   331752 |    23568     29 |      909 |      880
843.67/843.87	c  843s |      18 |   472776 |   332452 |    23568     29 |      909 |      880
846.16/846.31	c  846s |      18 |   473442 |   333052 |    23568     29 |      909 |      880
848.36/848.51	c  848s |      18 |   474110 |   333652 |    23568     29 |      909 |      880
850.56/850.72	c  850s |      18 |   474766 |   334252 |    23568     29 |      909 |      880
852.86/853.03	c  852s |      18 |   475418 |   334852 |    23568     29 |      909 |      880
855.16/855.40	c  855s |      18 |   476085 |   335452 |    23568     29 |      909 |      880
857.26/857.40	c  857s |      18 |   476633 |   335952 |    23568     29 |      909 |      880
859.46/859.69	c  859s |      18 |   477324 |   336552 |    23568     29 |      909 |      880
861.46/861.69	c  861s |      18 |   477899 |   337052 |    23568     29 |      909 |      880
863.76/863.97	c  863s |      18 |   478571 |   337652 |    23568     29 |      909 |      880
865.86/866.08	c  865s |      18 |   479295 |   338252 |    23568     29 |      909 |      880
868.26/868.49	c  868s |      18 |   479950 |   338852 |    23568     29 |      909 |      880
870.36/870.54	c  870s |      18 |   480641 |   339452 |    23568     29 |      909 |      880
872.56/872.74	c  872s |      18 |   481325 |   340052 |    23568     29 |      909 |      880
874.76/874.99	c  874s |      18 |   482034 |   340652 |    23568     29 |      909 |      880
877.06/877.25	c  876s |      18 |   482593 |   341152 |    23568     29 |      909 |      880
879.06/879.25	c  878s |      18 |   483158 |   341652 |    23568     30 |      909 |      880
881.36/881.50	c  881s |      18 |   484045 |   342452 |    23568     30 |      909 |      880
883.35/883.54	c  883s |      18 |   484839 |   343152 |    23568     30 |      909 |      880
885.46/885.64	c  885s |      18 |   485631 |   343852 |    23568     30 |      909 |      880
887.56/887.74	c  887s |      18 |   486306 |   344452 |    23568     30 |      909 |      880
889.76/889.99	c  889s |      18 |   487067 |   345152 |    23568     30 |      909 |      880
892.15/892.34	c  892s |      18 |   487850 |   345852 |    23568     30 |      909 |      880
894.16/894.35	c  894s |      18 |   488539 |   346452 |    23568     30 |      909 |      880
896.25/896.47	c  896s |      18 |   489364 |   347152 |    23568     30 |      909 |      880
898.45/898.66	c  898s |      18 |   490215 |   347852 |    23568     30 |      909 |      880
900.65/900.86	c  900s |      18 |   490852 |   348452 |    23568     30 |      909 |      880
902.96/903.11	c  902s |      18 |   491526 |   349052 |    23568     30 |      909 |      880
904.95/905.18	c  904s |      18 |   492078 |   349552 |    23568     30 |      909 |      880
907.15/907.37	c  907s |      18 |   492752 |   350152 |    23568     30 |      909 |      880
909.45/909.65	c  909s |      18 |   493414 |   350752 |    23568     30 |      909 |      880
911.55/911.72	c  911s |      18 |   494131 |   351352 |    23568     30 |      909 |      880
913.65/913.89	c  913s |      18 |   494999 |   352052 |    23568     30 |      909 |      880
915.95/916.13	c  915s |      18 |   495814 |   352752 |    23568     30 |      909 |      880
918.15/918.34	c  918s |      18 |   496543 |   353352 |    23568     30 |      909 |      880
920.25/920.40	c  920s |      18 |   497235 |   353952 |    23568     30 |      909 |      880
922.75/922.94	c  922s |      18 |   497964 |   354552 |    23568     31 |      909 |      880
924.95/925.15	c  924s |      18 |   498741 |   355252 |    23568     31 |      909 |      880
927.05/927.23	c  926s |      18 |   499541 |   355952 |    23568     31 |      909 |      880
929.05/929.24	c  928s |      18 |   500355 |   356652 |    23568     31 |      909 |      880
931.15/931.32	c  931s |      18 |   501201 |   357352 |    23568     31 |      909 |      880
933.25/933.49	c  933s |      18 |   502016 |   358052 |    23568     31 |      909 |      880
935.64/935.83	c  935s |      18 |   502794 |   358752 |    23568     31 |      909 |      880
937.94/938.11	c  937s |      18 |   503462 |   359352 |    23568     31 |      909 |      880
940.24/940.41	c  940s |      18 |   504119 |   359952 |    23568     31 |      909 |      880
942.44/942.65	c  942s |      18 |   504776 |   360552 |    23568     31 |      909 |      880
944.54/944.75	c  944s |      18 |   505428 |   361152 |    23568     31 |      909 |      880
946.74/946.96	c  946s |      18 |   506104 |   361752 |    23568     31 |      909 |      880
949.15/949.37	c  949s |      18 |   506792 |   362352 |    23568     31 |      909 |      880
951.14/951.39	c  951s |      18 |   507344 |   362852 |    23568     31 |      909 |      880
953.44/953.70	c  953s |      18 |   508030 |   363452 |    23568     31 |      909 |      880
955.64/955.89	c  955s |      18 |   508696 |   364052 |    23568     31 |      909 |      880
957.84/958.08	c  957s |      18 |   509367 |   364652 |    23568     31 |      909 |      880
960.15/960.37	c  960s |      18 |   510035 |   365252 |    23568     31 |      909 |      880
962.35/962.56	c  962s |      18 |   510613 |   365752 |    23568     31 |      909 |      880
964.34/964.58	c  964s |      18 |   511166 |   366252 |    23568     31 |      909 |      880
966.64/966.81	c  966s |      18 |   511858 |   366852 |    23568     31 |      909 |      880
968.84/969.05	c  968s |      18 |   512571 |   367452 |    23568     31 |      909 |      880
971.04/971.29	c  971s |      18 |   513178 |   367952 |    23568     32 |      909 |      880
973.14/973.38	c  973s |      18 |   513986 |   368652 |    23568     32 |      909 |      880
975.24/975.40	c  975s |      18 |   514805 |   369352 |    23568     32 |      909 |      880
977.34/977.53	c  977s |      18 |   515601 |   370052 |    23568     32 |      909 |      880
979.44/979.68	c  979s |      18 |   516258 |   370652 |    23568     32 |      909 |      880
981.74/981.95	c  981s |      18 |   516913 |   371252 |    23568     32 |      909 |      880
983.84/984.02	c  983s |      18 |   517577 |   371852 |    23568     32 |      909 |      880
986.04/986.25	c  985s |      18 |   518407 |   372552 |    23568     32 |      909 |      880
988.24/988.41	c  988s |      18 |   519174 |   373252 |    23568     32 |      909 |      880
990.54/990.75	c  990s |      18 |   519937 |   373952 |    23568     32 |      909 |      880
992.84/993.06	c  992s |      18 |   520760 |   374652 |    23568     32 |      909 |      880
994.93/995.11	c  994s |      18 |   521432 |   375252 |    23568     32 |      909 |      880
997.13/997.31	c  997s |      18 |   522088 |   375852 |    23568     32 |      909 |      880
999.13/999.34	c  999s |      18 |   522649 |   376352 |    23568     32 |      909 |      880
1001.43/1001.65	c 1001s |      18 |   523319 |   376952 |    23568     32 |      909 |      880
1003.53/1003.78	c 1003s |      18 |   523868 |   377452 |    23568     32 |      909 |      880
1005.83/1006.02	c 1005s |      18 |   524522 |   378052 |    23568     32 |      909 |      880
1008.03/1008.24	c 1007s |      18 |   525191 |   378652 |    23568     32 |      909 |      880
1010.43/1010.66	c 1010s |      18 |   525835 |   379252 |    23568     32 |      909 |      880
1012.53/1012.80	c 1012s |      18 |   526397 |   379752 |    23568     32 |      909 |      880
1015.03/1015.23	c 1014s |      18 |   526929 |   380252 |    23568     32 |      909 |      880
1017.23/1017.40	c 1017s |      18 |   527468 |   380752 |    23568     32 |      909 |      880
1019.23/1019.45	c 1019s |      18 |   527929 |   381152 |    23568     33 |      909 |      880
1021.33/1021.54	c 1021s |      18 |   528647 |   381752 |    23568     33 |      909 |      880
1023.43/1023.68	c 1023s |      18 |   529456 |   382452 |    23568     33 |      909 |      880
1025.63/1025.80	c 1025s |      18 |   530125 |   383052 |    23568     33 |      909 |      880
1027.84/1028.09	c 1027s |      18 |   530891 |   383752 |    23568     33 |      909 |      880
1030.14/1030.36	c 1030s |      18 |   531690 |   384452 |    23568     33 |      909 |      880
1032.34/1032.60	c 1032s |      18 |   532485 |   385152 |    23568     33 |      909 |      880
1034.54/1034.73	c 1034s |      18 |   533156 |   385752 |    23568     33 |      909 |      880
1036.74/1036.98	c 1036s |      18 |   533929 |   386452 |    23568     33 |      909 |      880
1039.04/1039.22	c 1038s |      18 |   534818 |   387152 |    23568     33 |      909 |      880
1041.13/1041.39	c 1041s |      18 |   535650 |   387852 |    23568     33 |      909 |      880
1043.33/1043.56	c 1043s |      18 |   536427 |   388552 |    23568     33 |      909 |      880
1045.53/1045.73	c 1045s |      18 |   537134 |   389152 |    23568     33 |      909 |      880
1047.83/1048.08	c 1047s |      18 |   537777 |   389752 |    23568     33 |      909 |      880
1049.93/1050.10	c 1049s |      18 |   538320 |   390252 |    23568     33 |      909 |      880
1051.93/1052.19	c 1051s |      18 |   538918 |   390752 |    23568     33 |      909 |      880
1053.93/1054.19	c 1053s |      18 |   539461 |   391252 |    23568     33 |      909 |      880
1056.03/1056.22	c 1055s |      18 |   540039 |   391752 |    23568     33 |      909 |      880
1058.14/1058.31	c 1058s |      18 |   540607 |   392252 |    23568     33 |      909 |      880
1060.24/1060.44	c 1060s |      18 |   541165 |   392752 |    23568     33 |      909 |      880
1062.63/1062.82	c 1062s |      18 |   541820 |   393352 |    23568     33 |      909 |      880
1064.74/1064.94	c 1064s |      18 |   542381 |   393852 |    23568     33 |      909 |      880
1066.84/1067.06	c 1066s |      18 |   542845 |   394252 |    23568     34 |      909 |      880
1069.14/1069.32	c 1069s |      18 |   543606 |   394952 |    23568     34 |      909 |      880
1071.24/1071.42	c 1071s |      18 |   544268 |   395552 |    23568     34 |      909 |      880
1073.33/1073.57	c 1073s |      18 |   544917 |   396152 |    23568     34 |      909 |      880
1075.43/1075.61	c 1075s |      18 |   545565 |   396752 |    23568     34 |      909 |      880
1077.73/1077.96	c 1077s |      18 |   546349 |   397452 |    23568     34 |      909 |      880
1080.03/1080.30	c 1080s |      18 |   547118 |   398152 |    23568     34 |      909 |      880
1082.13/1082.34	c 1082s |      18 |   547812 |   398752 |    23568     34 |      909 |      880
1084.33/1084.57	c 1084s |      18 |   548484 |   399352 |    23568     34 |      909 |      880
1086.73/1086.93	c 1086s |      18 |   549124 |   399952 |    23568     34 |      909 |      880
1088.83/1089.05	c 1088s |      18 |   549787 |   400552 |    23568     34 |      909 |      880
1091.03/1091.26	c 1091s |      18 |   550449 |   401152 |    23568     34 |      909 |      880
1093.33/1093.59	c 1093s |      18 |   551107 |   401752 |    23568     34 |      909 |      880
1095.43/1095.68	c 1095s |      18 |   551663 |   402252 |    23568     34 |      909 |      880
1097.92/1098.10	c 1097s |      18 |   552299 |   402852 |    23568     34 |      909 |      880
1100.02/1100.20	c 1099s |      18 |   552860 |   403352 |    23568     34 |      909 |      880
1102.32/1102.57	c 1102s |      18 |   553540 |   403952 |    23568     34 |      909 |      880
1104.52/1104.75	c 1104s |      18 |   554075 |   404452 |    23568     34 |      909 |      880
1106.72/1107.00	c 1106s |      18 |   554613 |   404952 |    23568     34 |      909 |      880
1109.12/1109.32	c 1109s |      18 |   555309 |   405552 |    23568     34 |      909 |      880
1111.52/1111.72	c 1111s |      18 |   555997 |   406152 |    23568     34 |      909 |      880
1113.52/1113.76	c 1113s |      18 |   556563 |   406652 |    23568     34 |      909 |      880
1115.72/1115.99	c 1115s |      18 |   557144 |   407152 |    23568     34 |      909 |      880
1117.82/1118.05	c 1117s |      18 |   557598 |   407552 |    23568     35 |      909 |      880
1119.92/1120.15	c 1119s |      18 |   558255 |   408152 |    23568     35 |      909 |      880
1122.02/1122.22	c 1121s |      18 |   558926 |   408752 |    23568     35 |      909 |      880
1124.03/1124.26	c 1124s |      18 |   559601 |   409352 |    23568     35 |      909 |      880
1126.42/1126.65	c 1126s |      18 |   560260 |   409952 |    23568     35 |      909 |      880
1128.72/1128.96	c 1128s |      18 |   560912 |   410552 |    23568     35 |      909 |      880
1130.92/1131.15	c 1130s |      18 |   561561 |   411152 |    23568     35 |      909 |      880
1133.02/1133.28	c 1133s |      18 |   562208 |   411752 |    23568     35 |      909 |      880
1135.42/1135.64	c 1135s |      18 |   562873 |   412352 |    23568     35 |      909 |      880
1137.52/1137.75	c 1137s |      18 |   563437 |   412852 |    23568     35 |      909 |      880
1139.52/1139.78	c 1139s |      18 |   564002 |   413352 |    23568     35 |      909 |      880
1141.82/1142.02	c 1141s |      18 |   564539 |   413852 |    23568     35 |      909 |      880
1143.92/1144.19	c 1143s |      18 |   565088 |   414352 |    23568     35 |      909 |      880
1146.12/1146.30	c 1146s |      18 |   565653 |   414852 |    23568     35 |      909 |      880
1148.32/1148.56	c 1148s |      18 |   566199 |   415352 |    23568     35 |      909 |      880
1150.31/1150.57	c 1150s |      18 |   566837 |   415852 |    23568     35 |      909 |      880
1152.72/1152.99	c 1152s |      18 |   567513 |   416452 |    23568     35 |      909 |      880
1154.92/1155.11	c 1154s |      18 |   568083 |   416952 |    23568     35 |      909 |      880
1157.21/1157.49	c 1157s |      18 |   568772 |   417552 |    23568     35 |      909 |      880
1159.41/1159.65	c 1159s |      18 |   569336 |   418052 |    23568     35 |      909 |      880
1161.61/1161.86	c 1161s |      18 |   569891 |   418552 |    23568     35 |      909 |      880
1163.81/1164.01	c 1163s |      18 |   570435 |   419052 |    23568     35 |      909 |      880
1166.01/1166.25	c 1165s |      18 |   570987 |   419552 |    23568     35 |      909 |      880
1168.51/1168.75	c 1168s |      18 |   571517 |   420052 |    23568     35 |      909 |      880
1170.91/1171.10	c 1170s |      18 |   572068 |   420552 |    23568     35 |      909 |      880
1172.91/1173.12	c 1172s |      18 |   572506 |   420952 |    23568     36 |      909 |      880
1175.11/1175.36	c 1175s |      18 |   573303 |   421652 |    23568     36 |      909 |      880
1177.21/1177.45	c 1177s |      18 |   574131 |   422352 |    23568     36 |      909 |      880
1179.51/1179.75	c 1179s |      18 |   574923 |   423052 |    23568     36 |      909 |      880
1181.81/1182.08	c 1181s |      18 |   575687 |   423752 |    23568     36 |      909 |      880
1184.11/1184.30	c 1184s |      18 |   576516 |   424452 |    23568     36 |      909 |      880
1186.31/1186.53	c 1186s |      18 |   577311 |   425152 |    23568     36 |      909 |      880
1188.61/1188.88	c 1188s |      18 |   577970 |   425752 |    23568     36 |      909 |      880
1190.71/1190.96	c 1190s |      18 |   578667 |   426352 |    23568     36 |      909 |      880
1193.01/1193.21	c 1192s |      18 |   579351 |   426952 |    23568     36 |      909 |      880
1195.31/1195.52	c 1195s |      18 |   580070 |   427552 |    23568     36 |      909 |      880
1197.51/1197.77	c 1197s |      18 |   580729 |   428152 |    23568     36 |      909 |      880
1199.70/1199.94	c 1199s |      18 |   581395 |   428752 |    23568     36 |      909 |      880
1202.11/1202.34	c 1202s |      18 |   582049 |   429352 |    23568     36 |      909 |      880
1204.20/1204.43	c 1204s |      18 |   582620 |   429852 |    23568     36 |      909 |      880
1206.40/1206.61	c 1206s |      18 |   583174 |   430352 |    23568     36 |      909 |      880
1208.50/1208.73	c 1208s |      18 |   583729 |   430852 |    23568     36 |      909 |      880
1210.50/1210.79	c 1210s |      18 |   584298 |   431352 |    23568     36 |      909 |      880
1212.60/1212.87	c 1212s |      18 |   584854 |   431852 |    23568     36 |      909 |      880
1214.80/1215.01	c 1214s |      18 |   585409 |   432352 |    23568     36 |      909 |      880
1216.90/1217.14	c 1216s |      18 |   585972 |   432852 |    23568     36 |      909 |      880
1219.00/1219.26	c 1219s |      18 |   586547 |   433352 |    23568     36 |      909 |      880
1221.70/1221.99	c 1221s |      18 |   587269 |   433952 |    23568     37 |      909 |      880
1223.80/1224.08	c 1223s |      18 |   588117 |   434652 |    23568     37 |      909 |      880
1226.00/1226.20	c 1225s |      18 |   588936 |   435352 |    23568     37 |      909 |      880
1228.10/1228.30	c 1228s |      18 |   589739 |   436052 |    23568     37 |      909 |      880
1230.30/1230.55	c 1230s |      18 |   590563 |   436752 |    23568     37 |      909 |      880
1232.40/1232.62	c 1232s |      18 |   591259 |   437352 |    23568     37 |      909 |      880
1234.80/1235.00	c 1234s |      18 |   592067 |   438052 |    23568     37 |      909 |      880
1236.90/1237.18	c 1236s |      18 |   592756 |   438652 |    23568     37 |      909 |      880
1239.30/1239.50	c 1239s |      18 |   593538 |   439352 |    23568     37 |      909 |      880
1241.40/1241.68	c 1241s |      18 |   594195 |   439952 |    23568     37 |      909 |      880
1243.60/1243.85	c 1243s |      18 |   594875 |   440552 |    23568     37 |      909 |      880
1245.80/1246.10	c 1245s |      18 |   595575 |   441152 |    23568     37 |      909 |      880
1247.99/1248.27	c 1248s |      18 |   596279 |   441752 |    25925     37 |      909 |      880
1249.99/1250.29	c 1250s |      18 |   596849 |   442252 |    25925     37 |      909 |      880
1252.19/1252.46	c 1252s |      18 |   597515 |   442852 |    25925     37 |      909 |      880
1254.39/1254.69	c 1254s |      18 |   598175 |   443452 |    25925     37 |      909 |      880
1256.79/1257.05	c 1256s |      18 |   598875 |   444052 |    25925     37 |      909 |      880
1258.31/1258.57	c 1258s |      19 |   599361 |   444482 |    25925     37 |      909 |      880
1260.41/1260.63	c 1260s |      19 |   602808 |   445882 |    25925     37 |      909 |      880
1262.50/1262.77	c 1262s |      19 |   604703 |   447382 |    25925     37 |      909 |      880
1264.60/1264.83	c 1264s |      19 |   606318 |   448682 |    25925     37 |      909 |      880
1266.90/1267.10	c 1266s |      19 |   607805 |   449782 |    25925     38 |      909 |      880
1268.90/1269.19	c 1268s |      19 |   609290 |   450982 |    25925     38 |      909 |      880
1271.10/1271.38	c 1271s |      19 |   610685 |   452082 |    25925     38 |      909 |      880
1273.40/1273.62	c 1273s |      19 |   611877 |   453082 |    25925     38 |      909 |      880
1275.50/1275.77	c 1275s |      19 |   612795 |   453882 |    25925     38 |      909 |      880
1277.60/1277.89	c 1277s |      19 |   613578 |   454582 |    25925     38 |      909 |      880
1279.70/1279.98	c 1279s |      19 |   614519 |   455382 |    25925     38 |      909 |      880
1281.80/1282.09	c 1281s |      19 |   615613 |   456282 |    25925     38 |      909 |      880
1284.10/1284.32	c 1284s |      19 |   616575 |   457082 |    25925     38 |      909 |      880
1286.10/1286.34	c 1286s |      19 |   617453 |   457782 |    25925     38 |      909 |      880
1288.30/1288.56	c 1288s |      19 |   618383 |   458582 |    25925     38 |      909 |      880
1290.40/1290.60	c 1290s |      19 |   619037 |   459182 |    25925     38 |      909 |      880
1292.50/1292.72	c 1292s |      19 |   619824 |   459882 |    25925     38 |      909 |      880
1294.60/1294.82	c 1294s |      19 |   620645 |   460582 |    25925     38 |      909 |      880
1296.70/1296.91	c 1296s |      19 |   621430 |   461282 |    25925     38 |      909 |      880
1298.80/1299.06	c 1298s |      19 |   622244 |   461982 |    25925     38 |      909 |      880
1301.00/1301.28	c 1301s |      19 |   623050 |   462682 |    25925     38 |      909 |      880
1302.99/1303.29	c 1303s |      19 |   623738 |   463282 |    25925     38 |      909 |      880
1305.29/1305.50	c 1305s |      19 |   624518 |   463982 |    25925     38 |      909 |      880
1307.49/1307.74	c 1307s |      19 |   625111 |   464482 |    25925     39 |      909 |      880
1309.49/1309.76	c 1309s |      19 |   627167 |   465482 |    25925     39 |      909 |      880
1311.59/1311.88	c 1311s |      19 |   630013 |   466782 |    25925     39 |      909 |      880
1313.69/1313.98	c 1313s |      19 |   632329 |   468082 |    25925     39 |      909 |      880
1315.79/1316.09	c 1315s |      19 |   633444 |   468982 |    25925     39 |      909 |      880
1317.89/1318.16	c 1317s |      19 |   634587 |   469882 |    25925     39 |      909 |      880
1320.09/1320.36	c 1320s |      19 |   636286 |   470882 |    25925     39 |      909 |      880
1322.29/1322.51	c 1322s |      19 |   637655 |   471782 |    25925     39 |      909 |      880
1324.49/1324.70	c 1324s |      19 |   638898 |   472682 |    25925     39 |      909 |      880
1326.59/1326.87	c 1326s |      19 |   639865 |   473482 |    25925     39 |      909 |      880
1328.70/1328.98	c 1328s |      19 |   640685 |   474182 |    25925     39 |      909 |      880
1330.69/1330.98	c 1330s |      19 |   641813 |   474982 |    25925     39 |      909 |      880
1332.89/1333.20	c 1332s |      19 |   642806 |   475782 |    25925     39 |      909 |      880
1335.09/1335.37	c 1335s |      19 |   643668 |   476482 |    25925     39 |      909 |      880
1337.09/1337.38	c 1337s |      19 |   644795 |   477282 |    25925     39 |      909 |      880
1339.29/1339.54	c 1339s |      19 |   645621 |   477982 |    25925     39 |      909 |      880
1341.59/1341.84	c 1341s |      19 |   646472 |   478682 |    25925     39 |      909 |      880
1343.69/1343.94	c 1343s |      19 |   647084 |   479182 |    25925     40 |      909 |      880
1345.79/1346.03	c 1345s |      19 |   648059 |   479982 |    25925     40 |      909 |      880
1347.99/1348.23	c 1347s |      19 |   648974 |   480782 |    25925     40 |      909 |      880
1350.19/1350.41	c 1350s |      19 |   649769 |   481482 |    25925     40 |      909 |      880
1352.39/1352.65	c 1352s |      19 |   650569 |   482182 |    25925     40 |      909 |      880
1354.49/1354.73	c 1354s |      19 |   651383 |   482882 |    25925     40 |      909 |      880
1356.49/1356.73	c 1356s |      19 |   652157 |   483582 |    25925     40 |      909 |      880
1358.58/1358.84	c 1358s |      19 |   652845 |   484182 |    25925     40 |      909 |      880
1360.88/1361.16	c 1360s |      19 |   653695 |   484882 |    25925     40 |      909 |      880
1362.98/1363.21	c 1362s |      19 |   654263 |   485382 |    25925     40 |      909 |      880
1365.08/1365.39	c 1365s |      19 |   654977 |   485982 |    25925     40 |      909 |      880
1367.28/1367.52	c 1367s |      19 |   655642 |   486582 |    25925     40 |      909 |      880
1369.58/1369.81	c 1369s |      19 |   656309 |   487182 |    25925     40 |      909 |      880
1371.68/1371.96	c 1371s |      19 |   656998 |   487782 |    25925     40 |      909 |      880
1373.79/1374.04	c 1373s |      19 |   657601 |   488282 |    25925     40 |      909 |      880
1375.99/1376.28	c 1376s |      19 |   658710 |   489082 |    25925     40 |      909 |      880
1378.38/1378.60	c 1378s |      19 |   659538 |   489782 |    25925     40 |      909 |      880
1380.58/1380.81	c 1380s |      19 |   660472 |   490482 |    25925     40 |      909 |      880
1382.78/1383.07	c 1382s |      19 |   661272 |   491182 |    25925     40 |      909 |      880
1385.08/1385.36	c 1385s |      19 |   662234 |   491982 |    25925     40 |      909 |      880
1387.27/1387.57	c 1387s |      19 |   663025 |   492682 |    25925     40 |      909 |      880
1389.67/1389.94	c 1389s |      19 |   664022 |   493282 |    25925     41 |      909 |      880
1391.77/1392.00	c 1391s |      19 |   669845 |   494782 |    25925     41 |      909 |      880
1393.77/1394.09	c 1393s |      19 |   672303 |   496182 |    25925     41 |      909 |      880
1395.87/1396.15	c 1395s |      19 |   674066 |   497482 |    25925     41 |      909 |      880
1397.97/1398.20	c 1397s |      19 |   675341 |   498682 |    25925     41 |      909 |      880
1399.96/1400.26	c 1400s |      19 |   676349 |   499582 |    25925     41 |      909 |      880
1402.06/1402.32	c 1402s |      19 |   677629 |   500682 |    25925     41 |      909 |      880
1404.06/1404.35	c 1404s |      19 |   678732 |   501682 |    25925     41 |      909 |      880
1406.06/1406.39	c 1406s |      19 |   679716 |   502582 |    25925     41 |      909 |      880
1408.06/1408.39	c 1408s |      19 |   680726 |   503482 |    25925     41 |      909 |      880
1410.16/1410.47	c 1410s |      19 |   681785 |   504382 |    25925     41 |      909 |      880
1412.17/1412.48	c 1412s |      19 |   682564 |   505082 |    25925     41 |      909 |      880
1414.47/1414.70	c 1414s |      19 |   683480 |   505882 |    25925     41 |      909 |      880
1416.56/1416.86	c 1416s |      19 |   684241 |   506582 |    25925     41 |      909 |      880
1418.65/1419.00	c 1418s |      19 |   685168 |   507382 |    25925     41 |      909 |      880
1420.85/1421.12	c 1420s |      19 |   685831 |   507982 |    25925     42 |      909 |      880
1423.05/1423.36	c 1423s |      19 |   686920 |   508882 |    25925     42 |      909 |      880
1425.15/1425.44	c 1425s |      19 |   687855 |   509682 |    25925     42 |      909 |      880
1427.25/1427.54	c 1427s |      19 |   688808 |   510482 |    25925     42 |      909 |      880
1429.45/1429.73	c 1429s |      19 |   689717 |   511282 |    25925     42 |      909 |      880
1431.45/1431.74	c 1431s |      19 |   690553 |   511982 |    25925     42 |      909 |      880
1433.45/1433.78	c 1433s |      19 |   691355 |   512682 |    25925     42 |      909 |      880
1435.55/1435.80	c 1435s |      19 |   692207 |   513382 |    25925     42 |      909 |      880
1437.75/1438.03	c 1437s |      19 |   693066 |   514082 |    25925     42 |      909 |      880
1439.85/1440.14	c 1439s |      19 |   693896 |   514782 |    25925     42 |      909 |      880
1442.05/1442.31	c 1442s |      19 |   694726 |   515482 |    25925     42 |      909 |      880
1444.05/1444.31	c 1444s |      19 |   695373 |   516082 |    25925     42 |      909 |      880
1446.15/1446.41	c 1446s |      19 |   696068 |   516682 |    25925     42 |      909 |      880
1448.34/1448.61	c 1448s |      19 |   696865 |   517382 |    25925     42 |      909 |      880
1450.34/1450.70	c 1450s |      19 |   697504 |   517982 |    25925     42 |      909 |      880
1452.54/1452.81	c 1452s |      19 |   698178 |   518582 |    25925     42 |      909 |      880
1454.64/1454.98	c 1454s |      19 |   698880 |   519182 |    25925     42 |      909 |      880
1456.93/1457.29	c 1457s |      19 |   699580 |   519782 |    25925     42 |      909 |      880
1459.33/1459.69	c 1459s |      19 |   700289 |   520382 |    25925     42 |      909 |      880
1461.64/1461.95	c 1461s |      19 |   701053 |   520982 |    25925     42 |      909 |      880
1464.03/1464.36	c 1464s |      19 |   701700 |   521582 |    25925     42 |      909 |      880
1466.23/1466.53	c 1466s |      19 |   702245 |   522082 |    25925     43 |      909 |      880
1468.33/1468.63	c 1468s |      19 |   703161 |   522882 |    25925     43 |      909 |      880
1470.33/1470.63	c 1470s |      19 |   703973 |   523582 |    25925     43 |      909 |      880
1472.63/1472.95	c 1472s |      19 |   704732 |   524282 |    25925     43 |      909 |      880
1474.93/1475.24	c 1474s |      19 |   705463 |   524982 |    25925     43 |      909 |      880
1477.13/1477.44	c 1477s |      19 |   706240 |   525682 |    25925     43 |      909 |      880
1479.23/1479.55	c 1479s |      19 |   706925 |   526282 |    25925     43 |      909 |      880
1481.43/1481.75	c 1481s |      19 |   707722 |   526982 |    25925     43 |      909 |      880
1483.52/1483.82	c 1483s |      19 |   708426 |   527582 |    25925     43 |      909 |      880
1485.52/1485.84	c 1485s |      19 |   709140 |   528182 |    25925     43 |      909 |      880
1487.52/1487.86	c 1487s |      19 |   709822 |   528782 |    25925     43 |      909 |      880
1489.72/1490.00	c 1489s |      19 |   710507 |   529382 |    25925     43 |      909 |      880
1491.82/1492.14	c 1491s |      19 |   711138 |   529982 |    25925     43 |      909 |      880
1493.92/1494.28	c 1494s |      19 |   711781 |   530582 |    25925     43 |      909 |      880
1496.12/1496.48	c 1496s |      19 |   712432 |   531182 |    25925     43 |      909 |      880
1498.32/1498.67	c 1498s |      19 |   713103 |   531782 |    25925     43 |      909 |      880
1500.62/1500.94	c 1500s |      19 |   713753 |   532382 |    25925     43 |      909 |      880
1503.02/1503.33	c 1503s |      19 |   714413 |   532982 |    25925     43 |      909 |      880
1505.32/1505.66	c 1505s |      19 |   715075 |   533582 |    25925     43 |      909 |      880
1507.61/1507.97	c 1507s |      19 |   715771 |   534182 |    25925     43 |      909 |      880
1509.71/1510.07	c 1509s |      19 |   716429 |   534782 |    25925     43 |      909 |      880
1512.01/1512.30	c 1512s |      19 |   717121 |   535382 |    25925     43 |      909 |      880
1514.21/1514.55	c 1514s |      19 |   717767 |   535982 |    25925     43 |      909 |      880
1516.31/1516.65	c 1516s |      19 |   718236 |   536382 |    25925     44 |      909 |      880
1518.51/1518.84	c 1518s |      19 |   718994 |   537082 |    25925     44 |      909 |      880
1520.51/1520.89	c 1520s |      19 |   719755 |   537782 |    25925     44 |      909 |      880
1522.61/1522.98	c 1522s |      19 |   720503 |   538482 |    25925     44 |      909 |      880
1524.81/1525.11	c 1524s |      19 |   721278 |   539182 |    25925     44 |      909 |      880
1527.10/1527.43	c 1527s |      19 |   722021 |   539882 |    25925     44 |      909 |      880
1529.10/1529.48	c 1529s |      19 |   722664 |   540482 |    25925     44 |      909 |      880
1531.50/1531.85	c 1531s |      19 |   723438 |   541182 |    25925     44 |      909 |      880
1533.70/1534.08	c 1533s |      19 |   724207 |   541882 |    25925     44 |      909 |      880
1536.00/1536.33	c 1536s |      19 |   724857 |   542482 |    25925     44 |      909 |      880
1538.10/1538.45	c 1538s |      19 |   725540 |   543082 |    25925     44 |      909 |      880
1540.30/1540.68	c 1540s |      19 |   726202 |   543682 |    25925     44 |      909 |      880
1542.50/1542.87	c 1542s |      19 |   726846 |   544282 |    25925     44 |      909 |      880
1544.90/1545.22	c 1544s |      19 |   727619 |   544982 |    25925     44 |      909 |      880
1546.90/1547.25	c 1546s |      19 |   728154 |   545482 |    25925     44 |      909 |      880
1549.00/1549.36	c 1549s |      19 |   728688 |   545982 |    25925     44 |      909 |      880
1551.10/1551.44	c 1551s |      19 |   729257 |   546482 |    25925     44 |      909 |      880
1553.30/1553.67	c 1553s |      19 |   729812 |   546982 |    25925     44 |      909 |      880
1555.70/1556.09	c 1555s |      19 |   730480 |   547582 |    25925     44 |      909 |      880
1557.99/1558.35	c 1558s |      19 |   731022 |   548082 |    25925     44 |      909 |      880
1560.29/1560.62	c 1560s |      19 |   731546 |   548582 |    25925     44 |      909 |      880
1562.59/1562.93	c 1562s |      19 |   732071 |   549082 |    25925     44 |      909 |      880
1564.69/1565.01	c 1564s |      19 |   732654 |   549582 |    25925     44 |      909 |      880
1566.99/1567.35	c 1567s |      19 |   733166 |   550082 |    25925     44 |      909 |      880
1569.40/1569.74	c 1569s |      19 |   733706 |   550582 |    25925     44 |      909 |      880
1571.39/1571.80	c 1571s |      19 |   734132 |   550982 |    25925     45 |      909 |      880
1573.69/1574.01	c 1573s |      19 |   734780 |   551582 |    25925     45 |      909 |      880
1575.69/1576.08	c 1575s |      19 |   735519 |   552282 |    25925     45 |      909 |      880
1577.98/1578.37	c 1578s |      19 |   736245 |   552982 |    25925     45 |      909 |      880
1580.18/1580.51	c 1580s |      19 |   736991 |   553682 |    25925     45 |      909 |      880
1582.28/1582.60	c 1582s |      19 |   737752 |   554382 |    25925     45 |      909 |      880
1584.28/1584.68	c 1584s |      19 |   738527 |   555082 |    25925     45 |      909 |      880
1586.58/1586.99	c 1586s |      19 |   739278 |   555782 |    25925     45 |      909 |      880
1588.68/1589.01	c 1588s |      19 |   739921 |   556382 |    25925     45 |      909 |      880
1590.88/1591.23	c 1590s |      19 |   740567 |   556982 |    25925     45 |      909 |      880
1593.07/1593.44	c 1593s |      19 |   741219 |   557582 |    25925     45 |      909 |      880
1595.17/1595.50	c 1595s |      19 |   741879 |   558182 |    25925     45 |      909 |      880
1597.37/1597.76	c 1597s |      19 |   742561 |   558782 |    25925     45 |      909 |      880
1599.37/1599.76	c 1599s |      19 |   743115 |   559282 |    25925     45 |      909 |      880
1601.77/1602.11	c 1601s |      19 |   743786 |   559882 |    25925     45 |      909 |      880
1604.17/1604.56	c 1604s |      19 |   744459 |   560482 |    25925     45 |      909 |      880
1606.46/1606.85	c 1606s |      19 |   745152 |   561082 |    25925     45 |      909 |      880
1608.56/1608.93	c 1608s |      19 |   745706 |   561582 |    25925     45 |      909 |      880
1610.66/1611.01	c 1610s |      19 |   746238 |   562082 |    25925     45 |      909 |      880
1612.76/1613.12	c 1612s |      19 |   746787 |   562582 |    25925     45 |      909 |      880
1614.76/1615.14	c 1614s |      19 |   747327 |   563082 |    25925     45 |      909 |      880
1616.86/1617.26	c 1617s |      19 |   747874 |   563582 |    25925     45 |      909 |      880
1618.86/1619.28	c 1619s |      19 |   748420 |   564082 |    25925     45 |      909 |      880
1621.16/1621.54	c 1621s |      19 |   748959 |   564582 |    25925     45 |      909 |      880
1623.46/1623.81	c 1623s |      19 |   749509 |   565082 |    25925     45 |      909 |      880
1625.66/1626.06	c 1625s |      19 |   750050 |   565582 |    25925     46 |      909 |      880
1627.86/1628.27	c 1628s |      19 |   750809 |   566282 |    25925     46 |      909 |      880
1630.16/1630.50	c 1630s |      19 |   751576 |   566982 |    25925     46 |      909 |      880
1632.17/1632.59	c 1632s |      19 |   752221 |   567582 |    25925     46 |      909 |      880
1634.46/1634.82	c 1634s |      19 |   752957 |   568282 |    25925     46 |      909 |      880
1636.56/1636.93	c 1636s |      19 |   753596 |   568882 |    25925     46 |      909 |      880
1638.66/1639.10	c 1638s |      19 |   754363 |   569582 |    25925     46 |      909 |      880
1640.76/1641.12	c 1640s |      19 |   755142 |   570282 |    25925     46 |      909 |      880
1642.96/1643.38	c 1643s |      19 |   755912 |   570982 |    25925     46 |      909 |      880
1645.05/1645.45	c 1645s |      19 |   756730 |   571682 |    25925     46 |      909 |      880
1647.15/1647.58	c 1647s |      19 |   757383 |   572282 |    25925     46 |      909 |      880
1649.35/1649.78	c 1649s |      19 |   758015 |   572882 |    25925     46 |      909 |      880
1651.55/1651.95	c 1651s |      19 |   758647 |   573482 |    25925     46 |      909 |      880
1653.55/1653.99	c 1653s |      19 |   759184 |   573982 |    25925     46 |      909 |      880
1655.65/1656.05	c 1655s |      19 |   759742 |   574482 |    25925     46 |      909 |      880
1657.85/1658.24	c 1657s |      19 |   760288 |   574982 |    25925     46 |      909 |      880
1660.14/1660.59	c 1660s |      19 |   760933 |   575582 |    25925     46 |      909 |      880
1662.24/1662.62	c 1662s |      19 |   761478 |   576082 |    25925     46 |      909 |      880
1664.34/1664.77	c 1664s |      19 |   762016 |   576582 |    25925     46 |      909 |      880
1666.44/1666.88	c 1666s |      19 |   762555 |   577082 |    25925     46 |      909 |      880
1668.64/1669.00	c 1668s |      19 |   763104 |   577582 |    25925     46 |      909 |      880
1670.84/1671.22	c 1670s |      19 |   763639 |   578082 |    25925     46 |      909 |      880
1672.84/1673.24	c 1672s |      19 |   764210 |   578582 |    25925     46 |      909 |      880
1674.94/1675.33	c 1675s |      19 |   764790 |   579082 |    25925     46 |      909 |      880
1676.93/1677.36	c 1677s |      19 |   765211 |   579482 |    25925     46 |      909 |      880
1679.13/1679.52	c 1679s |      19 |   765749 |   579982 |    25925     47 |      909 |      880
1681.43/1681.81	c 1681s |      19 |   766369 |   580582 |    25925     47 |      909 |      880
1683.43/1683.87	c 1683s |      19 |   767031 |   581182 |    25925     47 |      909 |      880
1685.53/1685.99	c 1685s |      19 |   767666 |   581782 |    25925     47 |      909 |      880
1687.63/1688.09	c 1687s |      19 |   768438 |   582482 |    25925     47 |      909 |      880
1689.73/1690.16	c 1689s |      19 |   769086 |   583082 |    25925     47 |      909 |      880
1692.03/1692.47	c 1692s |      19 |   769825 |   583782 |    25925     47 |      909 |      880
1694.23/1694.64	c 1694s |      19 |   770444 |   584382 |    25925     47 |      909 |      880
1696.42/1696.84	c 1696s |      19 |   771103 |   584982 |    25925     47 |      909 |      880
1698.62/1699.06	c 1698s |      19 |   771778 |   585582 |    25925     47 |      909 |      880
1700.72/1701.11	c 1700s |      19 |   772456 |   586182 |    25925     47 |      909 |      880
1702.82/1703.24	c 1702s |      19 |   773015 |   586682 |    25925     47 |      909 |      880
1704.92/1705.30	c 1705s |      19 |   773547 |   587182 |    25925     47 |      909 |      880
1707.11/1707.56	c 1707s |      19 |   774202 |   587782 |    25925     47 |      909 |      880
1709.61/1710.03	c 1709s |      19 |   774841 |   588382 |    25925     47 |      909 |      880
1711.91/1712.34	c 1712s |      19 |   775394 |   588882 |    25925     47 |      909 |      880
1714.01/1714.46	c 1714s |      19 |   775932 |   589382 |    25925     47 |      909 |      880
1716.31/1716.74	c 1716s |      19 |   776482 |   589882 |    25925     47 |      909 |      880
1718.41/1718.80	c 1718s |      19 |   777013 |   590382 |    25925     47 |      909 |      880
1720.61/1721.00	c 1720s |      19 |   777551 |   590882 |    25925     47 |      909 |      880
1722.61/1723.05	c 1722s |      19 |   777980 |   591282 |    25925     47 |      909 |      880
1724.91/1725.33	c 1725s |      19 |   778530 |   591782 |    25925     47 |      909 |      880
1727.10/1727.59	c 1727s |      19 |   779075 |   592282 |    25925     47 |      909 |      880
1729.30/1729.70	c 1729s |      19 |   779510 |   592682 |    25925     47 |      909 |      880
1731.80/1732.23	c 1731s |      19 |   780045 |   593182 |    25925     47 |      909 |      880
1734.31/1734.73	c 1734s |      19 |   780594 |   593682 |    25925     47 |      909 |      880
1736.50/1736.92	c 1736s |      19 |   781056 |   594082 |    25925     48 |      909 |      880
1738.59/1739.07	c 1738s |      19 |   781711 |   594682 |    25925     48 |      909 |      880
1740.79/1741.21	c 1740s |      19 |   782355 |   595282 |    25925     48 |      909 |      880
1743.10/1743.51	c 1743s |      19 |   783109 |   595982 |    25925     48 |      909 |      880
1745.30/1745.75	c 1745s |      19 |   783783 |   596582 |    25925     48 |      909 |      880
1747.39/1747.82	c 1747s |      19 |   784437 |   597182 |    25925     48 |      909 |      880
1749.59/1750.02	c 1749s |      19 |   785082 |   597782 |    25925     48 |      909 |      880
1751.79/1752.21	c 1751s |      19 |   785739 |   598382 |    25925     48 |      909 |      880
1753.89/1754.33	c 1754s |      19 |   786393 |   598982 |    25925     48 |      909 |      880
1756.09/1756.56	c 1756s |      19 |   787065 |   599582 |    25925     48 |      909 |      880
1758.18/1758.60	c 1758s |      19 |   787726 |   600182 |    25925     48 |      909 |      880
1760.48/1760.92	c 1760s |      19 |   788471 |   600882 |    25925     48 |      909 |      880
1762.58/1763.08	c 1762s |      19 |   789148 |   601482 |    25925     48 |      909 |      880
1764.68/1765.19	c 1764s |      19 |   789845 |   602082 |    25925     48 |      909 |      880
1766.88/1767.36	c 1767s |      19 |   790497 |   602682 |    25925     48 |      909 |      880
1769.18/1769.67	c 1769s |      19 |   791160 |   603282 |    25925     48 |      909 |      880
1771.38/1771.85	c 1771s |      19 |   791871 |   603882 |    25925     48 |      909 |      880
1773.48/1773.94	c 1773s |      19 |   792590 |   604482 |    25925     48 |      909 |      880
1775.68/1776.10	c 1775s |      19 |   793441 |   605182 |    25925     48 |      909 |      880
1777.67/1778.18	c 1777s |      19 |   794141 |   605782 |    25925     48 |      909 |      880
1779.97/1780.48	c 1780s |      19 |   795075 |   606582 |    25925     48 |      909 |      880
1782.07/1782.54	c 1782s |      19 |   795739 |   607182 |    25925     48 |      909 |      880
1784.27/1784.71	c 1784s |      19 |   796460 |   607782 |    25925     48 |      909 |      880
1786.26/1786.79	c 1786s |      19 |   797142 |   608382 |    25925     48 |      909 |      880
1788.56/1789.00	c 1788s |      19 |   797836 |   608982 |    25925     49 |      909 |      880
1790.56/1791.03	c 1790s |      19 |   798663 |   609682 |    25925     49 |      909 |      880
1792.67/1793.18	c 1792s |      19 |   799436 |   610382 |    25925     49 |      909 |      880
1795.06/1795.57	c 1795s |      19 |   800218 |   611082 |    25925     49 |      909 |      880
1797.16/1797.68	c 1797s |      19 |   800897 |   611682 |    25925     49 |      909 |      880
1799.26/1799.74	c 1799s |      19 |   801564 |   612282 |    25925     49 |      909 |      880

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

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

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


[startup+0 s]
/proc/loadavg: 2.31 2.23 2.25 3/179 23803
/proc/meminfo: memFree=30176836/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=727620 CPUtime=0 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 2716 0 0 0 0 0 0 0 20 0 4 0 30076567 745082880 3078 33554432000 4194304 16246674 140734729665360 140734729664784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 182673 3086 442 2943 0 179567 0
[pid=23803/tid=23804] ppid=23800 vsize=745028 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 762908672 3146 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=750148 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 768151552 3164 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=753220 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 771297280 3178 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.31 2.23 2.25 3/179 23803
/proc/meminfo: memFree=30176836/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 28276 0 0 0 6 3 0 0 20 0 4 0 30076567 1249447936 28575 33554432000 4194304 16246674 140734729665360 140734729664672 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 305041 28575 802 2943 0 301935 0
[pid=23803/tid=23804] ppid=23800 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1249447936 28575 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1249447936 28575 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1249447936 28575 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200536 s]
/proc/loadavg: 2.31 2.23 2.25 3/179 23803
/proc/meminfo: memFree=30176836/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 48485 0 0 0 13 6 0 0 20 0 4 0 30076567 1332285440 48784 33554432000 4194304 16246674 140734729665360 140734729664672 5926895 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 325265 48784 845 2943 0 322159 0
[pid=23803/tid=23804] ppid=23800 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1332285440 48784 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1332285440 48784 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1332285440 48784 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300479 s]
/proc/loadavg: 2.31 2.23 2.25 3/179 23803
/proc/meminfo: memFree=30176836/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 50286 0 0 0 22 7 0 0 20 0 4 0 30076567 1332285440 50586 33554432000 4194304 16246674 140734729665360 140734729664672 5722381 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 325265 50591 885 2943 0 322159 0
[pid=23803/tid=23804] ppid=23800 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1332285440 50597 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1332285440 50602 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1332285440 50606 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700387 s]
/proc/loadavg: 2.31 2.23 2.25 3/179 23803
/proc/meminfo: memFree=30176836/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 107699 0 0 0 54 15 0 0 20 0 4 0 30076567 1332285440 107998 33554432000 4194304 16246674 140734729665360 140734729664672 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 325265 108004 885 2943 0 322159 0
[pid=23803/tid=23804] ppid=23800 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1332285440 108007 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1332285440 108010 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1332285440 108013 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.5004 s]
/proc/loadavg: 2.31 2.23 2.25 3/183 23807
/proc/meminfo: memFree=29019192/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 211314 0 0 0 120 29 0 0 20 0 4 0 30076567 1332285440 211614 33554432000 4194304 16246674 140734729665360 140734729647232 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 325265 211621 885 2943 0 322159 0
[pid=23803/tid=23804] ppid=23800 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1332285440 211625 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1332285440 211627 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1332285440 211630 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10039 s]
/proc/loadavg: 2.31 2.23 2.25 3/183 23807
/proc/meminfo: memFree=28183556/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1312324 CPUtime=3.09 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 269157 0 0 0 272 37 0 0 20 0 4 0 30076567 1343819776 269456 33554432000 4194304 16246674 140734729665360 140734729647232 5712672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 328081 269456 892 2943 0 324975 0
[pid=23803/tid=23804] ppid=23800 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1343819776 269456 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1343819776 269456 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1343819776 269456 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.3004 s]
/proc/loadavg: 2.28 2.23 2.25 3/183 23807
/proc/meminfo: memFree=28182952/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 269270 0 0 0 592 37 0 0 20 0 4 0 30076567 1343819776 269569 33554432000 4194304 16246674 140734729665360 140734729647232 12483481 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 328081 269569 892 2943 0 324975 0
[pid=23803/tid=23804] ppid=23800 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1343819776 269569 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1343819776 269569 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1343819776 269569 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.26 2.23 2.24 3/183 23807
/proc/meminfo: memFree=28183236/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 269270 0 0 0 1232 37 0 0 20 0 4 0 30076567 1343819776 269569 33554432000 4194304 16246674 140734729665360 140734729647232 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 328081 269569 892 2943 0 324975 0
[pid=23803/tid=23804] ppid=23800 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1343819776 269569 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1343819776 269569 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1343819776 269569 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.34 2.25 2.25 4/183 23807
/proc/meminfo: memFree=28184068/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 269270 0 0 0 2512 37 0 0 20 0 4 0 30076567 1343819776 269569 33554432000 4194304 16246674 140734729665360 140734729647232 5600380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 328081 269569 892 2943 0 324975 0
[pid=23803/tid=23804] ppid=23800 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1343819776 269569 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1343819776 269569 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1343819776 269569 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.28 2.24 2.25 3/183 23807
/proc/meminfo: memFree=28184080/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1312324 CPUtime=51.09 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 269271 0 0 0 5072 37 0 0 20 0 4 0 30076567 1343819776 269570 33554432000 4194304 16246674 140734729665360 140734729647232 5717503 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 328081 269570 893 2943 0 324975 0
[pid=23803/tid=23804] ppid=23800 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1343819776 269570 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1343819776 269570 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1343819776 269570 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.22 2.23 2.24 3/183 23808
/proc/meminfo: memFree=28170764/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1323588 CPUtime=102.28 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 272005 0 0 0 10191 37 0 0 20 0 4 0 30076567 1355354112 272304 33554432000 4194304 16246674 140734729665360 140734729647232 5598586 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 330897 272304 893 2943 0 327791 0
[pid=23803/tid=23804] ppid=23800 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1355354112 272304 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1355354112 272304 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1355354112 272304 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1323588


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

/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1363742720 274435 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.58 2.39 2.30 3/183 23863
/proc/meminfo: memFree=28139480/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1331780 CPUtime=1362.08 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 274141 0 0 0 136165 43 0 0 20 0 4 0 30076567 1363742720 274691 33554432000 4194304 16246674 140734729665360 140734729647232 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 332945 274691 893 2943 0 329839 0
[pid=23803/tid=23804] ppid=23800 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1363742720 274691 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1363742720 274691 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1363742720 274691 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.44 2.39 2.30 3/184 23867
/proc/meminfo: memFree=28139300/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1332804 CPUtime=1422.06 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 274180 0 0 0 142163 43 0 0 20 0 4 0 30076567 1364791296 274698 33554432000 4194304 16246674 140734729665360 140734729647232 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 333201 274698 893 2943 0 330095 0
[pid=23803/tid=23804] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274698 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274698 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274698 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1332804

[startup+1482.3 s]
/proc/loadavg: 2.39 2.38 2.30 3/184 23869
/proc/meminfo: memFree=28139652/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1332804 CPUtime=1482.02 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 274215 0 0 0 148159 43 0 0 20 0 4 0 30076567 1364791296 274698 33554432000 4194304 16246674 140734729665360 140734729647232 5672825 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 333201 274698 893 2943 0 330095 0
[pid=23803/tid=23804] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274698 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274698 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274698 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1332804

[startup+1542.31 s]
/proc/loadavg: 2.18 2.32 2.28 3/183 23870
/proc/meminfo: memFree=28138716/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1332804 CPUtime=1542.01 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 274489 0 0 0 154158 43 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 140734729647232 12477776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 333201 274947 893 2943 0 330095 0
[pid=23803/tid=23804] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1332804

[startup+1602.3 s]
/proc/loadavg: 2.32 2.33 2.28 3/183 23871
/proc/meminfo: memFree=28138740/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1332804 CPUtime=1601.97 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 274526 0 0 0 160154 43 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 140734729647232 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 333201 274947 893 2943 0 330095 0
[pid=23803/tid=23804] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1332804

[startup+1662.3 s]
/proc/loadavg: 2.22 2.30 2.27 3/183 23872
/proc/meminfo: memFree=28138664/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1332804 CPUtime=1661.94 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 274570 0 0 0 166150 44 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 140734729647232 5823086 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 333201 274947 893 2943 0 330095 0
[pid=23803/tid=23804] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1332804

[startup+1722.3 s]
/proc/loadavg: 2.15 2.27 2.26 3/183 23873
/proc/meminfo: memFree=28138396/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1332804 CPUtime=1721.91 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 274614 0 0 0 172147 44 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 140734729647232 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 333201 274947 893 2943 0 330095 0
[pid=23803/tid=23804] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1332804

[startup+1782.3 s]
/proc/loadavg: 2.15 2.25 2.26 3/182 23874
/proc/meminfo: memFree=28137796/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1332804 CPUtime=1781.87 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 274660 0 0 0 178143 44 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 140734729647232 6023094 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 333201 274947 893 2943 0 330095 0
[pid=23803/tid=23804] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1332804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.12 2.24 2.25 3/183 23875
/proc/meminfo: memFree=28137888/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1332804 CPUtime=1800.06 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 274676 0 0 0 179962 44 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 140734729647232 5712140 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 333201 274947 893 2943 0 330095 0
[pid=23803/tid=23804] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1332804

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

[startup+1800.5 s]
/proc/loadavg: 2.12 2.24 2.25 3/183 23875
/proc/meminfo: memFree=28137888/32872528 swapFree=1541156/1696500
[pid=23803] ppid=23800 vsize=1332804 CPUtime=1800.06 cores=0,2,4,6
/proc/23803/stat : 23803 (toysat) R 23800 23803 23447 0 -1 4202496 274676 0 0 0 179962 44 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 140734729647232 5712140 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23803/statm: 333201 274947 893 2943 0 330095 0
[pid=23803/tid=23804] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23804/stat : 23804 (toysat) S 23800 23803 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693397093616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23803/tid=23805] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23805/stat : 23805 (toysat) S 23800 23803 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693386603760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23803/tid=23806] ppid=23800 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23803/task/23806/stat : 23806 (toysat) S 23800 23803 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076567 1364791296 274947 33554432000 4194304 16246674 140734729665360 139693274426544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1332804

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.09
CPU user time (s): 1799.62
CPU system time (s): 0.465929
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 1332804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.465929
maximum resident set size= 1099788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274676
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= 299
involuntary context switches= 1972

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.603 second user time and 9.34358 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 21:46:19
IDJOB=4116909
IDBENCH=109529
IDSOLVER=2542
FILE ID=node125/4116909-1466970379
RUNJOBID= node125-1466966776-23463
PBS_JOBID= 19976375
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-9.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116909-1466970379/watcher-4116909-1466970379 -o /tmp/evaluation-result-4116909-1466970379/solver-4116909-1466970379 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466966776-23463 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116909-1466970379.opb

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

MD5SUM BENCH= f6b5cd4e814bf7344858f51262a058f8
RANDOM SEED=1528368774

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.021
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:        30192988 kB
Buffers:           37948 kB
Cached:            94648 kB
SwapCached:         1736 kB
Active:           222568 kB
Inactive:          57228 kB
Active(anon):     148904 kB
Inactive(anon):      448 kB
Active(file):      73664 kB
Inactive(file):    56780 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             33388 kB
Writeback:             0 kB
AnonPages:       2041564 kB
Mapped:            10728 kB
Shmem:                 0 kB
Slab:             567800 kB
SReclaimable:      11748 kB
SUnreclaim:       556052 kB
KernelStack:        1520 kB
PageTables:         9600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2908360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    356352 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= 71724 MiB
End job on node125 at 2016-06-26 22:16:19