Trace number 4116445

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.02 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size80-round22-1.opb
MD5SUM4716d1f4c45bbf27d304b61e55fae378
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark542.002
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 constraints8656
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)368
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-26T17:18:17+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-4116445-1466954297.opb"]
0.00/0.01	c use --random-gen="2477652050 3177077148 3987166945 2042484511 3148431803 2302053655 2218594379 965451065 507586974 2962005548 1300226872 362501530 3349650137 746386786 1125680244 2886029794 24750748 3331301658 13515565 1496797970 999308773 1462607939 4210368448 1891986529 2051464523 1601831521 1785119335 3761872744 319927688 3001530753 583392791 1607580552 3170591401 510835338 3275082317 2366988008 4228847016 3687311417 810232454 3069817046 1994510884 1106587809 1677336414 3761010900 3120345288 2467691748 255695032 4023596368 322120543 920508451 2308691315 2406379779 1880041732 1678136674 160432569 3793308723 3130981459 3434611970 4260400074 3385555775 2135079943 1521453160 4021008753 330346326 3111811034 2668299107 665854639 3113547829 997633085 421764476 3204447787 2267121390 3175336656 3527160686 4055604214 1843091302 3862094700 1754944486 1928157792 1830756591 4134553672 2811992282 3800215447 1063162925 3551727740 666840610 1642347636 226697684 2212120395 536766756 2730095465 3320440579 2019741083 2726494343 528166675 2092068378 194236883 2886741963 277018978 3838640412 4055015818 3744599554 953407611 3732904204 3336200205 3119651806 1578952582 3222450325 1518328674 1536856511 1169001020 4184960524 3208292429 1770291368 2230988658 4222479025 342305047 1750852660 4260741344 2186298095 3156570087 1663824024 3611975995 426350379 3743239069 3381177119 1820011439 1644954483 2160186647 1974688750 3867127808 2534777086 3843141450 3341352279 247546388 1906976318 1369542106 12436320 2206325777 2159927734 2320923761 3868893921 1321847470 2032714314 3307827752 645850534 2892818238 676310952 3206576282 1336973702 1275722639 3666218746 2412772548 1943856851 963609008 2389528442 2249708462 1159995197 3003532047 1012499723 225686732 1517525057 656732940 529169723 492185728 1600768418 4076120462 1714136685 1601260950 3434042018 3669000862 1678106786 2082666118 794725877 834397215 1908697894 342398866 2341849660 2848696054 4233228628 3472118043 1155772239 3772358315 2198893910 1597607891 641897164 3885391048 2412073459 1179900955 4264982163 2005350499 3462195031 853509263 435642466 3831992202 3470179061 1238140174 1067994299 856487800 3137841641 3712715008 3319723137 3617352818 1874113639 2703743988 1014752410 4021094250 2632934755 2438276626 145119588 1736628239 4231990577 1945433116 663407469 1285648095 2284222830 743020836 1251687053 3083321811 1743010560 382975167 1764403293 679447596 1327595350 2704349371 2105253355 524199004 3908123085 2446768189 2224018835 4228795853 2804587823 2439972129 108558473 2125186910 2960383864 3271098317 855212559 2204246450 3357858277 1211203083 2346398958 2773348264 3892841323 1437946556 3863302690 1389356389 382275289 2939081548 724998104 3181846339 4272323246 432915064 1347010796 3920896409 1279656597 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8656
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 |      589 |        0
0.29/0.32	c  0.1s |       1 |      493 |      100 |     4234      0 |      589 |      254
0.39/0.42	c  0.2s |       2 |     1563 |      250 |     4658      0 |      590 |      254
0.49/0.59	c  0.3s |       3 |     3365 |      475 |     5124      0 |      590 |      254
0.89/0.98	c  0.7s |       4 |     4972 |      813 |     5637      0 |      590 |      254
1.59/1.60	c  1.3s |       5 |     6852 |     1320 |     6201      0 |      590 |      254
1.99/2.08	c  1.8s |       6 |    11653 |     2081 |     7505      0 |      590 |      254
3.19/3.22	c  3.0s |       7 |    17968 |     3223 |     8256      0 |      590 |      254
5.19/5.26	c  5.0s |       7 |    20867 |     4823 |     8256      0 |      590 |      254
5.39/5.41	c  5.2s |       8 |    20999 |     4936 |     9082      0 |      590 |      254
7.39/7.44	c  7.2s |       8 |    28564 |     7236 |     9082      0 |      590 |      254
7.70/7.78	c  7.5s |       9 |    28937 |     7506 |     9991      0 |      590 |      254
9.79/9.86	c  9.6s |       9 |    33863 |     9406 |     9991      0 |      590 |      254
11.89/11.90	c 11.6s |       9 |    35605 |    10806 |     9991      0 |      590 |      254
12.69/12.75	c 12.5s |      10 |    36393 |    11361 |    10991      0 |      590 |      254
14.89/14.90	c 14.6s |      10 |    40599 |    13061 |    10991      0 |      590 |      254
16.89/16.99	c 16.7s |      10 |    41994 |    14261 |    10991      0 |      590 |      254
19.09/19.11	c 18.9s |      10 |    43277 |    15361 |    10991      1 |      590 |      254
21.19/21.25	c 21.0s |      10 |    44689 |    16561 |    10991      1 |      590 |      254
22.39/22.41	c 22.1s |      11 |    45407 |    17144 |    12091      1 |      590 |      254
24.39/24.47	c 24.2s |      11 |    54341 |    19644 |    12091      1 |      590 |      254
26.50/26.57	c 26.3s |      11 |    59104 |    21744 |    12091      1 |      590 |      254
28.60/28.66	c 28.4s |      11 |    61892 |    23344 |    12091      2 |      590 |      254
30.69/30.77	c 30.5s |      11 |    63898 |    24744 |    12091      2 |      590 |      254
32.79/32.85	c 32.6s |      12 |    65323 |    25819 |    13301      2 |      590 |      254
34.89/34.98	c 34.7s |      12 |    70875 |    27519 |    13301      2 |      590 |      254
36.99/37.05	c 36.8s |      12 |    72997 |    29019 |    13301      2 |      590 |      254
39.09/39.16	c 38.9s |      12 |    74593 |    30319 |    13301      2 |      590 |      254
41.28/41.33	c 41.1s |      12 |    76177 |    31519 |    13301      3 |      590 |      254
43.48/43.50	c 43.2s |      12 |    77604 |    32719 |    13301      3 |      590 |      254
45.58/45.62	c 45.4s |      12 |    79400 |    34019 |    13301      3 |      590 |      254
47.58/47.62	c 47.4s |      12 |    80730 |    35119 |    13301      3 |      590 |      254
49.68/49.73	c 49.5s |      12 |    82071 |    36219 |    13301      3 |      590 |      254
51.69/51.78	c 51.5s |      12 |    83086 |    37019 |    13301      3 |      590 |      254
53.78/53.87	c 53.6s |      12 |    84227 |    37919 |    13301      3 |      590 |      254
55.98/56.02	c 55.8s |      12 |    85325 |    38819 |    14632      3 |      590 |      254
55.98/56.07	c 55.8s |      13 |    85345 |    38832 |    14632      3 |      590 |      254
57.98/58.07	c 57.8s |      13 |    91834 |    40332 |    14632      4 |      591 |      254
60.08/60.15	c 59.9s |      13 |    93353 |    41732 |    14632      4 |      591 |      254
62.18/62.28	c 62.0s |      13 |    94998 |    43032 |    14632      4 |      591 |      254
64.28/64.39	c 64.1s |      13 |    96403 |    44232 |    14632      4 |      591 |      254
66.38/66.41	c 66.2s |      13 |    97661 |    45232 |    14632      4 |      591 |      254
68.58/68.64	c 68.4s |      13 |    98649 |    46132 |    14632      4 |      591 |      254
70.68/70.73	c 70.5s |      13 |    99532 |    46932 |    14632      4 |      591 |      254
72.98/73.09	c 72.8s |      13 |   101959 |    48132 |    14632      5 |      591 |      254
75.28/75.34	c 75.1s |      13 |   103994 |    49332 |    14632      5 |      591 |      254
77.48/77.52	c 77.3s |      13 |   104882 |    50132 |    14632      5 |      591 |      254
79.57/79.61	c 79.4s |      13 |   105659 |    50832 |    14632      5 |      591 |      254
81.87/81.92	c 81.7s |      13 |   106405 |    51532 |    14632      5 |      591 |      254
84.07/84.17	c 83.9s |      13 |   107156 |    52232 |    14632      5 |      591 |      254
86.27/86.30	c 86.0s |      13 |   107801 |    52832 |    14632      5 |      591 |      254
88.27/88.37	c 88.1s |      13 |   108464 |    53432 |    14632      5 |      591 |      254
90.37/90.44	c 90.2s |      13 |   109103 |    54032 |    14632      5 |      591 |      254
92.57/92.63	c 92.4s |      13 |   109749 |    54632 |    14632      5 |      591 |      254
94.58/94.66	c 94.4s |      13 |   110290 |    55132 |    14632      5 |      591 |      254
96.67/96.79	c 96.5s |      13 |   110844 |    55632 |    14632      5 |      591 |      254
98.77/98.88	c 98.6s |      13 |   111382 |    56132 |    14632      5 |      591 |      254
101.18/101.22	c  100s |      13 |   112051 |    56732 |    14632      5 |      591 |      254
103.57/103.66	c  103s |      13 |   112734 |    57332 |    14632      6 |      591 |      254
105.77/105.82	c  105s |      13 |   113387 |    57932 |    14632      6 |      591 |      254
107.27/107.30	c  107s |      14 |   113841 |    58352 |    16096      6 |      591 |      254
109.27/109.37	c  109s |      14 |   118804 |    60152 |    16096      6 |      591 |      254
111.37/111.42	c  111s |      14 |   121271 |    61752 |    16096      6 |      591 |      254
113.38/113.47	c  113s |      14 |   123048 |    63052 |    16096      6 |      591 |      254
115.58/115.65	c  115s |      14 |   124522 |    64252 |    16096      6 |      591 |      254
117.68/117.71	c  117s |      14 |   125576 |    65152 |    16096      6 |      591 |      254
119.68/119.75	c  119s |      14 |   126493 |    65952 |    16096      6 |      591 |      254
121.88/121.92	c  121s |      14 |   127417 |    66752 |    16096      6 |      591 |      254
123.98/124.02	c  123s |      14 |   128342 |    67552 |    16096      6 |      591 |      254
126.07/126.15	c  125s |      14 |   129006 |    68152 |    16096      7 |      591 |      254
128.07/128.17	c  127s |      14 |   129853 |    68852 |    16096      7 |      591 |      254
130.17/130.27	c  130s |      14 |   130839 |    69652 |    16096      7 |      591 |      254
132.17/132.27	c  132s |      14 |   131788 |    70452 |    16096      7 |      591 |      254
134.57/134.62	c  134s |      14 |   132763 |    71252 |    16096      7 |      591 |      254
136.67/136.75	c  136s |      14 |   133568 |    71952 |    16096      7 |      591 |      254
138.87/138.97	c  138s |      14 |   134561 |    72752 |    16096      7 |      591 |      254
141.17/141.23	c  140s |      14 |   135360 |    73452 |    16096      7 |      591 |      254
143.37/143.41	c  143s |      14 |   136186 |    74152 |    16096      7 |      591 |      254
145.47/145.53	c  145s |      14 |   136972 |    74852 |    16096      7 |      591 |      254
147.57/147.65	c  147s |      14 |   137623 |    75452 |    16096      7 |      591 |      254
149.77/149.83	c  149s |      14 |   138292 |    76052 |    16096      7 |      591 |      254
151.78/151.87	c  151s |      14 |   138974 |    76652 |    16096      7 |      591 |      254
154.17/154.22	c  153s |      14 |   139799 |    77352 |    16096      7 |      591 |      254
156.27/156.35	c  156s |      14 |   140486 |    77952 |    16096      8 |      591 |      254
158.27/158.37	c  158s |      14 |   141311 |    78652 |    16096      8 |      591 |      254
160.47/160.59	c  160s |      14 |   142215 |    79452 |    16096      8 |      591 |      254
162.77/162.89	c  162s |      14 |   143127 |    80252 |    16096      8 |      591 |      254
164.87/164.94	c  164s |      14 |   143958 |    80952 |    16096      8 |      591 |      254
167.17/167.23	c  166s |      14 |   144631 |    81552 |    16096      8 |      591 |      254
169.26/169.31	c  169s |      14 |   145317 |    82152 |    16096      8 |      591 |      254
171.26/171.35	c  171s |      14 |   146004 |    82752 |    16096      8 |      591 |      254
173.46/173.52	c  173s |      14 |   146673 |    83352 |    16096      8 |      591 |      254
175.66/175.77	c  175s |      14 |   147358 |    83952 |    16096      8 |      591 |      254
177.86/177.97	c  177s |      14 |   148084 |    84552 |    16096      8 |      591 |      254
180.06/180.11	c  179s |      14 |   148796 |    85152 |    16096      8 |      591 |      254
182.26/182.31	c  182s |      14 |   149607 |    85852 |    16096      8 |      591 |      254
184.56/184.68	c  184s |      14 |   150431 |    86552 |    16096      8 |      591 |      254
186.76/186.82	c  186s |      14 |   150983 |    87052 |    17706      8 |      591 |      254
188.76/188.83	c  188s |      14 |   151559 |    87552 |    17706      8 |      591 |      254
189.06/189.14	c  188s |      15 |   151641 |    87632 |    17706      8 |      591 |      254
191.07/191.14	c  190s |      15 |   154734 |    88632 |    17706      9 |      591 |      254
193.17/193.27	c  193s |      15 |   156598 |    90132 |    17706      9 |      591 |      254
195.27/195.36	c  195s |      15 |   158003 |    91332 |    17706      9 |      591 |      254
197.26/197.38	c  197s |      15 |   159190 |    92332 |    17706      9 |      591 |      254
199.36/199.46	c  199s |      15 |   160620 |    93532 |    17706      9 |      591 |      254
201.46/201.60	c  201s |      15 |   161667 |    94432 |    17706      9 |      591 |      254
203.66/203.75	c  203s |      15 |   162850 |    95432 |    17706      9 |      591 |      254
205.67/205.78	c  205s |      15 |   163861 |    96332 |    17706      9 |      591 |      254
207.87/207.92	c  207s |      15 |   164931 |    97232 |    17706      9 |      591 |      254
209.96/210.10	c  209s |      15 |   165976 |    98132 |    17706      9 |      591 |      254
212.06/212.11	c  211s |      15 |   166836 |    98832 |    17706     10 |      591 |      254
214.06/214.17	c  213s |      15 |   167782 |    99632 |    17706     10 |      591 |      254
216.16/216.23	c  215s |      15 |   168672 |   100432 |    17706     10 |      591 |      254
218.36/218.46	c  218s |      15 |   169456 |   101132 |    17706     10 |      591 |      254
220.66/220.73	c  220s |      15 |   170240 |   101832 |    17706     10 |      591 |      254
222.96/223.00	c  222s |      15 |   171030 |   102532 |    17706     10 |      591 |      254
225.26/225.30	c  225s |      15 |   171790 |   103232 |    17706     10 |      591 |      254
227.26/227.36	c  227s |      15 |   172601 |   103932 |    17706     10 |      591 |      254
229.36/229.46	c  229s |      15 |   173513 |   104732 |    17706     10 |      591 |      254
231.56/231.68	c  231s |      15 |   174296 |   105432 |    17706     10 |      591 |      254
233.56/233.69	c  233s |      15 |   175114 |   106132 |    17706     10 |      591 |      254
235.86/236.00	c  235s |      15 |   176058 |   106932 |    17706     10 |      591 |      254
237.96/238.05	c  237s |      15 |   176881 |   107632 |    17706     10 |      591 |      254
240.16/240.28	c  240s |      15 |   177697 |   108332 |    17706     10 |      591 |      254
242.26/242.35	c  242s |      15 |   178375 |   108932 |    17706     10 |      591 |      254
244.55/244.62	c  244s |      15 |   179070 |   109532 |    17706     11 |      591 |      254
246.55/246.67	c  246s |      15 |   180006 |   110332 |    17706     11 |      591 |      254
248.66/248.79	c  248s |      15 |   180905 |   111132 |    17706     11 |      591 |      254
250.86/250.91	c  250s |      15 |   181826 |   111932 |    17706     11 |      591 |      254
252.85/252.92	c  252s |      15 |   182645 |   112632 |    17706     11 |      591 |      254
255.05/255.20	c  254s |      15 |   183574 |   113432 |    17706     11 |      591 |      254
257.15/257.26	c  257s |      15 |   184396 |   114132 |    17706     11 |      591 |      254
259.15/259.28	c  259s |      15 |   185054 |   114732 |    17706     11 |      591 |      254
261.15/261.29	c  261s |      15 |   185742 |   115332 |    17706     11 |      591 |      254
263.35/263.44	c  263s |      15 |   186521 |   116032 |    17706     11 |      591 |      254
265.35/265.47	c  265s |      15 |   187349 |   116732 |    17706     11 |      591 |      254
267.65/267.70	c  267s |      15 |   188261 |   117532 |    17706     11 |      591 |      254
269.85/270.00	c  269s |      15 |   189095 |   118232 |    17706     11 |      591 |      254
271.95/272.07	c  271s |      15 |   189779 |   118832 |    17706     11 |      591 |      254
274.05/274.10	c  273s |      15 |   190471 |   119432 |    17706     11 |      591 |      254
276.05/276.14	c  275s |      15 |   191026 |   119932 |    17706     12 |      591 |      254
278.14/278.27	c  278s |      15 |   191951 |   120732 |    17706     12 |      591 |      254
280.24/280.32	c  280s |      15 |   192754 |   121432 |    17706     12 |      591 |      254
282.34/282.45	c  282s |      15 |   193697 |   122232 |    17706     12 |      591 |      254
284.54/284.68	c  284s |      15 |   194584 |   123032 |    17706     12 |      591 |      254
286.54/286.69	c  286s |      15 |   195260 |   123632 |    17706     12 |      591 |      254
288.74/288.88	c  288s |      15 |   196051 |   124332 |    17706     12 |      591 |      254
290.84/290.92	c  290s |      15 |   196860 |   125032 |    17706     12 |      591 |      254
292.94/293.09	c  292s |      15 |   197642 |   125732 |    17706     12 |      591 |      254
295.14/295.26	c  295s |      15 |   198437 |   126432 |    17706     12 |      591 |      254
297.24/297.38	c  297s |      15 |   199232 |   127132 |    17706     12 |      591 |      254
299.54/299.68	c  299s |      15 |   200015 |   127832 |    17706     12 |      591 |      254
301.74/301.89	c  301s |      15 |   200667 |   128432 |    17706     12 |      591 |      254
304.04/304.12	c  303s |      15 |   201330 |   129032 |    17706     12 |      591 |      254
306.04/306.18	c  305s |      15 |   201996 |   129632 |    17706     12 |      591 |      254
308.14/308.23	c  307s |      15 |   202656 |   130232 |    17706     12 |      591 |      254
310.15/310.29	c  310s |      15 |   203327 |   130832 |    19477     13 |      591 |      254
312.14/312.24	c  311s |      16 |   204146 |   131552 |    19477     13 |      591 |      254
314.25/314.30	c  314s |      16 |   210300 |   133352 |    19477     13 |      591 |      254
316.35/316.40	c  316s |      16 |   216382 |   135652 |    19477     13 |      591 |      254
318.35/318.45	c  318s |      16 |   219286 |   137652 |    19477     13 |      591 |      254
320.35/320.46	c  320s |      16 |   222698 |   139152 |    19477     13 |      591 |      254
322.35/322.48	c  322s |      16 |   224001 |   140152 |    19477     13 |      591 |      254
324.55/324.67	c  324s |      16 |   224927 |   140952 |    19477     13 |      591 |      254
326.85/326.98	c  326s |      16 |   226342 |   142152 |    19477     14 |      591 |      254
328.85/328.99	c  328s |      16 |   227709 |   143452 |    19477     14 |      591 |      254
330.94/331.02	c  330s |      16 |   229000 |   144652 |    19477     14 |      591 |      254
333.04/333.15	c  332s |      16 |   230312 |   145852 |    19477     14 |      591 |      254
335.14/335.20	c  334s |      16 |   231397 |   146852 |    19477     14 |      591 |      254
337.24/337.39	c  337s |      16 |   232459 |   147852 |    19477     14 |      591 |      254
339.34/339.40	c  339s |      16 |   233410 |   148752 |    19477     14 |      591 |      254
341.34/341.45	c  341s |      16 |   234788 |   149852 |    19477     14 |      591 |      254
343.34/343.46	c  343s |      16 |   236351 |   150952 |    19477     14 |      591 |      254
345.54/345.65	c  345s |      16 |   240438 |   152652 |    19477     14 |      591 |      254
348.04/348.11	c  347s |      16 |   241833 |   153652 |    19477     15 |      591 |      254
350.04/350.17	c  349s |      16 |   243605 |   154752 |    19477     15 |      591 |      254
352.24/352.32	c  352s |      16 |   245207 |   155852 |    19477     15 |      591 |      254
354.34/354.42	c  354s |      16 |   246892 |   157052 |    19477     15 |      591 |      254
356.35/356.42	c  356s |      16 |   248445 |   158152 |    19477     15 |      591 |      254
358.44/358.56	c  358s |      16 |   249677 |   159152 |    19477     15 |      591 |      254
360.64/360.73	c  360s |      16 |   250613 |   159952 |    19477     15 |      591 |      254
362.84/362.90	c  362s |      16 |   251596 |   160752 |    19477     15 |      591 |      254
364.84/364.98	c  364s |      16 |   252596 |   161552 |    19477     15 |      591 |      254
367.04/367.19	c  366s |      16 |   253769 |   162452 |    19477     15 |      591 |      254
369.34/369.43	c  369s |      16 |   254790 |   163352 |    19477     15 |      591 |      254
371.34/371.45	c  371s |      16 |   255737 |   164152 |    19477     15 |      591 |      254
373.44/373.52	c  373s |      16 |   256547 |   164852 |    19477     15 |      591 |      254
375.64/375.75	c  375s |      16 |   257329 |   165552 |    19477     16 |      591 |      254
377.84/377.97	c  377s |      16 |   258231 |   166352 |    19477     16 |      591 |      254
380.04/380.17	c  379s |      16 |   259117 |   167152 |    19477     16 |      591 |      254
382.23/382.38	c  382s |      16 |   260030 |   167952 |    19477     16 |      591 |      254
384.63/384.71	c  384s |      16 |   260850 |   168652 |    19477     16 |      591 |      254
386.63/386.76	c  386s |      16 |   261672 |   169352 |    19477     16 |      591 |      254
388.73/388.87	c  388s |      16 |   262339 |   169952 |    19477     16 |      591 |      254
390.83/390.94	c  390s |      16 |   262994 |   170552 |    19477     16 |      591 |      254
392.93/393.02	c  392s |      16 |   263835 |   171252 |    19477     16 |      591 |      254
395.23/395.38	c  395s |      16 |   264608 |   171952 |    19477     16 |      591 |      254
397.33/397.46	c  397s |      16 |   265275 |   172552 |    19477     16 |      591 |      254
399.43/399.50	c  399s |      16 |   265985 |   173152 |    19477     16 |      591 |      254
401.44/401.55	c  401s |      16 |   266688 |   173752 |    19477     16 |      591 |      254
403.74/403.89	c  403s |      16 |   267493 |   174452 |    19477     16 |      591 |      254
406.03/406.10	c  405s |      16 |   268191 |   175052 |    19477     16 |      591 |      254
408.23/408.34	c  408s |      16 |   268858 |   175652 |    19477     16 |      591 |      254
410.43/410.50	c  410s |      16 |   269502 |   176252 |    19477     16 |      591 |      254
412.54/412.69	c  412s |      16 |   270047 |   176752 |    19477     17 |      591 |      254
414.74/414.90	c  414s |      16 |   270844 |   177452 |    19477     17 |      591 |      254
416.84/417.00	c  416s |      16 |   271638 |   178152 |    19477     17 |      591 |      254
418.93/419.04	c  418s |      16 |   272430 |   178852 |    19477     17 |      591 |      254
421.24/421.31	c  421s |      16 |   273222 |   179552 |    19477     17 |      591 |      254
423.23/423.36	c  423s |      16 |   273931 |   180152 |    19477     17 |      591 |      254
425.43/425.55	c  425s |      16 |   275162 |   181052 |    19477     17 |      591 |      254
427.43/427.59	c  427s |      16 |   276415 |   181952 |    19477     17 |      591 |      254
429.53/429.69	c  429s |      16 |   277500 |   182752 |    19477     17 |      591 |      254
431.92/432.01	c  431s |      16 |   278464 |   183552 |    19477     17 |      591 |      254
434.12/434.29	c  434s |      16 |   279284 |   184252 |    19477     17 |      591 |      254
436.32/436.43	c  436s |      16 |   280004 |   184852 |    19477     17 |      591 |      254
438.52/438.64	c  438s |      16 |   280669 |   185452 |    19477     17 |      591 |      254
440.82/440.93	c  440s |      16 |   281354 |   186052 |    19477     17 |      591 |      254
443.12/443.26	c  443s |      16 |   282032 |   186652 |    19477     17 |      591 |      254
445.22/445.35	c  445s |      16 |   282757 |   187252 |    19477     17 |      591 |      254
447.63/447.73	c  447s |      16 |   283596 |   187852 |    19477     18 |      591 |      254
449.72/449.85	c  449s |      16 |   284688 |   188752 |    19477     18 |      591 |      254
451.82/451.91	c  451s |      16 |   285489 |   189452 |    19477     18 |      591 |      254
453.82/453.94	c  453s |      16 |   286147 |   190052 |    19477     18 |      591 |      254
455.92/456.00	c  455s |      16 |   286962 |   190752 |    19477     18 |      591 |      254
458.02/458.10	c  457s |      16 |   287744 |   191452 |    19477     18 |      591 |      254
460.12/460.27	c  460s |      16 |   288527 |   192152 |    19477     18 |      591 |      254
462.52/462.64	c  462s |      16 |   289170 |   192752 |    19477     18 |      591 |      254
464.82/464.92	c  464s |      16 |   289940 |   193452 |    19477     18 |      591 |      254
467.12/467.25	c  466s |      16 |   290638 |   194052 |    19477     18 |      591 |      254
469.42/469.50	c  469s |      16 |   291304 |   194652 |    19477     18 |      591 |      254
471.72/471.83	c  471s |      16 |   291931 |   195252 |    19477     18 |      591 |      254
474.03/474.12	c  473s |      16 |   292598 |   195852 |    19477     18 |      591 |      254
476.42/476.52	c  476s |      16 |   293252 |   196452 |    21425     18 |      591 |      254
478.62/478.74	c  478s |      16 |   294015 |   197052 |    21425     18 |      591 |      254
480.02/480.14	c  479s |      17 |   294483 |   197432 |    21425     18 |      591 |      254
482.12/482.23	c  481s |      17 |   302766 |   199132 |    21425     18 |      591 |      254
484.52/484.61	c  484s |      17 |   305863 |   200432 |    21425     19 |      591 |      254
486.52/486.68	c  486s |      17 |   308023 |   201732 |    21425     19 |      591 |      254
488.62/488.74	c  488s |      17 |   309941 |   202932 |    21425     19 |      591 |      254
490.72/490.87	c  490s |      17 |   311346 |   204032 |    21425     19 |      591 |      254
492.73/492.88	c  492s |      17 |   314705 |   205432 |    21425     19 |      591 |      254
494.82/495.00	c  494s |      17 |   316240 |   206532 |    21425     19 |      591 |      254
497.02/497.10	c  496s |      17 |   321493 |   208232 |    21425     19 |      591 |      254
499.02/499.16	c  498s |      17 |   323023 |   209232 |    21425     19 |      591 |      254
501.12/501.26	c  500s |      17 |   324242 |   210132 |    21425     19 |      591 |      254
503.12/503.26	c  503s |      17 |   324888 |   210732 |    21425     19 |      591 |      254
505.42/505.59	c  505s |      17 |   325997 |   211532 |    21425     19 |      591 |      254
507.51/507.67	c  507s |      17 |   326897 |   212232 |    21425     19 |      591 |      254
509.61/509.72	c  509s |      17 |   327712 |   212832 |    21425     19 |      591 |      254
511.61/511.73	c  511s |      17 |   328332 |   213332 |    21425     20 |      591 |      254
513.72/513.84	c  513s |      17 |   329314 |   214132 |    21425     20 |      591 |      254
515.71/515.88	c  515s |      17 |   330447 |   215032 |    21425     20 |      591 |      254
517.81/517.94	c  517s |      17 |   331420 |   215832 |    21425     20 |      591 |      254
519.91/520.03	c  519s |      17 |   332207 |   216532 |    21425     20 |      591 |      254
521.91/522.09	c  521s |      17 |   333038 |   217232 |    21425     20 |      591 |      254
524.21/524.30	c  524s |      17 |   333871 |   217932 |    21425     20 |      591 |      254
526.51/526.64	c  526s |      17 |   334698 |   218632 |    21425     20 |      591 |      254
528.51/528.65	c  528s |      17 |   335394 |   219232 |    21425     20 |      591 |      254
530.51/530.66	c  530s |      17 |   335963 |   219732 |    21425     20 |      591 |      254
532.71/532.82	c  532s |      17 |   336512 |   220232 |    21425     20 |      591 |      254
534.91/535.01	c  534s |      17 |   337027 |   220732 |    21425     20 |      591 |      254
537.21/537.36	c  537s |      17 |   337670 |   221332 |    21425     20 |      591 |      254
539.51/539.62	c  539s |      17 |   338320 |   221932 |    21425     20 |      591 |      254
541.51/541.69	c  541s |      17 |   338853 |   222432 |    21425     20 |      591 |      254
543.61/543.75	c  543s |      17 |   339402 |   222932 |    21425     20 |      591 |      254
545.61/545.78	c  545s |      17 |   339946 |   223432 |    21425     20 |      591 |      254
547.81/547.98	c  547s |      17 |   340503 |   223932 |    21425     20 |      591 |      254
550.31/550.48	c  550s |      17 |   341034 |   224432 |    21425     20 |      591 |      254
552.41/552.54	c  552s |      17 |   341582 |   224932 |    21425     20 |      591 |      254
554.60/554.75	c  554s |      17 |   342131 |   225432 |    21425     20 |      591 |      254
556.70/556.83	c  556s |      17 |   342569 |   225832 |    21425     21 |      591 |      254
558.71/558.88	c  558s |      17 |   342996 |   226232 |    21425     21 |      591 |      254
560.91/561.09	c  560s |      17 |   343528 |   226732 |    21425     21 |      591 |      254
563.11/563.26	c  563s |      17 |   344169 |   227332 |    21425     21 |      591 |      254
565.20/565.38	c  565s |      17 |   345318 |   228132 |    21425     21 |      591 |      254
567.40/567.54	c  567s |      17 |   346190 |   228932 |    21425     21 |      591 |      254
569.50/569.64	c  569s |      17 |   347052 |   229732 |    21425     21 |      591 |      254
571.70/571.85	c  571s |      17 |   348060 |   230532 |    21425     21 |      591 |      254
574.00/574.14	c  573s |      17 |   349216 |   231432 |    21425     21 |      591 |      254
576.20/576.31	c  576s |      17 |   350056 |   232132 |    21425     21 |      591 |      254
578.40/578.51	c  578s |      17 |   350878 |   232832 |    21425     21 |      591 |      254
580.60/580.71	c  580s |      17 |   351711 |   233532 |    21425     21 |      591 |      254
582.91/583.05	c  582s |      17 |   352502 |   234232 |    21425     21 |      591 |      254
585.00/585.12	c  584s |      17 |   353196 |   234832 |    21425     21 |      591 |      254
587.31/587.41	c  587s |      17 |   353984 |   235532 |    21425     21 |      591 |      254
589.30/589.48	c  589s |      17 |   354663 |   236132 |    21425     21 |      591 |      254
591.50/591.65	c  591s |      17 |   355333 |   236732 |    21425     21 |      591 |      254
593.80/593.91	c  593s |      17 |   356020 |   237332 |    21425     21 |      591 |      254
596.30/596.42	c  596s |      17 |   356572 |   237832 |    21425     22 |      591 |      254
598.40/598.52	c  598s |      17 |   357474 |   238632 |    21425     22 |      591 |      254
600.50/600.69	c  600s |      17 |   358284 |   239332 |    21425     22 |      591 |      254
602.70/602.84	c  602s |      17 |   358955 |   239932 |    21425     22 |      591 |      254
605.00/605.14	c  604s |      17 |   359730 |   240632 |    21425     22 |      591 |      254
606.99/607.14	c  606s |      17 |   360411 |   241232 |    21425     22 |      591 |      254
609.30/609.43	c  609s |      17 |   361051 |   241832 |    21425     22 |      591 |      254
611.50/611.64	c  611s |      17 |   361717 |   242432 |    21425     22 |      591 |      254
613.70/613.88	c  613s |      17 |   362381 |   243032 |    21425     22 |      591 |      254
615.90/616.09	c  615s |      17 |   363068 |   243632 |    21425     22 |      591 |      254
618.20/618.34	c  618s |      17 |   363714 |   244232 |    21425     22 |      591 |      254
620.59/620.77	c  620s |      17 |   364358 |   244832 |    21425     22 |      591 |      254
622.69/622.83	c  622s |      17 |   365003 |   245432 |    21425     22 |      591 |      254
624.70/624.84	c  624s |      17 |   365538 |   245932 |    21425     22 |      591 |      254
626.80/626.95	c  626s |      17 |   366085 |   246432 |    21425     22 |      591 |      254
629.00/629.17	c  628s |      17 |   366629 |   246932 |    21425     22 |      591 |      254
631.20/631.34	c  631s |      17 |   367152 |   247432 |    21425     22 |      591 |      254
633.30/633.49	c  633s |      17 |   367726 |   247932 |    21425     22 |      591 |      254
635.60/635.74	c  635s |      17 |   368483 |   248532 |    21425     22 |      591 |      254
637.70/637.87	c  637s |      17 |   369158 |   249132 |    21425     22 |      591 |      254
640.00/640.10	c  639s |      17 |   369871 |   249732 |    21425     22 |      591 |      254
642.10/642.25	c  641s |      17 |   370328 |   250132 |    21425     23 |      591 |      254
644.20/644.39	c  644s |      17 |   371092 |   250832 |    21425     23 |      591 |      254
646.40/646.52	c  646s |      17 |   371871 |   251532 |    21425     23 |      591 |      254
648.70/648.80	c  648s |      17 |   372638 |   252232 |    21425     23 |      591 |      254
650.70/650.83	c  650s |      17 |   373337 |   252832 |    21425     23 |      591 |      254
652.90/653.06	c  652s |      17 |   374193 |   253532 |    21425     23 |      591 |      254
655.20/655.32	c  655s |      17 |   375040 |   254232 |    21425     23 |      591 |      254
657.50/657.66	c  657s |      17 |   375864 |   254932 |    21425     23 |      591 |      254
659.79/659.97	c  659s |      17 |   376547 |   255532 |    21425     23 |      591 |      254
661.99/662.16	c  661s |      17 |   377357 |   256232 |    21425     23 |      591 |      254
664.19/664.33	c  664s |      17 |   378056 |   256832 |    21425     23 |      591 |      254
666.19/666.39	c  666s |      17 |   378613 |   257332 |    21425     23 |      591 |      254
668.29/668.40	c  668s |      17 |   379155 |   257832 |    21425     23 |      591 |      254
670.69/670.82	c  670s |      17 |   379815 |   258432 |    21425     23 |      591 |      254
672.79/672.94	c  672s |      17 |   380375 |   258932 |    21425     23 |      591 |      254
674.89/675.09	c  674s |      17 |   380921 |   259432 |    21425     23 |      591 |      254
677.09/677.27	c  677s |      17 |   381471 |   259932 |    21425     23 |      591 |      254
679.09/679.28	c  679s |      17 |   382031 |   260432 |    21425     23 |      591 |      254
681.39/681.52	c  681s |      17 |   382559 |   260932 |    21425     23 |      591 |      254
683.79/683.91	c  683s |      17 |   383094 |   261432 |    21425     23 |      591 |      254
685.79/685.94	c  685s |      17 |   383541 |   261832 |    21425     23 |      591 |      254
687.99/688.16	c  687s |      17 |   384123 |   262332 |    21425     23 |      591 |      254
689.99/690.17	c  689s |      17 |   384557 |   262732 |    21425     24 |      591 |      254
692.19/692.37	c  692s |      17 |   385331 |   263432 |    21425     24 |      591 |      254
694.49/694.67	c  694s |      17 |   386084 |   264132 |    21425     24 |      591 |      254
696.59/696.70	c  696s |      17 |   386734 |   264732 |    21425     24 |      591 |      254
698.69/698.84	c  698s |      17 |   387520 |   265432 |    21425     24 |      591 |      254
700.69/700.86	c  700s |      17 |   388205 |   266032 |    21425     24 |      591 |      254
702.69/702.86	c  702s |      17 |   388752 |   266532 |    21425     24 |      591 |      254
705.19/705.32	c  705s |      17 |   389388 |   267132 |    21425     24 |      591 |      254
707.19/707.32	c  707s |      17 |   389934 |   267632 |    21425     24 |      591 |      254
709.29/709.43	c  709s |      17 |   390472 |   268132 |    21425     24 |      591 |      254
711.38/711.50	c  711s |      17 |   391021 |   268632 |    21425     24 |      591 |      254
713.48/713.66	c  713s |      17 |   391582 |   269132 |    21425     24 |      591 |      254
715.58/715.74	c  715s |      17 |   392130 |   269632 |    21425     24 |      591 |      254
717.78/717.90	c  717s |      17 |   392663 |   270132 |    21425     24 |      591 |      254
720.08/720.24	c  719s |      17 |   393332 |   270732 |    21425     24 |      591 |      254
722.28/722.45	c  722s |      17 |   393894 |   271232 |    21425     24 |      591 |      254
724.48/724.67	c  724s |      17 |   394453 |   271732 |    21425     24 |      591 |      254
726.58/726.72	c  726s |      17 |   394994 |   272232 |    21425     24 |      591 |      254
728.88/729.04	c  728s |      17 |   395563 |   272732 |    21425     24 |      591 |      254
731.08/731.28	c  731s |      17 |   396127 |   273232 |    21425     24 |      591 |      254
733.38/733.58	c  733s |      17 |   396685 |   273732 |    21425     24 |      591 |      254
735.68/735.83	c  735s |      17 |   397422 |   274332 |    21425     24 |      591 |      254
737.78/737.93	c  737s |      17 |   397854 |   274732 |    21425     25 |      591 |      254
739.97/740.17	c  739s |      17 |   398620 |   275432 |    21425     25 |      591 |      254
742.38/742.52	c  742s |      17 |   399389 |   276132 |    21425     25 |      591 |      254
744.68/744.82	c  744s |      17 |   400024 |   276732 |    21425     25 |      591 |      254
746.88/747.09	c  746s |      17 |   400681 |   277332 |    21425     25 |      591 |      254
749.08/749.21	c  748s |      17 |   401217 |   277832 |    21425     25 |      591 |      254
751.28/751.43	c  751s |      17 |   401880 |   278432 |    21425     25 |      591 |      254
753.38/753.57	c  753s |      17 |   402535 |   279032 |    21425     25 |      591 |      254
755.77/755.94	c  755s |      17 |   403169 |   279632 |    21425     25 |      591 |      254
758.07/758.25	c  757s |      17 |   403827 |   280232 |    21425     25 |      591 |      254
760.17/760.30	c  760s |      17 |   404385 |   280732 |    21425     25 |      591 |      254
762.37/762.56	c  762s |      17 |   404951 |   281232 |    21425     25 |      591 |      254
764.48/764.61	c  764s |      17 |   405502 |   281732 |    21425     25 |      591 |      254
766.68/766.81	c  766s |      17 |   406063 |   282232 |    21425     25 |      591 |      254
768.78/768.97	c  768s |      17 |   406614 |   282732 |    21425     25 |      591 |      254
771.17/771.31	c  771s |      17 |   407157 |   283232 |    21425     25 |      591 |      254
773.47/773.64	c  773s |      17 |   407703 |   283732 |    21425     25 |      591 |      254
775.67/775.82	c  775s |      17 |   408284 |   284232 |    21425     25 |      591 |      254
777.77/777.94	c  777s |      17 |   408838 |   284732 |    21425     25 |      591 |      254
779.97/780.18	c  779s |      17 |   409373 |   285232 |    21425     25 |      591 |      254
782.27/782.46	c  782s |      17 |   409903 |   285732 |    21425     25 |      591 |      254
784.57/784.75	c  784s |      17 |   410462 |   286232 |    21425     25 |      591 |      254
786.87/787.04	c  786s |      17 |   411029 |   286732 |    21425     25 |      591 |      254
788.87/789.08	c  788s |      17 |   411467 |   287132 |    21425     26 |      591 |      254
791.07/791.23	c  790s |      17 |   412147 |   287732 |    21425     26 |      591 |      254
793.17/793.39	c  793s |      17 |   412792 |   288332 |    21425     26 |      591 |      254
795.57/795.70	c  795s |      17 |   413577 |   289032 |    21425     26 |      591 |      254
797.57/797.79	c  797s |      17 |   414232 |   289632 |    21425     26 |      591 |      254
799.87/800.09	c  799s |      17 |   415009 |   290332 |    21425     26 |      591 |      254
802.17/802.32	c  802s |      17 |   415671 |   290932 |    21425     26 |      591 |      254
804.27/804.48	c  804s |      17 |   416323 |   291532 |    21425     26 |      591 |      254
806.37/806.57	c  806s |      17 |   416995 |   292132 |    21425     26 |      591 |      254
808.38/808.57	c  808s |      17 |   417533 |   292632 |    21425     26 |      591 |      254
810.57/810.76	c  810s |      17 |   418068 |   293132 |    21425     26 |      591 |      254
812.67/812.82	c  812s |      17 |   418612 |   293632 |    21425     26 |      591 |      254
814.67/814.87	c  814s |      17 |   419282 |   294232 |    23568     26 |      591 |      254
816.77/816.90	c  816s |      17 |   419820 |   294732 |    23568     26 |      591 |      254
819.07/819.29	c  819s |      17 |   420456 |   295332 |    23568     26 |      591 |      254
821.17/821.36	c  821s |      17 |   420997 |   295832 |    23568     26 |      591 |      254
822.67/822.83	c  822s |      18 |   421471 |   296252 |    23568     26 |      591 |      254
824.97/825.12	c  824s |      18 |   424893 |   297652 |    23568     26 |      591 |      254
826.97/827.13	c  826s |      18 |   427204 |   299052 |    23568     26 |      591 |      254
828.97/829.13	c  828s |      18 |   429618 |   300652 |    23568     26 |      591 |      254
831.06/831.29	c  831s |      18 |   430821 |   301652 |    23568     27 |      591 |      254
833.16/833.30	c  833s |      18 |   432033 |   302752 |    23568     27 |      591 |      254
835.26/835.49	c  835s |      18 |   433617 |   304052 |    23568     27 |      591 |      254
837.36/837.58	c  837s |      18 |   434966 |   305152 |    23568     27 |      591 |      254
839.46/839.61	c  839s |      18 |   435944 |   306052 |    23568     27 |      591 |      254
841.66/841.84	c  841s |      18 |   437055 |   307052 |    23568     27 |      591 |      254
843.76/843.96	c  843s |      18 |   438445 |   308152 |    23568     27 |      591 |      254
845.96/846.18	c  845s |      18 |   439642 |   309252 |    23568     27 |      591 |      254
848.07/848.27	c  848s |      18 |   440765 |   310252 |    23568     27 |      591 |      254
850.17/850.36	c  850s |      18 |   441657 |   311052 |    23568     27 |      591 |      254
852.37/852.54	c  852s |      18 |   442406 |   311752 |    23568     27 |      591 |      254
854.36/854.54	c  854s |      18 |   443226 |   312452 |    23568     27 |      591 |      254
856.46/856.68	c  856s |      18 |   444186 |   313252 |    23568     27 |      591 |      254
858.76/858.94	c  858s |      18 |   445077 |   314052 |    23568     27 |      591 |      254
861.27/861.47	c  861s |      18 |   445954 |   314852 |    23568     28 |      591 |      254
863.47/863.61	c  863s |      18 |   447017 |   315752 |    23568     28 |      591 |      254
865.67/865.86	c  865s |      18 |   447903 |   316552 |    23568     28 |      591 |      254
867.77/867.97	c  867s |      18 |   448670 |   317252 |    23568     28 |      591 |      254
870.06/870.22	c  869s |      18 |   449489 |   317952 |    23568     28 |      591 |      254
872.06/872.23	c  871s |      18 |   450145 |   318552 |    23568     28 |      591 |      254
874.06/874.28	c  874s |      18 |   450782 |   319152 |    23568     28 |      591 |      254
876.26/876.42	c  876s |      18 |   451469 |   319752 |    23568     28 |      591 |      254
878.36/878.57	c  878s |      18 |   452267 |   320452 |    23568     28 |      591 |      254
880.36/880.58	c  880s |      18 |   452926 |   321052 |    23568     28 |      591 |      254
882.36/882.58	c  882s |      18 |   453597 |   321652 |    23568     28 |      591 |      254
884.66/884.81	c  884s |      18 |   454409 |   322352 |    23568     28 |      591 |      254
886.86/887.02	c  886s |      18 |   455037 |   322952 |    23568     28 |      591 |      254
888.85/889.05	c  888s |      18 |   455568 |   323452 |    23568     28 |      591 |      254
890.96/891.19	c  890s |      18 |   456088 |   323952 |    23568     28 |      591 |      254
893.16/893.38	c  893s |      18 |   456648 |   324452 |    23568     28 |      591 |      254
895.36/895.57	c  895s |      18 |   457170 |   324952 |    23568     28 |      591 |      254
897.65/897.83	c  897s |      18 |   457805 |   325552 |    23568     28 |      591 |      254
899.66/899.89	c  899s |      18 |   458369 |   326052 |    23568     28 |      591 |      254
901.75/901.91	c  901s |      18 |   458904 |   326552 |    23568     28 |      591 |      254
903.85/904.03	c  903s |      18 |   459467 |   327052 |    23568     28 |      591 |      254
906.15/906.30	c  906s |      18 |   460008 |   327552 |    23568     28 |      591 |      254
908.35/908.55	c  908s |      18 |   460584 |   328052 |    23568     28 |      591 |      254
910.35/910.57	c  910s |      18 |   460998 |   328452 |    23568     29 |      591 |      254
912.55/912.75	c  912s |      18 |   461804 |   329152 |    23568     29 |      591 |      254
914.65/914.83	c  914s |      18 |   462450 |   329752 |    23568     29 |      591 |      254
916.75/916.99	c  916s |      18 |   463105 |   330352 |    23568     29 |      591 |      254
919.15/919.30	c  919s |      18 |   463887 |   331052 |    23568     29 |      591 |      254
921.25/921.42	c  921s |      18 |   464654 |   331752 |    23568     29 |      591 |      254
923.44/923.61	c  923s |      18 |   465430 |   332452 |    23568     29 |      591 |      254
925.64/925.83	c  925s |      18 |   466065 |   333052 |    23568     29 |      591 |      254
927.75/928.00	c  927s |      18 |   466690 |   333652 |    23568     29 |      591 |      254
930.05/930.27	c  930s |      18 |   467317 |   334252 |    23568     29 |      591 |      254
932.25/932.46	c  932s |      18 |   467838 |   334752 |    23568     29 |      591 |      254
934.25/934.49	c  934s |      18 |   468361 |   335252 |    23568     29 |      591 |      254
936.35/936.53	c  936s |      18 |   468922 |   335752 |    23568     29 |      591 |      254
938.75/938.91	c  938s |      18 |   469577 |   336352 |    23568     29 |      591 |      254
940.85/941.06	c  940s |      18 |   470115 |   336852 |    23568     29 |      591 |      254
942.94/943.18	c  942s |      18 |   470644 |   337352 |    23568     29 |      591 |      254
945.24/945.43	c  945s |      18 |   471185 |   337852 |    23568     29 |      591 |      254
947.54/947.72	c  947s |      18 |   471716 |   338352 |    23568     29 |      591 |      254
949.64/949.86	c  949s |      18 |   472258 |   338852 |    23568     29 |      591 |      254
952.14/952.36	c  952s |      18 |   472769 |   339352 |    23568     29 |      591 |      254
954.44/954.66	c  954s |      18 |   473338 |   339852 |    23568     29 |      591 |      254
956.54/956.76	c  956s |      18 |   473758 |   340252 |    23568     29 |      591 |      254
958.94/959.10	c  958s |      18 |   474291 |   340752 |    23568     29 |      591 |      254
961.25/961.50	c  961s |      18 |   474823 |   341252 |    23568     29 |      591 |      254
963.64/963.83	c  963s |      18 |   475247 |   341652 |    23568     30 |      591 |      254
965.75/965.99	c  965s |      18 |   475881 |   342252 |    23568     30 |      591 |      254
967.74/967.99	c  967s |      18 |   476529 |   342852 |    23568     30 |      591 |      254
969.94/970.17	c  969s |      18 |   477161 |   343452 |    23568     30 |      591 |      254
972.24/972.50	c  972s |      18 |   477802 |   344052 |    23568     30 |      591 |      254
974.54/974.74	c  974s |      18 |   478426 |   344652 |    23568     30 |      591 |      254
976.74/976.99	c  976s |      18 |   479076 |   345252 |    23568     30 |      591 |      254
978.74/979.00	c  978s |      18 |   479603 |   345752 |    23568     30 |      591 |      254
981.14/981.31	c  981s |      18 |   480134 |   346252 |    23568     30 |      591 |      254
983.24/983.42	c  983s |      18 |   480666 |   346752 |    23568     30 |      591 |      254
985.23/985.43	c  985s |      18 |   481188 |   347252 |    23568     30 |      591 |      254
987.43/987.65	c  987s |      18 |   481710 |   347752 |    23568     30 |      591 |      254
989.73/990.00	c  989s |      18 |   482395 |   348352 |    23568     30 |      591 |      254
991.83/992.10	c  991s |      18 |   482954 |   348852 |    23568     30 |      591 |      254
994.12/994.35	c  994s |      18 |   483490 |   349352 |    23568     30 |      591 |      254
996.32/996.50	c  996s |      18 |   484039 |   349852 |    23568     30 |      591 |      254
998.42/998.69	c  998s |      18 |   484562 |   350352 |    23568     30 |      591 |      254
1000.83/1001.03	c 1000s |      18 |   485106 |   350852 |    23568     30 |      591 |      254
1003.03/1003.28	c 1003s |      18 |   485632 |   351352 |    23568     30 |      591 |      254
1005.23/1005.42	c 1005s |      18 |   486053 |   351752 |    23568     30 |      591 |      254
1007.72/1007.92	c 1007s |      18 |   486591 |   352252 |    23568     30 |      591 |      254
1010.02/1010.20	c 1009s |      18 |   487104 |   352752 |    23568     30 |      591 |      254
1012.21/1012.44	c 1012s |      18 |   487635 |   353252 |    23568     30 |      591 |      254
1014.51/1014.76	c 1014s |      18 |   488163 |   353752 |    23568     30 |      591 |      254
1016.61/1016.80	c 1016s |      18 |   488581 |   354152 |    23568     30 |      591 |      254
1019.01/1019.22	c 1018s |      18 |   489099 |   354652 |    23568     30 |      591 |      254
1021.31/1021.58	c 1021s |      18 |   489508 |   355052 |    23568     31 |      591 |      254
1023.41/1023.69	c 1023s |      18 |   490033 |   355552 |    23568     31 |      591 |      254
1025.51/1025.78	c 1025s |      18 |   490575 |   356052 |    23568     31 |      591 |      254
1028.01/1028.20	c 1027s |      18 |   491225 |   356652 |    23568     31 |      591 |      254
1030.41/1030.66	c 1030s |      18 |   491857 |   357252 |    23568     31 |      591 |      254
1032.60/1032.81	c 1032s |      18 |   492382 |   357752 |    23568     31 |      591 |      254
1034.70/1034.90	c 1034s |      18 |   492920 |   358252 |    23568     31 |      591 |      254
1037.00/1037.29	c 1037s |      18 |   493434 |   358752 |    23568     31 |      591 |      254
1039.41/1039.62	c 1039s |      18 |   493945 |   359252 |    23568     31 |      591 |      254
1041.40/1041.68	c 1041s |      18 |   494479 |   359752 |    23568     31 |      591 |      254
1043.71/1043.98	c 1043s |      18 |   495012 |   360252 |    23568     31 |      591 |      254
1046.11/1046.33	c 1046s |      18 |   495536 |   360752 |    23568     31 |      591 |      254
1048.11/1048.36	c 1048s |      18 |   495949 |   361152 |    23568     31 |      591 |      254
1050.20/1050.48	c 1050s |      18 |   496369 |   361552 |    23568     31 |      591 |      254
1052.30/1052.52	c 1052s |      18 |   496785 |   361952 |    23568     31 |      591 |      254
1054.40/1054.63	c 1054s |      18 |   497203 |   362352 |    23568     31 |      591 |      254
1056.91/1057.18	c 1056s |      18 |   497722 |   362852 |    23568     31 |      591 |      254
1059.11/1059.40	c 1059s |      18 |   498130 |   363252 |    23568     31 |      591 |      254
1061.20/1061.48	c 1061s |      18 |   498564 |   363652 |    23568     31 |      591 |      254
1063.69/1063.91	c 1063s |      18 |   499220 |   364252 |    23568     31 |      591 |      254
1065.89/1066.19	c 1065s |      18 |   499746 |   364752 |    23568     31 |      591 |      254
1068.09/1068.33	c 1068s |      18 |   500307 |   365252 |    23568     31 |      591 |      254
1070.39/1070.63	c 1070s |      18 |   500843 |   365752 |    23568     31 |      591 |      254
1072.79/1073.01	c 1072s |      18 |   501363 |   366252 |    23568     31 |      591 |      254
1075.09/1075.30	c 1075s |      18 |   501903 |   366752 |    23568     31 |      591 |      254
1077.49/1077.73	c 1077s |      18 |   502471 |   367252 |    23568     31 |      591 |      254
1079.58/1079.83	c 1079s |      18 |   502897 |   367652 |    23568     31 |      591 |      254
1081.58/1081.85	c 1081s |      18 |   503337 |   368052 |    23568     31 |      591 |      254
1083.98/1084.23	c 1083s |      18 |   503760 |   368452 |    23568     32 |      591 |      254
1086.18/1086.47	c 1086s |      18 |   504400 |   369052 |    23568     32 |      591 |      254
1088.58/1088.86	c 1088s |      18 |   505041 |   369652 |    23568     32 |      591 |      254
1090.78/1091.04	c 1090s |      18 |   505566 |   370152 |    23568     32 |      591 |      254
1092.97/1093.25	c 1092s |      18 |   506092 |   370652 |    23568     32 |      591 |      254
1094.97/1095.30	c 1095s |      18 |   506624 |   371152 |    23568     32 |      591 |      254
1097.27/1097.58	c 1097s |      18 |   507279 |   371752 |    23568     32 |      591 |      254
1099.37/1099.66	c 1099s |      18 |   507802 |   372252 |    23568     32 |      591 |      254
1101.47/1101.75	c 1101s |      18 |   508364 |   372752 |    23568     32 |      591 |      254
1103.86/1104.12	c 1103s |      18 |   509026 |   373352 |    23568     32 |      591 |      254
1106.27/1106.57	c 1106s |      18 |   509555 |   373852 |    23568     32 |      591 |      254
1108.58/1108.86	c 1108s |      18 |   510091 |   374352 |    23568     32 |      591 |      254
1111.07/1111.31	c 1111s |      18 |   510617 |   374852 |    23568     32 |      591 |      254
1113.47/1113.76	c 1113s |      18 |   511139 |   375352 |    23568     32 |      591 |      254
1115.57/1115.80	c 1115s |      18 |   511579 |   375752 |    23568     32 |      591 |      254
1117.87/1118.12	c 1117s |      18 |   512149 |   376252 |    23568     32 |      591 |      254
1120.27/1120.57	c 1120s |      18 |   512674 |   376752 |    23568     32 |      591 |      254
1122.56/1122.88	c 1122s |      18 |   513240 |   377252 |    23568     32 |      591 |      254
1124.86/1125.15	c 1124s |      18 |   513790 |   377752 |    23568     32 |      591 |      254
1126.96/1127.20	c 1126s |      18 |   514222 |   378152 |    23568     32 |      591 |      254
1129.36/1129.64	c 1129s |      18 |   514756 |   378652 |    23568     32 |      591 |      254
1131.86/1132.12	c 1131s |      18 |   515274 |   379152 |    23568     32 |      591 |      254
1133.96/1134.27	c 1134s |      18 |   515698 |   379552 |    23568     32 |      591 |      254
1135.95/1136.30	c 1136s |      18 |   516105 |   379952 |    23568     32 |      591 |      254
1138.26/1138.58	c 1138s |      18 |   516519 |   380352 |    23568     32 |      591 |      254
1140.46/1140.77	c 1140s |      18 |   516947 |   380752 |    23568     32 |      591 |      254
1142.75/1143.08	c 1142s |      18 |   517358 |   381152 |    23568     32 |      591 |      254
1144.95/1145.22	c 1144s |      18 |   517678 |   381452 |    23568     33 |      591 |      254
1147.05/1147.36	c 1147s |      18 |   518205 |   381952 |    23568     33 |      591 |      254
1149.14/1149.48	c 1149s |      18 |   518734 |   382452 |    23568     33 |      591 |      254
1151.45/1151.75	c 1151s |      18 |   519261 |   382952 |    23568     33 |      591 |      254
1153.54/1153.85	c 1153s |      18 |   519785 |   383452 |    23568     33 |      591 |      254
1155.54/1155.86	c 1155s |      18 |   520309 |   383952 |    23568     33 |      591 |      254
1157.74/1158.07	c 1157s |      18 |   520827 |   384452 |    23568     33 |      591 |      254
1160.25/1160.55	c 1160s |      18 |   521346 |   384952 |    23568     33 |      591 |      254
1162.24/1162.58	c 1162s |      18 |   521767 |   385352 |    23568     33 |      591 |      254
1164.54/1164.89	c 1164s |      18 |   522295 |   385852 |    23568     33 |      591 |      254
1166.95/1167.21	c 1166s |      18 |   522828 |   386352 |    23568     33 |      591 |      254
1169.24/1169.54	c 1169s |      18 |   523496 |   386952 |    23568     33 |      591 |      254
1171.44/1171.77	c 1171s |      18 |   524049 |   387452 |    23568     33 |      591 |      254
1173.44/1173.80	c 1173s |      18 |   524582 |   387952 |    23568     33 |      591 |      254
1175.93/1176.29	c 1176s |      18 |   525110 |   388452 |    23568     33 |      591 |      254
1178.53/1178.80	c 1178s |      18 |   525624 |   388952 |    23568     33 |      591 |      254
1180.73/1181.09	c 1180s |      18 |   526155 |   389452 |    23568     33 |      591 |      254
1183.23/1183.58	c 1183s |      18 |   526684 |   389952 |    23568     33 |      591 |      254
1185.63/1185.97	c 1185s |      18 |   527214 |   390452 |    23568     33 |      591 |      254
1188.13/1188.43	c 1188s |      18 |   527728 |   390952 |    23568     33 |      591 |      254
1190.33/1190.68	c 1190s |      18 |   528292 |   391452 |    23568     33 |      591 |      254
1192.62/1192.91	c 1192s |      18 |   528891 |   391952 |    23568     33 |      591 |      254
1194.92/1195.21	c 1194s |      18 |   529498 |   392452 |    23568     33 |      591 |      254
1197.12/1197.42	c 1197s |      18 |   530067 |   392952 |    23568     33 |      591 |      254
1199.22/1199.55	c 1199s |      18 |   530632 |   393452 |    23568     33 |      591 |      254
1201.62/1201.94	c 1201s |      18 |   531186 |   393952 |    23568     33 |      591 |      254
1203.91/1204.26	c 1204s |      18 |   531739 |   394452 |    23568     33 |      591 |      254
1206.01/1206.40	c 1206s |      18 |   532205 |   394852 |    23568     34 |      591 |      254
1208.21/1208.55	c 1208s |      18 |   532896 |   395452 |    23568     34 |      591 |      254
1210.51/1210.80	c 1210s |      18 |   533562 |   396052 |    23568     34 |      591 |      254
1212.70/1213.00	c 1212s |      18 |   534212 |   396652 |    23568     34 |      591 |      254
1214.90/1215.21	c 1214s |      18 |   534854 |   397252 |    23568     34 |      591 |      254
1217.10/1217.43	c 1217s |      18 |   535526 |   397852 |    23568     34 |      591 |      254
1219.30/1219.61	c 1219s |      18 |   536206 |   398452 |    23568     34 |      591 |      254
1221.30/1221.62	c 1221s |      18 |   536745 |   398952 |    23568     34 |      591 |      254
1223.29/1223.66	c 1223s |      18 |   537277 |   399452 |    23568     34 |      591 |      254
1225.49/1225.87	c 1225s |      18 |   537925 |   400052 |    23568     34 |      591 |      254
1227.59/1227.91	c 1227s |      18 |   538480 |   400552 |    23568     34 |      591 |      254
1229.60/1229.97	c 1229s |      18 |   538997 |   401052 |    23568     34 |      591 |      254
1231.70/1232.01	c 1231s |      18 |   539536 |   401552 |    23568     34 |      591 |      254
1233.79/1234.18	c 1233s |      18 |   540075 |   402052 |    23568     34 |      591 |      254
1235.99/1236.36	c 1236s |      18 |   540617 |   402552 |    23568     34 |      591 |      254
1238.19/1238.60	c 1238s |      18 |   541138 |   403052 |    23568     34 |      591 |      254
1240.49/1240.83	c 1240s |      18 |   541680 |   403552 |    23568     34 |      591 |      254
1242.79/1243.15	c 1242s |      18 |   542240 |   404052 |    23568     34 |      591 |      254
1244.99/1245.33	c 1245s |      18 |   542779 |   404552 |    23568     34 |      591 |      254
1247.38/1247.72	c 1247s |      18 |   543297 |   405052 |    23568     34 |      591 |      254
1249.78/1250.16	c 1249s |      18 |   543849 |   405552 |    23568     34 |      591 |      254
1251.97/1252.34	c 1252s |      18 |   544419 |   406052 |    23568     34 |      591 |      254
1254.47/1254.83	c 1254s |      18 |   544951 |   406552 |    23568     34 |      591 |      254
1256.77/1257.16	c 1256s |      18 |   545501 |   407052 |    23568     34 |      591 |      254
1258.77/1259.18	c 1258s |      18 |   545927 |   407452 |    23568     34 |      591 |      254
1260.87/1261.20	c 1260s |      18 |   546357 |   407852 |    23568     34 |      591 |      254
1263.07/1263.40	c 1263s |      18 |   546798 |   408252 |    23568     35 |      591 |      254
1265.17/1265.52	c 1265s |      18 |   547474 |   408852 |    23568     35 |      591 |      254
1267.47/1267.84	c 1267s |      18 |   548135 |   409452 |    23568     35 |      591 |      254
1269.57/1269.94	c 1269s |      18 |   548798 |   410052 |    23568     35 |      591 |      254
1271.66/1272.09	c 1271s |      18 |   549449 |   410652 |    23568     35 |      591 |      254
1273.86/1274.24	c 1273s |      18 |   550127 |   411252 |    23568     35 |      591 |      254
1276.16/1276.52	c 1276s |      18 |   550790 |   411852 |    23568     35 |      591 |      254
1278.46/1278.82	c 1278s |      18 |   551435 |   412452 |    23568     35 |      591 |      254
1280.46/1280.86	c 1280s |      18 |   551986 |   412952 |    23568     35 |      591 |      254
1282.66/1283.05	c 1282s |      18 |   552504 |   413452 |    23568     35 |      591 |      254
1284.86/1285.24	c 1284s |      18 |   553021 |   413952 |    23568     35 |      591 |      254
1286.96/1287.32	c 1287s |      18 |   553546 |   414452 |    23568     35 |      591 |      254
1289.16/1289.52	c 1289s |      18 |   554062 |   414952 |    23568     35 |      591 |      254
1291.46/1291.81	c 1291s |      18 |   554605 |   415452 |    23568     35 |      591 |      254
1293.65/1294.02	c 1293s |      18 |   555145 |   415952 |    23568     35 |      591 |      254
1295.95/1296.30	c 1296s |      18 |   555671 |   416452 |    23568     35 |      591 |      254
1298.15/1298.57	c 1298s |      18 |   556201 |   416952 |    23568     35 |      591 |      254
1300.45/1300.81	c 1300s |      18 |   556753 |   417452 |    23568     35 |      591 |      254
1302.75/1303.17	c 1302s |      18 |   557279 |   417952 |    23568     35 |      591 |      254
1305.04/1305.45	c 1305s |      18 |   557811 |   418452 |    23568     35 |      591 |      254
1307.55/1307.98	c 1307s |      18 |   558348 |   418952 |    23568     35 |      591 |      254
1309.64/1310.07	c 1309s |      18 |   558772 |   419352 |    23568     35 |      591 |      254
1311.74/1312.13	c 1311s |      18 |   559072 |   419652 |    23568     35 |      591 |      254
1313.94/1314.32	c 1314s |      18 |   559497 |   420052 |    23568     35 |      591 |      254
1316.34/1316.80	c 1316s |      18 |   560033 |   420552 |    23568     35 |      591 |      254
1318.44/1318.90	c 1318s |      18 |   560456 |   420952 |    23568     35 |      591 |      254
1321.14/1321.58	c 1321s |      18 |   560890 |   421352 |    23568     36 |      591 |      254
1323.63/1324.02	c 1323s |      18 |   561523 |   421952 |    23568     36 |      591 |      254
1326.03/1326.44	c 1326s |      18 |   562168 |   422552 |    23568     36 |      591 |      254
1328.13/1328.59	c 1328s |      18 |   562707 |   423052 |    23568     36 |      591 |      254
1330.24/1330.68	c 1330s |      18 |   563232 |   423552 |    23568     36 |      591 |      254
1332.33/1332.77	c 1332s |      18 |   563775 |   424052 |    23568     36 |      591 |      254
1334.53/1334.97	c 1334s |      18 |   564291 |   424552 |    23568     36 |      591 |      254
1336.83/1337.24	c 1336s |      18 |   564805 |   425052 |    23568     36 |      591 |      254
1339.03/1339.40	c 1339s |      18 |   565348 |   425552 |    23568     36 |      591 |      254
1341.03/1341.44	c 1341s |      18 |   565883 |   426052 |    23568     36 |      591 |      254
1343.13/1343.53	c 1343s |      18 |   566436 |   426552 |    23568     36 |      591 |      254
1345.23/1345.61	c 1345s |      18 |   566972 |   427052 |    23568     36 |      591 |      254
1347.53/1347.90	c 1347s |      18 |   567626 |   427652 |    23568     36 |      591 |      254
1349.62/1350.02	c 1349s |      18 |   568170 |   428152 |    23568     36 |      591 |      254
1352.02/1352.45	c 1352s |      18 |   568820 |   428752 |    23568     36 |      591 |      254
1354.42/1354.84	c 1354s |      18 |   569482 |   429352 |    23568     36 |      591 |      254
1356.61/1357.05	c 1356s |      18 |   570023 |   429852 |    23568     36 |      591 |      254
1358.71/1359.17	c 1358s |      18 |   570561 |   430352 |    23568     36 |      591 |      254
1360.81/1361.25	c 1360s |      18 |   571096 |   430852 |    23568     36 |      591 |      254
1362.91/1363.31	c 1363s |      18 |   571629 |   431352 |    23568     36 |      591 |      254
1365.11/1365.53	c 1365s |      18 |   572170 |   431852 |    23568     36 |      591 |      254
1367.51/1367.93	c 1367s |      18 |   572731 |   432352 |    23568     36 |      591 |      254
1369.71/1370.16	c 1369s |      18 |   573276 |   432852 |    23568     36 |      591 |      254
1372.00/1372.45	c 1372s |      18 |   573851 |   433352 |    23568     36 |      591 |      254
1374.40/1374.81	c 1374s |      18 |   574392 |   433852 |    23568     36 |      591 |      254
1376.60/1377.04	c 1376s |      18 |   574943 |   434352 |    23568     36 |      591 |      254
1378.70/1379.10	c 1378s |      18 |   575266 |   434652 |    23568     37 |      591 |      254
1380.80/1381.29	c 1381s |      18 |   575977 |   435252 |    23568     37 |      591 |      254
1383.09/1383.58	c 1383s |      18 |   576630 |   435852 |    23568     37 |      591 |      254
1385.39/1385.89	c 1385s |      18 |   577273 |   436452 |    23568     37 |      591 |      254
1387.80/1388.28	c 1388s |      18 |   577900 |   437052 |    23568     37 |      591 |      254
1390.00/1390.42	c 1390s |      18 |   578430 |   437552 |    23568     37 |      591 |      254
1392.29/1392.71	c 1392s |      18 |   579076 |   438152 |    23568     37 |      591 |      254
1394.49/1394.96	c 1394s |      18 |   579741 |   438752 |    23568     37 |      591 |      254
1396.59/1397.01	c 1396s |      18 |   580278 |   439252 |    23568     37 |      591 |      254
1398.69/1399.17	c 1398s |      18 |   580806 |   439752 |    23568     37 |      591 |      254
1401.00/1401.42	c 1401s |      18 |   581441 |   440352 |    23568     37 |      591 |      254
1402.99/1403.46	c 1403s |      18 |   581963 |   440852 |    23568     37 |      591 |      254
1405.09/1405.57	c 1405s |      18 |   582512 |   441352 |    25925     37 |      591 |      254
1407.09/1407.59	c 1407s |      18 |   583041 |   441852 |    25925     37 |      591 |      254
1409.38/1409.81	c 1409s |      18 |   583572 |   442352 |    25925     37 |      591 |      254
1411.38/1411.85	c 1411s |      18 |   584123 |   442852 |    25925     37 |      591 |      254
1413.78/1414.22	c 1413s |      18 |   584845 |   443452 |    25925     37 |      591 |      254
1415.98/1416.42	c 1416s |      18 |   585498 |   444052 |    25925     37 |      591 |      254
1417.59/1418.07	c 1417s |      19 |   585980 |   444482 |    25925     37 |      591 |      254
1419.69/1420.12	c 1419s |      19 |   591111 |   446082 |    25925     37 |      591 |      254
1421.68/1422.14	c 1421s |      19 |   593367 |   447782 |    25925     37 |      591 |      254
1423.87/1424.40	c 1424s |      19 |   595477 |   448982 |    25925     38 |      591 |      254
1425.97/1426.41	c 1426s |      19 |   601904 |   451582 |    25925     38 |      591 |      254
1427.97/1428.42	c 1428s |      19 |   604337 |   453382 |    25925     38 |      591 |      254
1430.07/1430.55	c 1430s |      19 |   606397 |   454982 |    25925     38 |      591 |      254
1432.17/1432.61	c 1432s |      19 |   608205 |   456382 |    25925     38 |      591 |      254
1434.27/1434.70	c 1434s |      19 |   610339 |   457882 |    25925     38 |      591 |      254
1436.36/1436.82	c 1436s |      19 |   612135 |   459182 |    25925     38 |      591 |      254
1438.47/1438.96	c 1438s |      19 |   613732 |   460382 |    25925     38 |      591 |      254
1440.57/1441.01	c 1440s |      19 |   615338 |   461482 |    25925     38 |      591 |      254
1442.66/1443.15	c 1442s |      19 |   616765 |   462482 |    25925     38 |      591 |      254
1444.76/1445.28	c 1445s |      19 |   617913 |   463382 |    25925     38 |      591 |      254
1447.06/1447.52	c 1447s |      19 |   618790 |   464082 |    25925     39 |      591 |      254
1449.16/1449.66	c 1449s |      19 |   619800 |   464882 |    25925     39 |      591 |      254
1451.36/1451.88	c 1451s |      19 |   621241 |   465882 |    25925     39 |      591 |      254
1453.36/1453.89	c 1453s |      19 |   622366 |   466782 |    25925     39 |      591 |      254
1455.56/1456.06	c 1455s |      19 |   623563 |   467782 |    25925     39 |      591 |      254
1457.66/1458.13	c 1457s |      19 |   624490 |   468582 |    25925     39 |      591 |      254
1459.66/1460.19	c 1459s |      19 |   625640 |   469482 |    25925     39 |      591 |      254
1461.76/1462.22	c 1461s |      19 |   626617 |   470282 |    25925     39 |      591 |      254
1463.86/1464.37	c 1464s |      19 |   627576 |   471082 |    25925     39 |      591 |      254
1466.06/1466.54	c 1466s |      19 |   628386 |   471782 |    25925     39 |      591 |      254
1468.07/1468.59	c 1468s |      19 |   629279 |   472482 |    25925     39 |      591 |      254
1470.27/1470.72	c 1470s |      19 |   630096 |   473182 |    25925     39 |      591 |      254
1472.46/1472.95	c 1472s |      19 |   631137 |   473982 |    25925     39 |      591 |      254
1474.66/1475.13	c 1474s |      19 |   632293 |   474882 |    25925     39 |      591 |      254
1476.76/1477.29	c 1477s |      19 |   633141 |   475582 |    25925     39 |      591 |      254
1479.06/1479.57	c 1479s |      19 |   634107 |   476382 |    25925     39 |      591 |      254
1481.16/1481.62	c 1481s |      19 |   634934 |   477082 |    25925     39 |      591 |      254
1483.26/1483.71	c 1483s |      19 |   635769 |   477782 |    25925     39 |      591 |      254
1485.36/1485.87	c 1485s |      19 |   636438 |   478382 |    25925     40 |      591 |      254
1487.55/1488.04	c 1487s |      19 |   637404 |   479182 |    25925     40 |      591 |      254
1489.75/1490.21	c 1489s |      19 |   638500 |   480082 |    25925     40 |      591 |      254
1491.75/1492.26	c 1491s |      19 |   639480 |   480882 |    25925     40 |      591 |      254
1493.95/1494.40	c 1494s |      19 |   640282 |   481582 |    25925     40 |      591 |      254
1495.95/1496.43	c 1496s |      19 |   641092 |   482282 |    25925     40 |      591 |      254
1498.15/1498.68	c 1498s |      19 |   642019 |   483082 |    25925     40 |      591 |      254
1500.25/1500.71	c 1500s |      19 |   642872 |   483782 |    25925     40 |      591 |      254
1502.35/1502.89	c 1502s |      19 |   643762 |   484482 |    25925     40 |      591 |      254
1504.55/1505.03	c 1504s |      19 |   644635 |   485182 |    25925     40 |      591 |      254
1506.56/1507.03	c 1506s |      19 |   645508 |   485882 |    25925     40 |      591 |      254
1508.65/1509.16	c 1508s |      19 |   646365 |   486582 |    25925     40 |      591 |      254
1510.96/1511.43	c 1511s |      19 |   647188 |   487282 |    25925     40 |      591 |      254
1513.16/1513.64	c 1513s |      19 |   647871 |   487882 |    25925     40 |      591 |      254
1515.36/1515.84	c 1515s |      19 |   648780 |   488582 |    25925     40 |      591 |      254
1517.45/1517.90	c 1517s |      19 |   649490 |   489182 |    25925     40 |      591 |      254
1519.55/1520.02	c 1519s |      19 |   650220 |   489782 |    25925     40 |      591 |      254
1521.75/1522.25	c 1521s |      19 |   650921 |   490382 |    25925     40 |      591 |      254
1523.75/1524.26	c 1524s |      19 |   651482 |   490882 |    25925     40 |      591 |      254
1525.95/1526.41	c 1526s |      19 |   652180 |   491482 |    25925     40 |      591 |      254
1527.95/1528.45	c 1528s |      19 |   652734 |   491982 |    25925     40 |      591 |      254
1530.15/1530.64	c 1530s |      19 |   653299 |   492482 |    25925     41 |      591 |      254
1532.25/1532.70	c 1532s |      19 |   654201 |   493282 |    25925     41 |      591 |      254
1534.25/1534.71	c 1534s |      19 |   655122 |   494082 |    25925     41 |      591 |      254
1536.45/1536.96	c 1536s |      19 |   656069 |   494882 |    25925     41 |      591 |      254
1538.65/1539.16	c 1538s |      19 |   656902 |   495582 |    25925     41 |      591 |      254
1540.94/1541.42	c 1541s |      19 |   657689 |   496282 |    25925     41 |      591 |      254
1543.04/1543.55	c 1543s |      19 |   658487 |   496982 |    25925     41 |      591 |      254
1545.15/1545.68	c 1545s |      19 |   659277 |   497682 |    25925     41 |      591 |      254
1547.26/1547.71	c 1547s |      19 |   660104 |   498382 |    25925     41 |      591 |      254
1549.25/1549.79	c 1549s |      19 |   660894 |   499082 |    25925     41 |      591 |      254
1551.35/1551.86	c 1551s |      19 |   661581 |   499682 |    25925     41 |      591 |      254
1553.75/1554.21	c 1553s |      19 |   662247 |   500282 |    25925     41 |      591 |      254
1555.85/1556.38	c 1556s |      19 |   662939 |   500882 |    25925     41 |      591 |      254
1558.15/1558.60	c 1558s |      19 |   663620 |   501482 |    25925     41 |      591 |      254
1560.35/1560.85	c 1560s |      19 |   664274 |   502082 |    25925     41 |      591 |      254
1562.45/1562.98	c 1562s |      19 |   664999 |   502682 |    25925     41 |      591 |      254
1564.85/1565.31	c 1565s |      19 |   665782 |   503382 |    25925     41 |      591 |      254
1566.95/1567.48	c 1567s |      19 |   666494 |   503982 |    25925     41 |      591 |      254
1569.25/1569.73	c 1569s |      19 |   667218 |   504582 |    25925     41 |      591 |      254
1571.65/1572.16	c 1571s |      19 |   667874 |   505182 |    25925     41 |      591 |      254
1573.75/1574.22	c 1573s |      19 |   668430 |   505682 |    25925     41 |      591 |      254
1576.14/1576.65	c 1576s |      19 |   669098 |   506282 |    25925     41 |      591 |      254
1578.34/1578.84	c 1578s |      19 |   669690 |   506782 |    25925     42 |      591 |      254
1580.64/1581.15	c 1580s |      19 |   670509 |   507482 |    25925     42 |      591 |      254
1582.84/1583.30	c 1583s |      19 |   671450 |   508282 |    25925     42 |      591 |      254
1584.84/1585.30	c 1585s |      19 |   672237 |   508982 |    25925     42 |      591 |      254
1586.85/1587.40	c 1587s |      19 |   673063 |   509682 |    25925     42 |      591 |      254
1588.94/1589.46	c 1589s |      19 |   673875 |   510382 |    25925     42 |      591 |      254
1590.94/1591.47	c 1591s |      19 |   674555 |   510982 |    25925     42 |      591 |      254
1593.14/1593.61	c 1593s |      19 |   675359 |   511682 |    25925     42 |      591 |      254
1595.24/1595.77	c 1595s |      19 |   676040 |   512282 |    25925     42 |      591 |      254
1597.54/1598.02	c 1597s |      19 |   676723 |   512882 |    25925     42 |      591 |      254
1599.74/1600.28	c 1600s |      19 |   677623 |   513682 |    25925     42 |      591 |      254
1601.84/1602.36	c 1602s |      19 |   678176 |   514182 |    25925     42 |      591 |      254
1603.94/1604.45	c 1604s |      19 |   678862 |   514782 |    25925     42 |      591 |      254
1606.03/1606.50	c 1606s |      19 |   679398 |   515282 |    25925     42 |      591 |      254
1608.13/1608.69	c 1608s |      19 |   680082 |   515882 |    25925     42 |      591 |      254
1610.33/1610.80	c 1610s |      19 |   680773 |   516482 |    25925     42 |      591 |      254
1612.54/1613.09	c 1612s |      19 |   681427 |   517082 |    25925     42 |      591 |      254
1614.84/1615.34	c 1615s |      19 |   682090 |   517682 |    25925     42 |      591 |      254
1616.94/1617.49	c 1617s |      19 |   682758 |   518282 |    25925     42 |      591 |      254
1619.24/1619.76	c 1619s |      19 |   683453 |   518882 |    25925     42 |      591 |      254
1621.64/1622.15	c 1621s |      19 |   684125 |   519482 |    25925     42 |      591 |      254
1623.64/1624.17	c 1623s |      19 |   684666 |   519982 |    25925     42 |      591 |      254
1625.74/1626.29	c 1626s |      19 |   685214 |   520482 |    25925     42 |      591 |      254
1627.93/1628.46	c 1628s |      19 |   685683 |   520882 |    25925     43 |      591 |      254
1630.13/1630.67	c 1630s |      19 |   686620 |   521682 |    25925     43 |      591 |      254
1632.23/1632.78	c 1632s |      19 |   687435 |   522382 |    25925     43 |      591 |      254
1634.53/1635.08	c 1634s |      19 |   688349 |   523182 |    25925     43 |      591 |      254
1636.83/1637.30	c 1637s |      19 |   689158 |   523882 |    25925     43 |      591 |      254
1638.83/1639.37	c 1639s |      19 |   689826 |   524482 |    25925     43 |      591 |      254
1641.03/1641.57	c 1641s |      19 |   690642 |   525182 |    25925     43 |      591 |      254
1643.13/1643.62	c 1643s |      19 |   691312 |   525782 |    25925     43 |      591 |      254
1645.23/1645.77	c 1645s |      19 |   692008 |   526382 |    25925     43 |      591 |      254
1647.53/1648.07	c 1647s |      19 |   692675 |   526982 |    25925     43 |      591 |      254
1649.94/1650.40	c 1650s |      19 |   693345 |   527582 |    25925     43 |      591 |      254
1651.94/1652.40	c 1652s |      19 |   694057 |   528182 |    25925     43 |      591 |      254
1654.04/1654.54	c 1654s |      19 |   694756 |   528782 |    25925     43 |      591 |      254
1656.14/1656.62	c 1656s |      19 |   695430 |   529382 |    25925     43 |      591 |      254
1658.23/1658.78	c 1658s |      19 |   696094 |   529982 |    25925     43 |      591 |      254
1660.54/1661.02	c 1660s |      19 |   696790 |   530582 |    25925     43 |      591 |      254
1662.53/1663.08	c 1662s |      19 |   697334 |   531082 |    25925     43 |      591 |      254
1664.73/1665.22	c 1664s |      19 |   697881 |   531582 |    25925     43 |      591 |      254
1666.83/1667.38	c 1667s |      19 |   698557 |   532182 |    25925     43 |      591 |      254
1669.23/1669.72	c 1669s |      19 |   699259 |   532782 |    25925     43 |      591 |      254
1671.33/1671.82	c 1671s |      19 |   699830 |   533282 |    25925     43 |      591 |      254
1673.53/1674.05	c 1673s |      19 |   700528 |   533882 |    25925     43 |      591 |      254
1675.94/1676.49	c 1676s |      19 |   701209 |   534482 |    25925     43 |      591 |      254
1678.93/1679.42	c 1679s |      19 |   701884 |   535082 |    25925     44 |      591 |      254
1680.93/1681.47	c 1681s |      19 |   702666 |   535782 |    25925     44 |      591 |      254
1683.13/1683.63	c 1683s |      19 |   703432 |   536482 |    25925     44 |      591 |      254
1685.43/1685.91	c 1685s |      19 |   704099 |   537082 |    25925     44 |      591 |      254
1687.63/1688.12	c 1687s |      19 |   704927 |   537782 |    25925     44 |      591 |      254
1689.63/1690.17	c 1689s |      19 |   705602 |   538382 |    25925     44 |      591 |      254
1691.93/1692.41	c 1692s |      19 |   706407 |   539082 |    25925     44 |      591 |      254
1694.22/1694.71	c 1694s |      19 |   707214 |   539782 |    25925     44 |      591 |      254
1696.32/1696.81	c 1696s |      19 |   708027 |   540482 |    25925     44 |      591 |      254
1698.52/1699.02	c 1698s |      19 |   708706 |   541082 |    25925     44 |      591 |      254
1700.52/1701.08	c 1700s |      19 |   709279 |   541582 |    25925     44 |      591 |      254
1702.82/1703.34	c 1703s |      19 |   709977 |   542182 |    25925     44 |      591 |      254
1705.02/1705.57	c 1705s |      19 |   710632 |   542782 |    25925     44 |      591 |      254
1707.22/1707.70	c 1707s |      19 |   711189 |   543282 |    25925     44 |      591 |      254
1709.22/1709.72	c 1709s |      19 |   711932 |   543882 |    25925     44 |      591 |      254
1711.23/1711.74	c 1711s |      19 |   712934 |   544682 |    25925     44 |      591 |      254
1713.33/1713.89	c 1713s |      19 |   713914 |   545482 |    25925     44 |      591 |      254
1715.72/1716.20	c 1715s |      19 |   714718 |   546182 |    25925     44 |      591 |      254
1717.83/1718.34	c 1718s |      19 |   715672 |   546982 |    25925     44 |      591 |      254
1720.03/1720.53	c 1720s |      19 |   716527 |   547682 |    25925     44 |      591 |      254
1722.13/1722.65	c 1722s |      19 |   717201 |   548282 |    25925     44 |      591 |      254
1724.43/1724.95	c 1724s |      19 |   718057 |   548982 |    25925     44 |      591 |      254
1726.53/1727.07	c 1726s |      19 |   718672 |   549482 |    25925     45 |      591 |      254
1728.62/1729.12	c 1728s |      19 |   719589 |   550282 |    25925     45 |      591 |      254
1730.92/1731.41	c 1731s |      19 |   720513 |   551082 |    25925     45 |      591 |      254
1732.92/1733.44	c 1733s |      19 |   721438 |   551882 |    25925     45 |      591 |      254
1734.92/1735.48	c 1735s |      19 |   722257 |   552582 |    25925     45 |      591 |      254
1737.02/1737.52	c 1737s |      19 |   723034 |   553282 |    25925     45 |      591 |      254
1739.12/1739.66	c 1739s |      19 |   723956 |   554082 |    25925     45 |      591 |      254
1741.32/1741.81	c 1741s |      19 |   724751 |   554782 |    25925     45 |      591 |      254
1743.42/1743.95	c 1743s |      19 |   725557 |   555482 |    25925     45 |      591 |      254
1745.51/1746.03	c 1745s |      19 |   726403 |   556182 |    25925     45 |      591 |      254
1747.71/1748.24	c 1747s |      19 |   727237 |   556882 |    25925     45 |      591 |      254
1749.92/1750.45	c 1750s |      19 |   728223 |   557682 |    25925     45 |      591 |      254
1751.93/1752.49	c 1752s |      19 |   729018 |   558382 |    25925     45 |      591 |      254
1754.03/1754.58	c 1754s |      19 |   729683 |   558982 |    25925     45 |      591 |      254
1756.42/1756.92	c 1756s |      19 |   730326 |   559582 |    25925     45 |      591 |      254
1758.62/1759.18	c 1758s |      19 |   731028 |   560182 |    25925     45 |      591 |      254
1760.92/1761.49	c 1761s |      19 |   731872 |   560882 |    25925     45 |      591 |      254
1763.22/1763.70	c 1763s |      19 |   732548 |   561482 |    25925     45 |      591 |      254
1765.42/1765.95	c 1765s |      19 |   733215 |   562082 |    25925     45 |      591 |      254
1767.42/1767.99	c 1767s |      19 |   733892 |   562682 |    25925     45 |      591 |      254
1769.52/1770.07	c 1769s |      19 |   734646 |   563282 |    25925     45 |      591 |      254
1771.52/1772.08	c 1771s |      19 |   735086 |   563682 |    25925     46 |      591 |      254
1773.62/1774.18	c 1773s |      19 |   735916 |   564382 |    25925     46 |      591 |      254
1775.82/1776.35	c 1776s |      19 |   736680 |   565082 |    25925     46 |      591 |      254
1778.01/1778.53	c 1778s |      19 |   737502 |   565782 |    25925     46 |      591 |      254
1780.21/1780.72	c 1780s |      19 |   738292 |   566482 |    25925     46 |      591 |      254
1782.41/1782.96	c 1782s |      19 |   739067 |   567182 |    25925     46 |      591 |      254
1784.51/1785.03	c 1784s |      19 |   739748 |   567782 |    25925     46 |      591 |      254
1786.81/1787.33	c 1787s |      19 |   740514 |   568482 |    25925     46 |      591 |      254
1788.81/1789.37	c 1789s |      19 |   741201 |   569082 |    25925     46 |      591 |      254
1790.81/1791.39	c 1791s |      19 |   741878 |   569682 |    25925     46 |      591 |      254
1793.01/1793.59	c 1793s |      19 |   742661 |   570382 |    25925     46 |      591 |      254
1795.11/1795.69	c 1795s |      19 |   743466 |   571082 |    25925     46 |      591 |      254
1797.41/1797.92	c 1797s |      19 |   744279 |   571782 |    25925     46 |      591 |      254
1799.61/1800.15	c 1799s |      19 |   745068 |   572482 |    25925     46 |      591 |      254

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

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

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


