Trace number 4116301

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.05 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round22-1.opb
MD5SUM0338c26fe3fe51bf95d6969791a1c434
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8736
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T21:19:28+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-4116301-1466968768.opb"]
0.00/0.01	c use --random-gen="3421379399 2377114821 319663249 2175087741 217985418 522317356 1748125826 3084228678 2282580788 3022336898 1126606100 1728004805 2517257484 4065118119 1104918137 1478817506 3532903759 146926481 1225523096 3138212194 996854643 1042811844 3812216873 1623211985 2808406521 397908271 706613055 1543953246 3304753840 2680687676 3939560812 1926931038 1181554956 492904158 3609780717 1953476807 3206941399 1760572761 2891195348 646994942 612526976 2712025204 3124760653 1054612125 81001723 3353026930 2315118146 3711410196 1890175285 4167733950 4110030499 209083533 1537275289 2099833947 972630186 1547646595 2073569998 3981907367 1176982092 3372448863 1497858133 3477358197 1771986628 3144900350 2883012170 662357440 2452084387 2450616019 2237790681 801782200 420150915 109614267 2556487502 1773806026 3599381727 1659069611 1659472412 1566480495 3973608654 1946172081 3319210749 3023708948 1414791368 1165527073 1969396670 1654310812 3749885446 2965266470 3764917063 2518055727 2840494916 3422187776 2280185080 4067006884 2198095790 2196753803 1684730176 2715014679 1768263329 3191058225 2712080349 1206723818 3897843378 2017172609 494667318 587625710 1025937370 836946946 2422247122 2354862211 617675379 2400732515 4253314628 1270767507 4047638670 4046567782 4026215363 2133355806 1754516631 131389269 560735936 2661710807 1074292550 3058159342 2308495642 2177749824 496699355 923685100 3966001924 1200464416 3799163609 1935633062 2628018608 3975830221 3208635100 1707063301 752141344 2144319606 3631715253 3132152491 737507830 3869395897 2389878969 4024378313 3391048204 2658756069 1956542137 3954176244 854183928 663933688 1287699694 963774832 4278212131 3607980637 1440738793 2132609844 873995066 4164096698 33647369 4013082007 1115653407 4032106643 2277940691 3633928816 3903473473 2844639571 1783459024 1452840656 1527567725 4241838985 335546918 3118323161 319444164 2460673904 4252386766 1636642297 1453899437 1886807200 432752374 3276027805 1463763129 2573717332 2197545639 3541043750 2307105545 1279111008 1531346405 3199628052 4089212535 1345473157 1246564523 1870892957 4272017583 3225567972 1734963524 2440875966 970074500 3086236532 2985930047 3537965115 3306446803 3592756363 3610812218 934963185 1536963216 3948182857 2893313482 2741407267 3296276103 2494150531 222392106 3079837512 3338287138 376983187 4019113103 2796846497 563217587 1910684675 1486264558 4030563880 2730951866 1073813506 244618006 4260315324 4025973458 534813816 3415269695 260010475 3671706146 3649753909 1172554174 4058174616 128118525 3189126261 3643525749 3867541493 1725963000 2994856982 766724179 924686942 2851599357 3614841604 4021415441 1032189307 1957748922 1643125091 4112028286 1265297122 1471572348 1553050354 1017390696 3459109107 554831787 614422969 1605730272 1426614964 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8736
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      905 |        0
0.29/0.33	c  0.1s |       1 |      537 |      100 |     4234      0 |      906 |      880
0.39/0.43	c  0.2s |       2 |     1192 |      250 |     4658      0 |      906 |      880
0.59/0.60	c  0.3s |       3 |     3062 |      475 |     5124      0 |      906 |      880
0.79/0.82	c  0.6s |       4 |     5712 |      813 |     5637      0 |      906 |      880
1.59/1.60	c  1.3s |       5 |     6691 |     1320 |     6201      0 |      906 |      880
2.20/2.25	c  2.0s |       6 |    12584 |     2081 |     7505      0 |      906 |      880
3.09/3.14	c  2.9s |       7 |    17441 |     3223 |     8256      0 |      907 |      880
4.09/4.19	c  3.9s |       8 |    25160 |     4936 |     9082      0 |      907 |      880
6.29/6.31	c  6.1s |       8 |    28666 |     6736 |     9082      0 |      907 |      880
7.39/7.47	c  7.2s |       9 |    29586 |     7506 |     9991      0 |      907 |      880
9.39/9.48	c  9.2s |       9 |    39368 |    10106 |     9991      0 |      907 |      880
10.59/10.61	c 10.4s |      10 |    41633 |    11361 |    10991      0 |      907 |      880
12.59/12.67	c 12.4s |      10 |    46054 |    13361 |    10991      1 |      907 |      880
14.69/14.79	c 14.5s |      10 |    49319 |    15561 |    10991      1 |      907 |      880
16.79/16.86	c 16.6s |      11 |    51202 |    17144 |    12091      1 |      907 |      880
18.99/19.03	c 18.8s |      11 |    56337 |    18944 |    12091      1 |      907 |      880
21.00/21.04	c 20.8s |      11 |    59165 |    20444 |    12091      1 |      907 |      880
22.99/23.08	c 22.8s |      11 |    67359 |    22644 |    12091      2 |      907 |      880
25.09/25.13	c 24.9s |      11 |    74431 |    24844 |    12091      2 |      907 |      880
25.89/25.92	c 25.7s |      12 |    77977 |    25819 |    13301      2 |      907 |      880
27.89/27.98	c 27.7s |      12 |    89809 |    28519 |    13301      2 |      907 |      880
29.99/30.03	c 29.8s |      12 |    92231 |    30019 |    13301      2 |      907 |      880
32.09/32.15	c 31.9s |      12 |    93809 |    31119 |    13301      3 |      907 |      880
34.20/34.22	c 34.0s |      12 |    97252 |    32819 |    13301      3 |      907 |      880
36.18/36.23	c 36.0s |      12 |   100221 |    34419 |    13301      3 |      907 |      880
38.28/38.32	c 38.1s |      12 |   103209 |    36119 |    13301      3 |      907 |      880
40.28/40.36	c 40.1s |      12 |   106237 |    37819 |    13301      3 |      907 |      880
41.89/41.98	c 41.7s |      13 |   107627 |    38832 |    14632      3 |      907 |      880
43.99/44.09	c 43.8s |      13 |   111819 |    40532 |    14632      4 |      907 |      880
46.08/46.18	c 45.9s |      13 |   113602 |    42032 |    14632      4 |      907 |      880
48.18/48.27	c 48.0s |      13 |   115440 |    43332 |    14632      4 |      907 |      880
50.28/50.39	c 50.1s |      13 |   118989 |    45032 |    14632      4 |      907 |      880
52.48/52.56	c 52.3s |      13 |   120445 |    46332 |    14632      4 |      907 |      880
54.48/54.58	c 54.3s |      13 |   121758 |    47532 |    14632      4 |      907 |      880
56.58/56.61	c 56.4s |      13 |   122846 |    48532 |    14632      5 |      907 |      880
58.58/58.62	c 58.4s |      13 |   124139 |    49732 |    14632      5 |      907 |      880
60.68/60.74	c 60.5s |      13 |   125294 |    50832 |    14632      5 |      907 |      880
62.69/62.74	c 62.5s |      13 |   126231 |    51732 |    14632      5 |      907 |      880
64.78/64.89	c 64.6s |      13 |   127168 |    52632 |    14632      5 |      907 |      880
66.88/66.91	c 66.7s |      13 |   128116 |    53532 |    14632      5 |      907 |      880
68.98/69.06	c 68.8s |      13 |   129092 |    54432 |    14632      5 |      907 |      880
71.08/71.14	c 70.9s |      13 |   129911 |    55232 |    14632      5 |      907 |      880
73.08/73.17	c 72.9s |      13 |   130635 |    55932 |    14632      5 |      907 |      880
75.08/75.19	c 74.9s |      13 |   131363 |    56632 |    14632      5 |      907 |      880
77.28/77.39	c 77.1s |      13 |   132212 |    57432 |    14632      5 |      907 |      880
79.48/79.51	c 79.3s |      13 |   133161 |    58332 |    16096      6 |      907 |      880
79.48/79.56	c 79.3s |      14 |   133185 |    58352 |    16096      6 |      907 |      880
81.58/81.65	c 81.4s |      14 |   139270 |    60552 |    16096      6 |      907 |      880
83.59/83.67	c 83.4s |      14 |   141133 |    62252 |    16096      6 |      907 |      880
85.68/85.74	c 85.5s |      14 |   142728 |    63652 |    16096      6 |      907 |      880
87.67/87.76	c 87.5s |      14 |   144144 |    64952 |    16096      6 |      907 |      880
89.67/89.77	c 89.5s |      14 |   145455 |    66152 |    16096      6 |      907 |      880
91.87/91.98	c 91.7s |      14 |   146641 |    67252 |    16096      7 |      907 |      880
94.07/94.11	c 93.9s |      14 |   147812 |    68352 |    16096      7 |      907 |      880
96.17/96.26	c 96.0s |      14 |   148887 |    69352 |    16096      7 |      907 |      880
98.27/98.33	c 98.1s |      14 |   149967 |    70352 |    16096      7 |      907 |      880
100.47/100.53	c  100s |      14 |   151021 |    71352 |    16096      7 |      907 |      880
102.47/102.56	c  102s |      14 |   152004 |    72252 |    16096      7 |      907 |      880
104.58/104.61	c  104s |      14 |   152845 |    73052 |    16096      7 |      907 |      880
106.68/106.75	c  106s |      14 |   153708 |    73852 |    16096      7 |      907 |      880
108.77/108.83	c  108s |      14 |   154563 |    74652 |    16096      7 |      907 |      880
110.77/110.83	c  110s |      14 |   155420 |    75452 |    16096      7 |      907 |      880
112.97/113.04	c  112s |      14 |   156259 |    76252 |    16096      7 |      907 |      880
115.07/115.20	c  114s |      14 |   157106 |    77052 |    16096      8 |      907 |      880
117.17/117.21	c  116s |      14 |   157943 |    77852 |    16096      8 |      907 |      880
119.27/119.34	c  119s |      14 |   159009 |    78852 |    16096      8 |      907 |      880
121.47/121.50	c  121s |      14 |   159950 |    79752 |    16096      8 |      907 |      880
123.57/123.64	c  123s |      14 |   160909 |    80652 |    16096      8 |      907 |      880
125.67/125.71	c  125s |      14 |   161902 |    81552 |    16096      8 |      907 |      880
127.77/127.85	c  127s |      14 |   162878 |    82452 |    16096      8 |      907 |      880
129.78/129.87	c  129s |      14 |   163758 |    83252 |    16096      8 |      907 |      880
131.98/132.04	c  131s |      14 |   164622 |    84052 |    16096      8 |      907 |      880
134.07/134.14	c  133s |      14 |   165620 |    84952 |    16096      8 |      907 |      880
136.27/136.31	c  136s |      14 |   166487 |    85752 |    16096      8 |      907 |      880
138.37/138.48	c  138s |      14 |   167441 |    86652 |    16096      9 |      907 |      880
140.47/140.54	c  140s |      15 |   168528 |    87632 |    17706      9 |      907 |      880
142.56/142.65	c  142s |      15 |   177034 |    90032 |    17706      9 |      907 |      880
144.66/144.72	c  144s |      15 |   180271 |    91932 |    17706      9 |      907 |      880
146.77/146.85	c  146s |      15 |   181727 |    93332 |    17706      9 |      907 |      880
148.87/148.90	c  148s |      15 |   184063 |    94632 |    17706      9 |      907 |      880
150.87/150.96	c  150s |      15 |   187375 |    96232 |    17706      9 |      907 |      880
152.98/153.06	c  152s |      15 |   191334 |    97832 |    17706     10 |      907 |      880
155.08/155.12	c  154s |      15 |   195943 |    99732 |    17706     10 |      907 |      880
157.28/157.33	c  157s |      15 |   197456 |   100832 |    17706     10 |      907 |      880
159.27/159.37	c  159s |      15 |   199712 |   102032 |    17706     10 |      907 |      880
161.37/161.42	c  161s |      15 |   201733 |   103432 |    17706     10 |      907 |      880
163.37/163.42	c  163s |      15 |   203095 |   104532 |    17706     10 |      907 |      880
165.37/165.46	c  165s |      15 |   204143 |   105432 |    17706     10 |      907 |      880
167.46/167.59	c  167s |      15 |   205436 |   106432 |    17706     10 |      907 |      880
169.56/169.68	c  169s |      15 |   206573 |   107332 |    17706     10 |      907 |      880
171.86/171.95	c  171s |      15 |   207724 |   108232 |    17706     11 |      907 |      880
173.87/173.97	c  173s |      15 |   209623 |   109432 |    17706     11 |      907 |      880
176.07/176.18	c  175s |      15 |   211441 |   110632 |    17706     11 |      907 |      880
178.17/178.22	c  177s |      15 |   213585 |   111632 |    17706     11 |      907 |      880
180.16/180.25	c  179s |      15 |   215047 |   112632 |    17706     11 |      907 |      880
182.36/182.44	c  182s |      15 |   216235 |   113532 |    17706     11 |      907 |      880
184.46/184.59	c  184s |      15 |   217387 |   114432 |    17706     11 |      907 |      880
186.56/186.65	c  186s |      15 |   218350 |   115232 |    17706     11 |      907 |      880
188.76/188.84	c  188s |      15 |   219306 |   116032 |    17706     11 |      907 |      880
191.06/191.14	c  190s |      15 |   220219 |   116832 |    17706     11 |      907 |      880
193.06/193.15	c  192s |      15 |   221011 |   117532 |    17706     11 |      907 |      880
195.16/195.29	c  195s |      15 |   222187 |   118332 |    17706     12 |      907 |      880
197.36/197.42	c  197s |      15 |   223870 |   119532 |    17706     12 |      907 |      880
199.46/199.56	c  199s |      15 |   225045 |   120532 |    17706     12 |      907 |      880
201.66/201.71	c  201s |      15 |   225996 |   121332 |    17706     12 |      907 |      880
203.66/203.77	c  203s |      15 |   226934 |   122132 |    17706     12 |      907 |      880
205.86/205.99	c  205s |      15 |   228010 |   123032 |    17706     12 |      907 |      880
207.97/208.05	c  207s |      15 |   228832 |   123732 |    17706     12 |      907 |      880
210.06/210.19	c  209s |      15 |   229845 |   124532 |    17706     12 |      907 |      880
212.15/212.25	c  211s |      15 |   230801 |   125332 |    17706     12 |      907 |      880
214.35/214.42	c  214s |      15 |   231868 |   126132 |    17706     12 |      907 |      880
216.35/216.44	c  216s |      15 |   232740 |   126832 |    17706     12 |      907 |      880
218.44/218.53	c  218s |      15 |   233606 |   127532 |    17706     12 |      907 |      880
220.84/220.90	c  220s |      15 |   234419 |   128232 |    17706     12 |      907 |      880
223.04/223.11	c  222s |      15 |   235120 |   128832 |    17706     13 |      907 |      880
225.34/225.43	c  225s |      15 |   236004 |   129632 |    17706     13 |      907 |      880
227.34/227.48	c  227s |      15 |   236806 |   130332 |    17706     13 |      907 |      880
229.64/229.75	c  229s |      15 |   237779 |   131132 |    19477     13 |      907 |      880
230.74/230.87	c  230s |      16 |   238313 |   131552 |    19477     13 |      907 |      880
232.85/232.95	c  232s |      16 |   241536 |   132952 |    19477     13 |      907 |      880
234.95/235.06	c  234s |      16 |   244146 |   134852 |    19477     13 |      907 |      880
237.05/237.13	c  236s |      16 |   246536 |   136652 |    19477     13 |      907 |      880
239.04/239.16	c  238s |      16 |   248421 |   138152 |    19477     13 |      907 |      880
241.04/241.18	c  240s |      16 |   250273 |   139552 |    19477     13 |      907 |      880
243.05/243.19	c  242s |      16 |   251547 |   140652 |    19477     13 |      907 |      880
245.14/245.24	c  244s |      16 |   252614 |   141552 |    19477     14 |      907 |      880
247.14/247.29	c  247s |      16 |   253754 |   142552 |    19477     14 |      907 |      880
249.24/249.36	c  249s |      16 |   254891 |   143552 |    19477     14 |      907 |      880
251.43/251.50	c  251s |      16 |   256254 |   144652 |    19477     14 |      907 |      880
253.43/253.55	c  253s |      16 |   257463 |   145652 |    19477     14 |      907 |      880
255.63/255.75	c  255s |      16 |   258508 |   146552 |    19477     14 |      907 |      880
257.73/257.86	c  257s |      16 |   259549 |   147452 |    19477     14 |      907 |      880
259.73/259.88	c  259s |      16 |   260641 |   148352 |    19477     14 |      907 |      880
261.84/261.98	c  261s |      16 |   261545 |   149152 |    19477     14 |      907 |      880
264.04/264.16	c  263s |      16 |   262474 |   149952 |    19477     14 |      907 |      880
266.03/266.20	c  265s |      16 |   263280 |   150652 |    19477     14 |      907 |      880
268.23/268.31	c  268s |      16 |   264076 |   151352 |    19477     14 |      907 |      880
270.22/270.38	c  270s |      16 |   267580 |   152652 |    19477     15 |      907 |      880
272.42/272.50	c  272s |      16 |   269961 |   154052 |    19477     15 |      907 |      880
274.42/274.51	c  274s |      16 |   272033 |   155552 |    19477     15 |      907 |      880
276.42/276.57	c  276s |      16 |   273503 |   156752 |    19477     15 |      907 |      880
278.52/278.61	c  278s |      16 |   274691 |   157752 |    19477     15 |      907 |      880
280.53/280.66	c  280s |      16 |   275870 |   158752 |    19477     15 |      907 |      880
282.63/282.77	c  282s |      16 |   276979 |   159652 |    19477     15 |      907 |      880
284.72/284.87	c  284s |      16 |   278103 |   160552 |    19477     15 |      907 |      880
286.82/286.96	c  286s |      16 |   279392 |   161552 |    19477     15 |      907 |      880
289.02/289.16	c  288s |      16 |   280793 |   162652 |    19477     15 |      907 |      880
291.12/291.24	c  290s |      16 |   281745 |   163452 |    19477     16 |      907 |      880
293.22/293.31	c  293s |      16 |   282783 |   164352 |    19477     16 |      907 |      880
295.32/295.47	c  295s |      16 |   283863 |   165252 |    19477     16 |      907 |      880
297.52/297.62	c  297s |      16 |   284735 |   166052 |    19477     16 |      907 |      880
299.62/299.76	c  299s |      16 |   285868 |   166952 |    19477     16 |      907 |      880
301.72/301.85	c  301s |      16 |   287023 |   167852 |    19477     16 |      907 |      880
303.71/303.89	c  303s |      16 |   288066 |   168752 |    19477     16 |      907 |      880
305.91/306.00	c  305s |      16 |   289017 |   169552 |    19477     16 |      907 |      880
308.03/308.16	c  307s |      16 |   289924 |   170352 |    19477     16 |      907 |      880
310.01/310.18	c  309s |      16 |   290711 |   171052 |    19477     16 |      907 |      880
312.21/312.32	c  312s |      16 |   291553 |   171752 |    19477     16 |      907 |      880
314.21/314.34	c  314s |      16 |   292241 |   172352 |    19477     16 |      907 |      880
316.30/316.45	c  316s |      16 |   292916 |   172952 |    19477     16 |      907 |      880
318.40/318.55	c  318s |      16 |   293755 |   173652 |    19477     16 |      907 |      880
320.60/320.76	c  320s |      16 |   294584 |   174352 |    19477     16 |      907 |      880
322.70/322.82	c  322s |      16 |   295297 |   174952 |    19477     17 |      907 |      880
324.70/324.89	c  324s |      16 |   296104 |   175652 |    19477     17 |      907 |      880
327.00/327.10	c  326s |      16 |   297212 |   176552 |    19477     17 |      907 |      880
329.09/329.24	c  328s |      16 |   298118 |   177352 |    19477     17 |      907 |      880
331.19/331.35	c  331s |      16 |   299595 |   178452 |    19477     17 |      907 |      880
333.30/333.49	c  333s |      16 |   301124 |   179552 |    19477     17 |      907 |      880
335.59/335.70	c  335s |      16 |   302381 |   180552 |    19477     17 |      907 |      880
337.79/337.99	c  337s |      16 |   303296 |   181352 |    19477     17 |      907 |      880
339.90/340.06	c  339s |      16 |   304099 |   182052 |    19477     17 |      907 |      880
342.00/342.17	c  341s |      16 |   305026 |   182852 |    19477     17 |      907 |      880
344.20/344.40	c  344s |      16 |   305944 |   183652 |    19477     17 |      907 |      880
346.39/346.54	c  346s |      16 |   306758 |   184352 |    19477     17 |      907 |      880
348.48/348.60	c  348s |      16 |   307438 |   184952 |    19477     17 |      907 |      880
350.58/350.75	c  350s |      16 |   308144 |   185552 |    19477     17 |      907 |      880
352.78/352.97	c  352s |      16 |   308948 |   186252 |    19477     18 |      907 |      880
354.88/355.05	c  354s |      16 |   309932 |   187052 |    19477     18 |      907 |      880
357.08/357.20	c  356s |      16 |   311251 |   188052 |    19477     18 |      907 |      880
359.27/359.41	c  359s |      16 |   312320 |   188952 |    19477     18 |      907 |      880
361.37/361.57	c  361s |      16 |   313273 |   189752 |    19477     18 |      907 |      880
363.67/363.85	c  363s |      16 |   314223 |   190552 |    19477     18 |      907 |      880
365.97/366.12	c  365s |      16 |   315007 |   191252 |    19477     18 |      907 |      880
368.07/368.26	c  368s |      16 |   315827 |   191952 |    19477     18 |      907 |      880
370.26/370.49	c  370s |      16 |   316643 |   192652 |    19477     18 |      907 |      880
372.36/372.55	c  372s |      16 |   317456 |   193352 |    19477     18 |      907 |      880
374.56/374.71	c  374s |      16 |   318273 |   194052 |    19477     18 |      907 |      880
376.66/376.87	c  376s |      16 |   319082 |   194752 |    19477     18 |      907 |      880
378.75/378.92	c  378s |      16 |   319746 |   195352 |    19477     18 |      907 |      880
380.75/380.98	c  380s |      16 |   320415 |   195952 |    19477     18 |      907 |      880
383.15/383.30	c  383s |      16 |   321258 |   196652 |    21425     18 |      907 |      880
385.15/385.30	c  385s |      16 |   321958 |   197252 |    21425     18 |      907 |      880
385.75/385.94	c  385s |      17 |   322178 |   197432 |    21425     18 |      907 |      880
387.75/387.94	c  387s |      17 |   328102 |   198632 |    21425     19 |      907 |      880
389.84/390.02	c  389s |      17 |   330002 |   200132 |    21425     19 |      907 |      880
391.94/392.11	c  391s |      17 |   331479 |   201432 |    21425     19 |      907 |      880
393.94/394.18	c  393s |      17 |   332700 |   202532 |    21425     19 |      907 |      880
395.95/396.19	c  395s |      17 |   334457 |   203732 |    21425     19 |      907 |      880
397.94/398.21	c  397s |      17 |   336823 |   204932 |    21425     19 |      907 |      880
400.14/400.33	c  400s |      17 |   338469 |   206132 |    21425     19 |      907 |      880
402.14/402.38	c  402s |      17 |   339555 |   207032 |    21425     19 |      907 |      880
404.24/404.42	c  404s |      17 |   341166 |   208132 |    21425     19 |      907 |      880
406.44/406.60	c  406s |      17 |   342535 |   209232 |    21425     19 |      907 |      880
408.43/408.67	c  408s |      17 |   343655 |   210132 |    21425     19 |      907 |      880
410.73/410.92	c  410s |      17 |   344658 |   210932 |    21425     20 |      907 |      880
412.83/413.01	c  412s |      17 |   345618 |   211732 |    21425     20 |      907 |      880
414.93/415.11	c  414s |      17 |   346577 |   212532 |    21425     20 |      907 |      880
417.03/417.20	c  416s |      17 |   347657 |   213332 |    21425     20 |      907 |      880
419.13/419.35	c  419s |      17 |   348660 |   214132 |    21425     20 |      907 |      880
421.24/421.47	c  421s |      17 |   349604 |   214932 |    21425     20 |      907 |      880
423.34/423.53	c  423s |      17 |   350316 |   215532 |    21425     20 |      907 |      880
425.33/425.59	c  425s |      17 |   350977 |   216132 |    21425     20 |      907 |      880
427.53/427.73	c  427s |      17 |   351632 |   216732 |    21425     20 |      907 |      880
429.62/429.82	c  429s |      17 |   352177 |   217232 |    21425     20 |      907 |      880
431.82/432.05	c  431s |      17 |   352812 |   217832 |    21425     20 |      907 |      880
434.12/434.36	c  434s |      17 |   353462 |   218432 |    21425     20 |      907 |      880
436.12/436.39	c  436s |      17 |   354131 |   219032 |    21425     20 |      907 |      880
438.32/438.52	c  438s |      17 |   354966 |   219732 |    21425     20 |      907 |      880
440.32/440.57	c  440s |      17 |   355840 |   220432 |    21425     20 |      907 |      880
442.42/442.65	c  442s |      17 |   356654 |   221132 |    21425     20 |      907 |      880
444.62/444.88	c  444s |      17 |   357505 |   221832 |    21425     20 |      907 |      880
446.72/446.94	c  446s |      17 |   358186 |   222432 |    21425     20 |      907 |      880
448.73/448.95	c  448s |      17 |   358777 |   222932 |    21425     21 |      907 |      880
451.02/451.23	c  450s |      17 |   359685 |   223732 |    21425     21 |      907 |      880
453.13/453.38	c  453s |      17 |   360466 |   224432 |    21425     21 |      907 |      880
455.23/455.48	c  455s |      17 |   361249 |   225132 |    21425     21 |      907 |      880
457.43/457.62	c  457s |      17 |   362071 |   225832 |    21425     21 |      907 |      880
459.73/459.93	c  459s |      17 |   362856 |   226532 |    21425     21 |      907 |      880
462.02/462.24	c  461s |      17 |   363647 |   227232 |    21425     21 |      907 |      880
464.13/464.31	c  464s |      17 |   364300 |   227832 |    21425     21 |      907 |      880
466.23/466.51	c  466s |      17 |   364996 |   228432 |    21425     21 |      907 |      880
468.32/468.58	c  468s |      17 |   365824 |   229132 |    21425     21 |      907 |      880
470.63/470.83	c  470s |      17 |   366589 |   229832 |    21425     21 |      907 |      880
472.93/473.13	c  472s |      17 |   367402 |   230532 |    21425     21 |      907 |      880
475.03/475.22	c  474s |      17 |   368085 |   231132 |    21425     21 |      907 |      880
477.33/477.59	c  477s |      17 |   368773 |   231732 |    21425     21 |      907 |      880
479.61/479.80	c  479s |      17 |   369447 |   232332 |    21425     21 |      907 |      880
481.62/481.83	c  481s |      17 |   370022 |   232832 |    21425     21 |      907 |      880
484.01/484.21	c  483s |      17 |   370685 |   233432 |    21425     21 |      907 |      880
486.12/486.33	c  486s |      17 |   371381 |   234032 |    21425     21 |      907 |      880
488.41/488.69	c  488s |      17 |   372064 |   234632 |    21425     21 |      907 |      880
490.61/490.87	c  490s |      17 |   372635 |   235132 |    21425     21 |      907 |      880
492.72/492.96	c  492s |      17 |   373067 |   235532 |    21425     22 |      907 |      880
495.01/495.28	c  495s |      17 |   373837 |   236232 |    21425     22 |      907 |      880
497.12/497.36	c  497s |      17 |   374497 |   236832 |    21425     22 |      907 |      880
499.41/499.68	c  499s |      17 |   375277 |   237532 |    21425     22 |      907 |      880
501.41/501.70	c  501s |      17 |   375955 |   238132 |    21425     22 |      907 |      880
503.61/503.88	c  503s |      17 |   376618 |   238732 |    21425     22 |      907 |      880
505.81/506.03	c  505s |      17 |   377281 |   239332 |    21425     22 |      907 |      880
508.01/508.28	c  508s |      17 |   377926 |   239932 |    21425     22 |      907 |      880
510.00/510.28	c  510s |      17 |   378490 |   240432 |    21425     22 |      907 |      880
512.30/512.52	c  512s |      17 |   379171 |   241032 |    21425     22 |      907 |      880
514.61/514.87	c  514s |      17 |   379820 |   241632 |    21425     22 |      907 |      880
517.00/517.28	c  517s |      17 |   380472 |   242232 |    21425     22 |      907 |      880
519.29/519.51	c  519s |      17 |   381150 |   242832 |    21425     22 |      907 |      880
521.59/521.85	c  521s |      17 |   381941 |   243532 |    21425     22 |      907 |      880
523.79/524.07	c  523s |      17 |   382602 |   244132 |    21425     22 |      907 |      880
526.19/526.40	c  526s |      17 |   383143 |   244632 |    21425     22 |      907 |      880
528.49/528.76	c  528s |      17 |   383823 |   245232 |    21425     22 |      907 |      880
530.59/530.87	c  530s |      17 |   384362 |   245732 |    21425     22 |      907 |      880
532.69/532.96	c  532s |      17 |   384931 |   246232 |    21425     22 |      907 |      880
534.99/535.21	c  534s |      17 |   385488 |   246732 |    21425     22 |      907 |      880
537.09/537.36	c  537s |      17 |   386046 |   247232 |    21425     22 |      907 |      880
539.38/539.69	c  539s |      17 |   386626 |   247732 |    21425     23 |      907 |      880
541.68/541.96	c  541s |      17 |   387411 |   248432 |    21425     23 |      907 |      880
543.98/544.22	c  543s |      17 |   388339 |   249232 |    21425     23 |      907 |      880
545.98/546.24	c  545s |      17 |   389193 |   249932 |    21425     23 |      907 |      880
548.28/548.50	c  548s |      17 |   389963 |   250632 |    21425     23 |      907 |      880
550.58/550.84	c  550s |      17 |   390790 |   251332 |    21425     23 |      907 |      880
552.68/552.93	c  552s |      17 |   391441 |   251932 |    21425     23 |      907 |      880
554.78/555.01	c  554s |      17 |   392083 |   252532 |    21425     23 |      907 |      880
556.98/557.29	c  557s |      17 |   392746 |   253132 |    21425     23 |      907 |      880
559.37/559.63	c  559s |      17 |   393440 |   253732 |    21425     23 |      907 |      880
561.47/561.77	c  561s |      17 |   394111 |   254332 |    21425     23 |      907 |      880
563.47/563.79	c  563s |      17 |   394678 |   254832 |    21425     23 |      907 |      880
565.77/566.05	c  565s |      17 |   395261 |   255332 |    21425     23 |      907 |      880
567.87/568.19	c  567s |      17 |   395802 |   255832 |    21425     23 |      907 |      880
569.96/570.27	c  570s |      17 |   396350 |   256332 |    21425     23 |      907 |      880
572.36/572.68	c  572s |      17 |   397013 |   256932 |    21425     23 |      907 |      880
574.66/574.98	c  574s |      17 |   397563 |   257432 |    21425     23 |      907 |      880
576.96/577.23	c  576s |      17 |   398109 |   257932 |    21425     23 |      907 |      880
579.06/579.37	c  579s |      17 |   398638 |   258432 |    21425     23 |      907 |      880
581.06/581.37	c  581s |      17 |   399083 |   258832 |    21425     23 |      907 |      880
583.46/583.78	c  583s |      17 |   399752 |   259432 |    21425     23 |      907 |      880
585.56/585.84	c  585s |      17 |   400219 |   259832 |    21425     24 |      907 |      880
587.75/588.02	c  587s |      17 |   400883 |   260432 |    21425     24 |      907 |      880
589.86/590.15	c  589s |      17 |   401557 |   261032 |    21425     24 |      907 |      880
591.96/592.27	c  592s |      17 |   402226 |   261632 |    21425     24 |      907 |      880
594.06/594.38	c  594s |      17 |   402882 |   262232 |    21425     24 |      907 |      880
596.46/596.78	c  596s |      17 |   403544 |   262832 |    21425     24 |      907 |      880
598.55/598.80	c  598s |      17 |   404081 |   263332 |    21425     24 |      907 |      880
600.65/600.93	c  600s |      17 |   404724 |   263932 |    21425     24 |      907 |      880
602.95/603.28	c  603s |      17 |   405371 |   264532 |    21425     24 |      907 |      880
605.15/605.47	c  605s |      17 |   406028 |   265132 |    21425     24 |      907 |      880
607.25/607.50	c  607s |      17 |   406576 |   265632 |    21425     24 |      907 |      880
609.35/609.63	c  609s |      17 |   407138 |   266132 |    21425     24 |      907 |      880
611.46/611.78	c  611s |      17 |   407670 |   266632 |    21425     24 |      907 |      880
613.75/614.09	c  613s |      17 |   408390 |   267232 |    21425     24 |      907 |      880
616.05/616.34	c  616s |      17 |   409044 |   267832 |    21425     24 |      907 |      880
618.34/618.61	c  618s |      17 |   409740 |   268432 |    21425     24 |      907 |      880
620.44/620.71	c  620s |      17 |   410455 |   269032 |    21425     24 |      907 |      880
622.54/622.83	c  622s |      17 |   411302 |   269732 |    21425     24 |      907 |      880
624.74/625.08	c  624s |      17 |   412166 |   270432 |    21425     24 |      907 |      880
626.94/627.25	c  626s |      17 |   412852 |   271032 |    21425     24 |      907 |      880
629.33/629.65	c  629s |      17 |   413523 |   271632 |    21425     24 |      907 |      880
631.63/631.94	c  631s |      17 |   413949 |   272032 |    21425     25 |      907 |      880
633.73/634.06	c  633s |      17 |   414638 |   272632 |    21425     25 |      907 |      880
636.03/636.32	c  636s |      17 |   415577 |   273432 |    21425     25 |      907 |      880
638.23/638.57	c  638s |      17 |   416405 |   274132 |    21425     25 |      907 |      880
640.42/640.80	c  640s |      17 |   417208 |   274832 |    21425     25 |      907 |      880
642.62/642.91	c  642s |      17 |   418036 |   275532 |    21425     25 |      907 |      880
644.93/645.24	c  644s |      17 |   418844 |   276232 |    21425     25 |      907 |      880
647.03/647.32	c  647s |      17 |   419524 |   276832 |    21425     25 |      907 |      880
649.12/649.42	c  649s |      17 |   420198 |   277432 |    21425     25 |      907 |      880
651.32/651.65	c  651s |      17 |   420857 |   278032 |    21425     25 |      907 |      880
653.42/653.74	c  653s |      17 |   421580 |   278632 |    21425     25 |      907 |      880
655.62/655.96	c  655s |      17 |   422262 |   279232 |    21425     25 |      907 |      880
658.02/658.30	c  658s |      17 |   422923 |   279832 |    21425     25 |      907 |      880
660.11/660.42	c  660s |      17 |   423580 |   280432 |    21425     25 |      907 |      880
662.21/662.51	c  662s |      17 |   424278 |   281032 |    21425     25 |      907 |      880
664.41/664.73	c  664s |      17 |   424936 |   281632 |    21425     25 |      907 |      880
666.42/666.74	c  666s |      17 |   425505 |   282132 |    21425     25 |      907 |      880
668.41/668.77	c  668s |      17 |   426067 |   282632 |    21425     25 |      907 |      880
670.61/670.91	c  670s |      17 |   426623 |   283132 |    21425     25 |      907 |      880
672.71/673.07	c  672s |      17 |   427179 |   283632 |    21425     25 |      907 |      880
675.01/675.36	c  675s |      17 |   427725 |   284132 |    21425     25 |      907 |      880
677.11/677.42	c  677s |      17 |   428152 |   284532 |    21425     26 |      907 |      880
679.40/679.75	c  679s |      17 |   428805 |   285132 |    21425     26 |      907 |      880
681.60/681.96	c  681s |      17 |   429456 |   285732 |    21425     26 |      907 |      880
683.80/684.19	c  683s |      17 |   430102 |   286332 |    21425     26 |      907 |      880
685.90/686.26	c  686s |      17 |   430789 |   286932 |    21425     26 |      907 |      880
688.20/688.58	c  688s |      17 |   431745 |   287732 |    21425     26 |      907 |      880
690.30/690.68	c  690s |      17 |   432517 |   288432 |    21425     26 |      907 |      880
692.49/692.82	c  692s |      17 |   433314 |   289132 |    21425     26 |      907 |      880
694.59/694.90	c  694s |      17 |   433974 |   289732 |    21425     26 |      907 |      880
696.69/697.06	c  696s |      17 |   434764 |   290432 |    21425     26 |      907 |      880
698.89/699.22	c  698s |      17 |   435582 |   291132 |    21425     26 |      907 |      880
700.89/701.26	c  701s |      17 |   436414 |   291832 |    21425     26 |      907 |      880
702.99/703.40	c  703s |      17 |   437250 |   292532 |    21425     26 |      907 |      880
705.29/705.61	c  705s |      17 |   438101 |   293232 |    21425     26 |      907 |      880
707.49/707.88	c  707s |      17 |   438763 |   293832 |    21425     26 |      907 |      880
709.58/709.93	c  709s |      17 |   439448 |   294432 |    23568     26 |      907 |      880
711.88/712.22	c  711s |      17 |   440097 |   295032 |    23568     26 |      907 |      880
714.08/714.46	c  714s |      17 |   440785 |   295632 |    23568     26 |      907 |      880
716.18/716.55	c  716s |      17 |   441363 |   296132 |    23568     26 |      907 |      880
716.58/716.98	c  716s |      18 |   441499 |   296252 |    23568     26 |      907 |      880
719.19/719.53	c  719s |      18 |   446419 |   298052 |    23568     27 |      907 |      880
721.29/721.63	c  721s |      18 |   448824 |   299852 |    23568     27 |      907 |      880
723.28/723.67	c  723s |      18 |   450639 |   301452 |    23568     27 |      907 |      880
725.37/725.71	c  725s |      18 |   452192 |   302852 |    23568     27 |      907 |      880
727.47/727.82	c  727s |      18 |   453376 |   303952 |    23568     27 |      907 |      880
729.47/729.87	c  729s |      18 |   454744 |   305152 |    23568     27 |      907 |      880
731.57/731.97	c  731s |      18 |   456068 |   306352 |    23568     27 |      907 |      880
733.77/734.16	c  733s |      18 |   457281 |   307452 |    23568     27 |      907 |      880
735.77/736.19	c  735s |      18 |   458377 |   308452 |    23568     27 |      907 |      880
737.88/738.28	c  738s |      18 |   459332 |   309352 |    23568     27 |      907 |      880
739.97/740.32	c  740s |      18 |   460208 |   310152 |    23568     27 |      907 |      880
742.06/742.48	c  742s |      18 |   461047 |   310952 |    23568     27 |      907 |      880
744.26/744.62	c  744s |      18 |   461783 |   311652 |    23568     28 |      907 |      880
746.36/746.78	c  746s |      18 |   462662 |   312452 |    23568     28 |      907 |      880
748.65/749.00	c  748s |      18 |   463486 |   313252 |    23568     28 |      907 |      880
750.75/751.15	c  750s |      18 |   464340 |   314052 |    23568     28 |      907 |      880
753.05/753.44	c  753s |      18 |   465065 |   314752 |    23568     28 |      907 |      880
755.15/755.57	c  755s |      18 |   465798 |   315452 |    23568     28 |      907 |      880
757.25/757.63	c  757s |      18 |   466428 |   316052 |    23568     28 |      907 |      880
759.45/759.88	c  759s |      18 |   467200 |   316752 |    23568     28 |      907 |      880
761.65/762.06	c  761s |      18 |   467945 |   317452 |    23568     28 |      907 |      880
763.95/764.32	c  764s |      18 |   468800 |   318252 |    23568     28 |      907 |      880
766.05/766.47	c  766s |      18 |   469531 |   318952 |    23568     28 |      907 |      880
768.25/768.62	c  768s |      18 |   470298 |   319652 |    23568     28 |      907 |      880
770.34/770.75	c  770s |      18 |   470953 |   320252 |    23568     28 |      907 |      880
772.44/772.83	c  772s |      18 |   471604 |   320852 |    23568     28 |      907 |      880
774.44/774.88	c  774s |      18 |   472277 |   321452 |    23568     28 |      907 |      880
776.74/777.11	c  776s |      18 |   472902 |   322052 |    23568     28 |      907 |      880
778.83/779.25	c  778s |      18 |   473567 |   322652 |    23568     28 |      907 |      880
781.13/781.55	c  781s |      18 |   474223 |   323252 |    23568     28 |      907 |      880
783.33/783.75	c  783s |      18 |   474880 |   323852 |    23568     28 |      907 |      880
785.63/786.02	c  785s |      18 |   475516 |   324452 |    23568     28 |      907 |      880
787.73/788.15	c  787s |      18 |   476054 |   324952 |    23568     29 |      907 |      880
789.83/790.26	c  790s |      18 |   476922 |   325752 |    23568     29 |      907 |      880
791.93/792.31	c  792s |      18 |   477798 |   326552 |    23568     29 |      907 |      880
794.13/794.57	c  794s |      18 |   478675 |   327352 |    23568     29 |      907 |      880
796.43/796.80	c  796s |      18 |   479531 |   328152 |    23568     29 |      907 |      880
798.63/799.10	c  798s |      18 |   480378 |   328952 |    23568     29 |      907 |      880
800.73/801.17	c  800s |      18 |   481122 |   329652 |    23568     29 |      907 |      880
803.03/803.41	c  803s |      18 |   481953 |   330452 |    23568     29 |      907 |      880
805.23/805.61	c  805s |      18 |   482698 |   331152 |    23568     29 |      907 |      880
807.23/807.61	c  807s |      18 |   483331 |   331752 |    23568     29 |      907 |      880
809.23/809.63	c  809s |      18 |   483968 |   332352 |    23568     29 |      907 |      880
811.22/811.64	c  811s |      18 |   484606 |   332952 |    23568     29 |      907 |      880
813.32/813.73	c  813s |      18 |   485253 |   333552 |    23568     29 |      907 |      880
815.42/815.89	c  815s |      18 |   485863 |   334152 |    23568     29 |      907 |      880
817.72/818.13	c  817s |      18 |   486494 |   334752 |    23568     29 |      907 |      880
819.91/820.39	c  820s |      18 |   487133 |   335352 |    23568     29 |      907 |      880
822.21/822.69	c  822s |      18 |   487764 |   335952 |    23568     29 |      907 |      880
824.31/824.73	c  824s |      18 |   488284 |   336452 |    23568     29 |      907 |      880
826.41/826.87	c  826s |      18 |   488804 |   336952 |    23568     29 |      907 |      880
828.61/829.04	c  828s |      18 |   489341 |   337452 |    23568     29 |      907 |      880
831.11/831.51	c  831s |      18 |   489881 |   337952 |    23568     30 |      907 |      880
833.21/833.60	c  833s |      18 |   490858 |   338852 |    23568     30 |      907 |      880
835.30/835.76	c  835s |      18 |   491815 |   339752 |    23568     30 |      907 |      880
837.30/837.79	c  837s |      18 |   492677 |   340552 |    23568     30 |      907 |      880
839.60/840.05	c  839s |      18 |   493540 |   341352 |    23568     30 |      907 |      880
841.80/842.23	c  841s |      18 |   494413 |   342152 |    23568     30 |      907 |      880
844.10/844.54	c  844s |      18 |   495258 |   342952 |    23568     30 |      907 |      880
846.40/846.80	c  846s |      18 |   496006 |   343652 |    23568     30 |      907 |      880
848.59/849.08	c  848s |      18 |   496772 |   344352 |    23568     30 |      907 |      880
850.79/851.28	c  851s |      18 |   497538 |   345052 |    23568     30 |      907 |      880
853.20/853.61	c  853s |      18 |   498281 |   345752 |    23568     30 |      907 |      880
855.29/855.78	c  855s |      18 |   499032 |   346452 |    23568     30 |      907 |      880
857.49/858.00	c  857s |      18 |   499810 |   347152 |    23568     30 |      907 |      880
859.68/860.15	c  859s |      18 |   500450 |   347752 |    23568     30 |      907 |      880
861.99/862.46	c  862s |      18 |   501081 |   348352 |    23568     30 |      907 |      880
864.38/864.87	c  864s |      18 |   501703 |   348952 |    23568     30 |      907 |      880
866.78/867.24	c  866s |      18 |   502330 |   349552 |    23568     30 |      907 |      880
868.88/869.30	c  869s |      18 |   502859 |   350052 |    23568     30 |      907 |      880
870.89/871.31	c  871s |      18 |   503390 |   350552 |    23568     30 |      907 |      880
873.18/873.63	c  873s |      18 |   504028 |   351152 |    23568     30 |      907 |      880
875.19/875.70	c  875s |      18 |   504548 |   351652 |    23568     31 |      907 |      880
877.39/877.87	c  877s |      18 |   505412 |   352452 |    23568     31 |      907 |      880
879.48/879.94	c  879s |      18 |   506173 |   353152 |    23568     31 |      907 |      880
881.68/882.15	c  881s |      18 |   506914 |   353852 |    23568     31 |      907 |      880
883.68/884.17	c  883s |      18 |   507542 |   354452 |    23568     31 |      907 |      880
885.98/886.44	c  886s |      18 |   508277 |   355152 |    23568     31 |      907 |      880
887.98/888.49	c  888s |      18 |   508913 |   355752 |    23568     31 |      907 |      880
890.08/890.55	c  890s |      18 |   509538 |   356352 |    23568     31 |      907 |      880
892.38/892.89	c  892s |      18 |   510284 |   357052 |    23568     31 |      907 |      880
894.58/895.00	c  894s |      18 |   510926 |   357652 |    23568     31 |      907 |      880
896.78/897.22	c  896s |      18 |   511567 |   358252 |    23568     31 |      907 |      880
898.88/899.39	c  899s |      18 |   512204 |   358852 |    23568     31 |      907 |      880
900.98/901.46	c  901s |      18 |   512861 |   359452 |    23568     31 |      907 |      880
903.07/903.56	c  903s |      18 |   513485 |   360052 |    23568     31 |      907 |      880
905.37/905.81	c  905s |      18 |   514127 |   360652 |    23568     31 |      907 |      880
907.37/907.88	c  907s |      18 |   514651 |   361152 |    23568     31 |      907 |      880
909.77/910.27	c  910s |      18 |   515308 |   361752 |    23568     31 |      907 |      880
912.07/912.54	c  912s |      18 |   515983 |   362352 |    23568     31 |      907 |      880
914.37/914.83	c  914s |      18 |   516619 |   362952 |    23568     31 |      907 |      880
916.47/916.92	c  916s |      18 |   517163 |   363452 |    23568     31 |      907 |      880
918.77/919.29	c  919s |      18 |   517689 |   363952 |    23568     31 |      907 |      880
921.07/921.57	c  921s |      18 |   518221 |   364452 |    23568     31 |      907 |      880
923.17/923.62	c  923s |      18 |   518759 |   364952 |    23568     32 |      907 |      880
925.37/925.89	c  925s |      18 |   519489 |   365652 |    23568     32 |      907 |      880
927.67/928.15	c  927s |      18 |   520219 |   366352 |    23568     32 |      907 |      880
929.67/930.17	c  929s |      18 |   520858 |   366952 |    23568     32 |      907 |      880
932.07/932.57	c  932s |      18 |   521496 |   367552 |    23568     32 |      907 |      880
934.37/934.81	c  934s |      18 |   522184 |   368152 |    23568     32 |      907 |      880
936.57/937.02	c  936s |      18 |   522950 |   368852 |    23568     32 |      907 |      880
938.67/939.15	c  938s |      18 |   523723 |   369552 |    23568     32 |      907 |      880
940.87/941.35	c  941s |      18 |   524494 |   370252 |    23568     32 |      907 |      880
942.97/943.48	c  943s |      18 |   525132 |   370852 |    23568     32 |      907 |      880
945.27/945.74	c  945s |      18 |   525780 |   371452 |    23568     32 |      907 |      880
947.37/947.82	c  947s |      18 |   526413 |   372052 |    23568     32 |      907 |      880
949.56/950.03	c  949s |      18 |   527164 |   372752 |    23568     32 |      907 |      880
951.96/952.40	c  952s |      18 |   527921 |   373452 |    23568     32 |      907 |      880
954.26/954.70	c  954s |      18 |   528667 |   374152 |    23568     32 |      907 |      880
956.36/956.84	c  956s |      18 |   529323 |   374752 |    23568     32 |      907 |      880
958.56/959.06	c  958s |      18 |   529953 |   375352 |    23568     32 |      907 |      880
960.66/961.17	c  960s |      18 |   530594 |   375952 |    23568     32 |      907 |      880
962.86/963.35	c  963s |      18 |   531240 |   376552 |    23568     32 |      907 |      880
965.06/965.50	c  965s |      18 |   531759 |   377052 |    23568     32 |      907 |      880
967.06/967.54	c  967s |      18 |   532307 |   377552 |    23568     32 |      907 |      880
969.16/969.65	c  969s |      18 |   532867 |   378052 |    23568     33 |      907 |      880
971.36/971.81	c  971s |      18 |   533621 |   378752 |    23568     33 |      907 |      880
973.46/973.98	c  973s |      18 |   534375 |   379452 |    23568     33 |      907 |      880
975.56/976.00	c  975s |      18 |   535007 |   380052 |    23568     33 |      907 |      880
977.57/978.02	c  977s |      18 |   535670 |   380652 |    23568     33 |      907 |      880
979.56/980.07	c  979s |      18 |   536302 |   381252 |    23568     33 |      907 |      880
981.87/982.32	c  982s |      18 |   537056 |   381952 |    23568     33 |      907 |      880
984.07/984.51	c  984s |      18 |   537686 |   382552 |    23568     33 |      907 |      880
986.27/986.78	c  986s |      18 |   538457 |   383252 |    23568     33 |      907 |      880
988.47/988.97	c  988s |      18 |   539204 |   383952 |    23568     33 |      907 |      880
990.56/991.07	c  990s |      18 |   539865 |   384552 |    23568     33 |      907 |      880
992.87/993.35	c  993s |      18 |   540530 |   385152 |    23568     33 |      907 |      880
994.96/995.48	c  995s |      18 |   541171 |   385752 |    23568     33 |      907 |      880
996.96/997.48	c  997s |      18 |   541835 |   386352 |    23568     33 |      907 |      880
999.16/999.65	c  999s |      18 |   542508 |   386952 |    23568     33 |      907 |      880
1001.36/1001.84	c 1001s |      18 |   543157 |   387552 |    23568     33 |      907 |      880
1003.36/1003.85	c 1003s |      18 |   543693 |   388052 |    23568     33 |      907 |      880
1005.56/1006.10	c 1005s |      18 |   544356 |   388652 |    23568     33 |      907 |      880
1007.65/1008.19	c 1007s |      18 |   545013 |   389252 |    23568     33 |      907 |      880
1009.95/1010.46	c 1010s |      18 |   545660 |   389852 |    23568     33 |      907 |      880
1012.35/1012.81	c 1012s |      18 |   546287 |   390452 |    23568     33 |      907 |      880
1014.75/1015.28	c 1015s |      18 |   546825 |   390952 |    23568     34 |      907 |      880
1016.95/1017.44	c 1017s |      18 |   547679 |   391752 |    23568     34 |      907 |      880
1019.15/1019.63	c 1019s |      18 |   548538 |   392552 |    23568     34 |      907 |      880
1021.25/1021.77	c 1021s |      18 |   549267 |   393252 |    23568     34 |      907 |      880
1023.45/1023.97	c 1023s |      18 |   550023 |   393952 |    23568     34 |      907 |      880
1025.45/1025.98	c 1025s |      18 |   550663 |   394552 |    23568     34 |      907 |      880
1027.75/1028.23	c 1027s |      18 |   551573 |   395352 |    23568     34 |      907 |      880
1029.75/1030.29	c 1030s |      18 |   552298 |   396052 |    23568     34 |      907 |      880
1032.05/1032.54	c 1032s |      18 |   553028 |   396752 |    23568     34 |      907 |      880
1034.25/1034.77	c 1034s |      18 |   553741 |   397452 |    23568     34 |      907 |      880
1036.25/1036.78	c 1036s |      18 |   554369 |   398052 |    23568     34 |      907 |      880
1038.65/1039.10	c 1038s |      18 |   555003 |   398652 |    23568     34 |      907 |      880
1040.95/1041.42	c 1041s |      18 |   555734 |   399352 |    23568     34 |      907 |      880
1043.05/1043.55	c 1043s |      18 |   556356 |   399952 |    23568     34 |      907 |      880
1045.45/1045.92	c 1045s |      18 |   556982 |   400552 |    23568     34 |      907 |      880
1047.65/1048.11	c 1047s |      18 |   557609 |   401152 |    23568     34 |      907 |      880
1049.95/1050.42	c 1050s |      18 |   558240 |   401752 |    23568     34 |      907 |      880
1052.26/1052.78	c 1052s |      18 |   558854 |   402352 |    23568     34 |      907 |      880
1054.75/1055.24	c 1054s |      18 |   559502 |   402952 |    23568     34 |      907 |      880
1057.05/1057.52	c 1057s |      18 |   560029 |   403452 |    23568     34 |      907 |      880
1059.05/1059.58	c 1059s |      18 |   560552 |   403952 |    23568     34 |      907 |      880
1061.35/1061.81	c 1061s |      18 |   561183 |   404552 |    23568     35 |      907 |      880
1063.65/1064.10	c 1063s |      18 |   562030 |   405352 |    23568     35 |      907 |      880
1065.65/1066.13	c 1065s |      18 |   562738 |   406052 |    23568     35 |      907 |      880
1067.84/1068.38	c 1068s |      18 |   563503 |   406752 |    23568     35 |      907 |      880
1070.04/1070.53	c 1070s |      18 |   564261 |   407452 |    23568     35 |      907 |      880
1072.34/1072.89	c 1072s |      18 |   564999 |   408152 |    23568     35 |      907 |      880
1074.44/1074.95	c 1074s |      18 |   565626 |   408752 |    23568     35 |      907 |      880
1076.74/1077.25	c 1077s |      18 |   566257 |   409352 |    23568     35 |      907 |      880
1079.04/1079.53	c 1079s |      18 |   566869 |   409952 |    23568     35 |      907 |      880
1081.34/1081.81	c 1081s |      18 |   567509 |   410552 |    23568     35 |      907 |      880
1083.34/1083.84	c 1083s |      18 |   568042 |   411052 |    23568     35 |      907 |      880
1085.45/1085.95	c 1085s |      18 |   568674 |   411652 |    23568     35 |      907 |      880
1087.56/1088.08	c 1087s |      18 |   569323 |   412252 |    23568     35 |      907 |      880
1089.95/1090.40	c 1090s |      18 |   570102 |   412952 |    23568     35 |      907 |      880
1091.96/1092.43	c 1092s |      18 |   570804 |   413552 |    23568     35 |      907 |      880
1094.06/1094.56	c 1094s |      18 |   571459 |   414152 |    23568     35 |      907 |      880
1096.45/1096.90	c 1096s |      18 |   572205 |   414852 |    23568     35 |      907 |      880
1098.56/1099.05	c 1098s |      18 |   572854 |   415452 |    23568     35 |      907 |      880
1100.55/1101.07	c 1100s |      18 |   573476 |   416052 |    23568     35 |      907 |      880
1102.86/1103.38	c 1103s |      18 |   574131 |   416652 |    23568     35 |      907 |      880
1105.16/1105.66	c 1105s |      18 |   574794 |   417252 |    23568     35 |      907 |      880
1107.15/1107.71	c 1107s |      18 |   575338 |   417752 |    23568     36 |      907 |      880
1109.46/1109.92	c 1109s |      18 |   576191 |   418552 |    23568     36 |      907 |      880
1111.76/1112.21	c 1111s |      18 |   577087 |   419352 |    23568     36 |      907 |      880
1113.75/1114.28	c 1114s |      18 |   577871 |   420052 |    23568     36 |      907 |      880
1115.95/1116.43	c 1116s |      18 |   578638 |   420752 |    23568     36 |      907 |      880
1117.95/1118.47	c 1118s |      18 |   579306 |   421352 |    23568     36 |      907 |      880
1120.24/1120.76	c 1120s |      18 |   580216 |   422152 |    23568     36 |      907 |      880
1122.44/1122.93	c 1122s |      18 |   580982 |   422852 |    23568     36 |      907 |      880
1124.54/1125.08	c 1124s |      18 |   581765 |   423552 |    23568     36 |      907 |      880
1126.84/1127.30	c 1127s |      18 |   582539 |   424252 |    23568     36 |      907 |      880
1128.94/1129.40	c 1129s |      18 |   583381 |   424952 |    23568     36 |      907 |      880
1130.94/1131.42	c 1131s |      18 |   584046 |   425552 |    23568     36 |      907 |      880
1133.34/1133.80	c 1133s |      18 |   584682 |   426152 |    23568     36 |      907 |      880
1135.34/1135.87	c 1135s |      18 |   585335 |   426752 |    23568     36 |      907 |      880
1137.64/1138.15	c 1137s |      18 |   586081 |   427452 |    23568     36 |      907 |      880
1139.64/1140.15	c 1139s |      18 |   586756 |   428052 |    23568     36 |      907 |      880
1141.84/1142.37	c 1142s |      18 |   587559 |   428752 |    23568     36 |      907 |      880
1144.14/1144.63	c 1144s |      18 |   588203 |   429352 |    23568     36 |      907 |      880
1146.54/1147.05	c 1146s |      18 |   588880 |   429952 |    23568     36 |      907 |      880
1148.64/1149.13	c 1148s |      18 |   589433 |   430452 |    23568     36 |      907 |      880
1150.94/1151.45	c 1151s |      18 |   589987 |   430952 |    23568     37 |      907 |      880
1152.93/1153.50	c 1153s |      18 |   591887 |   432452 |    23568     37 |      907 |      880
1155.13/1155.65	c 1155s |      18 |   593520 |   433952 |    23568     37 |      907 |      880
1157.23/1157.71	c 1157s |      18 |   595062 |   435352 |    23568     37 |      907 |      880
1159.23/1159.72	c 1159s |      18 |   596488 |   436652 |    23568     37 |      907 |      880
1161.24/1161.76	c 1161s |      18 |   597711 |   437752 |    23568     37 |      907 |      880
1163.34/1163.90	c 1163s |      18 |   599050 |   438952 |    23568     37 |      907 |      880
1165.54/1166.03	c 1165s |      18 |   600462 |   440152 |    23568     37 |      907 |      880
1167.53/1168.05	c 1167s |      18 |   602187 |   441452 |    25925     37 |      907 |      880
1169.53/1170.09	c 1169s |      18 |   603710 |   442752 |    25925     37 |      907 |      880
1171.63/1172.16	c 1171s |      18 |   605244 |   443952 |    25925     37 |      907 |      880
1172.53/1173.09	c 1172s |      19 |   605904 |   444482 |    25925     37 |      907 |      880
1174.63/1175.18	c 1174s |      19 |   608307 |   445382 |    25925     38 |      907 |      880
1176.73/1177.24	c 1176s |      19 |   613098 |   447382 |    25925     38 |      907 |      880
1178.84/1179.36	c 1179s |      19 |   615211 |   448982 |    25925     38 |      907 |      880
1180.83/1181.38	c 1181s |      19 |   616723 |   450282 |    25925     38 |      907 |      880
1182.93/1183.46	c 1183s |      19 |   618108 |   451482 |    25925     38 |      907 |      880
1185.03/1185.50	c 1185s |      19 |   619439 |   452582 |    25925     38 |      907 |      880
1187.03/1187.57	c 1187s |      19 |   620438 |   453482 |    25925     38 |      907 |      880
1189.13/1189.69	c 1189s |      19 |   621634 |   454582 |    25925     38 |      907 |      880
1191.23/1191.79	c 1191s |      19 |   622730 |   455582 |    25925     38 |      907 |      880
1193.43/1193.96	c 1193s |      19 |   623696 |   456482 |    25925     38 |      907 |      880
1195.63/1196.11	c 1195s |      19 |   624881 |   457482 |    25925     38 |      907 |      880
1197.83/1198.33	c 1198s |      19 |   625941 |   458382 |    25925     38 |      907 |      880
1199.93/1200.46	c 1200s |      19 |   626982 |   459282 |    25925     38 |      907 |      880
1202.03/1202.54	c 1202s |      19 |   627913 |   460082 |    25925     38 |      907 |      880
1204.04/1204.56	c 1204s |      19 |   628552 |   460682 |    25925     39 |      907 |      880
1206.13/1206.65	c 1206s |      19 |   629300 |   461382 |    25925     39 |      907 |      880
1208.33/1208.80	c 1208s |      19 |   630423 |   462282 |    25925     39 |      907 |      880
1210.53/1211.06	c 1210s |      19 |   631468 |   463182 |    25925     39 |      907 |      880
1212.72/1213.21	c 1212s |      19 |   632395 |   463982 |    25925     39 |      907 |      880
1214.82/1215.32	c 1215s |      19 |   633491 |   464882 |    25925     39 |      907 |      880
1216.92/1217.44	c 1217s |      19 |   634462 |   465682 |    25925     39 |      907 |      880
1219.12/1219.68	c 1219s |      19 |   635418 |   466482 |    25925     39 |      907 |      880
1221.32/1221.88	c 1221s |      19 |   636319 |   467282 |    25925     39 |      907 |      880
1223.42/1223.90	c 1223s |      19 |   637082 |   467982 |    25925     39 |      907 |      880
1225.42/1225.91	c 1225s |      19 |   637908 |   468682 |    25925     39 |      907 |      880
1227.42/1227.97	c 1227s |      19 |   638951 |   469382 |    25925     39 |      907 |      880
1229.52/1230.06	c 1229s |      19 |   644236 |   470782 |    25925     39 |      907 |      880
1231.53/1232.07	c 1231s |      19 |   648489 |   472482 |    25925     39 |      907 |      880
1233.62/1234.16	c 1233s |      19 |   649842 |   473482 |    25925     39 |      907 |      880
1235.93/1236.42	c 1236s |      19 |   650750 |   474282 |    25925     39 |      907 |      880
1238.02/1238.55	c 1238s |      19 |   651508 |   474982 |    25925     40 |      907 |      880
1240.12/1240.63	c 1240s |      19 |   653599 |   476182 |    25925     40 |      907 |      880
1242.22/1242.71	c 1242s |      19 |   655234 |   477382 |    25925     40 |      907 |      880
1244.42/1244.93	c 1244s |      19 |   656663 |   478482 |    25925     40 |      907 |      880
1246.52/1247.08	c 1246s |      19 |   657750 |   479382 |    25925     40 |      907 |      880
1248.62/1249.17	c 1248s |      19 |   658901 |   480282 |    25925     40 |      907 |      880
1250.63/1251.19	c 1250s |      19 |   659878 |   481082 |    25925     40 |      907 |      880
1252.93/1253.46	c 1253s |      19 |   661027 |   481982 |    25925     40 |      907 |      880
1255.13/1255.61	c 1255s |      19 |   661899 |   482682 |    25925     40 |      907 |      880
1257.22/1257.78	c 1257s |      19 |   662741 |   483382 |    25925     40 |      907 |      880
1259.32/1259.82	c 1259s |      19 |   663614 |   484082 |    25925     40 |      907 |      880
1261.52/1262.08	c 1261s |      19 |   664477 |   484782 |    25925     40 |      907 |      880
1263.82/1264.30	c 1264s |      19 |   665319 |   485482 |    25925     40 |      907 |      880
1265.92/1266.41	c 1266s |      19 |   666224 |   486182 |    25925     40 |      907 |      880
1268.02/1268.57	c 1268s |      19 |   667514 |   486982 |    25925     40 |      907 |      880
1270.22/1270.74	c 1270s |      19 |   668591 |   487882 |    25925     40 |      907 |      880
1272.23/1272.80	c 1272s |      19 |   669505 |   488682 |    25925     40 |      907 |      880
1274.32/1274.89	c 1274s |      19 |   670476 |   489482 |    25925     40 |      907 |      880
1276.42/1276.90	c 1276s |      19 |   671173 |   490082 |    25925     41 |      907 |      880
1278.42/1278.99	c 1278s |      19 |   671936 |   490782 |    25925     41 |      907 |      880
1280.52/1281.02	c 1280s |      19 |   673300 |   491582 |    25925     41 |      907 |      880
1282.72/1283.25	c 1282s |      19 |   674379 |   492382 |    25925     41 |      907 |      880
1284.81/1285.36	c 1285s |      19 |   675213 |   493082 |    25925     41 |      907 |      880
1287.21/1287.75	c 1287s |      19 |   675896 |   493682 |    25925     41 |      907 |      880
1289.41/1289.92	c 1289s |      19 |   676563 |   494282 |    25925     41 |      907 |      880
1291.51/1292.06	c 1291s |      19 |   677952 |   495082 |    25925     41 |      907 |      880
1293.61/1294.12	c 1293s |      19 |   679069 |   495882 |    25925     41 |      907 |      880
1295.71/1296.20	c 1295s |      19 |   679839 |   496582 |    25925     41 |      907 |      880
1297.81/1298.30	c 1298s |      19 |   680662 |   497282 |    25925     41 |      907 |      880
1299.91/1300.44	c 1300s |      19 |   681506 |   497982 |    25925     41 |      907 |      880
1302.02/1302.53	c 1302s |      19 |   682395 |   498682 |    25925     41 |      907 |      880
1304.12/1304.68	c 1304s |      19 |   683235 |   499382 |    25925     41 |      907 |      880
1306.11/1306.69	c 1306s |      19 |   683923 |   499982 |    25925     41 |      907 |      880
1308.31/1308.89	c 1308s |      19 |   684609 |   500582 |    25925     41 |      907 |      880
1310.51/1311.06	c 1310s |      19 |   685293 |   501182 |    25925     41 |      907 |      880
1312.61/1313.13	c 1312s |      19 |   685865 |   501682 |    25925     41 |      907 |      880
1314.91/1315.45	c 1315s |      19 |   686575 |   502282 |    25925     41 |      907 |      880
1316.91/1317.47	c 1317s |      19 |   687266 |   502882 |    25925     41 |      907 |      880
1319.21/1319.75	c 1319s |      19 |   687940 |   503482 |    25925     41 |      907 |      880
1321.31/1321.89	c 1321s |      19 |   688573 |   503982 |    25925     42 |      907 |      880
1323.41/1323.90	c 1323s |      19 |   689513 |   504782 |    25925     42 |      907 |      880
1325.41/1325.99	c 1325s |      19 |   690214 |   505382 |    25925     42 |      907 |      880
1327.41/1327.99	c 1327s |      19 |   691074 |   506082 |    25925     42 |      907 |      880
1329.60/1330.18	c 1329s |      19 |   692033 |   506982 |    25925     42 |      907 |      880
1331.72/1332.27	c 1332s |      19 |   692884 |   507782 |    25925     42 |      907 |      880
1333.81/1334.37	c 1334s |      19 |   693614 |   508482 |    25925     42 |      907 |      880
1336.01/1336.51	c 1336s |      19 |   694343 |   509182 |    25925     42 |      907 |      880
1338.00/1338.59	c 1338s |      19 |   695100 |   509882 |    25925     42 |      907 |      880
1340.30/1340.85	c 1340s |      19 |   695978 |   510682 |    25925     42 |      907 |      880
1342.50/1343.01	c 1342s |      19 |   696730 |   511382 |    25925     42 |      907 |      880
1344.50/1345.04	c 1344s |      19 |   697380 |   511982 |    25925     42 |      907 |      880
1346.80/1347.33	c 1347s |      19 |   698134 |   512682 |    25925     42 |      907 |      880
1348.90/1349.44	c 1349s |      19 |   698784 |   513282 |    25925     42 |      907 |      880
1351.00/1351.56	c 1351s |      19 |   699416 |   513882 |    25925     42 |      907 |      880
1353.10/1353.67	c 1353s |      19 |   700218 |   514582 |    25925     42 |      907 |      880
1355.40/1355.94	c 1355s |      19 |   700981 |   515282 |    25925     42 |      907 |      880
1357.50/1358.06	c 1357s |      19 |   701674 |   515882 |    25925     42 |      907 |      880
1359.70/1360.26	c 1360s |      19 |   702317 |   516482 |    25925     42 |      907 |      880
1361.90/1362.40	c 1362s |      19 |   702970 |   517082 |    25925     42 |      907 |      880
1364.20/1364.75	c 1364s |      19 |   703607 |   517682 |    25925     42 |      907 |      880
1366.20/1366.76	c 1366s |      19 |   704139 |   518182 |    25925     42 |      907 |      880
1368.40/1368.90	c 1368s |      19 |   704698 |   518682 |    25925     43 |      907 |      880
1370.50/1371.01	c 1370s |      19 |   705454 |   519382 |    25925     43 |      907 |      880
1372.61/1373.19	c 1372s |      19 |   706193 |   520082 |    25925     43 |      907 |      880
1374.81/1375.31	c 1375s |      19 |   707002 |   520782 |    25925     43 |      907 |      880
1377.11/1377.64	c 1377s |      19 |   707766 |   521482 |    25925     43 |      907 |      880
1379.21/1379.76	c 1379s |      19 |   708417 |   522082 |    25925     43 |      907 |      880
1381.30/1381.88	c 1381s |      19 |   709052 |   522682 |    25925     43 |      907 |      880
1383.60/1384.13	c 1383s |      19 |   709691 |   523282 |    25925     43 |      907 |      880
1385.90/1386.42	c 1386s |      19 |   710336 |   523882 |    25925     43 |      907 |      880
1387.90/1388.47	c 1388s |      19 |   710978 |   524482 |    25925     43 |      907 |      880
1390.20/1390.72	c 1390s |      19 |   711627 |   525082 |    25925     43 |      907 |      880
1392.60/1393.11	c 1392s |      19 |   712252 |   525682 |    25925     43 |      907 |      880
1394.90/1395.43	c 1395s |      19 |   712890 |   526282 |    25925     43 |      907 |      880
1396.90/1397.45	c 1397s |      19 |   713412 |   526782 |    25925     43 |      907 |      880
1399.30/1399.82	c 1399s |      19 |   714045 |   527382 |    25925     43 |      907 |      880
1401.50/1402.05	c 1401s |      19 |   714692 |   527982 |    25925     43 |      907 |      880
1403.70/1404.29	c 1404s |      19 |   715324 |   528582 |    25925     43 |      907 |      880
1406.10/1406.67	c 1406s |      19 |   715965 |   529182 |    25925     43 |      907 |      880
1408.50/1409.05	c 1408s |      19 |   716681 |   529782 |    25925     43 |      907 |      880
1410.81/1411.38	c 1411s |      19 |   717320 |   530382 |    25925     43 |      907 |      880
1412.90/1413.43	c 1413s |      19 |   717878 |   530882 |    25925     43 |      907 |      880
1415.00/1415.51	c 1415s |      19 |   718440 |   531382 |    25925     43 |      907 |      880
1417.10/1417.61	c 1417s |      19 |   718976 |   531882 |    25925     43 |      907 |      880
1419.30/1419.88	c 1419s |      19 |   719535 |   532382 |    25925     43 |      907 |      880
1422.09/1422.61	c 1422s |      19 |   720080 |   532882 |    25925     44 |      907 |      880
1424.10/1424.64	c 1424s |      19 |   720755 |   533482 |    25925     44 |      907 |      880
1426.39/1426.96	c 1426s |      19 |   721511 |   534182 |    25925     44 |      907 |      880
1428.59/1429.18	c 1428s |      19 |   722274 |   534882 |    25925     44 |      907 |      880
1430.99/1431.50	c 1431s |      19 |   723038 |   535582 |    25925     44 |      907 |      880
1433.39/1433.90	c 1433s |      19 |   723682 |   536182 |    25925     44 |      907 |      880
1435.49/1436.00	c 1435s |      19 |   724340 |   536782 |    25925     44 |      907 |      880
1437.69/1438.29	c 1438s |      19 |   725077 |   537482 |    25925     44 |      907 |      880
1439.79/1440.38	c 1440s |      19 |   725755 |   538082 |    25925     44 |      907 |      880
1442.09/1442.66	c 1442s |      19 |   726398 |   538682 |    25925     44 |      907 |      880
1444.09/1444.69	c 1444s |      19 |   727033 |   539282 |    25925     44 |      907 |      880
1446.39/1446.94	c 1446s |      19 |   727672 |   539882 |    25925     44 |      907 |      880
1448.79/1449.30	c 1449s |      19 |   728296 |   540482 |    25925     44 |      907 |      880
1451.09/1451.61	c 1451s |      19 |   728934 |   541082 |    25925     44 |      907 |      880
1453.39/1453.99	c 1453s |      19 |   729567 |   541682 |    25925     44 |      907 |      880
1455.69/1456.22	c 1455s |      19 |   730096 |   542182 |    25925     44 |      907 |      880
1457.89/1458.43	c 1458s |      19 |   730776 |   542782 |    25925     44 |      907 |      880
1460.19/1460.79	c 1460s |      19 |   731423 |   543382 |    25925     44 |      907 |      880
1462.29/1462.84	c 1462s |      19 |   731960 |   543882 |    25925     44 |      907 |      880
1464.59/1465.14	c 1464s |      19 |   732498 |   544382 |    25925     44 |      907 |      880
1466.79/1467.31	c 1467s |      19 |   733036 |   544882 |    25925     44 |      907 |      880
1468.89/1469.42	c 1469s |      19 |   733559 |   545382 |    25925     44 |      907 |      880
1470.98/1471.50	c 1471s |      19 |   734109 |   545882 |    25925     44 |      907 |      880
1473.08/1473.62	c 1473s |      19 |   734662 |   546382 |    25925     44 |      907 |      880
1475.28/1475.85	c 1475s |      19 |   735192 |   546882 |    25925     44 |      907 |      880
1478.18/1478.74	c 1478s |      19 |   735737 |   547382 |    25925     45 |      907 |      880
1480.38/1480.97	c 1480s |      19 |   736377 |   547982 |    25925     45 |      907 |      880
1482.58/1483.12	c 1482s |      19 |   737020 |   548582 |    25925     45 |      907 |      880
1484.98/1485.50	c 1485s |      19 |   737672 |   549182 |    25925     45 |      907 |      880
1487.28/1487.82	c 1487s |      19 |   738291 |   549782 |    25925     45 |      907 |      880
1489.58/1490.10	c 1489s |      19 |   738927 |   550382 |    25925     45 |      907 |      880
1491.88/1492.43	c 1492s |      19 |   739592 |   550982 |    25925     45 |      907 |      880
1493.98/1494.55	c 1494s |      19 |   740106 |   551482 |    25925     45 |      907 |      880
1496.08/1496.65	c 1496s |      19 |   740637 |   551982 |    25925     45 |      907 |      880
1498.38/1498.98	c 1498s |      19 |   741272 |   552582 |    25925     45 |      907 |      880
1500.48/1501.03	c 1500s |      19 |   741781 |   553082 |    25925     45 |      907 |      880
1502.48/1503.09	c 1502s |      19 |   742319 |   553582 |    25925     45 |      907 |      880
1504.58/1505.18	c 1504s |      19 |   742849 |   554082 |    25925     45 |      907 |      880
1506.68/1507.27	c 1507s |      19 |   743373 |   554582 |    25925     45 |      907 |      880
1508.69/1509.30	c 1509s |      19 |   743917 |   555082 |    25925     45 |      907 |      880
1510.78/1511.40	c 1511s |      19 |   744458 |   555582 |    25925     45 |      907 |      880
1513.09/1513.66	c 1513s |      19 |   745004 |   556082 |    25925     45 |      907 |      880
1515.18/1515.70	c 1515s |      19 |   745566 |   556582 |    25925     45 |      907 |      880
1517.38/1517.90	c 1517s |      19 |   746086 |   557082 |    25925     45 |      907 |      880
1519.38/1519.97	c 1519s |      19 |   746494 |   557482 |    25925     45 |      907 |      880
1521.38/1521.98	c 1521s |      19 |   746916 |   557882 |    25925     45 |      907 |      880
1523.68/1524.28	c 1524s |      19 |   747462 |   558382 |    25925     45 |      907 |      880
1526.08/1526.65	c 1526s |      19 |   747983 |   558882 |    25925     45 |      907 |      880
1528.49/1529.06	c 1528s |      19 |   748528 |   559382 |    25925     45 |      907 |      880
1530.98/1531.50	c 1531s |      19 |   749072 |   559882 |    25925     45 |      907 |      880
1533.37/1533.92	c 1533s |      19 |   749624 |   560382 |    25925     45 |      907 |      880
1535.67/1536.29	c 1536s |      19 |   750160 |   560882 |    25925     45 |      907 |      880
1537.97/1538.57	c 1538s |      19 |   750718 |   561382 |    25925     45 |      907 |      880
1540.17/1540.72	c 1540s |      19 |   751172 |   561782 |    25925     46 |      907 |      880
1542.48/1543.01	c 1542s |      19 |   751830 |   562382 |    25925     46 |      907 |      880
1544.68/1545.20	c 1544s |      19 |   752478 |   562982 |    25925     46 |      907 |      880
1546.88/1547.46	c 1547s |      19 |   753112 |   563582 |    25925     46 |      907 |      880
1549.28/1549.81	c 1549s |      19 |   753769 |   564182 |    25925     46 |      907 |      880
1551.38/1551.98	c 1551s |      19 |   754431 |   564782 |    25925     46 |      907 |      880
1553.58/1554.10	c 1553s |      19 |   754982 |   565282 |    25925     46 |      907 |      880
1555.88/1556.45	c 1556s |      19 |   755651 |   565882 |    25925     46 |      907 |      880
1558.08/1558.63	c 1558s |      19 |   756197 |   566382 |    25925     46 |      907 |      880
1560.08/1560.68	c 1560s |      19 |   756607 |   566782 |    25925     46 |      907 |      880
1562.48/1563.05	c 1562s |      19 |   757136 |   567282 |    25925     46 |      907 |      880
1564.89/1565.42	c 1565s |      19 |   757771 |   567882 |    25925     46 |      907 |      880
1567.09/1567.63	c 1567s |      19 |   758316 |   568382 |    25925     46 |      907 |      880
1569.28/1569.89	c 1569s |      19 |   758879 |   568882 |    25925     46 |      907 |      880
1571.67/1572.20	c 1571s |      19 |   759406 |   569382 |    25925     46 |      907 |      880
1573.97/1574.56	c 1574s |      19 |   760060 |   569982 |    25925     46 |      907 |      880
1576.17/1576.78	c 1576s |      19 |   760597 |   570482 |    25925     46 |      907 |      880
1578.57/1579.12	c 1578s |      19 |   761147 |   570982 |    25925     46 |      907 |      880
1580.77/1581.35	c 1581s |      19 |   761563 |   571382 |    25925     46 |      907 |      880
1583.27/1583.85	c 1583s |      19 |   762099 |   571882 |    25925     46 |      907 |      880
1585.57/1586.16	c 1585s |      19 |   762654 |   572382 |    25925     46 |      907 |      880
1588.17/1588.72	c 1588s |      19 |   763189 |   572882 |    25925     46 |      907 |      880
1590.67/1591.22	c 1590s |      19 |   763732 |   573382 |    25925     46 |      907 |      880
1592.67/1593.26	c 1593s |      19 |   764165 |   573782 |    25925     46 |      907 |      880
1595.27/1595.80	c 1595s |      19 |   764707 |   574282 |    25925     46 |      907 |      880
1597.47/1598.04	c 1597s |      19 |   765151 |   574682 |    25925     46 |      907 |      880
1599.98/1600.53	c 1600s |      19 |   765707 |   575182 |    25925     46 |      907 |      880
1602.28/1602.85	c 1602s |      19 |   766135 |   575582 |    25925     46 |      907 |      880
1604.48/1605.04	c 1604s |      19 |   766574 |   575982 |    25925     46 |      907 |      880
1606.67/1607.22	c 1606s |      19 |   766905 |   576282 |    25925     47 |      907 |      880
1608.66/1609.25	c 1608s |      19 |   767445 |   576782 |    25925     47 |      907 |      880
1610.76/1611.37	c 1611s |      19 |   767966 |   577282 |    25925     47 |      907 |      880
1613.06/1613.67	c 1613s |      19 |   768638 |   577882 |    25925     47 |      907 |      880
1615.16/1615.78	c 1615s |      19 |   769283 |   578482 |    25925     47 |      907 |      880
1617.36/1617.99	c 1617s |      19 |   769906 |   579082 |    25925     47 |      907 |      880
1619.56/1620.17	c 1619s |      19 |   770553 |   579682 |    25925     47 |      907 |      880
1621.97/1622.57	c 1622s |      19 |   771181 |   580282 |    25925     47 |      907 |      880
1624.17/1624.71	c 1624s |      19 |   771719 |   580782 |    25925     47 |      907 |      880
1626.26/1626.83	c 1626s |      19 |   772242 |   581282 |    25925     47 |      907 |      880
1628.26/1628.86	c 1628s |      19 |   772764 |   581782 |    25925     47 |      907 |      880
1630.36/1630.99	c 1630s |      19 |   773284 |   582282 |    25925     47 |      907 |      880
1632.46/1633.05	c 1632s |      19 |   773830 |   582782 |    25925     47 |      907 |      880
1635.28/1635.88	c 1635s |      19 |   774456 |   583382 |    25925     47 |      907 |      880
1637.38/1638.00	c 1637s |      19 |   774968 |   583882 |    25925     47 |      907 |      880
1639.57/1640.12	c 1639s |      19 |   775499 |   584382 |    25925     47 |      907 |      880
1641.77/1642.39	c 1642s |      19 |   776020 |   584882 |    25925     47 |      907 |      880
1643.86/1644.50	c 1644s |      19 |   776567 |   585382 |    25925     47 |      907 |      880
1645.96/1646.58	c 1646s |      19 |   777110 |   585882 |    25925     47 |      907 |      880
1648.06/1648.68	c 1648s |      19 |   777649 |   586382 |    25925     47 |      907 |      880
1650.16/1650.79	c 1650s |      19 |   778175 |   586882 |    25925     47 |      907 |      880
1652.56/1653.11	c 1652s |      19 |   778699 |   587382 |    25925     47 |      907 |      880
1654.86/1655.40	c 1655s |      19 |   779223 |   587882 |    25925     47 |      907 |      880
1656.86/1657.41	c 1657s |      19 |   779650 |   588282 |    25925     47 |      907 |      880
1659.16/1659.76	c 1659s |      19 |   780192 |   588782 |    25925     47 |      907 |      880
1661.36/1661.96	c 1661s |      19 |   780721 |   589282 |    25925     47 |      907 |      880
1663.46/1664.00	c 1663s |      19 |   781147 |   589682 |    25925     47 |      907 |      880
1665.97/1666.51	c 1666s |      19 |   781674 |   590182 |    25925     47 |      907 |      880
1667.96/1668.55	c 1668s |      19 |   782081 |   590582 |    25925     47 |      907 |      880
1670.26/1670.89	c 1670s |      19 |   782523 |   590982 |    25925     48 |      907 |      880
1672.46/1673.00	c 1672s |      19 |   783037 |   591482 |    25925     48 |      907 |      880
1674.66/1675.29	c 1675s |      19 |   783674 |   592082 |    25925     48 |      907 |      880
1676.97/1677.55	c 1677s |      19 |   784313 |   592682 |    25925     48 |      907 |      880
1679.27/1679.89	c 1679s |      19 |   784963 |   593282 |    25925     48 |      907 |      880
1681.55/1682.15	c 1681s |      19 |   785609 |   593882 |    25925     48 |      907 |      880
1683.95/1684.53	c 1684s |      19 |   786249 |   594482 |    25925     48 |      907 |      880
1686.25/1686.80	c 1686s |      19 |   786904 |   595082 |    25925     48 |      907 |      880
1688.65/1689.22	c 1688s |      19 |   787543 |   595682 |    25925     48 |      907 |      880
1691.05/1691.62	c 1691s |      19 |   788184 |   596282 |    25925     48 |      907 |      880
1693.25/1693.82	c 1693s |      19 |   788842 |   596882 |    25925     48 |      907 |      880
1695.55/1696.14	c 1695s |      19 |   789510 |   597482 |    25925     48 |      907 |      880
1697.55/1698.18	c 1697s |      19 |   790046 |   597982 |    25925     48 |      907 |      880
1699.75/1700.37	c 1700s |      19 |   790569 |   598482 |    25925     48 |      907 |      880
1702.15/1702.79	c 1702s |      19 |   791198 |   599082 |    25925     48 |      907 |      880
1704.65/1705.24	c 1704s |      19 |   791712 |   599582 |    25925     48 |      907 |      880
1706.85/1707.42	c 1707s |      19 |   792248 |   600082 |    25925     48 |      907 |      880
1709.25/1709.86	c 1709s |      19 |   792760 |   600582 |    25925     48 |      907 |      880
1711.25/1711.87	c 1711s |      19 |   793167 |   600982 |    25925     48 |      907 |      880
1713.65/1714.26	c 1714s |      19 |   793589 |   601382 |    25925     48 |      907 |      880
1716.05/1716.65	c 1716s |      19 |   794110 |   601882 |    25925     48 |      907 |      880
1718.54/1719.10	c 1718s |      19 |   794642 |   602382 |    25925     48 |      907 |      880
1720.54/1721.18	c 1720s |      19 |   795056 |   602782 |    25925     48 |      907 |      880
1722.54/1723.18	c 1722s |      19 |   795473 |   603182 |    25925     48 |      907 |      880
1724.64/1725.21	c 1724s |      19 |   795895 |   603582 |    25925     48 |      907 |      880
1726.74/1727.31	c 1727s |      19 |   796312 |   603982 |    25925     48 |      907 |      880
1729.04/1729.60	c 1729s |      19 |   796730 |   604382 |    25925     48 |      907 |      880
1731.24/1731.80	c 1731s |      19 |   797162 |   604782 |    25925     48 |      907 |      880
1733.64/1734.20	c 1733s |      19 |   797474 |   605082 |    25925     49 |      907 |      880
1735.94/1736.51	c 1736s |      19 |   798099 |   605682 |    25925     49 |      907 |      880
1738.04/1738.68	c 1738s |      19 |   798628 |   606182 |    25925     49 |      907 |      880
1740.44/1741.01	c 1740s |      19 |   799273 |   606782 |    25925     49 |      907 |      880
1742.64/1743.24	c 1742s |      19 |   799806 |   607282 |    25925     49 |      907 |      880
1745.16/1745.75	c 1745s |      19 |   800347 |   607782 |    25925     49 |      907 |      880
1747.65/1748.23	c 1747s |      19 |   800767 |   608182 |    25925     49 |      907 |      880
1749.75/1750.35	c 1750s |      19 |   801188 |   608582 |    25925     49 |      907 |      880
1752.25/1752.80	c 1752s |      19 |   801804 |   609182 |    25925     49 |      907 |      880
1754.65/1755.21	c 1754s |      19 |   802362 |   609682 |    25925     49 |      907 |      880
1756.95/1757.54	c 1757s |      19 |   802890 |   610182 |    25925     49 |      907 |      880
1759.25/1759.82	c 1759s |      19 |   803414 |   610682 |    25925     49 |      907 |      880
1761.45/1762.09	c 1761s |      19 |   803936 |   611182 |    25925     49 |      907 |      880
1763.54/1764.11	c 1763s |      19 |   804354 |   611582 |    25925     49 |      907 |      880
1765.94/1766.52	c 1766s |      19 |   804885 |   612082 |    25925     49 |      907 |      880
1768.35/1768.94	c 1768s |      19 |   805427 |   612582 |    25925     49 |      907 |      880
1770.64/1771.27	c 1771s |      19 |   805971 |   613082 |    25925     49 |      907 |      880
1772.94/1773.52	c 1773s |      19 |   806510 |   613582 |    25925     49 |      907 |      880
1774.95/1775.59	c 1775s |      19 |   806938 |   613982 |    25925     49 |      907 |      880
1777.24/1777.85	c 1777s |      19 |   807360 |   614382 |    25925     49 |      907 |      880
1779.35/1779.98	c 1779s |      19 |   807773 |   614782 |    25925     49 |      907 |      880
1781.64/1782.25	c 1781s |      19 |   808188 |   615182 |    25925     49 |      907 |      880
1783.84/1784.46	c 1784s |      19 |   808605 |   615582 |    25925     49 |      907 |      880
1786.04/1786.64	c 1786s |      19 |   809025 |   615982 |    25925     49 |      907 |      880
1788.44/1789.03	c 1788s |      19 |   809430 |   616382 |    25925     49 |      907 |      880
1790.64/1791.27	c 1791s |      19 |   809837 |   616782 |    25925     49 |      907 |      880
1792.84/1793.43	c 1793s |      19 |   810266 |   617182 |    25925     49 |      907 |      880
1795.33/1795.93	c 1795s |      19 |   810777 |   617682 |    25925     49 |      907 |      880
1797.43/1798.08	c 1797s |      19 |   811303 |   618182 |    25925     49 |      907 |      880
1799.73/1800.32	c 1800s |      19 |   811839 |   618682 |    25925     49 |      907 |      880

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4116301-1466968768/watcher-4116301-1466968768 -o /tmp/evaluation-result-4116301-1466968768/solver-4116301-1466968768 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466939688-32512 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116301-1466968768.opb 

