Trace number 4117173

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T17:48:18+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-4117173-1466956098.opb"]
0.00/0.01	c use --random-gen="3170084262 2181856981 413805325 3497876885 1769340470 215755213 725179995 521040773 1615824091 2319257845 34760371 3917584619 2809613309 2095753529 2181645415 2355577975 3194726022 322867783 4021886740 2500835745 1432068811 2638786873 4278552315 4126759132 1488379280 1158851999 1654646347 3777921147 1194435003 2358746330 2263006796 1919842903 1849655231 2805891914 2617312032 3731190384 2509124247 3675859069 1486662395 49389247 1577302871 2232511530 992264242 1015874509 2339078530 3110569269 352014967 1051474240 3737125175 2446276106 2346639360 1611421983 281873577 1868025256 101362863 3541109533 484448846 2592364406 642232534 3900736598 1415282044 4044258289 2113140063 3671167322 3946602387 1164246307 4169929488 970877312 1202108148 2736974170 1924972403 1047935052 4030884381 1494930229 2723242777 3183156609 1503755353 3792356145 3420919186 162237231 612467816 3409952131 3250752079 1541841184 2841219817 530118075 2858241547 3246015383 3910831514 3602799999 2907936525 2203782696 929189003 3486419118 4238793846 1822806401 1792589901 4192034738 219187707 4118726723 1876153547 1684738377 2786243499 3115139918 2012307498 2426590016 717888050 974611194 890502919 3155186008 1664412859 2647074897 2597063693 785476031 1410088713 1168005777 4279876801 4154457065 933326182 774154386 3340148797 4059163683 4275823412 2202656098 2075749476 3234920432 1327065571 2448335131 2730743884 1179773447 4154138221 8368294 3931174207 879671568 2222633741 1389512405 136503750 2215136909 1049227751 2150661058 613926096 3093813746 1926100818 3509476913 3458855615 964854699 157263571 1319858529 419111175 3920496840 1861321146 2941218116 1222599123 4005817731 4030875580 91747318 3558318124 1305134353 2664848641 2018384589 3365468087 3623837628 1537025627 2398928464 545136837 2066242529 1368426995 237732200 3263822109 3297717935 3984734606 794544354 2496928633 823097816 3204935475 1926994535 2237609865 3533288006 892280184 878230147 3003584982 2357064934 3092877853 1542930985 530727514 1412748137 388976840 1989280319 1216546378 452271109 1731706589 3762419184 106141815 4199478327 883383791 557841375 336988678 213524015 403220958 194016472 3210852653 2460140615 1227506547 336616865 2640383778 2786503427 4005273628 884770724 3630369720 3341534001 1791992352 2641851998 3339119634 1663439791 1651424745 2549483782 2765383551 2469408354 2346503446 343525197 675359196 1262370502 3442210068 1110991243 3421878673 2482616242 659857035 1399789462 734983575 2399568042 2353160369 1772056545 2842992908 4113357657 2212742942 3635681973 285941680 882770435 1910424020 1718279766 2525044431 1308829659 1194645688 176933012 164788004 2099554327 388591124 2651851659 845621531 325126791 129216662 2080381431 877077276 704141332 805073986 43971325 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8656
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 |      579 |        0
0.29/0.32	c  0.1s |       1 |      678 |      100 |     4234      0 |      580 |      316
0.39/0.42	c  0.2s |       2 |     2369 |      250 |     4658      0 |      581 |      316
0.59/0.66	c  0.4s |       3 |     4765 |      475 |     5124      0 |      581 |      316
0.89/0.90	c  0.6s |       4 |     6786 |      813 |     5637      0 |      581 |      316
1.20/1.29	c  1.0s |       5 |    10947 |     1320 |     6201      0 |      581 |      316
1.89/1.92	c  1.7s |       6 |    15112 |     2081 |     7505      0 |      581 |      316
3.09/3.10	c  2.8s |       7 |    19826 |     3223 |     8256      0 |      581 |      316
4.59/4.63	c  4.4s |       8 |    26398 |     4936 |     9082      0 |      581 |      316
6.69/6.71	c  6.5s |       8 |    29865 |     6636 |     9082      0 |      581 |      316
8.08/8.11	c  7.9s |       9 |    30818 |     7506 |     9991      0 |      581 |      316
10.08/10.11	c  9.9s |       9 |    36524 |     9706 |     9991      0 |      581 |      316
11.78/11.89	c 11.6s |      10 |    38769 |    11361 |    10991      0 |      581 |      316
13.88/13.97	c 13.7s |      10 |    48728 |    13461 |    10991      1 |      581 |      316
15.98/16.02	c 15.8s |      10 |    65041 |    16061 |    10991      1 |      581 |      316
17.08/17.16	c 16.9s |      11 |    68516 |    17144 |    12091      1 |      581 |      316
19.08/19.18	c 18.9s |      11 |    75585 |    18844 |    12091      1 |      581 |      316
21.18/21.23	c 21.0s |      11 |    80174 |    20644 |    12091      1 |      581 |      316
23.28/23.38	c 23.1s |      11 |    81366 |    21644 |    12091      1 |      581 |      316
25.39/25.47	c 25.2s |      11 |    82411 |    22544 |    12091      2 |      581 |      316
27.49/27.55	c 27.3s |      11 |    83542 |    23544 |    12091      2 |      581 |      316
29.58/29.64	c 29.4s |      11 |    84807 |    24544 |    12091      2 |      581 |      316
31.68/31.71	c 31.5s |      11 |    85701 |    25344 |    12091      2 |      581 |      316
32.99/33.10	c 32.8s |      12 |    86262 |    25819 |    13301      2 |      581 |      316
35.08/35.18	c 34.9s |      12 |    91212 |    27719 |    13301      2 |      581 |      316
37.18/37.28	c 37.0s |      12 |    93167 |    29019 |    13301      2 |      581 |      316
39.38/39.49	c 39.2s |      12 |    95215 |    30119 |    13301      3 |      581 |      316
41.48/41.54	c 41.3s |      12 |    98584 |    31919 |    13301      3 |      581 |      316
43.58/43.62	c 43.4s |      12 |   101843 |    33619 |    13301      3 |      581 |      316
45.58/45.66	c 45.4s |      12 |   104910 |    35319 |    13301      3 |      581 |      316
47.68/47.76	c 47.5s |      12 |   106619 |    36619 |    13301      3 |      581 |      316
49.89/49.91	c 49.7s |      12 |   107919 |    37619 |    13301      3 |      581 |      316
51.99/52.05	c 51.8s |      12 |   109609 |    38619 |    14632      4 |      581 |      316
52.39/52.44	c 52.2s |      13 |   109891 |    38832 |    14632      4 |      581 |      316
54.48/54.53	c 54.3s |      13 |   115237 |    40432 |    14632      4 |      581 |      316
56.48/56.55	c 56.3s |      13 |   116998 |    41732 |    14632      4 |      581 |      316
58.58/58.69	c 58.4s |      13 |   118370 |    42932 |    14632      4 |      581 |      316
60.98/61.02	c 60.8s |      13 |   119711 |    44032 |    14632      4 |      581 |      316
62.98/63.05	c 62.8s |      13 |   120846 |    45032 |    14632      4 |      581 |      316
64.99/65.08	c 64.8s |      13 |   121715 |    45832 |    14632      4 |      581 |      316
67.09/67.15	c 66.9s |      13 |   124054 |    47032 |    14632      4 |      581 |      316
69.29/69.30	c 69.1s |      13 |   126334 |    48132 |    14632      5 |      581 |      316
71.28/71.34	c 71.1s |      13 |   129525 |    49232 |    14632      5 |      581 |      316
73.38/73.44	c 73.2s |      13 |   131247 |    50532 |    14632      5 |      581 |      316
75.58/75.62	c 75.4s |      13 |   132247 |    51432 |    14632      5 |      581 |      316
77.78/77.81	c 77.6s |      13 |   133120 |    52232 |    14632      5 |      581 |      316
79.78/79.84	c 79.6s |      13 |   133874 |    52932 |    14632      5 |      581 |      316
81.98/82.00	c 81.7s |      13 |   134649 |    53632 |    14632      5 |      581 |      316
84.18/84.21	c 84.0s |      13 |   135496 |    54432 |    14632      5 |      581 |      316
86.18/86.23	c 86.0s |      13 |   136253 |    55132 |    14632      5 |      581 |      316
88.18/88.29	c 88.0s |      13 |   137013 |    55832 |    14632      5 |      581 |      316
90.48/90.59	c 90.3s |      13 |   138194 |    56732 |    14632      5 |      581 |      316
92.68/92.72	c 92.5s |      13 |   138957 |    57432 |    14632      6 |      581 |      316
94.88/94.96	c 94.7s |      13 |   139936 |    58332 |    16096      6 |      581 |      316
94.98/95.00	c 94.7s |      14 |   139959 |    58352 |    16096      6 |      581 |      316
96.98/97.06	c 96.8s |      14 |   148563 |    60752 |    16096      6 |      581 |      316
98.98/99.08	c 98.8s |      14 |   153508 |    62552 |    16096      6 |      581 |      316
101.07/101.18	c  100s |      14 |   155154 |    63852 |    16096      6 |      581 |      316
103.17/103.23	c  102s |      14 |   156183 |    64752 |    16096      6 |      581 |      316
105.27/105.34	c  105s |      14 |   157046 |    65552 |    16096      6 |      581 |      316
107.27/107.39	c  107s |      14 |   157943 |    66352 |    16096      6 |      581 |      316
109.37/109.46	c  109s |      14 |   158708 |    67052 |    16096      6 |      581 |      316
111.67/111.75	c  111s |      14 |   159384 |    67652 |    16096      7 |      581 |      316
113.87/113.90	c  113s |      14 |   161257 |    68952 |    16096      7 |      581 |      316
115.97/116.04	c  115s |      14 |   162683 |    70052 |    16096      7 |      581 |      316
118.07/118.11	c  117s |      14 |   164132 |    71152 |    16096      7 |      581 |      316
120.17/120.24	c  119s |      14 |   165207 |    72052 |    16096      7 |      581 |      316
122.27/122.31	c  122s |      14 |   166373 |    72952 |    16096      7 |      581 |      316
124.38/124.44	c  124s |      14 |   167360 |    73752 |    16096      7 |      581 |      316
126.67/126.78	c  126s |      14 |   168308 |    74552 |    16096      7 |      581 |      316
128.87/128.93	c  128s |      14 |   169088 |    75252 |    16096      7 |      581 |      316
131.07/131.15	c  130s |      14 |   169915 |    75952 |    16096      7 |      581 |      316
133.27/133.38	c  133s |      14 |   170714 |    76652 |    16096      7 |      581 |      316
135.57/135.62	c  135s |      14 |   171396 |    77252 |    16096      8 |      581 |      316
137.67/137.73	c  137s |      14 |   172067 |    77852 |    16096      8 |      581 |      316
139.86/139.95	c  139s |      14 |   172844 |    78552 |    16096      8 |      581 |      316
141.97/142.06	c  141s |      14 |   173531 |    79152 |    16096      8 |      581 |      316
144.27/144.39	c  144s |      14 |   174501 |    79752 |    16096      8 |      581 |      316
146.47/146.50	c  146s |      14 |   178198 |    81452 |    16096      8 |      581 |      316
148.67/148.70	c  148s |      14 |   179977 |    82752 |    16096      8 |      581 |      316
150.78/150.83	c  150s |      14 |   181199 |    83752 |    16096      8 |      581 |      316
152.87/152.92	c  152s |      14 |   185848 |    85252 |    16096      8 |      581 |      316
154.97/155.06	c  154s |      14 |   187652 |    86552 |    16096      8 |      581 |      316
156.57/156.69	c  156s |      15 |   191108 |    87632 |    17706      9 |      581 |      316
158.66/158.76	c  158s |      15 |   197195 |    89532 |    17706      9 |      581 |      316
160.76/160.89	c  160s |      15 |   199842 |    91232 |    17706      9 |      581 |      316
162.87/162.93	c  162s |      15 |   200985 |    92132 |    17706      9 |      581 |      316
164.97/165.02	c  164s |      15 |   202393 |    93232 |    17706      9 |      581 |      316
167.17/167.25	c  166s |      15 |   203313 |    94032 |    17706      9 |      581 |      316
169.26/169.37	c  169s |      15 |   204368 |    94932 |    17706      9 |      581 |      316
171.46/171.51	c  171s |      15 |   205849 |    96032 |    17706      9 |      581 |      316
173.66/173.74	c  173s |      15 |   206986 |    96932 |    17706      9 |      581 |      316
175.76/175.89	c  175s |      15 |   207819 |    97632 |    17706      9 |      581 |      316
177.96/178.02	c  177s |      15 |   208657 |    98332 |    17706     10 |      581 |      316
179.96/180.08	c  179s |      15 |   209345 |    98932 |    17706     10 |      581 |      316
182.36/182.43	c  182s |      15 |   210197 |    99632 |    17706     10 |      581 |      316
184.56/184.63	c  184s |      15 |   211163 |   100432 |    17706     10 |      581 |      316
186.76/186.84	c  186s |      15 |   212111 |   101232 |    17706     10 |      581 |      316
188.76/188.87	c  188s |      15 |   212909 |   101932 |    17706     10 |      581 |      316
191.07/191.16	c  190s |      15 |   213858 |   102732 |    17706     10 |      581 |      316
193.16/193.25	c  192s |      15 |   214671 |   103432 |    17706     10 |      581 |      316
195.36/195.41	c  195s |      15 |   215608 |   104232 |    17706     10 |      581 |      316
197.46/197.55	c  197s |      15 |   216298 |   104832 |    17706     10 |      581 |      316
199.66/199.72	c  199s |      15 |   216973 |   105432 |    17706     10 |      581 |      316
201.76/201.80	c  201s |      15 |   217581 |   105932 |    17706     10 |      581 |      316
203.76/203.89	c  203s |      15 |   218259 |   106532 |    17706     10 |      581 |      316
205.86/205.97	c  205s |      15 |   218711 |   106932 |    17706     10 |      581 |      316
208.06/208.16	c  207s |      15 |   219308 |   107432 |    17706     10 |      581 |      316
210.17/210.23	c  209s |      15 |   219910 |   107932 |    17706     10 |      581 |      316
212.86/212.90	c  212s |      15 |   220479 |   108432 |    17706     11 |      581 |      316
214.96/215.09	c  214s |      15 |   221186 |   109032 |    17706     11 |      581 |      316
217.16/217.22	c  216s |      15 |   221878 |   109632 |    17706     11 |      581 |      316
219.46/219.56	c  219s |      15 |   222450 |   110132 |    17706     11 |      581 |      316
221.66/221.70	c  221s |      15 |   223147 |   110732 |    17706     11 |      581 |      316
223.76/223.84	c  223s |      15 |   223834 |   111332 |    17706     11 |      581 |      316
225.85/225.97	c  225s |      15 |   224501 |   111932 |    17706     11 |      581 |      316
228.25/228.34	c  228s |      15 |   225190 |   112532 |    17706     11 |      581 |      316
230.25/230.36	c  230s |      15 |   225633 |   112932 |    17706     11 |      581 |      316
232.25/232.38	c  232s |      15 |   226202 |   113432 |    17706     11 |      581 |      316
234.36/234.43	c  234s |      15 |   226970 |   114032 |    17706     11 |      581 |      316
236.46/236.52	c  236s |      15 |   227668 |   114632 |    17706     11 |      581 |      316
238.55/238.62	c  238s |      15 |   228410 |   115232 |    17706     11 |      581 |      316
240.55/240.69	c  240s |      15 |   228994 |   115732 |    17706     11 |      581 |      316
242.95/243.02	c  242s |      15 |   229705 |   116332 |    17706     11 |      581 |      316
244.95/245.02	c  244s |      15 |   230386 |   116932 |    17706     11 |      581 |      316
247.15/247.28	c  247s |      15 |   231083 |   117532 |    17706     11 |      581 |      316
249.66/249.71	c  249s |      15 |   231759 |   118132 |    17706     11 |      581 |      316
251.96/252.04	c  251s |      15 |   232308 |   118632 |    17706     11 |      581 |      316
254.35/254.40	c  254s |      15 |   232910 |   119132 |    17706     12 |      581 |      316
256.45/256.56	c  256s |      15 |   233575 |   119732 |    17706     12 |      581 |      316
258.85/258.92	c  258s |      15 |   234269 |   120332 |    17706     12 |      581 |      316
260.85/260.99	c  260s |      15 |   234816 |   120832 |    17706     12 |      581 |      316
262.96/263.03	c  262s |      15 |   235528 |   121432 |    17706     12 |      581 |      316
265.06/265.19	c  264s |      15 |   236234 |   122032 |    17706     12 |      581 |      316
267.45/267.55	c  267s |      15 |   236950 |   122632 |    17706     12 |      581 |      316
269.85/269.94	c  269s |      15 |   237634 |   123232 |    17706     12 |      581 |      316
271.95/272.08	c  271s |      15 |   238082 |   123632 |    17706     12 |      581 |      316
274.45/274.57	c  274s |      15 |   238795 |   124232 |    17706     12 |      581 |      316
276.85/276.94	c  276s |      15 |   239365 |   124732 |    17706     12 |      581 |      316
279.25/279.32	c  279s |      15 |   240070 |   125332 |    17706     12 |      581 |      316
281.35/281.40	c  281s |      15 |   240764 |   125932 |    17706     12 |      581 |      316
283.45/283.58	c  283s |      15 |   241455 |   126532 |    17706     12 |      581 |      316
285.65/285.71	c  285s |      15 |   242127 |   127132 |    17706     12 |      581 |      316
287.95/288.00	c  287s |      15 |   242677 |   127632 |    17706     12 |      581 |      316
289.95/290.00	c  289s |      15 |   243143 |   128032 |    17706     12 |      581 |      316
292.15/292.24	c  291s |      15 |   243753 |   128532 |    17706     12 |      581 |      316
294.65/294.72	c  294s |      15 |   244292 |   129032 |    17706     12 |      581 |      316
297.05/297.15	c  296s |      15 |   244713 |   129432 |    17706     13 |      581 |      316
299.15/299.27	c  299s |      15 |   245259 |   129932 |    17706     13 |      581 |      316
301.35/301.47	c  301s |      15 |   245828 |   130432 |    17706     13 |      581 |      316
303.65/303.74	c  303s |      15 |   246503 |   131032 |    19477     13 |      581 |      316
305.64/305.71	c  305s |      16 |   247104 |   131552 |    19477     13 |      581 |      316
307.74/307.81	c  307s |      16 |   252842 |   133452 |    19477     13 |      581 |      316
309.84/309.90	c  309s |      16 |   261009 |   135852 |    19477     13 |      581 |      316
311.84/311.91	c  311s |      16 |   263930 |   137652 |    19477     13 |      581 |      316
313.84/313.93	c  313s |      16 |   266213 |   139052 |    19477     13 |      581 |      316
315.94/316.03	c  315s |      16 |   269254 |   140452 |    19477     13 |      581 |      316
317.95/318.03	c  317s |      16 |   271361 |   141552 |    19477     14 |      581 |      316
319.94/320.04	c  319s |      16 |   274220 |   143052 |    19477     14 |      581 |      316
322.04/322.14	c  321s |      16 |   275890 |   144252 |    19477     14 |      581 |      316
324.24/324.30	c  324s |      16 |   277209 |   145252 |    19477     14 |      581 |      316
326.44/326.53	c  326s |      16 |   278320 |   146152 |    19477     14 |      581 |      316
328.44/328.59	c  328s |      16 |   279145 |   146852 |    19477     14 |      581 |      316
330.74/330.82	c  330s |      16 |   280325 |   147852 |    19477     14 |      581 |      316
332.74/332.87	c  332s |      16 |   281273 |   148652 |    19477     14 |      581 |      316
334.94/335.03	c  334s |      16 |   282187 |   149452 |    19477     14 |      581 |      316
336.94/337.05	c  336s |      16 |   283003 |   150152 |    19477     14 |      581 |      316
339.14/339.22	c  338s |      16 |   284534 |   151152 |    19477     14 |      581 |      316
341.24/341.37	c  341s |      16 |   285891 |   152052 |    19477     14 |      581 |      316
343.44/343.52	c  343s |      16 |   286885 |   152852 |    19477     15 |      581 |      316
345.44/345.55	c  345s |      16 |   288035 |   153752 |    19477     15 |      581 |      316
347.54/347.65	c  347s |      16 |   289088 |   154652 |    19477     15 |      581 |      316
349.74/349.85	c  349s |      16 |   290025 |   155452 |    19477     15 |      581 |      316
351.84/352.00	c  351s |      16 |   290962 |   156252 |    19477     15 |      581 |      316
353.94/354.09	c  353s |      16 |   291906 |   157052 |    19477     15 |      581 |      316
356.23/356.35	c  356s |      16 |   292706 |   157752 |    19477     15 |      581 |      316
358.43/358.58	c  358s |      16 |   293380 |   158352 |    19477     15 |      581 |      316
360.43/360.60	c  360s |      16 |   294065 |   158952 |    19477     15 |      581 |      316
362.73/362.84	c  362s |      16 |   294738 |   159552 |    19477     15 |      581 |      316
364.93/365.08	c  364s |      16 |   295452 |   160152 |    19477     15 |      581 |      316
367.23/367.33	c  367s |      16 |   296118 |   160752 |    19477     15 |      581 |      316
369.23/369.33	c  369s |      16 |   296671 |   161252 |    19477     15 |      581 |      316
371.33/371.41	c  371s |      16 |   297243 |   161752 |    19477     15 |      581 |      316
373.43/373.56	c  373s |      16 |   297799 |   162252 |    19477     15 |      581 |      316
375.63/375.79	c  375s |      16 |   298339 |   162752 |    19477     15 |      581 |      316
377.93/378.07	c  377s |      16 |   299008 |   163352 |    19477     15 |      581 |      316
379.93/380.08	c  379s |      16 |   299558 |   163852 |    19477     15 |      581 |      316
381.93/382.08	c  381s |      16 |   300130 |   164352 |    19477     16 |      581 |      316
384.23/384.33	c  384s |      16 |   300910 |   165052 |    19477     16 |      581 |      316
386.34/386.42	c  386s |      16 |   301453 |   165552 |    19477     16 |      581 |      316
388.63/388.72	c  388s |      16 |   302233 |   166252 |    19477     16 |      581 |      316
390.63/390.72	c  390s |      16 |   302918 |   166852 |    19477     16 |      581 |      316
392.93/393.04	c  392s |      16 |   303721 |   167552 |    19477     16 |      581 |      316
395.23/395.34	c  395s |      16 |   304386 |   168152 |    19477     16 |      581 |      316
397.33/397.43	c  397s |      16 |   305072 |   168752 |    19477     16 |      581 |      316
399.63/399.70	c  399s |      16 |   305737 |   169352 |    19477     16 |      581 |      316
401.93/402.03	c  401s |      16 |   306289 |   169852 |    19477     16 |      581 |      316
404.03/404.11	c  403s |      16 |   306873 |   170352 |    19477     16 |      581 |      316
406.03/406.20	c  405s |      16 |   307956 |   171052 |    19477     16 |      581 |      316
408.43/408.53	c  408s |      16 |   308800 |   171752 |    19477     16 |      581 |      316
410.83/410.94	c  410s |      16 |   309526 |   172352 |    19477     16 |      581 |      316
412.93/413.06	c  412s |      16 |   309964 |   172752 |    19477     16 |      581 |      316
415.33/415.48	c  415s |      16 |   310532 |   173252 |    19477     16 |      581 |      316
417.33/417.49	c  417s |      16 |   311132 |   173752 |    19477     16 |      581 |      316
419.43/419.51	c  419s |      16 |   311578 |   174152 |    19477     16 |      581 |      316
421.73/421.83	c  421s |      16 |   312159 |   174652 |    19477     16 |      581 |      316
424.03/424.12	c  423s |      16 |   312741 |   175152 |    19477     16 |      581 |      316
426.33/426.44	c  426s |      16 |   313344 |   175652 |    19477     17 |      581 |      316
428.73/428.86	c  428s |      16 |   314020 |   176252 |    19477     17 |      581 |      316
431.03/431.15	c  430s |      16 |   314673 |   176852 |    19477     17 |      581 |      316
433.13/433.20	c  432s |      16 |   315250 |   177352 |    19477     17 |      581 |      316
435.43/435.57	c  435s |      16 |   315940 |   177952 |    19477     17 |      581 |      316
437.63/437.71	c  437s |      16 |   316491 |   178452 |    19477     17 |      581 |      316
439.72/439.88	c  439s |      16 |   317183 |   179052 |    19477     17 |      581 |      316
442.02/442.17	c  441s |      16 |   317845 |   179652 |    19477     17 |      581 |      316
444.22/444.39	c  444s |      16 |   318520 |   180252 |    19477     17 |      581 |      316
446.42/446.55	c  446s |      16 |   319074 |   180752 |    19477     17 |      581 |      316
448.73/448.87	c  448s |      16 |   319612 |   181252 |    19477     17 |      581 |      316
451.12/451.20	c  450s |      16 |   320152 |   181752 |    19477     17 |      581 |      316
453.13/453.28	c  453s |      16 |   320605 |   182152 |    19477     17 |      581 |      316
455.43/455.56	c  455s |      16 |   321142 |   182652 |    19477     17 |      581 |      316
457.82/457.93	c  457s |      16 |   321702 |   183152 |    19477     17 |      581 |      316
460.02/460.16	c  459s |      16 |   322249 |   183652 |    19477     17 |      581 |      316
462.32/462.50	c  462s |      16 |   322820 |   184152 |    19477     17 |      581 |      316
464.52/464.68	c  464s |      16 |   323268 |   184552 |    19477     17 |      581 |      316
466.72/466.89	c  466s |      16 |   323842 |   185052 |    19477     17 |      581 |      316
469.11/469.29	c  469s |      16 |   324391 |   185552 |    19477     17 |      581 |      316
471.83/471.93	c  471s |      16 |   324942 |   186052 |    19477     17 |      581 |      316
473.92/474.09	c  473s |      16 |   325383 |   186452 |    19477     18 |      581 |      316
476.33/476.41	c  476s |      16 |   326059 |   187052 |    19477     18 |      581 |      316
478.62/478.71	c  478s |      16 |   326631 |   187552 |    19477     18 |      581 |      316
480.63/480.73	c  480s |      16 |   327175 |   188052 |    19477     18 |      581 |      316
482.92/483.03	c  482s |      16 |   327728 |   188552 |    19477     18 |      581 |      316
485.32/485.44	c  485s |      16 |   328396 |   189152 |    19477     18 |      581 |      316
487.32/487.47	c  487s |      16 |   328936 |   189652 |    19477     18 |      581 |      316
489.32/489.48	c  489s |      16 |   329478 |   190152 |    19477     18 |      581 |      316
491.62/491.76	c  491s |      16 |   330019 |   190652 |    19477     18 |      581 |      316
493.92/494.06	c  493s |      16 |   330593 |   191152 |    19477     18 |      581 |      316
496.12/496.29	c  496s |      16 |   331142 |   191652 |    19477     18 |      581 |      316
498.41/498.56	c  498s |      16 |   331680 |   192152 |    19477     18 |      581 |      316
500.61/500.79	c  500s |      16 |   332112 |   192552 |    19477     18 |      581 |      316
503.01/503.13	c  502s |      16 |   332550 |   192952 |    19477     18 |      581 |      316
505.30/505.49	c  505s |      16 |   333108 |   193452 |    19477     18 |      581 |      316
507.40/507.55	c  507s |      16 |   333542 |   193852 |    19477     18 |      581 |      316
509.50/509.61	c  509s |      16 |   333993 |   194252 |    19477     18 |      581 |      316
512.01/512.10	c  511s |      16 |   334514 |   194752 |    19477     18 |      581 |      316
514.31/514.45	c  514s |      16 |   334937 |   195152 |    19477     18 |      581 |      316
516.51/516.66	c  516s |      16 |   335765 |   195652 |    19477     18 |      581 |      316
518.81/518.93	c  518s |      16 |   336755 |   196352 |    21425     18 |      581 |      316
521.11/521.20	c  520s |      16 |   337421 |   196952 |    21425     18 |      581 |      316
522.71/522.87	c  522s |      17 |   338134 |   197432 |    21425     18 |      581 |      316
524.71/524.88	c  524s |      17 |   341950 |   198732 |    21425     19 |      581 |      316
526.81/526.92	c  526s |      17 |   344134 |   200432 |    21425     19 |      581 |      316
528.81/528.99	c  528s |      17 |   345690 |   201732 |    21425     19 |      581 |      316
531.01/531.11	c  530s |      17 |   347291 |   203032 |    21425     19 |      581 |      316
533.01/533.12	c  532s |      17 |   348518 |   204132 |    21425     19 |      581 |      316
535.00/535.18	c  534s |      17 |   349619 |   205132 |    21425     19 |      581 |      316
537.00/537.18	c  536s |      17 |   350603 |   206032 |    21425     19 |      581 |      316
539.20/539.37	c  539s |      17 |   351599 |   206932 |    21425     19 |      581 |      316
541.40/541.56	c  541s |      17 |   353268 |   208232 |    21425     19 |      581 |      316
543.60/543.75	c  543s |      17 |   354614 |   209332 |    21425     19 |      581 |      316
545.61/545.75	c  545s |      17 |   355517 |   210132 |    21425     19 |      581 |      316
548.20/548.39	c  548s |      17 |   356562 |   211032 |    21425     20 |      581 |      316
550.40/550.54	c  550s |      17 |   357799 |   212032 |    21425     20 |      581 |      316
552.50/552.60	c  552s |      17 |   359036 |   213032 |    21425     20 |      581 |      316
554.60/554.72	c  554s |      17 |   360099 |   213932 |    21425     20 |      581 |      316
556.61/556.75	c  556s |      17 |   361041 |   214732 |    21425     20 |      581 |      316
558.71/558.85	c  558s |      17 |   361982 |   215532 |    21425     20 |      581 |      316
560.90/561.04	c  560s |      17 |   362957 |   216332 |    21425     20 |      581 |      316
562.90/563.07	c  562s |      17 |   363745 |   217032 |    21425     20 |      581 |      316
565.10/565.26	c  565s |      17 |   364519 |   217732 |    21425     20 |      581 |      316
567.40/567.56	c  567s |      17 |   365297 |   218432 |    21425     20 |      581 |      316
569.60/569.74	c  569s |      17 |   365972 |   219032 |    21425     20 |      581 |      316
571.60/571.78	c  571s |      17 |   366669 |   219632 |    21425     20 |      581 |      316
573.69/573.84	c  573s |      17 |   367342 |   220232 |    21425     20 |      581 |      316
575.69/575.84	c  575s |      17 |   368014 |   220832 |    21425     20 |      581 |      316
577.69/577.87	c  577s |      17 |   368661 |   221432 |    21425     20 |      581 |      316
579.89/580.02	c  579s |      17 |   369341 |   222032 |    21425     20 |      581 |      316
582.09/582.26	c  582s |      17 |   369990 |   222632 |    21425     20 |      581 |      316
584.49/584.65	c  584s |      17 |   370645 |   223232 |    21425     20 |      581 |      316
586.49/586.67	c  586s |      17 |   371210 |   223732 |    21425     21 |      581 |      316
588.50/588.68	c  588s |      17 |   371856 |   224332 |    21425     21 |      581 |      316
590.49/590.70	c  590s |      17 |   372511 |   224932 |    21425     21 |      581 |      316
592.69/592.86	c  592s |      17 |   373284 |   225632 |    21425     21 |      581 |      316
594.89/595.06	c  594s |      17 |   374085 |   226332 |    21425     21 |      581 |      316
596.89/597.06	c  596s |      17 |   374750 |   226932 |    21425     21 |      581 |      316
599.19/599.36	c  599s |      17 |   375503 |   227632 |    21425     21 |      581 |      316
601.19/601.38	c  601s |      17 |   376149 |   228232 |    21425     21 |      581 |      316
603.39/603.51	c  603s |      17 |   376812 |   228832 |    21425     21 |      581 |      316
605.49/605.69	c  605s |      17 |   377476 |   229432 |    21425     21 |      581 |      316
607.59/607.77	c  607s |      17 |   378157 |   230032 |    21425     21 |      581 |      316
609.59/609.77	c  609s |      17 |   379062 |   230732 |    21425     21 |      581 |      316
611.79/611.92	c  611s |      17 |   379964 |   231432 |    21425     21 |      581 |      316
613.79/613.93	c  613s |      17 |   380771 |   232132 |    21425     21 |      581 |      316
615.78/615.94	c  615s |      17 |   381484 |   232732 |    21425     21 |      581 |      316
618.09/618.25	c  617s |      17 |   382349 |   233432 |    21425     21 |      581 |      316
620.29/620.43	c  620s |      17 |   382903 |   233932 |    21425     21 |      581 |      316
622.28/622.45	c  622s |      17 |   383434 |   234432 |    21425     21 |      581 |      316
624.48/624.64	c  624s |      17 |   384097 |   235032 |    21425     21 |      581 |      316
626.58/626.78	c  626s |      17 |   384761 |   235632 |    21425     21 |      581 |      316
628.78/628.92	c  628s |      17 |   385293 |   236132 |    21425     22 |      581 |      316
630.78/630.99	c  630s |      17 |   386118 |   236832 |    21425     22 |      581 |      316
633.18/633.36	c  633s |      17 |   386884 |   237532 |    21425     22 |      581 |      316
635.48/635.69	c  635s |      17 |   387652 |   238232 |    21425     22 |      581 |      316
637.58/637.76	c  637s |      17 |   388308 |   238832 |    21425     22 |      581 |      316
639.88/640.05	c  639s |      17 |   389220 |   239632 |    21425     22 |      581 |      316
641.88/642.05	c  641s |      17 |   389882 |   240232 |    21425     22 |      581 |      316
644.08/644.22	c  643s |      17 |   390421 |   240732 |    21425     22 |      581 |      316
646.08/646.27	c  646s |      17 |   390961 |   241232 |    21425     22 |      581 |      316
648.48/648.60	c  648s |      17 |   391617 |   241832 |    21425     22 |      581 |      316
650.58/650.74	c  650s |      17 |   392267 |   242432 |    21425     22 |      581 |      316
652.68/652.89	c  652s |      17 |   392927 |   243032 |    21425     22 |      581 |      316
654.88/655.07	c  654s |      17 |   393592 |   243632 |    21425     22 |      581 |      316
657.08/657.25	c  657s |      17 |   394389 |   244332 |    21425     22 |      581 |      316
659.08/659.26	c  659s |      17 |   395050 |   244932 |    21425     22 |      581 |      316
661.18/661.37	c  661s |      17 |   395726 |   245532 |    21425     22 |      581 |      316
663.48/663.66	c  663s |      17 |   396402 |   246132 |    21425     22 |      581 |      316
665.57/665.72	c  665s |      17 |   396985 |   246632 |    21425     22 |      581 |      316
667.77/667.93	c  667s |      17 |   397674 |   247232 |    21425     22 |      581 |      316
670.07/670.29	c  670s |      17 |   398306 |   247832 |    21425     22 |      581 |      316
672.37/672.50	c  672s |      17 |   398737 |   248232 |    21425     23 |      581 |      316
674.38/674.50	c  674s |      17 |   399421 |   248832 |    21425     23 |      581 |      316
676.78/676.93	c  676s |      17 |   400317 |   249632 |    21425     23 |      581 |      316
678.98/679.15	c  678s |      17 |   401426 |   250432 |    21425     23 |      581 |      316
681.08/681.28	c  681s |      17 |   402352 |   251232 |    21425     23 |      581 |      316
683.37/683.51	c  683s |      17 |   403273 |   252032 |    21425     23 |      581 |      316
685.57/685.72	c  685s |      17 |   404074 |   252732 |    21425     23 |      581 |      316
687.87/688.01	c  687s |      17 |   404845 |   253432 |    21425     23 |      581 |      316
689.87/690.05	c  689s |      17 |   405722 |   254132 |    21425     23 |      581 |      316
692.17/692.34	c  692s |      17 |   406700 |   254932 |    21425     23 |      581 |      316
694.37/694.51	c  694s |      17 |   407509 |   255632 |    21425     23 |      581 |      316
696.47/696.66	c  696s |      17 |   408320 |   256332 |    21425     23 |      581 |      316
698.57/698.74	c  698s |      17 |   409303 |   257132 |    21425     23 |      581 |      316
700.57/700.80	c  700s |      17 |   410112 |   257832 |    21425     23 |      581 |      316
702.77/702.94	c  702s |      17 |   410832 |   258432 |    21425     23 |      581 |      316
705.07/705.26	c  705s |      17 |   411621 |   259132 |    21425     23 |      581 |      316
707.17/707.33	c  707s |      17 |   412292 |   259732 |    21425     23 |      581 |      316
709.96/710.16	c  709s |      17 |   413077 |   260432 |    21425     24 |      581 |      316
711.96/712.17	c  711s |      17 |   413840 |   261132 |    21425     24 |      581 |      316
714.06/714.27	c  714s |      17 |   414780 |   261932 |    21425     24 |      581 |      316
716.26/716.41	c  716s |      17 |   415648 |   262732 |    21425     24 |      581 |      316
718.36/718.52	c  718s |      17 |   416559 |   263532 |    21425     24 |      581 |      316
720.56/720.75	c  720s |      17 |   417310 |   264232 |    21425     24 |      581 |      316
722.75/722.95	c  722s |      17 |   418063 |   264932 |    21425     24 |      581 |      316
724.86/725.07	c  724s |      17 |   418815 |   265632 |    21425     24 |      581 |      316
726.96/727.19	c  726s |      17 |   419569 |   266332 |    21425     24 |      581 |      316
729.16/729.34	c  729s |      17 |   420323 |   267032 |    21425     24 |      581 |      316
731.15/731.35	c  731s |      17 |   420962 |   267632 |    21425     24 |      581 |      316
733.35/733.52	c  733s |      17 |   421732 |   268332 |    21425     24 |      581 |      316
735.55/735.71	c  735s |      17 |   422508 |   269032 |    21425     24 |      581 |      316
737.55/737.73	c  737s |      17 |   423159 |   269632 |    21425     24 |      581 |      316
739.65/739.87	c  739s |      17 |   423802 |   270232 |    21425     24 |      581 |      316
742.04/742.24	c  741s |      17 |   424452 |   270832 |    21425     24 |      581 |      316
744.34/744.52	c  744s |      17 |   424992 |   271332 |    21425     24 |      581 |      316
746.44/746.60	c  746s |      17 |   425638 |   271932 |    21425     24 |      581 |      316
748.54/748.72	c  748s |      17 |   426285 |   272532 |    21425     24 |      581 |      316
750.64/750.82	c  750s |      17 |   426820 |   273032 |    21425     25 |      581 |      316
752.93/753.13	c  752s |      17 |   427588 |   273732 |    21425     25 |      581 |      316
755.03/755.27	c  755s |      17 |   428333 |   274432 |    21425     25 |      581 |      316
757.13/757.33	c  757s |      17 |   429112 |   275132 |    21425     25 |      581 |      316
759.13/759.33	c  759s |      17 |   429755 |   275732 |    21425     25 |      581 |      316
761.14/761.34	c  761s |      17 |   430399 |   276332 |    21425     25 |      581 |      316
763.13/763.34	c  763s |      17 |   431049 |   276932 |    21425     25 |      581 |      316
765.22/765.43	c  765s |      17 |   431704 |   277532 |    21425     25 |      581 |      316
767.32/767.56	c  767s |      17 |   432330 |   278132 |    21425     25 |      581 |      316
769.62/769.82	c  769s |      17 |   432977 |   278732 |    21425     25 |      581 |      316
771.92/772.12	c  771s |      17 |   433621 |   279332 |    21425     25 |      581 |      316
773.92/774.18	c  773s |      17 |   434142 |   279832 |    21425     25 |      581 |      316
776.02/776.25	c  775s |      17 |   434871 |   280432 |    21425     25 |      581 |      316
778.22/778.47	c  778s |      17 |   435798 |   281232 |    21425     25 |      581 |      316
780.52/780.76	c  780s |      17 |   436702 |   282032 |    21425     25 |      581 |      316
782.51/782.79	c  782s |      17 |   437423 |   282632 |    21425     25 |      581 |      316
784.81/785.02	c  784s |      17 |   438597 |   283432 |    21425     25 |      581 |      316
786.81/787.02	c  786s |      17 |   439606 |   284232 |    21425     25 |      581 |      316
789.01/789.24	c  788s |      17 |   440623 |   285032 |    21425     25 |      581 |      316
791.11/791.35	c  791s |      17 |   441509 |   285732 |    21425     26 |      581 |      316
793.31/793.56	c  793s |      17 |   442554 |   286632 |    21425     26 |      581 |      316
795.61/795.84	c  795s |      17 |   443615 |   287532 |    21425     26 |      581 |      316
797.71/797.92	c  797s |      17 |   444575 |   288332 |    21425     26 |      581 |      316
799.81/800.09	c  799s |      17 |   445653 |   289232 |    21425     26 |      581 |      316
802.00/802.20	c  801s |      17 |   446629 |   290032 |    21425     26 |      581 |      316
804.01/804.25	c  803s |      17 |   447414 |   290732 |    21425     26 |      581 |      316
806.11/806.33	c  806s |      17 |   448375 |   291532 |    21425     26 |      581 |      316
808.20/808.50	c  808s |      17 |   449308 |   292332 |    21425     26 |      581 |      316
810.51/810.74	c  810s |      17 |   450242 |   293132 |    21425     26 |      581 |      316
812.70/812.91	c  812s |      17 |   451056 |   293832 |    21425     26 |      581 |      316
814.79/815.05	c  814s |      17 |   451838 |   294532 |    23568     26 |      581 |      316
816.99/817.22	c  816s |      17 |   452620 |   295232 |    23568     26 |      581 |      316
819.09/819.31	c  819s |      17 |   453334 |   295832 |    23568     26 |      581 |      316
820.40/820.61	c  820s |      18 |   453863 |   296252 |    23568     26 |      581 |      316
822.39/822.62	c  822s |      18 |   460362 |   297952 |    23568     26 |      581 |      316
824.49/824.76	c  824s |      18 |   466094 |   300052 |    23568     27 |      581 |      316
826.49/826.78	c  826s |      18 |   468316 |   301552 |    23568     27 |      581 |      316
828.59/828.89	c  828s |      18 |   470301 |   302952 |    23568     27 |      581 |      316
830.69/830.99	c  830s |      18 |   472735 |   304552 |    23568     27 |      581 |      316
832.89/833.16	c  832s |      18 |   474387 |   305952 |    23568     27 |      581 |      316
835.09/835.31	c  835s |      18 |   475784 |   307152 |    23568     27 |      581 |      316
837.08/837.34	c  837s |      18 |   477995 |   308452 |    23568     27 |      581 |      316
839.09/839.36	c  839s |      18 |   481711 |   310052 |    23568     27 |      581 |      316
841.18/841.43	c  841s |      18 |   484066 |   311452 |    23568     27 |      581 |      316
843.28/843.53	c  843s |      18 |   485806 |   312552 |    23568     28 |      581 |      316
845.38/845.68	c  845s |      18 |   487346 |   313652 |    23568     28 |      581 |      316
847.38/847.69	c  847s |      18 |   488868 |   314752 |    23568     28 |      581 |      316
849.58/849.80	c  849s |      18 |   490070 |   315752 |    23568     28 |      581 |      316
851.58/851.88	c  851s |      18 |   491837 |   316852 |    23568     28 |      581 |      316
853.67/853.92	c  853s |      18 |   493172 |   317852 |    23568     28 |      581 |      316
855.68/855.94	c  855s |      18 |   494229 |   318752 |    23568     28 |      581 |      316
857.88/858.11	c  857s |      18 |   495251 |   319652 |    23568     28 |      581 |      316
859.87/860.18	c  859s |      18 |   495988 |   320352 |    23568     28 |      581 |      316
862.07/862.31	c  862s |      18 |   496886 |   321152 |    23568     28 |      581 |      316
864.27/864.53	c  864s |      18 |   497764 |   321952 |    23568     28 |      581 |      316
866.47/866.73	c  866s |      18 |   498665 |   322752 |    23568     28 |      581 |      316
868.47/868.78	c  868s |      18 |   499442 |   323452 |    23568     28 |      581 |      316
870.77/871.05	c  870s |      18 |   500341 |   324252 |    23568     28 |      581 |      316
873.06/873.32	c  873s |      18 |   501125 |   324952 |    23568     28 |      581 |      316
875.37/875.64	c  875s |      18 |   501901 |   325652 |    23568     28 |      581 |      316
877.46/877.75	c  877s |      18 |   502555 |   326252 |    23568     29 |      581 |      316
879.56/879.81	c  879s |      18 |   503451 |   327052 |    23568     29 |      581 |      316
881.66/881.93	c  881s |      18 |   504326 |   327852 |    23568     29 |      581 |      316
883.86/884.18	c  883s |      18 |   505191 |   328652 |    23568     29 |      581 |      316
885.96/886.28	c  886s |      18 |   507162 |   329752 |    23568     29 |      581 |      316
888.16/888.40	c  888s |      18 |   508954 |   330752 |    23568     29 |      581 |      316
890.16/890.42	c  890s |      18 |   511646 |   332052 |    23568     29 |      581 |      316
892.25/892.58	c  892s |      18 |   513340 |   333152 |    23568     29 |      581 |      316
894.45/894.74	c  894s |      18 |   514684 |   334152 |    23568     29 |      581 |      316
896.55/896.85	c  896s |      18 |   516334 |   335252 |    23568     29 |      581 |      316
898.65/898.99	c  898s |      18 |   518100 |   336252 |    23568     29 |      581 |      316
900.76/901.08	c  900s |      18 |   519452 |   337152 |    23568     29 |      581 |      316
902.95/903.27	c  903s |      18 |   520940 |   338152 |    23568     29 |      581 |      316
905.55/905.82	c  905s |      18 |   522155 |   339052 |    23568     30 |      581 |      316
907.55/907.82	c  907s |      18 |   523602 |   340152 |    23568     30 |      581 |      316
909.64/909.91	c  909s |      18 |   525070 |   341252 |    23568     30 |      581 |      316
911.75/912.00	c  911s |      18 |   526282 |   342252 |    23568     30 |      581 |      316
913.85/914.19	c  913s |      18 |   527341 |   343152 |    23568     30 |      581 |      316
916.04/916.39	c  916s |      18 |   528591 |   344152 |    23568     30 |      581 |      316
918.34/918.64	c  918s |      18 |   529635 |   345052 |    23568     30 |      581 |      316
920.44/920.76	c  920s |      18 |   530463 |   345752 |    23568     30 |      581 |      316
922.53/922.84	c  922s |      18 |   531485 |   346552 |    23568     30 |      581 |      316
924.63/924.99	c  924s |      18 |   532478 |   347352 |    23568     30 |      581 |      316
926.63/926.99	c  926s |      18 |   533581 |   348152 |    23568     30 |      581 |      316
928.93/929.21	c  928s |      18 |   534942 |   349152 |    23568     30 |      581 |      316
931.03/931.35	c  931s |      18 |   536130 |   350052 |    23568     30 |      581 |      316
933.13/933.47	c  933s |      18 |   537157 |   350852 |    23568     30 |      581 |      316
935.22/935.56	c  935s |      18 |   538044 |   351552 |    23568     30 |      581 |      316
937.62/937.98	c  937s |      18 |   538885 |   352252 |    23568     31 |      581 |      316
939.82/940.14	c  939s |      18 |   539796 |   353052 |    23568     31 |      581 |      316
941.82/942.19	c  941s |      18 |   540607 |   353752 |    23568     31 |      581 |      316
943.92/944.23	c  943s |      18 |   541578 |   354552 |    23568     31 |      581 |      316
946.12/946.47	c  946s |      18 |   542512 |   355352 |    23568     31 |      581 |      316
948.21/948.53	c  948s |      18 |   543322 |   356052 |    23568     31 |      581 |      316
950.31/950.68	c  950s |      18 |   544137 |   356752 |    23568     31 |      581 |      316
952.51/952.82	c  952s |      18 |   544957 |   357452 |    23568     31 |      581 |      316
954.61/954.93	c  954s |      18 |   545625 |   358052 |    23568     31 |      581 |      316
956.81/957.18	c  956s |      18 |   546423 |   358752 |    23568     31 |      581 |      316
958.91/959.21	c  958s |      18 |   547108 |   359352 |    23568     31 |      581 |      316
960.91/961.24	c  960s |      18 |   547788 |   359952 |    23568     31 |      581 |      316
963.00/963.36	c  963s |      18 |   548492 |   360552 |    23568     31 |      581 |      316
965.30/965.60	c  965s |      18 |   549291 |   361252 |    23568     31 |      581 |      316
967.30/967.63	c  967s |      18 |   549981 |   361852 |    23568     31 |      581 |      316
969.51/969.88	c  969s |      18 |   550790 |   362552 |    23568     31 |      581 |      316
971.81/972.10	c  971s |      18 |   551469 |   363152 |    23568     31 |      581 |      316
974.11/974.45	c  974s |      18 |   552129 |   363752 |    23568     31 |      581 |      316
976.21/976.56	c  976s |      18 |   552672 |   364252 |    23568     31 |      581 |      316
978.61/979.00	c  978s |      18 |   553354 |   364852 |    23568     31 |      581 |      316
980.70/981.00	c  980s |      18 |   553907 |   365352 |    23568     31 |      581 |      316
982.80/983.13	c  982s |      18 |   554464 |   365852 |    23568     32 |      581 |      316
984.80/985.19	c  984s |      18 |   555308 |   366552 |    23568     32 |      581 |      316
986.90/987.27	c  987s |      18 |   556330 |   367352 |    23568     32 |      581 |      316
989.20/989.51	c  989s |      18 |   557248 |   368152 |    23568     32 |      581 |      316
991.40/991.74	c  991s |      18 |   558191 |   368952 |    23568     32 |      581 |      316
993.59/993.98	c  993s |      18 |   559007 |   369652 |    23568     32 |      581 |      316
995.79/996.14	c  995s |      18 |   559694 |   370252 |    23568     32 |      581 |      316
997.89/998.25	c  997s |      18 |   560365 |   370852 |    23568     32 |      581 |      316
1000.19/1000.53	c 1000s |      18 |   561162 |   371552 |    23568     32 |      581 |      316
1002.18/1002.57	c 1002s |      18 |   561845 |   372152 |    23568     32 |      581 |      316
1004.38/1004.75	c 1004s |      18 |   562508 |   372752 |    23568     32 |      581 |      316
1006.68/1007.03	c 1006s |      18 |   563178 |   373352 |    23568     32 |      581 |      316
1009.08/1009.41	c 1009s |      18 |   563813 |   373952 |    23568     32 |      581 |      316
1011.08/1011.49	c 1011s |      18 |   564379 |   374452 |    23568     32 |      581 |      316
1013.37/1013.77	c 1013s |      18 |   565054 |   375052 |    23568     32 |      581 |      316
1015.47/1015.81	c 1015s |      18 |   565622 |   375552 |    23568     32 |      581 |      316
1017.57/1017.91	c 1017s |      18 |   566303 |   376152 |    23568     32 |      581 |      316
1019.67/1020.03	c 1019s |      18 |   566845 |   376652 |    23568     32 |      581 |      316
1022.07/1022.43	c 1022s |      18 |   567503 |   377252 |    23568     32 |      581 |      316
1024.27/1024.61	c 1024s |      18 |   568055 |   377752 |    23568     32 |      581 |      316
1026.47/1026.82	c 1026s |      18 |   568592 |   378252 |    23568     32 |      581 |      316
1028.57/1028.92	c 1028s |      18 |   569053 |   378652 |    23568     33 |      581 |      316
1030.68/1031.03	c 1030s |      18 |   569832 |   379352 |    23568     33 |      581 |      316
1032.88/1033.28	c 1033s |      18 |   570787 |   380152 |    23568     33 |      581 |      316
1034.97/1035.30	c 1035s |      18 |   571614 |   380852 |    23568     33 |      581 |      316
1036.98/1037.35	c 1037s |      18 |   572437 |   381552 |    23568     33 |      581 |      316
1038.97/1039.38	c 1039s |      18 |   573425 |   382352 |    23568     33 |      581 |      316
1041.07/1041.44	c 1041s |      18 |   574290 |   383052 |    23568     33 |      581 |      316
1043.27/1043.65	c 1043s |      18 |   575223 |   383852 |    23568     33 |      581 |      316
1045.57/1045.97	c 1045s |      18 |   576041 |   384552 |    23568     33 |      581 |      316
1047.67/1048.05	c 1047s |      18 |   576718 |   385152 |    23568     33 |      581 |      316
1049.77/1050.17	c 1049s |      18 |   577540 |   385852 |    23568     33 |      581 |      316
1051.97/1052.37	c 1052s |      18 |   578185 |   386452 |    23568     33 |      581 |      316
1054.07/1054.42	c 1054s |      18 |   578851 |   387052 |    23568     33 |      581 |      316
1056.37/1056.70	c 1056s |      18 |   579507 |   387652 |    23568     33 |      581 |      316
1058.57/1058.92	c 1058s |      18 |   580193 |   388252 |    23568     33 |      581 |      316
1060.57/1060.92	c 1060s |      18 |   580764 |   388752 |    23568     33 |      581 |      316
1062.97/1063.32	c 1063s |      18 |   581449 |   389352 |    23568     33 |      581 |      316
1065.27/1065.61	c 1065s |      18 |   582104 |   389952 |    23568     33 |      581 |      316
1067.26/1067.63	c 1067s |      18 |   582651 |   390452 |    23568     33 |      581 |      316
1069.46/1069.86	c 1069s |      18 |   583214 |   390952 |    23568     33 |      581 |      316
1071.66/1072.06	c 1071s |      18 |   583759 |   391452 |    23568     33 |      581 |      316
1074.16/1074.51	c 1074s |      18 |   584181 |   391852 |    23568     34 |      581 |      316
1076.46/1076.83	c 1076s |      18 |   584836 |   392452 |    23568     34 |      581 |      316
1078.56/1078.94	c 1078s |      18 |   585658 |   393152 |    23568     34 |      581 |      316
1080.66/1081.07	c 1080s |      18 |   586460 |   393852 |    23568     34 |      581 |      316
1082.76/1083.11	c 1082s |      18 |   587131 |   394452 |    23568     34 |      581 |      316
1085.06/1085.45	c 1085s |      18 |   587888 |   395152 |    23568     34 |      581 |      316
1087.16/1087.54	c 1087s |      18 |   588421 |   395652 |    23568     34 |      581 |      316
1089.26/1089.66	c 1089s |      18 |   589086 |   396252 |    23568     34 |      581 |      316
1091.26/1091.66	c 1091s |      18 |   589755 |   396852 |    23568     34 |      581 |      316
1093.26/1093.67	c 1093s |      18 |   590453 |   397452 |    23568     34 |      581 |      316
1095.46/1095.80	c 1095s |      18 |   591236 |   398152 |    23568     34 |      581 |      316
1097.47/1097.83	c 1097s |      18 |   591904 |   398752 |    23568     34 |      581 |      316
1099.46/1099.84	c 1099s |      18 |   592578 |   399352 |    23568     34 |      581 |      316
1101.56/1101.96	c 1101s |      18 |   593242 |   399952 |    23568     34 |      581 |      316
1103.66/1104.03	c 1103s |      18 |   593929 |   400552 |    23568     34 |      581 |      316
1105.76/1106.14	c 1105s |      18 |   594603 |   401152 |    23568     34 |      581 |      316
1107.86/1108.27	c 1108s |      18 |   595181 |   401652 |    23568     34 |      581 |      316
1110.16/1110.58	c 1110s |      18 |   595861 |   402252 |    23568     34 |      581 |      316
1112.36/1112.73	c 1112s |      18 |   596555 |   402852 |    23568     34 |      581 |      316
1114.46/1114.83	c 1114s |      18 |   597103 |   403352 |    23568     34 |      581 |      316
1116.56/1116.94	c 1116s |      18 |   597682 |   403852 |    23568     34 |      581 |      316
1118.56/1118.94	c 1118s |      18 |   598266 |   404352 |    23568     34 |      581 |      316
1120.56/1120.96	c 1120s |      18 |   598823 |   404852 |    23568     34 |      581 |      316
1122.66/1123.09	c 1122s |      18 |   599257 |   405252 |    23568     35 |      581 |      316
1124.86/1125.22	c 1124s |      18 |   599897 |   405852 |    23568     35 |      581 |      316
1127.05/1127.42	c 1127s |      18 |   600604 |   406452 |    23568     35 |      581 |      316
1129.05/1129.47	c 1129s |      18 |   601591 |   407252 |    23568     35 |      581 |      316
1131.35/1131.72	c 1131s |      18 |   602442 |   407952 |    23568     35 |      581 |      316
1133.35/1133.72	c 1133s |      18 |   603259 |   408652 |    23568     35 |      581 |      316
1135.55/1135.93	c 1135s |      18 |   604093 |   409352 |    23568     35 |      581 |      316
1137.85/1138.25	c 1137s |      18 |   604922 |   410052 |    23568     35 |      581 |      316
1139.95/1140.35	c 1140s |      18 |   605565 |   410652 |    23568     35 |      581 |      316
1142.15/1142.57	c 1142s |      18 |   606247 |   411252 |    23568     35 |      581 |      316
1144.56/1144.94	c 1144s |      18 |   607007 |   411952 |    23568     35 |      581 |      316
1146.66/1147.05	c 1146s |      18 |   607676 |   412552 |    23568     35 |      581 |      316
1148.76/1149.12	c 1148s |      18 |   608354 |   413152 |    23568     35 |      581 |      316
1151.06/1151.40	c 1151s |      18 |   609026 |   413752 |    23568     35 |      581 |      316
1153.36/1153.75	c 1153s |      18 |   609659 |   414352 |    23568     35 |      581 |      316
1155.66/1156.00	c 1155s |      18 |   610347 |   414952 |    23568     35 |      581 |      316
1157.85/1158.21	c 1157s |      18 |   611043 |   415552 |    23568     35 |      581 |      316
1159.95/1160.35	c 1160s |      18 |   611729 |   416152 |    23568     35 |      581 |      316
1162.36/1162.70	c 1162s |      18 |   612279 |   416652 |    23568     35 |      581 |      316
1164.56/1164.93	c 1164s |      18 |   612964 |   417252 |    23568     35 |      581 |      316
1166.86/1167.22	c 1166s |      18 |   613659 |   417852 |    23568     35 |      581 |      316
1169.35/1169.77	c 1169s |      18 |   614221 |   418352 |    23568     36 |      581 |      316
1171.65/1172.03	c 1171s |      18 |   614984 |   419052 |    23568     36 |      581 |      316
1173.85/1174.28	c 1174s |      18 |   615707 |   419652 |    23568     36 |      581 |      316
1176.15/1176.55	c 1176s |      18 |   616472 |   420352 |    23568     36 |      581 |      316
1178.45/1178.85	c 1178s |      18 |   617269 |   421052 |    23568     36 |      581 |      316
1180.75/1181.15	c 1180s |      18 |   618112 |   421752 |    23568     36 |      581 |      316
1182.85/1183.20	c 1182s |      18 |   618784 |   422352 |    23568     36 |      581 |      316
1185.15/1185.50	c 1185s |      18 |   619460 |   422952 |    23568     36 |      581 |      316
1187.24/1187.63	c 1187s |      18 |   620141 |   423552 |    23568     36 |      581 |      316
1189.64/1190.03	c 1189s |      18 |   620800 |   424152 |    23568     36 |      581 |      316
1191.84/1192.21	c 1191s |      18 |   621336 |   424652 |    23568     36 |      581 |      316
1193.94/1194.32	c 1194s |      18 |   621902 |   425152 |    23568     36 |      581 |      316
1196.24/1196.67	c 1196s |      18 |   622701 |   425852 |    23568     36 |      581 |      316
1198.34/1198.75	c 1198s |      18 |   623249 |   426352 |    23568     36 |      581 |      316
1200.64/1201.01	c 1200s |      18 |   623914 |   426952 |    23568     36 |      581 |      316
1202.94/1203.30	c 1203s |      18 |   624598 |   427552 |    23568     36 |      581 |      316
1204.94/1205.32	c 1205s |      18 |   625305 |   428152 |    23568     36 |      581 |      316
1207.14/1207.50	c 1207s |      18 |   626004 |   428752 |    23568     36 |      581 |      316
1209.24/1209.60	c 1209s |      18 |   626732 |   429352 |    23568     36 |      581 |      316
1211.44/1211.85	c 1211s |      18 |   627445 |   429952 |    23568     36 |      581 |      316
1213.84/1214.21	c 1213s |      18 |   628117 |   430552 |    23568     36 |      581 |      316
1216.25/1216.64	c 1216s |      18 |   628805 |   431152 |    23568     36 |      581 |      316
1218.55/1218.94	c 1218s |      18 |   629259 |   431552 |    23568     37 |      581 |      316
1220.74/1221.13	c 1220s |      18 |   630116 |   432252 |    23568     37 |      581 |      316
1222.84/1223.28	c 1223s |      18 |   631135 |   433052 |    23568     37 |      581 |      316
1224.95/1225.33	c 1225s |      18 |   631974 |   433752 |    23568     37 |      581 |      316
1226.95/1227.36	c 1227s |      18 |   632779 |   434452 |    23568     37 |      581 |      316
1228.94/1229.38	c 1229s |      18 |   633466 |   435052 |    23568     37 |      581 |      316
1231.24/1231.69	c 1231s |      18 |   634262 |   435752 |    23568     37 |      581 |      316
1233.54/1233.90	c 1233s |      18 |   635082 |   436452 |    23568     37 |      581 |      316
1235.54/1235.97	c 1235s |      18 |   635875 |   437152 |    23568     37 |      581 |      316
1237.84/1238.25	c 1238s |      18 |   636639 |   437852 |    23568     37 |      581 |      316
1239.94/1240.30	c 1240s |      18 |   637317 |   438452 |    23568     37 |      581 |      316
1242.14/1242.56	c 1242s |      18 |   638121 |   439152 |    23568     37 |      581 |      316
1244.34/1244.75	c 1244s |      18 |   638773 |   439752 |    23568     37 |      581 |      316
1246.34/1246.76	c 1246s |      18 |   639323 |   440252 |    23568     37 |      581 |      316
1248.34/1248.79	c 1248s |      18 |   639870 |   440752 |    23568     37 |      581 |      316
1250.45/1250.86	c 1250s |      18 |   640538 |   441352 |    25925     37 |      581 |      316
1252.65/1253.03	c 1252s |      18 |   641216 |   441952 |    25925     37 |      581 |      316
1255.04/1255.42	c 1255s |      18 |   641903 |   442552 |    25925     37 |      581 |      316
1257.24/1257.69	c 1257s |      18 |   642440 |   443052 |    25925     37 |      581 |      316
1259.64/1260.04	c 1259s |      18 |   642972 |   443552 |    25925     37 |      581 |      316
1261.94/1262.36	c 1262s |      18 |   643530 |   444052 |    25925     37 |      581 |      316
1263.64/1264.06	c 1263s |      19 |   644039 |   444482 |    25925     37 |      581 |      316
1265.74/1266.12	c 1265s |      19 |   646898 |   445282 |    25925     38 |      581 |      316
1267.84/1268.20	c 1267s |      19 |   654436 |   447782 |    25925     38 |      581 |      316
1269.84/1270.24	c 1269s |      19 |   656736 |   449482 |    25925     38 |      581 |      316
1271.93/1272.38	c 1272s |      19 |   658268 |   450782 |    25925     38 |      581 |      316
1273.93/1274.39	c 1274s |      19 |   659555 |   451882 |    25925     38 |      581 |      316
1276.03/1276.42	c 1276s |      19 |   660709 |   452882 |    25925     38 |      581 |      316
1278.13/1278.56	c 1278s |      19 |   661915 |   453882 |    25925     38 |      581 |      316
1280.33/1280.71	c 1280s |      19 |   662956 |   454782 |    25925     38 |      581 |      316
1282.53/1282.95	c 1282s |      19 |   663935 |   455682 |    25925     38 |      581 |      316
1284.73/1285.16	c 1284s |      19 |   664819 |   456482 |    25925     38 |      581 |      316
1286.74/1287.17	c 1286s |      19 |   665757 |   457282 |    25925     38 |      581 |      316
1288.94/1289.36	c 1289s |      19 |   667284 |   458482 |    25925     38 |      581 |      316
1291.03/1291.49	c 1291s |      19 |   668508 |   459482 |    25925     38 |      581 |      316
1293.13/1293.55	c 1293s |      19 |   669645 |   460382 |    25925     38 |      581 |      316
1295.44/1295.80	c 1295s |      19 |   670365 |   460982 |    25925     39 |      581 |      316
1297.53/1297.98	c 1297s |      19 |   671510 |   461882 |    25925     39 |      581 |      316
1299.73/1300.14	c 1299s |      19 |   672409 |   462682 |    25925     39 |      581 |      316
1301.73/1302.15	c 1301s |      19 |   673226 |   463382 |    25925     39 |      581 |      316
1303.93/1304.37	c 1304s |      19 |   674023 |   464082 |    25925     39 |      581 |      316
1306.13/1306.52	c 1306s |      19 |   674798 |   464782 |    25925     39 |      581 |      316
1308.13/1308.52	c 1308s |      19 |   675635 |   465482 |    25925     39 |      581 |      316
1310.33/1310.78	c 1310s |      19 |   676561 |   466282 |    25925     39 |      581 |      316
1312.63/1313.06	c 1312s |      19 |   677370 |   466982 |    25925     39 |      581 |      316
1314.73/1315.18	c 1314s |      19 |   678121 |   467682 |    25925     39 |      581 |      316
1317.13/1317.51	c 1317s |      19 |   678892 |   468382 |    25925     39 |      581 |      316
1319.13/1319.52	c 1319s |      19 |   679586 |   468982 |    25925     39 |      581 |      316
1321.23/1321.64	c 1321s |      19 |   680241 |   469582 |    25925     39 |      581 |      316
1323.23/1323.70	c 1323s |      19 |   680784 |   470082 |    25925     39 |      581 |      316
1325.53/1325.96	c 1325s |      19 |   681466 |   470682 |    25925     39 |      581 |      316
1327.83/1328.24	c 1327s |      19 |   682284 |   471382 |    25925     39 |      581 |      316
1329.83/1330.27	c 1330s |      19 |   682983 |   471982 |    25925     39 |      581 |      316
1331.93/1332.37	c 1332s |      19 |   683682 |   472582 |    25925     39 |      581 |      316
1333.93/1334.37	c 1334s |      19 |   684363 |   473182 |    25925     39 |      581 |      316
1336.23/1336.61	c 1336s |      19 |   685064 |   473782 |    25925     39 |      581 |      316
1338.23/1338.68	c 1338s |      19 |   685602 |   474282 |    25925     39 |      581 |      316
1340.33/1340.78	c 1340s |      19 |   686156 |   474782 |    25925     39 |      581 |      316
1342.33/1342.78	c 1342s |      19 |   686616 |   475182 |    25925     40 |      581 |      316
1344.42/1344.80	c 1344s |      19 |   687411 |   475882 |    25925     40 |      581 |      316
1346.52/1346.99	c 1346s |      19 |   688178 |   476582 |    25925     40 |      581 |      316
1348.82/1349.21	c 1348s |      19 |   688937 |   477282 |    25925     40 |      581 |      316
1350.92/1351.30	c 1351s |      19 |   689592 |   477882 |    25925     40 |      581 |      316
1353.02/1353.46	c 1353s |      19 |   690233 |   478482 |    25925     40 |      581 |      316
1355.12/1355.59	c 1355s |      19 |   690872 |   479082 |    25925     40 |      581 |      316
1357.32/1357.77	c 1357s |      19 |   691516 |   479682 |    25925     40 |      581 |      316
1359.52/1359.98	c 1359s |      19 |   692177 |   480282 |    25925     40 |      581 |      316
1361.82/1362.23	c 1361s |      19 |   692823 |   480882 |    25925     40 |      581 |      316
1364.02/1364.40	c 1364s |      19 |   693471 |   481482 |    25925     40 |      581 |      316
1366.22/1366.63	c 1366s |      19 |   694092 |   482082 |    25925     40 |      581 |      316
1368.62/1369.06	c 1368s |      19 |   694729 |   482682 |    25925     40 |      581 |      316
1370.71/1371.13	c 1370s |      19 |   695252 |   483182 |    25925     40 |      581 |      316
1373.01/1373.42	c 1373s |      19 |   695908 |   483782 |    25925     40 |      581 |      316
1375.21/1375.68	c 1375s |      19 |   696547 |   484382 |    25925     40 |      581 |      316
1377.52/1377.96	c 1377s |      19 |   697189 |   484982 |    25925     40 |      581 |      316
1379.52/1379.99	c 1379s |      19 |   697730 |   485482 |    25925     40 |      581 |      316
1381.82/1382.24	c 1381s |      19 |   698379 |   486082 |    25925     40 |      581 |      316
1383.92/1384.34	c 1384s |      19 |   698927 |   486582 |    25925     40 |      581 |      316
1386.02/1386.41	c 1386s |      19 |   699462 |   487082 |    25925     40 |      581 |      316
1388.02/1388.49	c 1388s |      19 |   699984 |   487582 |    25925     40 |      581 |      316
1390.22/1390.67	c 1390s |      19 |   700510 |   488082 |    25925     40 |      581 |      316
1392.42/1392.87	c 1392s |      19 |   701064 |   488582 |    25925     40 |      581 |      316
1394.53/1394.94	c 1394s |      19 |   701590 |   489082 |    25925     40 |      581 |      316
1397.32/1397.71	c 1397s |      19 |   702135 |   489582 |    25925     41 |      581 |      316
1399.42/1399.88	c 1399s |      19 |   702812 |   490182 |    25925     41 |      581 |      316
1401.52/1401.95	c 1401s |      19 |   703598 |   490882 |    25925     41 |      581 |      316
1403.51/1403.99	c 1403s |      19 |   704402 |   491582 |    25925     41 |      581 |      316
1405.81/1406.20	c 1405s |      19 |   705168 |   492282 |    25925     41 |      581 |      316
1408.01/1408.40	c 1408s |      19 |   705942 |   492982 |    25925     41 |      581 |      316
1410.31/1410.73	c 1410s |      19 |   706713 |   493682 |    25925     41 |      581 |      316
1412.31/1412.76	c 1412s |      19 |   707369 |   494282 |    25925     41 |      581 |      316
1414.61/1415.06	c 1414s |      19 |   707989 |   494882 |    25925     41 |      581 |      316
1416.81/1417.26	c 1417s |      19 |   708626 |   495482 |    25925     41 |      581 |      316
1419.21/1419.62	c 1419s |      19 |   709294 |   496082 |    25925     41 |      581 |      316
1421.31/1421.79	c 1421s |      19 |   709957 |   496682 |    25925     41 |      581 |      316
1423.51/1423.94	c 1423s |      19 |   710624 |   497282 |    25925     41 |      581 |      316
1425.71/1426.16	c 1425s |      19 |   711299 |   497882 |    25925     41 |      581 |      316
1427.91/1428.32	c 1428s |      19 |   711945 |   498482 |    25925     41 |      581 |      316
1430.11/1430.56	c 1430s |      19 |   712471 |   498982 |    25925     41 |      581 |      316
1432.41/1432.89	c 1432s |      19 |   713109 |   499582 |    25925     41 |      581 |      316
1434.61/1435.01	c 1434s |      19 |   713652 |   500082 |    25925     41 |      581 |      316
1436.61/1437.06	c 1436s |      19 |   714191 |   500582 |    25925     41 |      581 |      316
1438.71/1439.11	c 1438s |      19 |   714715 |   501082 |    25925     41 |      581 |      316
1440.81/1441.28	c 1441s |      19 |   715258 |   501582 |    25925     41 |      581 |      316
1442.91/1443.39	c 1443s |      19 |   715797 |   502082 |    25925     41 |      581 |      316
1445.11/1445.59	c 1445s |      19 |   716329 |   502582 |    25925     41 |      581 |      316
1447.31/1447.78	c 1447s |      19 |   716869 |   503082 |    25925     41 |      581 |      316
1449.61/1450.01	c 1449s |      19 |   717396 |   503582 |    25925     41 |      581 |      316
1451.81/1452.25	c 1451s |      19 |   717922 |   504082 |    25925     41 |      581 |      316
1453.81/1454.30	c 1454s |      19 |   718337 |   504482 |    25925     42 |      581 |      316
1455.90/1456.35	c 1456s |      19 |   718988 |   505082 |    25925     42 |      581 |      316
1458.00/1458.43	c 1458s |      19 |   719631 |   505682 |    25925     42 |      581 |      316
1460.10/1460.57	c 1460s |      19 |   720275 |   506282 |    25925     42 |      581 |      316
1462.30/1462.73	c 1462s |      19 |   720917 |   506882 |    25925     42 |      581 |      316
1464.50/1464.92	c 1464s |      19 |   721556 |   507482 |    25925     42 |      581 |      316
1466.70/1467.16	c 1466s |      19 |   722200 |   508082 |    25925     42 |      581 |      316
1468.80/1469.20	c 1468s |      19 |   722831 |   508682 |    25925     42 |      581 |      316
1470.90/1471.36	c 1471s |      19 |   723482 |   509282 |    25925     42 |      581 |      316
1473.30/1473.72	c 1473s |      19 |   724132 |   509882 |    25925     42 |      581 |      316
1475.60/1476.04	c 1475s |      19 |   724776 |   510482 |    25925     42 |      581 |      316
1477.70/1478.13	c 1477s |      19 |   725321 |   510982 |    25925     42 |      581 |      316
1480.10/1480.51	c 1480s |      19 |   725949 |   511582 |    25925     42 |      581 |      316
1482.41/1482.86	c 1482s |      19 |   726585 |   512182 |    25925     42 |      581 |      316
1484.40/1484.89	c 1484s |      19 |   727105 |   512682 |    25925     42 |      581 |      316
1486.60/1487.04	c 1486s |      19 |   727628 |   513182 |    25925     42 |      581 |      316
1488.90/1489.40	c 1489s |      19 |   728262 |   513782 |    25925     42 |      581 |      316
1491.00/1491.40	c 1491s |      19 |   728803 |   514282 |    25925     42 |      581 |      316
1493.40/1493.81	c 1493s |      19 |   729435 |   514882 |    25925     42 |      581 |      316
1495.50/1495.97	c 1495s |      19 |   729949 |   515382 |    25925     42 |      581 |      316
1497.70/1498.12	c 1497s |      19 |   730479 |   515882 |    25925     42 |      581 |      316
1499.90/1500.35	c 1500s |      19 |   731021 |   516382 |    25925     42 |      581 |      316
1502.10/1502.58	c 1502s |      19 |   731556 |   516882 |    25925     42 |      581 |      316
1504.50/1504.92	c 1504s |      19 |   732091 |   517382 |    25925     42 |      581 |      316
1506.50/1506.93	c 1506s |      19 |   732822 |   517982 |    25925     42 |      581 |      316
1508.90/1509.32	c 1509s |      19 |   733576 |   518582 |    25925     43 |      581 |      316
1511.00/1511.48	c 1511s |      19 |   734627 |   519482 |    25925     43 |      581 |      316
1513.20/1513.69	c 1513s |      19 |   735457 |   520182 |    25925     43 |      581 |      316
1515.29/1515.79	c 1515s |      19 |   736366 |   520982 |    25925     43 |      581 |      316
1517.39/1517.88	c 1517s |      19 |   737297 |   521782 |    25925     43 |      581 |      316
1519.59/1520.01	c 1519s |      19 |   738076 |   522482 |    25925     43 |      581 |      316
1521.69/1522.18	c 1521s |      19 |   739025 |   523282 |    25925     43 |      581 |      316
1523.89/1524.31	c 1524s |      19 |   739694 |   523882 |    25925     43 |      581 |      316
1526.09/1526.52	c 1526s |      19 |   740459 |   524582 |    25925     43 |      581 |      316
1528.29/1528.75	c 1528s |      19 |   741243 |   525282 |    25925     43 |      581 |      316
1530.39/1530.86	c 1530s |      19 |   741932 |   525882 |    25925     43 |      581 |      316
1532.59/1533.00	c 1532s |      19 |   742607 |   526482 |    25925     43 |      581 |      316
1534.59/1535.03	c 1534s |      19 |   743255 |   527082 |    25925     43 |      581 |      316
1536.89/1537.33	c 1537s |      19 |   744065 |   527782 |    25925     43 |      581 |      316
1538.99/1539.40	c 1539s |      19 |   744752 |   528382 |    25925     43 |      581 |      316
1541.29/1541.73	c 1541s |      19 |   745389 |   528982 |    25925     43 |      581 |      316
1543.59/1544.01	c 1543s |      19 |   746030 |   529582 |    25925     43 |      581 |      316
1545.99/1546.45	c 1546s |      19 |   746888 |   530282 |    25925     43 |      581 |      316
1548.09/1548.55	c 1548s |      19 |   747584 |   530882 |    25925     43 |      581 |      316
1550.19/1550.66	c 1550s |      19 |   748388 |   531582 |    25925     43 |      581 |      316
1552.39/1552.85	c 1552s |      19 |   749096 |   532182 |    25925     43 |      581 |      316
1554.49/1554.96	c 1554s |      19 |   749762 |   532782 |    25925     43 |      581 |      316
1556.69/1557.14	c 1556s |      19 |   750251 |   533182 |    25925     44 |      581 |      316
1558.80/1559.23	c 1558s |      19 |   750885 |   533782 |    25925     44 |      581 |      316
1560.89/1561.36	c 1561s |      19 |   751696 |   534482 |    25925     44 |      581 |      316
1563.09/1563.55	c 1563s |      19 |   752799 |   535382 |    25925     44 |      581 |      316
1565.29/1565.79	c 1565s |      19 |   753741 |   536182 |    25925     44 |      581 |      316
1567.39/1567.82	c 1567s |      19 |   754428 |   536782 |    25925     44 |      581 |      316
1569.40/1569.88	c 1569s |      19 |   755255 |   537482 |    25925     44 |      581 |      316
1571.39/1571.88	c 1571s |      19 |   756087 |   538182 |    25925     44 |      581 |      316
1573.59/1574.08	c 1573s |      19 |   756754 |   538782 |    25925     44 |      581 |      316
1575.69/1576.14	c 1575s |      19 |   757411 |   539382 |    25925     44 |      581 |      316
1577.69/1578.15	c 1577s |      19 |   758098 |   539982 |    25925     44 |      581 |      316
1579.89/1580.36	c 1580s |      19 |   758771 |   540582 |    25925     44 |      581 |      316
1582.29/1582.71	c 1582s |      19 |   759570 |   541282 |    25925     44 |      581 |      316
1584.59/1585.00	c 1584s |      19 |   760370 |   541982 |    25925     44 |      581 |      316
1586.79/1587.23	c 1586s |      19 |   761042 |   542582 |    25925     44 |      581 |      316
1588.79/1589.23	c 1588s |      19 |   761740 |   543182 |    25925     44 |      581 |      316
1591.19/1591.61	c 1591s |      19 |   762425 |   543782 |    25925     44 |      581 |      316
1593.29/1593.78	c 1593s |      19 |   763099 |   544382 |    25925     44 |      581 |      316
1595.69/1596.12	c 1595s |      19 |   763746 |   544982 |    25925     44 |      581 |      316
1597.69/1598.14	c 1597s |      19 |   764308 |   545482 |    25925     44 |      581 |      316
1600.09/1600.52	c 1600s |      19 |   764842 |   545982 |    25925     44 |      581 |      316
1602.39/1602.86	c 1602s |      19 |   765382 |   546482 |    25925     44 |      581 |      316
1604.59/1605.04	c 1604s |      19 |   765947 |   546982 |    25925     44 |      581 |      316
1606.98/1607.44	c 1607s |      19 |   766610 |   547582 |    25925     44 |      581 |      316
1609.08/1609.52	c 1609s |      19 |   767048 |   547982 |    25925     45 |      581 |      316
1611.19/1611.61	c 1611s |      19 |   767721 |   548582 |    25925     45 |      581 |      316
1613.48/1613.90	c 1613s |      19 |   768521 |   549282 |    25925     45 |      581 |      316
1615.59/1616.08	c 1615s |      19 |   769342 |   549982 |    25925     45 |      581 |      316
1617.79/1618.28	c 1618s |      19 |   770026 |   550582 |    25925     45 |      581 |      316
1620.08/1620.58	c 1620s |      19 |   770842 |   551282 |    25925     45 |      581 |      316
1622.38/1622.88	c 1622s |      19 |   771522 |   551882 |    25925     45 |      581 |      316
1624.58/1625.04	c 1624s |      19 |   772083 |   552382 |    25925     45 |      581 |      316
1626.98/1627.49	c 1627s |      19 |   772738 |   552982 |    25925     45 |      581 |      316
1629.08/1629.57	c 1629s |      19 |   773312 |   553482 |    25925     45 |      581 |      316
1631.18/1631.62	c 1631s |      19 |   773864 |   553982 |    25925     45 |      581 |      316
1633.38/1633.89	c 1633s |      19 |   774570 |   554582 |    25925     45 |      581 |      316
1635.68/1636.11	c 1635s |      19 |   775244 |   555182 |    25925     45 |      581 |      316
1637.78/1638.29	c 1638s |      19 |   775898 |   555782 |    25925     45 |      581 |      316
1639.97/1640.45	c 1640s |      19 |   776447 |   556282 |    25925     45 |      581 |      316
1642.07/1642.56	c 1642s |      19 |   777009 |   556782 |    25925     45 |      581 |      316
1644.38/1644.84	c 1644s |      19 |   777558 |   557282 |    25925     45 |      581 |      316
1646.68/1647.17	c 1646s |      19 |   778096 |   557782 |    25925     45 |      581 |      316
1648.88/1649.39	c 1649s |      19 |   778657 |   558282 |    25925     45 |      581 |      316
1651.18/1651.61	c 1651s |      19 |   779222 |   558782 |    25925     45 |      581 |      316
1653.18/1653.68	c 1653s |      19 |   779792 |   559282 |    25925     45 |      581 |      316
1655.48/1655.94	c 1655s |      19 |   780347 |   559782 |    25925     45 |      581 |      316
1657.68/1658.12	c 1657s |      19 |   780932 |   560282 |    25925     45 |      581 |      316
1660.08/1660.56	c 1660s |      19 |   781483 |   560782 |    25925     45 |      581 |      316
1662.48/1662.94	c 1662s |      19 |   782024 |   561282 |    25925     45 |      581 |      316
1664.58/1665.01	c 1664s |      19 |   782475 |   561682 |    25925     45 |      581 |      316
1666.77/1667.27	c 1667s |      19 |   783041 |   562182 |    25925     45 |      581 |      316
1669.07/1669.57	c 1669s |      19 |   783471 |   562582 |    25925     46 |      581 |      316
1671.37/1671.87	c 1671s |      19 |   784125 |   563182 |    25925     46 |      581 |      316
1673.47/1673.99	c 1673s |      19 |   784806 |   563782 |    25925     46 |      581 |      316
1675.87/1676.31	c 1676s |      19 |   785562 |   564482 |    25925     46 |      581 |      316
1677.87/1678.33	c 1678s |      19 |   786252 |   565082 |    25925     46 |      581 |      316
1679.87/1680.37	c 1680s |      19 |   786909 |   565682 |    25925     46 |      581 |      316
1682.17/1682.63	c 1682s |      19 |   787687 |   566382 |    25925     46 |      581 |      316
1684.37/1684.81	c 1684s |      19 |   788375 |   566982 |    25925     46 |      581 |      316
1686.37/1686.88	c 1686s |      19 |   789071 |   567582 |    25925     46 |      581 |      316
1688.67/1689.12	c 1688s |      19 |   789743 |   568182 |    25925     46 |      581 |      316
1691.07/1691.50	c 1691s |      19 |   790405 |   568782 |    25925     46 |      581 |      316
1693.07/1693.57	c 1693s |      19 |   791071 |   569382 |    25925     46 |      581 |      316
1695.17/1695.61	c 1695s |      19 |   791610 |   569882 |    25925     46 |      581 |      316
1697.27/1697.78	c 1697s |      19 |   792145 |   570382 |    25925     46 |      581 |      316
1699.36/1699.89	c 1699s |      19 |   792694 |   570882 |    25925     46 |      581 |      316
1701.56/1702.02	c 1701s |      19 |   793224 |   571382 |    25925     46 |      581 |      316
1703.66/1704.19	c 1703s |      19 |   793766 |   571882 |    25925     46 |      581 |      316
1705.87/1706.38	c 1706s |      19 |   794464 |   572482 |    25925     46 |      581 |      316
1707.98/1708.44	c 1708s |      19 |   794999 |   572982 |    25925     46 |      581 |      316
1709.97/1710.47	c 1710s |      19 |   795562 |   573482 |    25925     46 |      581 |      316
1712.17/1712.61	c 1712s |      19 |   796103 |   573982 |    25925     46 |      581 |      316
1714.37/1714.83	c 1714s |      19 |   796643 |   574482 |    25925     46 |      581 |      316
1716.68/1717.17	c 1716s |      19 |   797180 |   574982 |    25925     46 |      581 |      316
1718.98/1719.46	c 1719s |      19 |   797753 |   575482 |    25925     46 |      581 |      316
1721.27/1721.78	c 1721s |      19 |   798290 |   575982 |    25925     46 |      581 |      316
1723.67/1724.15	c 1723s |      19 |   798819 |   576482 |    25925     46 |      581 |      316
1725.97/1726.45	c 1726s |      19 |   799269 |   576882 |    25925     47 |      581 |      316
1728.07/1728.52	c 1728s |      19 |   799928 |   577482 |    25925     47 |      581 |      316
1730.37/1730.81	c 1730s |      19 |   800573 |   578082 |    25925     47 |      581 |      316
1732.67/1733.17	c 1732s |      19 |   801226 |   578682 |    25925     47 |      581 |      316
1734.97/1735.45	c 1735s |      19 |   801983 |   579382 |    25925     47 |      581 |      316
1737.26/1737.74	c 1737s |      19 |   802648 |   579982 |    25925     47 |      581 |      316
1739.56/1740.06	c 1739s |      19 |   803297 |   580582 |    25925     47 |      581 |      316
1741.86/1742.38	c 1742s |      19 |   803961 |   581182 |    25925     47 |      581 |      316
1744.17/1744.64	c 1744s |      19 |   804640 |   581782 |    25925     47 |      581 |      316
1746.56/1747.09	c 1746s |      19 |   805305 |   582382 |    25925     47 |      581 |      316
1748.86/1749.37	c 1749s |      19 |   805836 |   582882 |    25925     47 |      581 |      316
1751.16/1751.64	c 1751s |      19 |   806393 |   583382 |    25925     47 |      581 |      316
1753.26/1753.78	c 1753s |      19 |   806943 |   583882 |    25925     47 |      581 |      316
1755.36/1755.88	c 1755s |      19 |   807482 |   584382 |    25925     47 |      581 |      316
1757.47/1757.97	c 1757s |      19 |   808019 |   584882 |    25925     47 |      581 |      316
1759.67/1760.19	c 1759s |      19 |   808568 |   585382 |    25925     47 |      581 |      316
1761.86/1762.33	c 1762s |      19 |   809125 |   585882 |    25925     47 |      581 |      316
1764.06/1764.57	c 1764s |      19 |   809838 |   586482 |    25925     47 |      581 |      316
1766.16/1766.63	c 1766s |      19 |   810398 |   586982 |    25925     47 |      581 |      316
1768.16/1768.67	c 1768s |      19 |   811073 |   587582 |    25925     47 |      581 |      316
1770.56/1771.07	c 1770s |      19 |   811742 |   588182 |    25925     47 |      581 |      316
1772.76/1773.23	c 1772s |      19 |   812288 |   588682 |    25925     47 |      581 |      316
1774.96/1775.43	c 1775s |      19 |   812847 |   589182 |    25925     47 |      581 |      316
1777.16/1777.68	c 1777s |      19 |   813523 |   589782 |    25925     47 |      581 |      316
1779.55/1780.07	c 1779s |      19 |   814177 |   590382 |    25925     47 |      581 |      316
1781.95/1782.40	c 1782s |      19 |   814830 |   590982 |    25925     47 |      581 |      316
1784.15/1784.68	c 1784s |      19 |   815268 |   591382 |    25925     48 |      581 |      316
1786.46/1786.97	c 1786s |      19 |   816018 |   592082 |    25925     48 |      581 |      316
1788.76/1789.26	c 1789s |      19 |   816769 |   592782 |    25925     48 |      581 |      316
1790.86/1791.30	c 1791s |      19 |   817546 |   593482 |    25925     48 |      581 |      316
1793.06/1793.51	c 1793s |      19 |   818317 |   594182 |    25925     48 |      581 |      316
1795.16/1795.66	c 1795s |      19 |   819117 |   594882 |    25925     48 |      581 |      316
1797.16/1797.69	c 1797s |      19 |   819757 |   595482 |    25925     48 |      581 |      316
1799.46/1799.94	c 1799s |      19 |   820387 |   596082 |    25925     48 |      581 |      316

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

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.22 2.18 3/179 23161
/proc/meminfo: memFree=29634008/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=709052 CPUtime=0 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 2642 0 0 0 0 0 0 0 20 0 4 0 28649442 726069248 3003 33554432000 4194304 16246674 140736635005488 140736635004912 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 178031 3012 441 2943 0 174925 0
[pid=23161/tid=23162] ppid=23158 vsize=725436 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 742846464 3068 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 748089344 3087 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28649442 752283648 3103 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10015 s]
/proc/loadavg: 2.23 2.22 2.18 3/179 23161
/proc/meminfo: memFree=29634008/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 28275 0 0 0 6 3 0 0 20 0 4 0 28649442 1249447936 28573 33554432000 4194304 16246674 140736635005488 140736635004800 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 305041 28573 801 2943 0 301935 0
[pid=23161/tid=23162] ppid=23158 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1249447936 28573 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1249447936 28573 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1249447936 28573 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.20055 s]
/proc/loadavg: 2.23 2.22 2.18 3/179 23161
/proc/meminfo: memFree=29634008/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 48482 0 0 0 13 6 0 0 20 0 4 0 28649442 1332285440 48780 33554432000 4194304 16246674 140736635005488 140736635004800 12368966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 325265 48780 842 2943 0 322159 0
[pid=23161/tid=23162] ppid=23158 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1332285440 48780 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1332285440 48780 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1332285440 48780 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300496 s]
/proc/loadavg: 2.23 2.22 2.18 3/179 23161
/proc/meminfo: memFree=29634008/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 50523 0 0 0 22 7 0 0 20 0 4 0 28649442 1332285440 50822 33554432000 4194304 16246674 140736635005488 140736634987392 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 325265 50827 884 2943 0 322159 0
[pid=23161/tid=23162] ppid=23158 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1332285440 50831 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1332285440 50835 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1332285440 50838 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.70042 s]
/proc/loadavg: 2.23 2.22 2.18 3/179 23161
/proc/meminfo: memFree=29634008/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 100782 0 0 0 56 13 0 0 20 0 4 0 28649442 1332285440 101080 33554432000 4194304 16246674 140736635005488 140736634987392 5828874 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 325265 101085 884 2943 0 322159 0
[pid=23161/tid=23162] ppid=23158 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1332285440 101088 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1332285440 101091 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1332285440 101094 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50042 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 23165
/proc/meminfo: memFree=29038744/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 197616 0 0 0 121 28 0 0 20 0 4 0 28649442 1332285440 197914 33554432000 4194304 16246674 140736635005488 140736634987392 12477891 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 325265 197926 884 2943 0 322159 0
[pid=23161/tid=23162] ppid=23158 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1332285440 197934 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1332285440 197943 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1332285440 197952 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10042 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 23165
/proc/meminfo: memFree=28556748/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1312324 CPUtime=3.09 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 269269 0 0 0 273 36 0 0 20 0 4 0 28649442 1343819776 269567 33554432000 4194304 16246674 140736635005488 140736634988488 5659568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 328081 269567 891 2943 0 324975 0
[pid=23161/tid=23162] ppid=23158 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1343819776 269567 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1343819776 269567 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1343819776 269567 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30043 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 23165
/proc/meminfo: memFree=28556100/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 269269 0 0 0 593 36 0 0 20 0 4 0 28649442 1343819776 269567 33554432000 4194304 16246674 140736635005488 140736634987392 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 328081 269567 891 2943 0 324975 0
[pid=23161/tid=23162] ppid=23158 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1343819776 269567 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1343819776 269567 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1343819776 269567 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 23165
/proc/meminfo: memFree=28556020/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1312324 CPUtime=12.68 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 269269 0 0 0 1232 36 0 0 20 0 4 0 28649442 1343819776 269567 33554432000 4194304 16246674 140736635005488 140736634987392 5711688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 328081 269567 891 2943 0 324975 0
[pid=23161/tid=23162] ppid=23158 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1343819776 269567 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1343819776 269567 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1343819776 269567 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.15 2.20 2.18 3/183 23165
/proc/meminfo: memFree=28556508/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1312324 CPUtime=25.48 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 269270 0 0 0 2512 36 0 0 20 0 4 0 28649442 1343819776 269568 33554432000 4194304 16246674 140736635005488 140736634987392 5722390 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 328081 269568 891 2943 0 324975 0
[pid=23161/tid=23162] ppid=23158 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1343819776 269568 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1343819776 269568 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1343819776 269568 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.16 2.20 2.18 3/183 23165
/proc/meminfo: memFree=28556848/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1312324 CPUtime=51.09 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 269270 0 0 0 5072 37 0 0 20 0 4 0 28649442 1343819776 269568 33554432000 4194304 16246674 140736635005488 140736634987392 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 328081 269568 891 2943 0 324975 0
[pid=23161/tid=23162] ppid=23158 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1343819776 269568 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1343819776 269568 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1343819776 269568 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 23166
/proc/meminfo: memFree=28554024/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 269783 0 0 0 10191 37 0 0 20 0 4 0 28649442 1345916928 270081 33554432000 4194304 16246674 140736635005488 140736634987392 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 328593 270081 892 2943 0 325487 0
[pid=23161/tid=23162] ppid=23158 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1345916928 270081 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1345916928 270081 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1345916928 270081 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1336900