[startup+0 s]
/proc/loadavg: 2.16 2.17 2.14 3/179 23019
/proc/meminfo: memFree=29639432/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=663996 CPUtime=0 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 2466 0 0 0 0 0 0 0 20 0 4 0 28469337 679931904 3338 33554432000 4194304 16246674 140736362368544 140736362367968 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 166511 3345 441 2943 0 163405 0
[pid=23019/tid=23020] ppid=23016 vsize=681404 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 697757696 3406 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=686524 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 703000576 3423 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=690620 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 707194880 3441 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100153 s]
/proc/loadavg: 2.16 2.17 2.14 3/179 23019
/proc/meminfo: memFree=29639432/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 28274 0 0 0 6 3 0 0 20 0 4 0 28469337 1249447936 29083 33554432000 4194304 16246674 140736362368544 140736362367856 4222992 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 305041 29083 801 2943 0 301935 0
[pid=23019/tid=23020] ppid=23016 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1249447936 29083 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1249447936 29083 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1249447936 29083 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200558 s]
/proc/loadavg: 2.16 2.17 2.14 3/179 23019
/proc/meminfo: memFree=29639432/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 48481 0 0 0 13 6 0 0 20 0 4 0 28469337 1332285440 49290 33554432000 4194304 16246674 140736362368544 140736362367856 5915410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 325265 49290 842 2943 0 322159 0
[pid=23019/tid=23020] ppid=23016 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1332285440 49290 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1332285440 49290 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1332285440 49290 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300474 s]
/proc/loadavg: 2.16 2.17 2.14 3/179 23019
/proc/meminfo: memFree=29639432/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 50013 0 0 0 22 7 0 0 20 0 4 0 28469337 1332285440 50823 33554432000 4194304 16246674 140736362368544 140736362367856 13192590 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 325265 50830 882 2943 0 322159 0
[pid=23019/tid=23020] ppid=23016 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1332285440 50833 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1332285440 50836 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1332285440 50839 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700389 s]
/proc/loadavg: 2.16 2.17 2.14 3/179 23019
/proc/meminfo: memFree=29639432/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 99885 0 0 0 55 14 0 0 20 0 4 0 28469337 1332285440 100694 33554432000 4194304 16246674 140736362368544 140736362350464 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 325265 100701 882 2943 0 322159 0
[pid=23019/tid=23020] ppid=23016 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1332285440 100705 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1332285440 100709 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1332285440 100714 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50042 s]
/proc/loadavg: 2.16 2.17 2.14 3/183 23023
/proc/meminfo: memFree=29023720/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1312324 CPUtime=1.49 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 181320 0 0 0 123 26 0 0 20 0 4 0 28469337 1343819776 182129 33554432000 4194304 16246674 140736362368544 140736362367856 5659552 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 328081 182129 888 2943 0 324975 0
[pid=23019/tid=23020] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 182129 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 182129 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 182129 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.10042 s]
/proc/loadavg: 2.16 2.17 2.14 3/183 23023
/proc/meminfo: memFree=28911112/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1312324 CPUtime=3.09 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 269249 0 0 0 271 38 0 0 20 0 4 0 28469337 1343819776 270058 33554432000 4194304 16246674 140736362368544 140736362350464 4222072 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 328081 270058 888 2943 0 324975 0
[pid=23019/tid=23020] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 270058 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 270058 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 270058 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30043 s]
/proc/loadavg: 2.15 2.17 2.14 3/183 23023
/proc/meminfo: memFree=28559764/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 269265 0 0 0 591 38 0 0 20 0 4 0 28469337 1343819776 270074 33554432000 4194304 16246674 140736362368544 140736362350464 5827632 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 328081 270074 888 2943 0 324975 0
[pid=23019/tid=23020] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 270074 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 270074 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 270074 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.14 2.17 2.14 4/183 23023
/proc/meminfo: memFree=28559524/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 269265 0 0 0 1231 38 0 0 20 0 4 0 28469337 1343819776 270074 33554432000 4194304 16246674 140736362368544 140736362350464 5599208 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 328081 270074 888 2943 0 324975 0
[pid=23019/tid=23020] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 270074 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 270074 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 270074 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.18 2.17 2.14 3/183 23023
/proc/meminfo: memFree=28560056/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1312324 CPUtime=25.49 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 269269 0 0 0 2511 38 0 0 20 0 4 0 28469337 1343819776 270078 33554432000 4194304 16246674 140736362368544 140736362350464 5553724 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 328081 270078 891 2943 0 324975 0
[pid=23019/tid=23020] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 270078 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 270078 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 270078 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.18 2.18 2.15 3/183 23023
/proc/meminfo: memFree=28560184/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 269269 0 0 0 5070 38 0 0 20 0 4 0 28469337 1343819776 270078 33554432000 4194304 16246674 140736362368544 140736362350464 5545708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 328081 270078 891 2943 0 324975 0
[pid=23019/tid=23020] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 270078 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 270078 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 270078 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.21 2.18 2.15 3/183 23024
/proc/meminfo: memFree=28552612/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1312324 CPUtime=102.28 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 269270 0 0 0 10190 38 0 0 20 0 4 0 28469337 1343819776 270079 33554432000 4194304 16246674 140736362368544 140736362350464 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 328081 270079 892 2943 0 324975 0
[pid=23019/tid=23020] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 270079 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 270079 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1343819776 270079 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1332804