pid=3782
running on 8 cores: 4-7,12-15

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.12 2.11 2.06 3/261 3785
/proc/meminfo: memFree=30826080/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1137220 CPUtime=0 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 4320 0 0 0 0 0 0 0 20 0 4 0 29915019 1164513280 4170 33554432000 4194304 16246674 140736607117888 140736607116824 13880264 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 285073 4179 442 2943 0 281967 0
[pid=3785/tid=3786] ppid=3782 vsize=1186372 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1214844928 4361 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1191492 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1220087808 4382 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1195588 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29915019 1224282112 4398 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0

[startup+0.100137 s]
/proc/loadavg: 2.12 2.11 2.06 3/261 3785
/proc/meminfo: memFree=30826080/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1220164 CPUtime=0.09 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 28280 0 0 0 6 3 0 0 20 0 4 0 29915019 1249447936 28068 33554432000 4194304 16246674 140736607117888 140736607117200 4220897 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 305041 28068 802 2943 0 301935 0
[pid=3785/tid=3786] ppid=3782 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1249447936 28068 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1249447936 28068 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1249447936 28068 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200496 s]
/proc/loadavg: 2.12 2.11 2.06 3/261 3785
/proc/meminfo: memFree=30826080/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1301060 CPUtime=0.19 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 48487 0 0 0 13 6 0 0 20 0 4 0 29915019 1332285440 48275 33554432000 4194304 16246674 140736607117888 140736607117200 13954865 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 325265 48275 843 2943 0 322159 0
[pid=3785/tid=3786] ppid=3782 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1332285440 48275 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1332285440 48275 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1332285440 48275 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300466 s]
/proc/loadavg: 2.12 2.11 2.06 3/261 3785
/proc/meminfo: memFree=30826080/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1301060 CPUtime=0.29 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 50979 0 0 0 23 6 0 0 20 0 4 0 29915019 1332285440 50767 33554432000 4194304 16246674 140736607117888 140736607117200 5711820 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 325265 50773 883 2943 0 322159 0
[pid=3785/tid=3786] ppid=3782 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1332285440 50777 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1332285440 50782 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1332285440 50786 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700395 s]
/proc/loadavg: 2.12 2.11 2.06 3/261 3785
/proc/meminfo: memFree=30826080/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1301060 CPUtime=0.69 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 103335 0 0 0 56 13 0 0 20 0 4 0 29915019 1332285440 103123 33554432000 4194304 16246674 140736607117888 140736607099776 5662075 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 325265 103127 883 2943 0 322159 0
[pid=3785/tid=3786] ppid=3782 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1332285440 103130 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1332285440 103135 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1332285440 103141 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50041 s]
/proc/loadavg: 2.12 2.11 2.06 3/265 3789
/proc/meminfo: memFree=30194076/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1301060 CPUtime=1.49 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 217156 0 0 0 121 28 0 0 20 0 4 0 29915019 1332285440 216944 33554432000 4194304 16246674 140736607117888 140736607099776 12468301 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 325265 216949 883 2943 0 322159 0
[pid=3785/tid=3786] ppid=3782 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1332285440 216952 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1332285440 216956 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1332285440 216959 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10034 s]
/proc/loadavg: 2.12 2.11 2.06 3/265 3789
/proc/meminfo: memFree=29750528/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1312324 CPUtime=3.09 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 269151 0 0 0 274 35 0 0 20 0 4 0 29915019 1343819776 268939 33554432000 4194304 16246674 140736607117888 140736607100888 5711688 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 328081 268939 890 2943 0 324975 0
[pid=3785/tid=3786] ppid=3782 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1343819776 268939 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1343819776 268939 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1343819776 268939 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30042 s]
/proc/loadavg: 2.11 2.11 2.06 3/265 3789
/proc/meminfo: memFree=29749728/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1312324 CPUtime=6.29 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 269272 0 0 0 594 35 0 0 20 0 4 0 29915019 1343819776 269060 33554432000 4194304 16246674 140736607117888 140736607099776 12483337 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 328081 269060 890 2943 0 324975 0
[pid=3785/tid=3786] ppid=3782 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1343819776 269060 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1343819776 269060 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1343819776 269060 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 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.10 2.11 2.06 3/265 3789
/proc/meminfo: memFree=29749412/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1312324 CPUtime=12.69 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 269274 0 0 0 1234 35 0 0 20 0 4 0 29915019 1343819776 269062 33554432000 4194304 16246674 140736607117888 140736607099776 5600275 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 328081 269062 892 2943 0 324975 0
[pid=3785/tid=3786] ppid=3782 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1343819776 269062 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1343819776 269062 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1343819776 269062 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 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.08 2.10 2.06 3/265 3789
/proc/meminfo: memFree=29750152/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1312324 CPUtime=25.49 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 269275 0 0 0 2514 35 0 0 20 0 4 0 29915019 1343819776 269063 33554432000 4194304 16246674 140736607117888 140736607099776 5600232 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 328081 269063 893 2943 0 324975 0
[pid=3785/tid=3786] ppid=3782 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1343819776 269063 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1343819776 269063 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1343819776 269063 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 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.12 2.11 2.06 3/266 3792
/proc/meminfo: memFree=29750260/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1312324 CPUtime=51.08 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 269275 0 0 0 5073 35 0 0 20 0 4 0 29915019 1343819776 269063 33554432000 4194304 16246674 140736607117888 140736607099776 5824098 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 328081 269063 893 2943 0 324975 0
[pid=3785/tid=3786] ppid=3782 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1343819776 269063 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1343819776 269063 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1343819776 269063 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 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.12 2.11 2.06 3/265 3793
/proc/meminfo: memFree=29749428/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1312324 CPUtime=102.28 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 269275 0 0 0 10193 35 0 0 20 0 4 0 29915019 1343819776 269063 33554432000 4194304 16246674 140736607117888 140736607099776 5523208 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 328081 269063 893 2943 0 324975 0
[pid=3785/tid=3786] ppid=3782 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1343819776 269063 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1343819776 269063 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1343819776 269063 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1336900