[startup+1362.3 s]
/proc/loadavg: 2.24 2.22 2.18 3/184 23272
/proc/meminfo: memFree=28524012/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1336900 CPUtime=1361.92 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 275594 0 0 0 136141 51 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140736634987392 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 334225 275862 892 2943 0 331119 0
[pid=23161/tid=23162] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1336900

[startup+1422.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 23273
/proc/meminfo: memFree=28523940/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1336900 CPUtime=1421.92 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 275594 0 0 0 142140 52 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140736634987392 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 334225 275862 892 2943 0 331119 0
[pid=23161/tid=23162] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1336900

[startup+1482.3 s]
/proc/loadavg: 2.18 2.20 2.18 4/183 23275
/proc/meminfo: memFree=28523848/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1336900 CPUtime=1481.9 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 275594 0 0 0 148138 52 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140736634987392 5823254 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 334225 275862 892 2943 0 331119 0
[pid=23161/tid=23162] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1336900

[startup+1542.31 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 23276
/proc/meminfo: memFree=28523516/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1336900 CPUtime=1541.9 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 275594 0 0 0 154138 52 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140736634987392 6026796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 334225 275862 892 2943 0 331119 0
[pid=23161/tid=23162] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1336900

[startup+1602.3 s]
/proc/loadavg: 2.12 2.18 2.17 3/183 23277
/proc/meminfo: memFree=28523556/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1336900 CPUtime=1601.88 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 275594 0 0 0 160135 53 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140736635004584 5717656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 334225 275862 892 2943 0 331119 0
[pid=23161/tid=23162] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1336900

[startup+1662.3 s]
/proc/loadavg: 2.19 2.19 2.18 4/183 23278
/proc/meminfo: memFree=28523464/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1336900 CPUtime=1661.88 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 275594 0 0 0 166134 54 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140736635004664 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 334225 275862 892 2943 0 331119 0
[pid=23161/tid=23162] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1336900

[startup+1722.3 s]
/proc/loadavg: 2.29 2.21 2.19 3/183 23279
/proc/meminfo: memFree=28523612/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1336900 CPUtime=1721.87 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 275594 0 0 0 172132 55 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140736634987392 5672230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 334225 275862 892 2943 0 331119 0
[pid=23161/tid=23162] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1336900

[startup+1782.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/183 23281
/proc/meminfo: memFree=28523680/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1336900 CPUtime=1781.85 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 275594 0 0 0 178130 55 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140736635004664 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 334225 275862 892 2943 0 331119 0
[pid=23161/tid=23162] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1336900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.24 2.21 2.18 3/183 23281
/proc/meminfo: memFree=28524056/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1336900 CPUtime=1800.06 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 275594 0 0 0 179950 56 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140736634987392 13752941 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 334225 275862 892 2943 0 331119 0
[pid=23161/tid=23162] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 23161 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.24 2.21 2.18 3/183 23281
/proc/meminfo: memFree=28524056/32872528 swapFree=1085692/1157232
[pid=23161] ppid=23158 vsize=1336900 CPUtime=1800.06 cores=1,3,5,7
/proc/23161/stat : 23161 (toysat) R 23158 23161 21062 0 -1 4202496 275594 0 0 0 179950 56 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140736634987392 13752941 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23161/statm: 334225 275862 892 2943 0 331119 0
[pid=23161/tid=23162] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (toysat) S 23158 23161 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665225719024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23161/tid=23163] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23163/stat : 23163 (toysat) S 23158 23161 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665144978672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23161/tid=23164] ppid=23158 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (toysat) S 23158 23161 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28649442 1368985600 275862 33554432000 4194304 16246674 140736635005488 140665134505136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1336900

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.51
CPU system time (s): 0.563914
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 1336900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.563914
maximum resident set size= 1103448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275594
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= 301
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6173 second user time and 6.90695 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= 96407df0a4a1c06476a2103be4bab1fa
RANDOM SEED=220827060

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29634452 kB
Buffers:           23772 kB
Cached:           219240 kB
SwapCached:        38932 kB
Active:          1161828 kB
Inactive:         217284 kB
Active(anon):    1100840 kB
Inactive(anon):    37756 kB
Active(file):      60988 kB
Inactive(file):   179528 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061376 kB
Dirty:             16708 kB
Writeback:             0 kB
AnonPages:       2358060 kB
Mapped:            10728 kB
Shmem:                 0 kB
Slab:             566724 kB
SReclaimable:      10856 kB
SUnreclaim:       555868 kB
KernelStack:        1520 kB
PageTables:         8440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2398644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    716800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71624 MiB
End job on node114 at 2016-06-26 18:18:19