[startup+1362.3 s]
/proc/loadavg: 2.25 2.25 2.19 3/184 23107
/proc/meminfo: memFree=28540424/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1332804 CPUtime=1361.91 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 274674 0 0 0 136141 50 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140736362350464 5722381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 333201 275202 892 2943 0 330095 0
[pid=23019/tid=23020] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1332804

[startup+1422.3 s]
/proc/loadavg: 2.19 2.23 2.18 3/183 23109
/proc/meminfo: memFree=28539852/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1332804 CPUtime=1421.88 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 274721 0 0 0 142137 51 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140736362350464 5600804 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 333201 275202 892 2943 0 330095 0
[pid=23019/tid=23020] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1332804

[startup+1482.3 s]
/proc/loadavg: 2.21 2.23 2.18 4/183 23110
/proc/meminfo: memFree=28538248/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1332804 CPUtime=1481.86 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 274738 0 0 0 148135 51 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140736362350464 5601651 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 333201 275202 892 2943 0 330095 0
[pid=23019/tid=23020] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1332804

[startup+1542.31 s]
/proc/loadavg: 2.17 2.22 2.18 3/183 23111
/proc/meminfo: memFree=28538280/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1332804 CPUtime=1541.85 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 274738 0 0 0 154134 51 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140736362350464 6837238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 333201 275202 892 2943 0 330095 0
[pid=23019/tid=23020] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1332804