[startup+1302.3 s]
/proc/loadavg: 2.13 2.06 2.04 3/265 3873
/proc/meminfo: memFree=29726764/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1336900 CPUtime=1301.81 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 275841 0 0 0 130138 43 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140736607099776 5822604 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 334225 275464 893 2943 0 331119 0
[pid=3785/tid=3786] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1336900

[startup+1362.3 s]
/proc/loadavg: 2.17 2.09 2.05 3/266 3875
/proc/meminfo: memFree=29725576/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1336900 CPUtime=1361.8 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 275841 0 0 0 136137 43 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140736607099776 5672188 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 334225 275464 893 2943 0 331119 0
[pid=3785/tid=3786] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1336900

[startup+1422.3 s]
/proc/loadavg: 2.16 2.10 2.06 3/265 3877
/proc/meminfo: memFree=29725444/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1336900 CPUtime=1421.8 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 275841 0 0 0 142136 44 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140736607099776 5861144 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 334225 275464 893 2943 0 331119 0
[pid=3785/tid=3786] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1336900

[startup+1482.3 s]
/proc/loadavg: 2.10 2.09 2.06 3/265 3878
/proc/meminfo: memFree=29725512/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1336900 CPUtime=1481.78 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 275841 0 0 0 148134 44 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140736607099776 5721265 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 334225 275464 893 2943 0 331119 0
[pid=3785/tid=3786] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1336900

[startup+1542.31 s]
/proc/loadavg: 2.07 2.09 2.06 3/265 3879
/proc/meminfo: memFree=29725228/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1336900 CPUtime=1541.79 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 275841 0 0 0 154134 45 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140736607099776 5546219 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 334225 275464 893 2943 0 331119 0
[pid=3785/tid=3786] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1336900

[startup+1602.3 s]
/proc/loadavg: 2.10 2.09 2.06 3/265 3880
/proc/meminfo: memFree=29724816/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1336900 CPUtime=1601.76 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 275841 0 0 0 160131 45 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140736607099776 13950192 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 334225 275464 893 2943 0 331119 0
[pid=3785/tid=3786] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1336900

[startup+1662.3 s]
/proc/loadavg: 2.03 2.07 2.05 3/265 3881
/proc/meminfo: memFree=29707652/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1336900 CPUtime=1661.76 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 275843 0 0 0 166130 46 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140736607099776 5823355 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 334225 275464 893 2943 0 331119 0
[pid=3785/tid=3786] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1336900

[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 2.04 3/265 3883
/proc/meminfo: memFree=29707024/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1336900 CPUtime=1721.74 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 275843 0 0 0 172128 46 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140736607099776 5822428 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 334225 275464 893 2943 0 331119 0
[pid=3785/tid=3786] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1336900

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.04 3/265 3884
/proc/meminfo: memFree=29707360/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1336900 CPUtime=1781.74 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 275843 0 0 0 178127 47 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140736607099776 5827966 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 334225 275464 893 2943 0 331119 0
[pid=3785/tid=3786] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1336900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.07 2.05 2.04 3/265 3884
/proc/meminfo: memFree=29707160/32872528 swapFree=7556/7556
[pid=3785] ppid=3782 vsize=1336900 CPUtime=1800.03 cores=4-7,12-15
/proc/3785/stat : 3785 (toysat) R 3782 3785 32495 0 -1 4202496 275843 0 0 0 179956 47 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140736607099776 5677844 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3785/statm: 334225 275464 893 2943 0 331119 0
[pid=3785/tid=3786] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3786/stat : 3786 (toysat) S 3782 3785 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428167851248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3785/tid=3787] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3787/stat : 3787 (toysat) S 3782 3785 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428157361392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3785/tid=3788] ppid=3782 vsize=1336900 CPUtime=0 cores=4-7,12-15
/proc/3785/task/3788/stat : 3788 (toysat) S 3782 3785 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29915019 1368985600 275464 33554432000 4194304 16246674 140736607117888 140428146887856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1336900

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.57
CPU system time (s): 0.477927
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 1336900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.477927
maximum resident set size= 1101856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275843
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= 439
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.2336 second user time and 13.08 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 21:19:28
IDJOB=4116301
IDBENCH=109453
IDSOLVER=2542
FILE ID=node132/4116301-1466968768
RUNJOBID= node132-1466939688-32512
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-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-4116301-1466968768/watcher-4116301-1466968768 -o /tmp/evaluation-result-4116301-1466968768/solver-4116301-1466968768 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466939688-32512 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116301-1466968768.opb

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

MD5SUM BENCH= 0338c26fe3fe51bf95d6969791a1c434
RANDOM SEED=917364605

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30825764 kB
Buffers:           49276 kB
Cached:           184016 kB
SwapCached:         1784 kB
Active:          1160112 kB
Inactive:         170228 kB
Active(anon):    1097276 kB
Inactive(anon):     1700 kB
Active(file):      62836 kB
Inactive(file):   168528 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             16992 kB
Writeback:             0 kB
AnonPages:       1105372 kB
Mapped:            10780 kB
Shmem:                 0 kB
Slab:             571648 kB
SReclaimable:      12208 kB
SUnreclaim:       559440 kB
KernelStack:        2256 kB
PageTables:         6440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1247144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    804864 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= 71496 MiB
End job on node132 at 2016-06-26 21:49:29