[startup+1602.3 s]
/proc/loadavg: 2.11 2.19 2.17 3/183 23112
/proc/meminfo: memFree=28538428/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1332804 CPUtime=1601.84 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 274738 0 0 0 160132 52 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140736362350464 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 333201 275202 892 2943 0 330095 0
[pid=23019/tid=23020] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1332804

[startup+1662.3 s]
/proc/loadavg: 2.31 2.23 2.19 3/183 23113
/proc/meminfo: memFree=28534104/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1332804 CPUtime=1661.83 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 274738 0 0 0 166129 54 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140736362350464 5823420 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 333201 275202 892 2943 0 330095 0
[pid=23019/tid=23020] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1332804

[startup+1722.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/182 23114
/proc/meminfo: memFree=28534008/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1332804 CPUtime=1721.82 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 274738 0 0 0 172128 54 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140736362350464 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 333201 275202 892 2943 0 330095 0
[pid=23019/tid=23020] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1332804

[startup+1782.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/183 23116
/proc/meminfo: memFree=28534056/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1332804 CPUtime=1781.81 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 274738 0 0 0 178126 55 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140736362351544 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 333201 275202 892 2943 0 330095 0
[pid=23019/tid=23020] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1332804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 23116
/proc/meminfo: memFree=28533936/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1332804 CPUtime=1800.01 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 274738 0 0 0 179946 55 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140736362350464 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 333201 275202 892 2943 0 330095 0
[pid=23019/tid=23020] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 23019 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 23116
/proc/meminfo: memFree=28533936/32872528 swapFree=1085692/1157232
[pid=23019] ppid=23016 vsize=1332804 CPUtime=1800.01 cores=1,3,5,7
/proc/23019/stat : 23019 (toysat) R 23016 23019 21062 0 -1 4202496 274738 0 0 0 179946 55 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140736362350464 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23019/statm: 333201 275202 892 2943 0 330095 0
[pid=23019/tid=23020] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23020/stat : 23020 (toysat) S 23016 23019 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228327091440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23019/tid=23021] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23021/stat : 23021 (toysat) S 23016 23019 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228316601584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23019/tid=23022] ppid=23016 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/23019/task/23022/stat : 23022 (toysat) S 23016 23019 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28469337 1364791296 275202 33554432000 4194304 16246674 140736362368544 140228199181488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1332804

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.47
CPU system time (s): 0.554915
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1332804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.554915
maximum resident set size= 1100808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274738
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= 362
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72828 second user time and 6.79397 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 17:18:17
IDJOB=4116445
IDBENCH=109471
IDSOLVER=2542
FILE ID=node114/4116445-1466954297
RUNJOBID= node114-1466944456-21079
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

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

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

MD5SUM BENCH= 4716d1f4c45bbf27d304b61e55fae378
RANDOM SEED=1224607242

node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29640184 kB
Buffers:           20976 kB
Cached:           218848 kB
SwapCached:        38932 kB
Active:          1160848 kB
Inactive:         214088 kB
Active(anon):    1099996 kB
Inactive(anon):    37756 kB
Active(file):      60852 kB
Inactive(file):   176332 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061376 kB
Dirty:             16708 kB
Writeback:             0 kB
AnonPages:       2256568 kB
Mapped:            10728 kB
Shmem:                 0 kB
Slab:             566644 kB
SReclaimable:      10772 kB
SUnreclaim:       555872 kB
KernelStack:        1520 kB
PageTables:         8852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2398644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1165312 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= 71624 MiB
End job on node114 at 2016-06-26 17:48:18