Trace number 4116829

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round23-3.opb
MD5SUM574d3d42d3a29e2b1f99ed1915690bdc
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9472
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)384
Number of constraints which are nor clauses,nor cardinality constraints896
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-26T23:18:30+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-4116829-1466975910.opb"]
0.00/0.01	c use --random-gen="2639361961 2357794439 118002531 3795511199 658585463 343928113 2753475912 2513172173 616752606 4182064997 3730701120 919202974 2851194716 3696990805 2529618536 4009711457 739760294 2103748376 1428034876 645866842 1540137725 4175787925 1484111099 3214107315 1852445459 3116038084 4087211846 3519098722 1904403440 670620597 3676608418 2060594552 2320997286 574144782 3734518656 1012553627 4263046491 2380688266 3695568100 2319058986 2975889309 1358002817 814756985 869453301 1995558645 1850329813 1288193230 2464661497 2624614151 3130417627 1798048076 623226026 2753233077 934958541 3445874690 2471385630 1550529471 3402177544 1549197602 868834215 2899380562 3007114216 215820361 491766794 1272523308 44526010 3227924723 4116458839 1053791861 921830240 1203543163 2355844853 4029811145 3193384134 319765664 384945718 1416529797 666252946 4065929880 3204626090 3012638218 3522149227 2419737472 398733434 1094687673 3479286947 3585947114 1130113440 1494658915 2531005549 3388511814 510112894 3567451039 1602831613 2164969636 1107079119 1475479319 1897582310 2074207179 3087462096 666729600 1657486600 3519233652 2388695932 3352606850 1542624930 2033090656 2737860316 3547012660 3410885175 1401433762 1705521905 1630231728 1367376995 1249105408 2717950428 3310424561 3104429025 570235187 3148214350 2434429781 1192031273 2122383297 277816947 2083879622 3796730049 3875376415 2804542538 4275874882 4292949135 4008518701 3083290212 4053211441 1204428434 3156480530 1405608665 3036365446 2986614105 1538885837 196693040 9314860 2296572802 1459478586 300055500 2394152493 914829729 464317864 851081669 808605172 2730531181 687324269 3757295687 776572077 4261300286 2747617093 3521733096 900828383 1783641466 2418348698 5321391 4175199082 4086055745 30994663 1438492421 237578564 1799887953 2274679125 3772370873 145455512 3820658745 3558587659 3546615729 689268832 909511061 1054589731 2511984925 1906529780 1094113330 1725385732 1828240943 3216627505 1267334004 3007541127 2940446217 3941451277 1405341284 3102407857 1014223379 1728345120 2083842096 2692179934 3597421470 2276866331 451406000 1821040140 4252985259 3372398000 869705841 711911082 4045861341 1711918165 3911400877 873594108 612155987 2284705899 3263553808 3127809914 2966641835 3002037457 3040764968 1894210487 824185623 2996280661 527886881 1713305782 2033708125 4004428328 2470874678 2858980952 366225663 4172253669 3036720829 1918247339 11788996 2654658008 760404103 1964403387 1900188474 3359689619 3458193524 4037687574 3108438157 3141206254 1056451764 2077970668 2893549272 352157594 2748831628 3569138691 2181882716 1208125232 3273934549 2177284166 365095530 3249605089 2979507697 3827690518 3720797382 3148271305 4209721882 1711422972 2850850990 876936169 2729654926 1756738693 1418601158 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9472
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      659 |        0
0.29/0.38	c  0.1s |       1 |      729 |      100 |     4565      0 |      659 |      430
0.29/0.44	c  0.2s |       2 |     1934 |      250 |     5022      0 |      659 |      430
0.29/0.55	c  0.3s |       3 |     2934 |      475 |     5525      0 |      659 |      430
0.29/0.76	c  0.5s |       4 |     5230 |      813 |     6078      0 |      660 |      430
1.29/1.37	c  1.1s |       5 |     7281 |     1320 |     6686      0 |      660 |      430
1.79/1.87	c  1.6s |       6 |    14435 |     2081 |     8091      0 |      660 |      430
2.98/3.08	c  2.8s |       7 |    17447 |     3223 |     8901      0 |      660 |      430
4.28/4.35	c  4.1s |       8 |    25644 |     4936 |     9792      0 |      660 |      430
6.28/6.36	c  6.1s |       8 |    32121 |     6836 |     9792      0 |      661 |      430
7.18/7.21	c  6.9s |       9 |    33774 |     7506 |    10772      0 |      661 |      430
9.19/9.26	c  9.0s |       9 |    41191 |     9806 |    10772      0 |      661 |      430
10.88/10.93	c 10.7s |      10 |    44729 |    11361 |    11850      0 |      661 |      430
12.88/12.95	c 12.7s |      10 |    56120 |    13761 |    11850      0 |      661 |      430
15.08/15.13	c 14.9s |      10 |    59119 |    15361 |    11850      1 |      661 |      430
17.38/17.45	c 17.2s |      10 |    60717 |    16561 |    11850      1 |      661 |      430
18.88/18.90	c 18.6s |      11 |    61485 |    17144 |    13036      1 |      661 |      430
20.98/21.05	c 20.8s |      11 |    66173 |    19044 |    13036      1 |      661 |      430
23.08/23.13	c 22.9s |      11 |    69776 |    20544 |    13036      1 |      661 |      430
25.08/25.17	c 24.9s |      11 |    75209 |    22544 |    13036      1 |      661 |      430
27.08/27.18	c 26.9s |      11 |    77307 |    23944 |    13036      2 |      661 |      430
29.08/29.11	c 28.8s |      12 |    81919 |    25819 |    14340      2 |      661 |      430
31.10/31.16	c 30.9s |      12 |    90602 |    28519 |    14340      2 |      661 |      430
33.08/33.19	c 32.9s |      12 |    95110 |    30519 |    14340      2 |      661 |      430
35.27/35.33	c 35.1s |      12 |    97473 |    32019 |    14340      2 |      661 |      430
37.37/37.46	c 37.2s |      12 |    99451 |    33319 |    14340      3 |      661 |      430
39.47/39.55	c 39.3s |      12 |   101522 |    34719 |    14340      3 |      661 |      430
41.57/41.62	c 41.3s |      12 |   106573 |    36819 |    14340      3 |      661 |      430
43.57/43.66	c 43.4s |      12 |   108847 |    38419 |    14340      3 |      661 |      430
44.17/44.24	c 44.0s |      13 |   109380 |    38832 |    15775      3 |      661 |      430
46.17/46.27	c 46.0s |      13 |   113807 |    40532 |    15775      3 |      661 |      430
48.17/48.29	c 48.0s |      13 |   115473 |    41832 |    15775      3 |      661 |      430
50.27/50.30	c 50.0s |      13 |   117155 |    43032 |    15775      3 |      661 |      430
52.37/52.48	c 52.2s |      13 |   118004 |    43832 |    15775      4 |      661 |      430
54.67/54.71	c 54.4s |      13 |   119112 |    44832 |    15775      4 |      661 |      430
56.87/56.97	c 56.7s |      13 |   120050 |    45632 |    15775      4 |      661 |      430
58.97/59.00	c 58.7s |      13 |   124276 |    47432 |    15775      4 |      661 |      430
60.96/61.05	c 60.8s |      13 |   126750 |    49232 |    15775      4 |      661 |      430
63.07/63.14	c 62.9s |      13 |   128304 |    50532 |    15775      4 |      661 |      430
65.06/65.15	c 64.9s |      13 |   129667 |    51732 |    15775      4 |      661 |      430
67.16/67.26	c 67.0s |      13 |   130906 |    52732 |    15775      5 |      661 |      430
69.26/69.37	c 69.1s |      13 |   134139 |    54332 |    15775      5 |      661 |      430
71.36/71.43	c 71.1s |      13 |   136736 |    55832 |    15775      5 |      661 |      430
73.36/73.45	c 73.2s |      13 |   138624 |    57232 |    15775      5 |      661 |      430
75.46/75.54	c 75.3s |      13 |   140199 |    58332 |    17353      5 |      661 |      430
75.46/75.57	c 75.3s |      14 |   140231 |    58352 |    17353      5 |      661 |      430
77.56/77.61	c 77.3s |      14 |   145479 |    60052 |    17353      5 |      661 |      430
79.66/79.70	c 79.4s |      14 |   147069 |    61352 |    17353      5 |      661 |      430
81.66/81.72	c 81.4s |      14 |   150160 |    62652 |    17353      5 |      661 |      430
83.66/83.79	c 83.5s |      14 |   154376 |    64352 |    17353      6 |      661 |      430
85.76/85.84	c 85.6s |      14 |   157508 |    65952 |    17353      6 |      661 |      430
87.85/87.94	c 87.7s |      14 |   160461 |    67552 |    17353      6 |      661 |      430
89.95/90.02	c 89.7s |      14 |   162095 |    68652 |    17353      6 |      661 |      430
92.05/92.10	c 91.8s |      14 |   162980 |    69452 |    17353      6 |      661 |      430
94.26/94.30	c 94.0s |      14 |   163835 |    70252 |    17353      6 |      661 |      430
96.36/96.49	c 96.2s |      14 |   164615 |    70952 |    17353      6 |      661 |      430
98.66/98.77	c 98.5s |      14 |   165275 |    71552 |    17353      6 |      661 |      430
100.96/101.02	c  100s |      14 |   165966 |    72152 |    17353      6 |      661 |      430
102.96/103.10	c  102s |      14 |   169016 |    73252 |    17353      7 |      661 |      430
105.06/105.15	c  104s |      14 |   172651 |    74952 |    17353      7 |      661 |      430
107.07/107.16	c  106s |      14 |   173882 |    76052 |    17353      7 |      661 |      430
109.27/109.32	c  109s |      14 |   175054 |    77152 |    17353      7 |      661 |      430
111.37/111.43	c  111s |      14 |   176274 |    78252 |    17353      7 |      661 |      430
113.46/113.58	c  113s |      14 |   177350 |    79252 |    17353      7 |      661 |      430
115.66/115.77	c  115s |      14 |   178323 |    80152 |    17353      7 |      661 |      430
117.76/117.87	c  117s |      14 |   179176 |    80952 |    17353      7 |      661 |      430
119.86/119.91	c  119s |      14 |   179944 |    81652 |    17353      7 |      661 |      430
121.86/121.94	c  121s |      14 |   180834 |    82452 |    17353      7 |      661 |      430
124.06/124.12	c  123s |      14 |   181698 |    83252 |    17353      7 |      661 |      430
126.16/126.20	c  125s |      14 |   182361 |    83852 |    17353      8 |      661 |      430
128.16/128.26	c  127s |      14 |   183574 |    84952 |    17353      8 |      661 |      430
130.35/130.41	c  130s |      14 |   184893 |    86052 |    17353      8 |      661 |      430
132.36/132.46	c  132s |      14 |   185908 |    86952 |    17353      8 |      661 |      430
133.85/133.99	c  133s |      15 |   186697 |    87632 |    19089      8 |      661 |      430
135.95/136.01	c  135s |      15 |   192730 |    89332 |    19089      8 |      661 |      430
138.05/138.14	c  137s |      15 |   195256 |    91032 |    19089      8 |      661 |      430
140.15/140.23	c  139s |      15 |   196871 |    92332 |    19089      8 |      661 |      430
142.16/142.24	c  141s |      15 |   201520 |    94232 |    19089      8 |      661 |      430
144.25/144.38	c  144s |      15 |   203415 |    95532 |    19089      8 |      661 |      430
146.45/146.51	c  146s |      15 |   204123 |    96132 |    19089      9 |      661 |      430
148.55/148.67	c  148s |      15 |   205863 |    97332 |    19089      9 |      661 |      430
150.85/150.91	c  150s |      15 |   207093 |    98332 |    19089      9 |      661 |      430
152.85/152.93	c  152s |      15 |   208405 |    99332 |    19089      9 |      661 |      430
154.85/154.94	c  154s |      15 |   209437 |   100132 |    19089      9 |      661 |      430
156.85/156.99	c  156s |      15 |   210349 |   100932 |    19089      9 |      661 |      430
159.05/159.19	c  158s |      15 |   211238 |   101732 |    19089      9 |      661 |      430
161.35/161.40	c  161s |      15 |   212168 |   102532 |    19089      9 |      661 |      430
163.45/163.51	c  163s |      15 |   213139 |   103332 |    19089      9 |      661 |      430
165.45/165.57	c  165s |      15 |   214409 |   104232 |    19089      9 |      661 |      430
167.75/167.88	c  167s |      15 |   215377 |   105032 |    19089      9 |      661 |      430
169.85/169.98	c  169s |      15 |   216428 |   105832 |    19089      9 |      661 |      430
171.95/172.09	c  171s |      15 |   217265 |   106532 |    19089      9 |      661 |      430
174.05/174.13	c  173s |      15 |   218239 |   107232 |    19089     10 |      661 |      430
176.25/176.32	c  176s |      15 |   219520 |   108232 |    19089     10 |      661 |      430
178.45/178.53	c  178s |      15 |   220669 |   109132 |    19089     10 |      661 |      430
180.44/180.53	c  180s |      15 |   221493 |   109832 |    19089     10 |      661 |      430
182.54/182.60	c  182s |      15 |   222259 |   110532 |    19089     10 |      661 |      430
184.74/184.86	c  184s |      15 |   223163 |   111232 |    19089     10 |      661 |      430
187.14/187.23	c  186s |      15 |   224106 |   112032 |    19089     10 |      661 |      430
189.24/189.34	c  189s |      15 |   226053 |   113032 |    19089     10 |      661 |      430
191.24/191.37	c  191s |      15 |   227576 |   114032 |    19089     10 |      661 |      430
193.34/193.41	c  193s |      15 |   228801 |   114932 |    19089     10 |      661 |      430
195.54/195.67	c  195s |      15 |   230028 |   115832 |    19089     10 |      661 |      430
197.74/197.81	c  197s |      15 |   231364 |   116732 |    19089     10 |      661 |      430
199.84/199.99	c  199s |      15 |   232379 |   117532 |    19089     10 |      661 |      430
201.94/202.06	c  201s |      15 |   233094 |   118132 |    19089     11 |      661 |      430
204.24/204.30	c  204s |      15 |   234360 |   119132 |    19089     11 |      661 |      430
206.44/206.50	c  206s |      15 |   235428 |   120032 |    19089     11 |      661 |      430
208.44/208.55	c  208s |      15 |   236391 |   120832 |    19089     11 |      661 |      430
210.44/210.57	c  210s |      15 |   237219 |   121532 |    19089     11 |      661 |      430
212.54/212.66	c  212s |      15 |   238013 |   122232 |    19089     11 |      661 |      430
214.74/214.84	c  214s |      15 |   238808 |   122932 |    19089     11 |      661 |      430
216.73/216.85	c  216s |      15 |   239481 |   123532 |    19089     11 |      661 |      430
219.03/219.11	c  218s |      15 |   240143 |   124132 |    19089     11 |      661 |      430
221.34/221.46	c  221s |      15 |   240819 |   124732 |    19089     11 |      661 |      430
223.54/223.66	c  223s |      15 |   241517 |   125332 |    19089     11 |      661 |      430
225.74/225.83	c  225s |      15 |   242368 |   126032 |    19089     11 |      661 |      430
228.04/228.16	c  227s |      15 |   243215 |   126732 |    19089     11 |      661 |      430
230.03/230.18	c  229s |      15 |   243936 |   127332 |    19089     11 |      661 |      430
232.44/232.52	c  232s |      15 |   244621 |   127932 |    19089     11 |      661 |      430
234.64/234.78	c  234s |      15 |   245325 |   128532 |    19089     11 |      661 |      430
236.74/236.80	c  236s |      15 |   245953 |   129032 |    19089     12 |      661 |      430
238.83/238.92	c  238s |      15 |   246978 |   129832 |    19089     12 |      661 |      430
241.03/241.17	c  240s |      15 |   247910 |   130632 |    19089     12 |      661 |      430
243.03/243.17	c  242s |      15 |   248716 |   131332 |    20998     12 |      661 |      430
243.73/243.81	c  243s |      16 |   248963 |   131552 |    20998     12 |      661 |      430
245.83/245.91	c  245s |      16 |   252385 |   133252 |    20998     12 |      661 |      430
247.93/248.03	c  247s |      16 |   254314 |   134752 |    20998     12 |      661 |      430
249.94/250.04	c  249s |      16 |   255629 |   135852 |    20998     12 |      661 |      430
252.03/252.17	c  251s |      16 |   257464 |   137252 |    20998     12 |      661 |      430
254.13/254.29	c  254s |      16 |   259055 |   138552 |    20998     12 |      661 |      430
256.33/256.46	c  256s |      16 |   260472 |   139752 |    20998     12 |      661 |      430
258.43/258.57	c  258s |      16 |   261480 |   140652 |    20998     12 |      661 |      430
260.63/260.76	c  260s |      16 |   262781 |   141752 |    20998     12 |      661 |      430
262.83/262.90	c  262s |      16 |   263891 |   142652 |    20998     13 |      661 |      430
264.93/265.08	c  264s |      16 |   265620 |   143952 |    20998     13 |      661 |      430
267.03/267.11	c  266s |      16 |   272054 |   146152 |    20998     13 |      661 |      430
269.03/269.16	c  268s |      16 |   275064 |   147852 |    20998     13 |      661 |      430
271.03/271.16	c  270s |      16 |   278938 |   149352 |    20998     13 |      661 |      430
273.03/273.19	c  272s |      16 |   284830 |   151252 |    20998     13 |      661 |      430
275.23/275.34	c  275s |      16 |   287370 |   152652 |    20998     13 |      661 |      430
277.33/277.41	c  277s |      16 |   288628 |   153552 |    20998     13 |      661 |      430
279.43/279.52	c  279s |      16 |   290150 |   154652 |    20998     14 |      661 |      430
281.53/281.68	c  281s |      16 |   291683 |   155852 |    20998     14 |      661 |      430
283.73/283.80	c  283s |      16 |   294282 |   157352 |    20998     14 |      661 |      430
285.73/285.82	c  285s |      16 |   295553 |   158352 |    20998     14 |      661 |      430
287.93/288.00	c  287s |      16 |   297014 |   159552 |    20998     14 |      661 |      430
289.92/290.06	c  289s |      16 |   298057 |   160452 |    20998     14 |      661 |      430
292.12/292.21	c  291s |      16 |   299113 |   161352 |    20998     14 |      661 |      430
294.12/294.26	c  293s |      16 |   300160 |   162252 |    20998     14 |      661 |      430
296.32/296.41	c  296s |      16 |   301176 |   163152 |    20998     14 |      661 |      430
298.43/298.57	c  298s |      16 |   302067 |   163952 |    20998     14 |      661 |      430
300.53/300.69	c  300s |      16 |   302836 |   164652 |    20998     14 |      661 |      430
302.92/303.05	c  302s |      16 |   303622 |   165352 |    20998     14 |      661 |      430
305.03/305.11	c  304s |      16 |   304448 |   166052 |    20998     14 |      661 |      430
307.02/307.14	c  306s |      16 |   305098 |   166652 |    20998     14 |      661 |      430
309.02/309.15	c  308s |      16 |   305765 |   167252 |    20998     15 |      661 |      430
311.12/311.28	c  311s |      16 |   307377 |   168252 |    20998     15 |      661 |      430
313.42/313.51	c  313s |      16 |   309331 |   169552 |    20998     15 |      661 |      430
315.62/315.70	c  315s |      16 |   310409 |   170452 |    20998     15 |      661 |      430
317.82/317.95	c  317s |      16 |   311542 |   171352 |    20998     15 |      661 |      430
319.82/319.96	c  319s |      16 |   312474 |   172152 |    20998     15 |      661 |      430
322.02/322.15	c  321s |      16 |   313519 |   172952 |    20998     15 |      661 |      430
324.22/324.30	c  324s |      16 |   314695 |   173852 |    20998     15 |      661 |      430
326.42/326.53	c  326s |      16 |   315659 |   174652 |    20998     15 |      661 |      430
328.52/328.60	c  328s |      16 |   316490 |   175352 |    20998     15 |      661 |      430
330.72/330.82	c  330s |      16 |   317589 |   176252 |    20998     15 |      661 |      430
332.92/333.08	c  332s |      16 |   318559 |   177052 |    20998     15 |      661 |      430
334.92/335.09	c  334s |      16 |   319408 |   177752 |    20998     15 |      661 |      430
337.21/337.35	c  337s |      16 |   320286 |   178452 |    20998     15 |      661 |      430
339.51/339.62	c  339s |      16 |   321169 |   179152 |    20998     16 |      661 |      430
341.71/341.82	c  341s |      16 |   322095 |   179952 |    20998     16 |      661 |      430
343.81/343.92	c  343s |      16 |   322895 |   180652 |    20998     16 |      661 |      430
345.91/346.07	c  345s |      16 |   323839 |   181452 |    20998     16 |      661 |      430
348.01/348.16	c  347s |      16 |   324645 |   182152 |    20998     16 |      661 |      430
350.02/350.20	c  349s |      16 |   325336 |   182752 |    20998     16 |      661 |      430
352.22/352.33	c  352s |      16 |   326265 |   183552 |    20998     16 |      661 |      430
354.42/354.58	c  354s |      16 |   327240 |   184352 |    20998     16 |      661 |      430
356.72/356.85	c  356s |      16 |   328048 |   185052 |    20998     16 |      661 |      430
358.92/359.02	c  358s |      16 |   328850 |   185752 |    20998     16 |      661 |      430
360.91/361.03	c  360s |      16 |   329515 |   186352 |    20998     16 |      661 |      430
363.11/363.24	c  362s |      16 |   330381 |   187052 |    20998     16 |      661 |      430
365.21/365.35	c  365s |      16 |   331287 |   187752 |    20998     16 |      661 |      430
367.41/367.58	c  367s |      16 |   332147 |   188452 |    20998     16 |      661 |      430
369.51/369.63	c  369s |      16 |   332876 |   189052 |    20998     16 |      661 |      430
371.52/371.64	c  371s |      16 |   333477 |   189552 |    20998     16 |      661 |      430
373.82/373.92	c  373s |      16 |   334209 |   190152 |    20998     16 |      661 |      430
375.81/375.97	c  375s |      16 |   334768 |   190652 |    20998     16 |      661 |      430
378.21/378.32	c  378s |      16 |   335315 |   191152 |    20998     17 |      661 |      430
380.21/380.38	c  380s |      16 |   336433 |   191952 |    20998     17 |      661 |      430
382.31/382.40	c  382s |      16 |   337339 |   192752 |    20998     17 |      661 |      430
384.31/384.47	c  384s |      16 |   338423 |   193652 |    20998     17 |      661 |      430
386.32/386.48	c  386s |      16 |   339398 |   194452 |    20998     17 |      661 |      430
388.41/388.50	c  388s |      16 |   340378 |   195252 |    20998     17 |      661 |      430
390.51/390.63	c  390s |      16 |   341565 |   196152 |    23098     17 |      661 |      430
392.71/392.85	c  392s |      16 |   342733 |   197052 |    23098     17 |      661 |      430
394.02/394.15	c  393s |      17 |   343161 |   197432 |    23098     17 |      661 |      430
396.01/396.19	c  395s |      17 |   352127 |   199432 |    23098     17 |      661 |      430
398.11/398.21	c  397s |      17 |   357435 |   201432 |    23098     17 |      661 |      430
400.11/400.29	c  400s |      17 |   361422 |   203132 |    23098     17 |      661 |      430
402.21/402.33	c  402s |      17 |   364631 |   204632 |    23098     18 |      661 |      430
404.41/404.56	c  404s |      17 |   366801 |   206132 |    23098     18 |      661 |      430
406.51/406.61	c  406s |      17 |   367988 |   207032 |    23098     18 |      661 |      430
408.60/408.74	c  408s |      17 |   370286 |   208432 |    23098     18 |      661 |      430
410.61/410.78	c  410s |      17 |   371822 |   209632 |    23098     18 |      661 |      430
412.71/412.81	c  412s |      17 |   373006 |   210632 |    23098     18 |      661 |      430
414.91/415.02	c  414s |      17 |   374101 |   211532 |    23098     18 |      661 |      430
417.00/417.11	c  416s |      17 |   375193 |   212432 |    23098     18 |      661 |      430
419.10/419.22	c  418s |      17 |   376444 |   213432 |    23098     18 |      661 |      430
421.10/421.23	c  420s |      17 |   377424 |   214232 |    23098     18 |      661 |      430
423.20/423.37	c  423s |      17 |   378377 |   215032 |    23098     18 |      661 |      430
425.30/425.44	c  425s |      17 |   379419 |   215932 |    23098     18 |      661 |      430
427.50/427.60	c  427s |      17 |   380540 |   216832 |    23098     18 |      661 |      430
429.60/429.75	c  429s |      17 |   381563 |   217732 |    23098     18 |      661 |      430
431.90/432.00	c  431s |      17 |   382518 |   218532 |    23098     19 |      661 |      430
434.10/434.23	c  433s |      17 |   383581 |   219432 |    23098     19 |      661 |      430
436.20/436.36	c  436s |      17 |   384553 |   220232 |    23098     19 |      661 |      430
438.40/438.57	c  438s |      17 |   385665 |   221132 |    23098     19 |      661 |      430
440.60/440.74	c  440s |      17 |   386626 |   221932 |    23098     19 |      661 |      430
442.70/442.81	c  442s |      17 |   387515 |   222632 |    23098     19 |      661 |      430
444.71/444.83	c  444s |      17 |   389225 |   223632 |    23098     19 |      661 |      430
446.70/446.87	c  446s |      17 |   390386 |   224532 |    23098     19 |      661 |      430
448.80/448.98	c  448s |      17 |   391564 |   225432 |    23098     19 |      661 |      430
451.00/451.14	c  450s |      17 |   392574 |   226232 |    23098     19 |      661 |      430
453.20/453.36	c  453s |      17 |   393412 |   226932 |    23098     19 |      661 |      430
455.40/455.53	c  455s |      17 |   394243 |   227632 |    23098     19 |      661 |      430
457.50/457.60	c  457s |      17 |   395042 |   228332 |    23098     19 |      661 |      430
459.50/459.69	c  459s |      17 |   395726 |   228932 |    23098     19 |      661 |      430
461.60/461.72	c  461s |      17 |   396484 |   229532 |    23098     19 |      661 |      430
463.60/463.74	c  463s |      17 |   397254 |   230132 |    23098     19 |      661 |      430
465.70/465.87	c  465s |      17 |   398234 |   230932 |    23098     19 |      661 |      430
467.89/468.07	c  467s |      17 |   398931 |   231532 |    23098     20 |      661 |      430
470.09/470.24	c  469s |      17 |   400025 |   232432 |    23098     20 |      661 |      430
472.29/472.41	c  472s |      17 |   401160 |   233332 |    23098     20 |      661 |      430
474.30/474.45	c  474s |      17 |   402113 |   234132 |    23098     20 |      661 |      430
476.39/476.58	c  476s |      17 |   403077 |   234932 |    23098     20 |      661 |      430
478.71/478.82	c  478s |      17 |   404069 |   235732 |    23098     20 |      661 |      430
480.80/481.00	c  480s |      17 |   404871 |   236432 |    23098     20 |      661 |      430
482.90/483.06	c  482s |      17 |   405561 |   237032 |    23098     20 |      661 |      430
485.10/485.25	c  484s |      17 |   406231 |   237632 |    23098     20 |      661 |      430
487.30/487.47	c  487s |      17 |   406919 |   238232 |    23098     20 |      661 |      430
489.50/489.62	c  489s |      17 |   407831 |   238932 |    23098     20 |      661 |      430
491.59/491.72	c  491s |      17 |   408768 |   239732 |    23098     20 |      661 |      430
493.59/493.74	c  493s |      17 |   409559 |   240432 |    23098     20 |      661 |      430
495.69/495.80	c  495s |      17 |   410403 |   241132 |    23098     20 |      661 |      430
497.79/497.99	c  497s |      17 |   411357 |   241932 |    23098     20 |      661 |      430
500.09/500.20	c  499s |      17 |   412141 |   242632 |    23098     20 |      661 |      430
502.09/502.24	c  501s |      17 |   412869 |   243232 |    23098     20 |      661 |      430
504.49/504.63	c  504s |      17 |   413674 |   243932 |    23098     20 |      661 |      430
506.49/506.66	c  506s |      17 |   414294 |   244432 |    23098     21 |      661 |      430
508.89/509.01	c  508s |      17 |   415063 |   245132 |    23098     21 |      661 |      430
511.09/511.26	c  510s |      17 |   416003 |   245932 |    23098     21 |      661 |      430
513.49/513.63	c  513s |      17 |   416799 |   246632 |    23098     21 |      661 |      430
515.69/515.86	c  515s |      17 |   417569 |   247332 |    23098     21 |      661 |      430
517.79/517.96	c  517s |      17 |   418287 |   247932 |    23098     21 |      661 |      430
520.09/520.26	c  519s |      17 |   419078 |   248632 |    23098     21 |      661 |      430
522.29/522.46	c  522s |      17 |   419873 |   249332 |    23098     21 |      661 |      430
524.49/524.63	c  524s |      17 |   420670 |   250032 |    23098     21 |      661 |      430
526.79/526.92	c  526s |      17 |   421446 |   250732 |    23098     21 |      661 |      430
528.89/529.02	c  528s |      17 |   422128 |   251332 |    23098     21 |      661 |      430
530.89/531.06	c  530s |      17 |   422799 |   251932 |    23098     21 |      661 |      430
533.09/533.25	c  532s |      17 |   423452 |   252532 |    23098     21 |      661 |      430
535.19/535.33	c  535s |      17 |   424139 |   253132 |    23098     21 |      661 |      430
537.39/537.51	c  537s |      17 |   424815 |   253732 |    23098     21 |      661 |      430
539.69/539.81	c  539s |      17 |   425495 |   254332 |    23098     21 |      661 |      430
541.89/542.05	c  541s |      17 |   426152 |   254932 |    23098     21 |      661 |      430
544.09/544.29	c  544s |      17 |   426817 |   255532 |    23098     21 |      661 |      430
546.19/546.30	c  546s |      17 |   427386 |   256032 |    23098     21 |      661 |      430
548.49/548.60	c  548s |      17 |   427931 |   256532 |    23098     21 |      661 |      430
550.79/550.99	c  550s |      17 |   428616 |   257132 |    23098     21 |      661 |      430
552.98/553.18	c  552s |      17 |   429051 |   257532 |    23098     22 |      661 |      430
555.38/555.55	c  555s |      17 |   429886 |   258232 |    23098     22 |      661 |      430
557.48/557.62	c  557s |      17 |   430851 |   259032 |    23098     22 |      661 |      430
559.48/559.66	c  559s |      17 |   431621 |   259732 |    23098     22 |      661 |      430
561.58/561.77	c  561s |      17 |   432271 |   260332 |    23098     22 |      661 |      430
563.88/564.01	c  563s |      17 |   433075 |   261032 |    23098     22 |      661 |      430
566.18/566.34	c  566s |      17 |   433892 |   261732 |    23098     22 |      661 |      430
568.28/568.40	c  568s |      17 |   434718 |   262432 |    23098     22 |      661 |      430
570.38/570.59	c  570s |      17 |   435582 |   263132 |    23098     22 |      661 |      430
572.58/572.78	c  572s |      17 |   436251 |   263732 |    23098     22 |      661 |      430
574.68/574.85	c  574s |      17 |   436949 |   264332 |    23098     22 |      661 |      430
576.78/576.92	c  576s |      17 |   437509 |   264832 |    23098     22 |      661 |      430
578.89/579.00	c  578s |      17 |   438195 |   265432 |    23098     22 |      661 |      430
581.08/581.28	c  581s |      17 |   438867 |   266032 |    23098     22 |      661 |      430
583.38/583.53	c  583s |      17 |   439534 |   266632 |    23098     22 |      661 |      430
585.38/585.59	c  585s |      17 |   440099 |   267132 |    23098     22 |      661 |      430
587.48/587.62	c  587s |      17 |   440664 |   267632 |    23098     22 |      661 |      430
589.78/589.93	c  589s |      17 |   441359 |   268232 |    23098     22 |      661 |      430
591.98/592.11	c  591s |      17 |   441894 |   268732 |    23098     22 |      661 |      430
594.38/594.53	c  594s |      17 |   442559 |   269332 |    23098     22 |      661 |      430
596.58/596.70	c  596s |      17 |   443287 |   269932 |    23098     22 |      661 |      430
598.68/598.81	c  598s |      17 |   443984 |   270532 |    23098     22 |      661 |      430
600.68/600.86	c  600s |      17 |   444579 |   271032 |    23098     23 |      661 |      430
602.78/602.95	c  602s |      17 |   445396 |   271732 |    23098     23 |      661 |      430
604.78/604.99	c  604s |      17 |   446182 |   272432 |    23098     23 |      661 |      430
606.97/607.17	c  606s |      17 |   446976 |   273132 |    23098     23 |      661 |      430
609.27/609.49	c  609s |      17 |   447765 |   273832 |    23098     23 |      661 |      430
611.37/611.51	c  611s |      17 |   448451 |   274432 |    23098     23 |      661 |      430
613.47/613.65	c  613s |      17 |   449172 |   275032 |    23098     23 |      661 |      430
615.87/616.03	c  615s |      17 |   449989 |   275732 |    23098     23 |      661 |      430
617.97/618.16	c  617s |      17 |   450689 |   276332 |    23098     23 |      661 |      430
619.97/620.17	c  619s |      17 |   451246 |   276832 |    23098     23 |      661 |      430
622.17/622.30	c  622s |      17 |   451806 |   277332 |    23098     23 |      661 |      430
624.47/624.66	c  624s |      17 |   452491 |   277932 |    23098     23 |      661 |      430
626.47/626.69	c  626s |      17 |   453038 |   278432 |    23098     23 |      661 |      430
628.67/628.86	c  628s |      17 |   453612 |   278932 |    23098     23 |      661 |      430
630.87/631.04	c  630s |      17 |   454195 |   279432 |    23098     23 |      661 |      430
633.07/633.28	c  633s |      17 |   454750 |   279932 |    23098     23 |      661 |      430
635.07/635.29	c  635s |      17 |   455331 |   280432 |    23098     23 |      661 |      430
637.27/637.45	c  637s |      17 |   455903 |   280932 |    23098     23 |      661 |      430
639.47/639.68	c  639s |      17 |   456632 |   281532 |    23098     23 |      661 |      430
641.47/641.68	c  641s |      17 |   457243 |   282032 |    23098     23 |      661 |      430
643.87/644.01	c  643s |      17 |   457892 |   282632 |    23098     23 |      661 |      430
645.97/646.16	c  645s |      17 |   458628 |   283232 |    23098     23 |      661 |      430
648.67/648.88	c  648s |      17 |   459428 |   283832 |    23098     24 |      661 |      430
650.87/651.09	c  650s |      17 |   460257 |   284532 |    23098     24 |      661 |      430
652.97/653.13	c  652s |      17 |   460974 |   285132 |    23098     24 |      661 |      430
655.07/655.26	c  654s |      17 |   461649 |   285732 |    23098     24 |      661 |      430
657.27/657.41	c  657s |      17 |   462490 |   286432 |    23098     24 |      661 |      430
659.27/659.45	c  659s |      17 |   463217 |   287032 |    23098     24 |      661 |      430
661.57/661.73	c  661s |      17 |   464072 |   287732 |    23098     24 |      661 |      430
663.87/664.00	c  663s |      17 |   464923 |   288432 |    23098     24 |      661 |      430
665.97/666.14	c  665s |      17 |   465631 |   289032 |    23098     24 |      661 |      430
667.98/668.19	c  667s |      17 |   466320 |   289632 |    23098     24 |      661 |      430
670.18/670.37	c  670s |      17 |   467035 |   290232 |    23098     24 |      661 |      430
672.57/672.79	c  672s |      17 |   467725 |   290832 |    23098     24 |      661 |      430
674.67/674.81	c  674s |      17 |   468315 |   291332 |    23098     24 |      661 |      430
676.68/676.87	c  676s |      17 |   468894 |   291832 |    23098     24 |      661 |      430
678.98/679.13	c  678s |      17 |   469551 |   292432 |    23098     24 |      661 |      430
681.27/681.41	c  681s |      17 |   470131 |   292932 |    23098     24 |      661 |      430
683.57/683.74	c  683s |      17 |   470698 |   293432 |    23098     24 |      661 |      430
685.77/685.90	c  685s |      17 |   471269 |   293932 |    23098     24 |      661 |      430
687.67/687.90	c  687s |      17 |   471709 |   294332 |    25408     24 |      661 |      430
689.87/690.08	c  689s |      17 |   472299 |   294832 |    25408     24 |      661 |      430
691.97/692.14	c  691s |      17 |   472750 |   295232 |    25408     24 |      661 |      430
694.46/694.63	c  694s |      17 |   473309 |   295732 |    25408     24 |      661 |      430
696.47/696.69	c  696s |      18 |   473908 |   296252 |    25408     24 |      661 |      430
698.56/698.77	c  698s |      18 |   478847 |   298052 |    25408     24 |      661 |      430
700.97/701.12	c  700s |      18 |   480439 |   299352 |    25408     25 |      661 |      430
703.07/703.21	c  702s |      18 |   481934 |   300652 |    25408     25 |      661 |      430
705.06/705.22	c  704s |      18 |   483227 |   301752 |    25408     25 |      661 |      430
707.16/707.37	c  707s |      18 |   484526 |   302852 |    25408     25 |      661 |      430
709.26/709.48	c  709s |      18 |   485706 |   303752 |    25408     25 |      661 |      430
711.36/711.59	c  711s |      18 |   487061 |   304852 |    25408     25 |      661 |      430
713.36/713.59	c  713s |      18 |   488452 |   305852 |    25408     25 |      661 |      430
715.56/715.71	c  715s |      18 |   489389 |   306652 |    25408     25 |      661 |      430
717.66/717.81	c  717s |      18 |   490529 |   307552 |    25408     25 |      661 |      430
719.66/719.84	c  719s |      18 |   491481 |   308352 |    25408     25 |      661 |      430
721.76/721.97	c  721s |      18 |   492535 |   309252 |    25408     25 |      661 |      430
723.96/724.13	c  723s |      18 |   493570 |   310152 |    25408     25 |      661 |      430
726.16/726.32	c  726s |      18 |   494494 |   310952 |    25408     25 |      661 |      430
728.36/728.51	c  728s |      18 |   495566 |   311752 |    25408     25 |      661 |      430
730.36/730.54	c  730s |      18 |   496444 |   312452 |    25408     25 |      661 |      430
732.46/732.65	c  732s |      18 |   497247 |   313152 |    25408     25 |      661 |      430
735.06/735.24	c  734s |      18 |   498054 |   313852 |    25408     26 |      661 |      430
737.26/737.45	c  737s |      18 |   498887 |   314552 |    25408     26 |      661 |      430
739.36/739.52	c  739s |      18 |   499591 |   315152 |    25408     26 |      661 |      430
741.35/741.52	c  741s |      18 |   500497 |   315852 |    25408     26 |      661 |      430
743.45/743.61	c  743s |      18 |   501618 |   316652 |    25408     26 |      661 |      430
745.65/745.82	c  745s |      18 |   502586 |   317352 |    25408     26 |      661 |      430
747.95/748.15	c  747s |      18 |   503474 |   318052 |    25408     26 |      661 |      430
750.25/750.44	c  750s |      18 |   504364 |   318752 |    25408     26 |      661 |      430
752.45/752.66	c  752s |      18 |   505232 |   319452 |    25408     26 |      661 |      430
754.86/755.03	c  754s |      18 |   506121 |   320152 |    25408     26 |      661 |      430
756.86/757.10	c  756s |      18 |   506816 |   320752 |    25408     26 |      661 |      430
759.06/759.27	c  758s |      18 |   508507 |   321752 |    25408     26 |      661 |      430
761.26/761.42	c  761s |      18 |   509474 |   322552 |    25408     26 |      661 |      430
763.56/763.71	c  763s |      18 |   510476 |   323352 |    25408     26 |      661 |      430
765.56/765.79	c  765s |      18 |   511361 |   324052 |    25408     26 |      661 |      430
767.86/768.06	c  767s |      18 |   512335 |   324852 |    25408     26 |      661 |      430
770.16/770.33	c  770s |      18 |   513164 |   325552 |    25408     26 |      661 |      430
772.46/772.62	c  772s |      18 |   513970 |   326252 |    25408     26 |      661 |      430
774.75/774.95	c  774s |      18 |   514817 |   326952 |    25408     26 |      661 |      430
777.05/777.20	c  776s |      18 |   515940 |   327752 |    25408     26 |      661 |      430
779.15/779.39	c  779s |      18 |   516755 |   328352 |    25408     27 |      661 |      430
781.45/781.60	c  781s |      18 |   517995 |   329252 |    25408     27 |      661 |      430
783.46/783.68	c  783s |      18 |   518922 |   329952 |    25408     27 |      661 |      430
785.56/785.76	c  785s |      18 |   519618 |   330552 |    25408     27 |      661 |      430
787.65/787.88	c  787s |      18 |   520358 |   331152 |    25408     27 |      661 |      430
789.75/789.96	c  789s |      18 |   521082 |   331752 |    25408     27 |      661 |      430
791.85/792.05	c  791s |      18 |   521842 |   332352 |    25408     27 |      661 |      430
794.05/794.27	c  793s |      18 |   522905 |   333252 |    25408     27 |      661 |      430
796.35/796.57	c  796s |      18 |   523850 |   334052 |    25408     27 |      661 |      430
798.55/798.76	c  798s |      18 |   524674 |   334752 |    25408     27 |      661 |      430
800.55/800.80	c  800s |      18 |   525552 |   335452 |    25408     27 |      661 |      430
802.65/802.89	c  802s |      18 |   526387 |   336152 |    25408     27 |      661 |      430
804.75/804.92	c  804s |      18 |   527105 |   336752 |    25408     27 |      661 |      430
806.85/807.07	c  806s |      18 |   527997 |   337452 |    25408     27 |      661 |      430
809.05/809.22	c  808s |      18 |   528875 |   338152 |    25408     27 |      661 |      430
811.34/811.51	c  811s |      18 |   529762 |   338852 |    25408     27 |      661 |      430
813.44/813.69	c  813s |      18 |   530438 |   339452 |    25408     27 |      661 |      430
815.54/815.70	c  815s |      18 |   531000 |   339952 |    25408     27 |      661 |      430
817.84/818.02	c  817s |      18 |   531696 |   340552 |    25408     27 |      661 |      430
820.14/820.36	c  820s |      18 |   532402 |   341152 |    25408     27 |      661 |      430
822.44/822.62	c  822s |      18 |   533087 |   341752 |    25408     27 |      661 |      430
824.64/824.87	c  824s |      18 |   533772 |   342352 |    25408     27 |      661 |      430
826.94/827.11	c  826s |      18 |   534353 |   342852 |    25408     28 |      661 |      430
828.95/829.20	c  828s |      18 |   535017 |   343452 |    25408     28 |      661 |      430
831.15/831.31	c  831s |      18 |   535848 |   344152 |    25408     28 |      661 |      430
833.35/833.58	c  833s |      18 |   536684 |   344852 |    25408     28 |      661 |      430
835.65/835.81	c  835s |      18 |   537361 |   345452 |    25408     28 |      661 |      430
838.04/838.23	c  837s |      18 |   538085 |   346052 |    25408     28 |      661 |      430
840.14/840.33	c  840s |      18 |   538812 |   346652 |    25408     28 |      661 |      430
842.14/842.34	c  842s |      18 |   539532 |   347252 |    25408     28 |      661 |      430
844.34/844.51	c  844s |      18 |   540390 |   347952 |    25408     28 |      661 |      430
846.44/846.66	c  846s |      18 |   541267 |   348652 |    25408     28 |      661 |      430
848.74/848.91	c  848s |      18 |   542089 |   349352 |    25408     28 |      661 |      430
851.04/851.20	c  850s |      18 |   542866 |   350052 |    25408     28 |      661 |      430
853.24/853.44	c  853s |      18 |   543666 |   350752 |    25408     28 |      661 |      430
855.34/855.51	c  855s |      18 |   544511 |   351452 |    25408     28 |      661 |      430
857.64/857.80	c  857s |      18 |   545358 |   352152 |    25408     28 |      661 |      430
859.94/860.10	c  859s |      18 |   546157 |   352852 |    25408     28 |      661 |      430
862.14/862.40	c  862s |      18 |   546842 |   353452 |    25408     28 |      661 |      430
864.54/864.71	c  864s |      18 |   547511 |   354052 |    25408     28 |      661 |      430
866.74/866.90	c  866s |      18 |   548095 |   354552 |    25408     28 |      661 |      430
868.94/869.18	c  868s |      18 |   548786 |   355152 |    25408     28 |      661 |      430
871.24/871.49	c  871s |      18 |   549505 |   355752 |    25408     28 |      661 |      430
873.34/873.53	c  873s |      18 |   550075 |   356252 |    25408     28 |      661 |      430
875.44/875.63	c  875s |      18 |   550641 |   356752 |    25408     28 |      661 |      430
877.64/877.85	c  877s |      18 |   551201 |   357252 |    25408     29 |      661 |      430
879.84/880.04	c  879s |      18 |   552014 |   357952 |    25408     29 |      661 |      430
882.14/882.35	c  882s |      18 |   552827 |   358652 |    25408     29 |      661 |      430
884.34/884.57	c  884s |      18 |   553508 |   359252 |    25408     29 |      661 |      430
886.44/886.65	c  886s |      18 |   554202 |   359852 |    25408     29 |      661 |      430
888.44/888.68	c  888s |      18 |   554759 |   360352 |    25408     29 |      661 |      430
890.54/890.76	c  890s |      18 |   555291 |   360852 |    25408     29 |      661 |      430
892.64/892.82	c  892s |      18 |   555843 |   361352 |    25408     29 |      661 |      430
894.74/894.91	c  894s |      18 |   556398 |   361852 |    25408     29 |      661 |      430
896.83/897.08	c  896s |      18 |   556933 |   362352 |    25408     29 |      661 |      430
899.03/899.20	c  898s |      18 |   557506 |   362852 |    25408     29 |      661 |      430
901.33/901.50	c  901s |      18 |   558222 |   363452 |    25408     29 |      661 |      430
903.34/903.59	c  903s |      18 |   558800 |   363952 |    25408     29 |      661 |      430
905.63/905.84	c  905s |      18 |   559594 |   364552 |    25408     29 |      661 |      430
907.74/907.95	c  907s |      18 |   560137 |   365052 |    25408     29 |      661 |      430
910.03/910.27	c  909s |      18 |   560871 |   365652 |    25408     29 |      661 |      430
912.23/912.44	c  912s |      18 |   561613 |   366252 |    25408     29 |      661 |      430
914.53/914.76	c  914s |      18 |   562316 |   366852 |    25408     29 |      661 |      430
916.63/916.88	c  916s |      18 |   562898 |   367352 |    25408     29 |      661 |      430
919.13/919.39	c  919s |      18 |   563608 |   367952 |    25408     29 |      661 |      430
921.33/921.54	c  921s |      18 |   564215 |   368452 |    25408     29 |      661 |      430
923.52/923.73	c  923s |      18 |   564913 |   369052 |    25408     29 |      661 |      430
925.62/925.84	c  925s |      18 |   565487 |   369552 |    25408     29 |      661 |      430
927.82/928.03	c  927s |      18 |   566075 |   370052 |    25408     29 |      661 |      430
929.82/930.07	c  929s |      18 |   566652 |   370552 |    25408     29 |      661 |      430
932.22/932.45	c  932s |      18 |   567225 |   371052 |    25408     29 |      661 |      430
934.53/934.72	c  934s |      18 |   567695 |   371452 |    25408     30 |      661 |      430
936.63/936.84	c  936s |      18 |   568415 |   372052 |    25408     30 |      661 |      430
938.73/938.98	c  938s |      18 |   569228 |   372752 |    25408     30 |      661 |      430
940.74/940.98	c  940s |      18 |   569916 |   373352 |    25408     30 |      661 |      430
943.13/943.30	c  943s |      18 |   570743 |   374052 |    25408     30 |      661 |      430
945.14/945.31	c  945s |      18 |   571454 |   374652 |    25408     30 |      661 |      430
947.34/947.54	c  947s |      18 |   572159 |   375252 |    25408     30 |      661 |      430
949.44/949.64	c  949s |      18 |   573641 |   376052 |    25408     30 |      661 |      430
951.53/951.79	c  951s |      18 |   576158 |   377352 |    25408     30 |      661 |      430
953.73/953.94	c  953s |      18 |   577573 |   378352 |    25408     30 |      661 |      430
955.73/955.96	c  955s |      18 |   578751 |   379252 |    25408     30 |      661 |      430
957.93/958.11	c  957s |      18 |   580047 |   380252 |    25408     30 |      661 |      430
960.13/960.31	c  960s |      18 |   581496 |   381252 |    25408     30 |      661 |      430
962.23/962.45	c  962s |      18 |   582487 |   382052 |    25408     30 |      661 |      430
964.33/964.53	c  964s |      18 |   583336 |   382752 |    25408     30 |      661 |      430
966.43/966.62	c  966s |      18 |   584482 |   383552 |    25408     30 |      661 |      430
968.63/968.80	c  968s |      18 |   585889 |   384552 |    25408     30 |      661 |      430
970.63/970.84	c  970s |      18 |   586721 |   385252 |    25408     30 |      661 |      430
972.63/972.85	c  972s |      18 |   587498 |   385852 |    25408     31 |      661 |      430
974.73/974.93	c  974s |      18 |   588764 |   386752 |    25408     31 |      661 |      430
976.93/977.13	c  976s |      18 |   589961 |   387652 |    25408     31 |      661 |      430
979.02/979.29	c  979s |      18 |   591053 |   388452 |    25408     31 |      661 |      430
981.33/981.57	c  981s |      18 |   592003 |   389252 |    25408     31 |      661 |      430
983.53/983.72	c  983s |      18 |   593036 |   390052 |    25408     31 |      661 |      430
985.62/985.82	c  985s |      18 |   593949 |   390752 |    25408     31 |      661 |      430
987.62/987.88	c  987s |      18 |   594652 |   391352 |    25408     31 |      661 |      430
989.82/990.06	c  989s |      18 |   595476 |   392052 |    25408     31 |      661 |      430
991.92/992.18	c  991s |      18 |   596182 |   392652 |    25408     31 |      661 |      430
994.22/994.49	c  994s |      18 |   597019 |   393352 |    25408     31 |      661 |      430
996.52/996.79	c  996s |      18 |   597847 |   394052 |    25408     31 |      661 |      430
998.62/998.86	c  998s |      18 |   598597 |   394652 |    25408     31 |      661 |      430
1001.02/1001.20	c 1000s |      18 |   599305 |   395252 |    25408     31 |      661 |      430
1003.02/1003.25	c 1002s |      18 |   599897 |   395752 |    25408     31 |      661 |      430
1005.32/1005.57	c 1005s |      18 |   600621 |   396352 |    25408     31 |      661 |      430
1007.52/1007.79	c 1007s |      18 |   601185 |   396852 |    25408     31 |      661 |      430
1009.82/1010.08	c 1009s |      18 |   601846 |   397452 |    25408     31 |      661 |      430
1012.12/1012.36	c 1012s |      18 |   602567 |   398052 |    25408     31 |      661 |      430
1014.42/1014.68	c 1014s |      18 |   603263 |   398652 |    25408     31 |      661 |      430
1016.72/1016.90	c 1016s |      18 |   603964 |   399252 |    25408     31 |      661 |      430
1019.32/1019.53	c 1019s |      18 |   604730 |   399852 |    25408     32 |      661 |      430
1021.42/1021.61	c 1021s |      18 |   605601 |   400552 |    25408     32 |      661 |      430
1023.62/1023.82	c 1023s |      18 |   606620 |   401352 |    25408     32 |      661 |      430
1025.62/1025.85	c 1025s |      18 |   607441 |   402052 |    25408     32 |      661 |      430
1027.82/1028.01	c 1027s |      18 |   608284 |   402752 |    25408     32 |      661 |      430
1029.91/1030.17	c 1029s |      18 |   609145 |   403452 |    25408     32 |      661 |      430
1032.02/1032.25	c 1031s |      18 |   609856 |   404052 |    25408     32 |      661 |      430
1034.41/1034.65	c 1034s |      18 |   610668 |   404752 |    25408     32 |      661 |      430
1036.71/1036.93	c 1036s |      18 |   611427 |   405452 |    25408     32 |      661 |      430
1038.91/1039.13	c 1038s |      18 |   612131 |   406052 |    25408     32 |      661 |      430
1041.11/1041.32	c 1041s |      18 |   612815 |   406652 |    25408     32 |      661 |      430
1043.31/1043.50	c 1043s |      18 |   613389 |   407152 |    25408     32 |      661 |      430
1045.41/1045.62	c 1045s |      18 |   613941 |   407652 |    25408     32 |      661 |      430
1047.51/1047.78	c 1047s |      18 |   614497 |   408152 |    25408     32 |      661 |      430
1049.62/1049.87	c 1049s |      18 |   615040 |   408652 |    25408     32 |      661 |      430
1051.72/1051.92	c 1051s |      18 |   615625 |   409152 |    25408     32 |      661 |      430
1053.91/1054.16	c 1053s |      18 |   616298 |   409752 |    25408     32 |      661 |      430
1056.22/1056.48	c 1056s |      18 |   616980 |   410352 |    25408     32 |      661 |      430
1058.71/1058.91	c 1058s |      18 |   617683 |   410952 |    25408     32 |      661 |      430
1060.81/1061.01	c 1060s |      18 |   618225 |   411452 |    25408     32 |      661 |      430
1063.01/1063.24	c 1062s |      18 |   618783 |   411952 |    25408     32 |      661 |      430
1065.01/1065.24	c 1064s |      18 |   619229 |   412352 |    25408     32 |      661 |      430
1067.01/1067.25	c 1066s |      18 |   619708 |   412752 |    25408     32 |      661 |      430
1069.31/1069.60	c 1069s |      18 |   620246 |   413252 |    25408     32 |      661 |      430
1071.51/1071.74	c 1071s |      18 |   620818 |   413752 |    25408     32 |      661 |      430
1074.30/1074.55	c 1074s |      18 |   621358 |   414252 |    25408     33 |      661 |      430
1076.60/1076.82	c 1076s |      18 |   621984 |   414852 |    25408     33 |      661 |      430
1078.60/1078.82	c 1078s |      18 |   622529 |   415352 |    25408     33 |      661 |      430
1080.90/1081.17	c 1080s |      18 |   623394 |   416052 |    25408     33 |      661 |      430
1083.10/1083.31	c 1083s |      18 |   624074 |   416652 |    25408     33 |      661 |      430
1085.20/1085.49	c 1085s |      18 |   624764 |   417252 |    25408     33 |      661 |      430
1087.40/1087.65	c 1087s |      18 |   625439 |   417852 |    25408     33 |      661 |      430
1089.60/1089.86	c 1089s |      18 |   626114 |   418452 |    25408     33 |      661 |      430
1091.90/1092.19	c 1091s |      18 |   626794 |   419052 |    25408     33 |      661 |      430
1094.00/1094.28	c 1094s |      18 |   627372 |   419552 |    25408     33 |      661 |      430
1096.10/1096.33	c 1096s |      18 |   628070 |   420152 |    25408     33 |      661 |      430
1098.30/1098.54	c 1098s |      18 |   628771 |   420752 |    25408     33 |      661 |      430
1100.40/1100.62	c 1100s |      18 |   629586 |   421452 |    25408     33 |      661 |      430
1102.41/1102.68	c 1102s |      18 |   630247 |   422052 |    25408     33 |      661 |      430
1104.80/1105.02	c 1104s |      18 |   631062 |   422752 |    25408     33 |      661 |      430
1106.90/1107.15	c 1106s |      18 |   631790 |   423352 |    25408     33 |      661 |      430
1109.20/1109.49	c 1109s |      18 |   632595 |   424052 |    25408     33 |      661 |      430
1111.50/1111.74	c 1111s |      18 |   633258 |   424652 |    25408     33 |      661 |      430
1113.50/1113.78	c 1113s |      18 |   633837 |   425152 |    25408     33 |      661 |      430
1115.70/1115.90	c 1115s |      18 |   634518 |   425752 |    25408     33 |      661 |      430
1117.70/1117.96	c 1117s |      18 |   635091 |   426252 |    25408     33 |      661 |      430
1119.80/1120.02	c 1119s |      18 |   635649 |   426752 |    25408     33 |      661 |      430
1121.80/1122.07	c 1121s |      18 |   636225 |   427252 |    25408     33 |      661 |      430
1123.90/1124.14	c 1123s |      18 |   636779 |   427752 |    25408     33 |      661 |      430
1126.20/1126.42	c 1126s |      18 |   637325 |   428252 |    25408     33 |      661 |      430
1128.50/1128.72	c 1128s |      18 |   637780 |   428652 |    25408     34 |      661 |      430
1130.50/1130.73	c 1130s |      18 |   638330 |   429152 |    25408     34 |      661 |      430
1132.79/1133.00	c 1132s |      18 |   639116 |   429852 |    25408     34 |      661 |      430
1134.99/1135.28	c 1135s |      18 |   639884 |   430552 |    25408     34 |      661 |      430
1137.19/1137.49	c 1137s |      18 |   640547 |   431152 |    25408     34 |      661 |      430
1139.39/1139.66	c 1139s |      18 |   641381 |   431852 |    25408     34 |      661 |      430
1141.59/1141.80	c 1141s |      18 |   642270 |   432552 |    25408     34 |      661 |      430
1143.69/1143.97	c 1143s |      18 |   643181 |   433252 |    25408     34 |      661 |      430
1145.99/1146.29	c 1146s |      18 |   644193 |   434052 |    25408     34 |      661 |      430
1148.19/1148.46	c 1148s |      18 |   645094 |   434752 |    25408     34 |      661 |      430
1150.59/1150.81	c 1150s |      18 |   645968 |   435452 |    25408     34 |      661 |      430
1152.59/1152.86	c 1152s |      18 |   646833 |   436152 |    25408     34 |      661 |      430
1154.69/1154.94	c 1154s |      18 |   647535 |   436752 |    25408     34 |      661 |      430
1156.79/1157.05	c 1156s |      18 |   648239 |   437352 |    25408     34 |      661 |      430
1158.89/1159.12	c 1158s |      18 |   648919 |   437952 |    25408     34 |      661 |      430
1161.09/1161.31	c 1161s |      18 |   649596 |   438552 |    25408     34 |      661 |      430
1163.09/1163.37	c 1163s |      18 |   650157 |   439052 |    25408     34 |      661 |      430
1165.39/1165.60	c 1165s |      18 |   650724 |   439552 |    25408     34 |      661 |      430
1167.39/1167.61	c 1167s |      18 |   651462 |   440152 |    25408     34 |      661 |      430
1169.49/1169.77	c 1169s |      18 |   652189 |   440752 |    25408     34 |      661 |      430
1171.88/1172.12	c 1171s |      18 |   652867 |   441352 |    27949     34 |      661 |      430
1174.08/1174.37	c 1174s |      18 |   653575 |   441952 |    27949     34 |      661 |      430
1176.09/1176.38	c 1176s |      18 |   654199 |   442452 |    27949     34 |      661 |      430
1178.38/1178.64	c 1178s |      18 |   654808 |   442952 |    27949     34 |      661 |      430
1180.58/1180.84	c 1180s |      18 |   655238 |   443352 |    27949     34 |      661 |      430
1182.98/1183.28	c 1183s |      18 |   655826 |   443852 |    27949     34 |      661 |      430
1185.38/1185.62	c 1185s |      18 |   656431 |   444352 |    27949     34 |      661 |      430
1185.89/1186.12	c 1185s |      19 |   656580 |   444482 |    27949     34 |      661 |      430
1187.88/1188.17	c 1187s |      19 |   659066 |   444982 |    27949     35 |      661 |      430
1189.98/1190.24	c 1189s |      19 |   660777 |   446482 |    27949     35 |      661 |      430
1191.98/1192.25	c 1191s |      19 |   662430 |   447882 |    27949     35 |      661 |      430
1194.08/1194.34	c 1194s |      19 |   664011 |   449282 |    27949     35 |      661 |      430
1196.18/1196.47	c 1196s |      19 |   665451 |   450482 |    27949     35 |      661 |      430
1198.39/1198.61	c 1198s |      19 |   666715 |   451582 |    27949     35 |      661 |      430
1200.58/1200.82	c 1200s |      19 |   667852 |   452682 |    27949     35 |      661 |      430
1202.78/1203.01	c 1202s |      19 |   669065 |   453782 |    27949     35 |      661 |      430
1204.88/1205.17	c 1204s |      19 |   670345 |   454882 |    27949     35 |      661 |      430
1207.08/1207.33	c 1207s |      19 |   671544 |   455882 |    27949     35 |      661 |      430
1209.18/1209.49	c 1209s |      19 |   672725 |   456882 |    27949     35 |      661 |      430
1211.37/1211.65	c 1211s |      19 |   673744 |   457782 |    27949     35 |      661 |      430
1213.48/1213.74	c 1213s |      19 |   674656 |   458582 |    27949     35 |      661 |      430
1215.47/1215.77	c 1215s |      19 |   675517 |   459382 |    27949     35 |      661 |      430
1217.47/1217.77	c 1217s |      19 |   676432 |   460182 |    27949     35 |      661 |      430
1219.77/1220.00	c 1219s |      19 |   677263 |   460882 |    27949     36 |      661 |      430
1221.87/1222.11	c 1221s |      19 |   678021 |   461582 |    27949     36 |      661 |      430
1223.87/1224.18	c 1223s |      19 |   678783 |   462282 |    27949     36 |      661 |      430
1226.07/1226.35	c 1226s |      19 |   679534 |   462982 |    27949     36 |      661 |      430
1228.27/1228.58	c 1228s |      19 |   680340 |   463682 |    27949     36 |      661 |      430
1230.46/1230.77	c 1230s |      19 |   681109 |   464382 |    27949     36 |      661 |      430
1232.56/1232.87	c 1232s |      19 |   681738 |   464982 |    27949     36 |      661 |      430
1234.76/1235.06	c 1234s |      19 |   682383 |   465582 |    27949     36 |      661 |      430
1237.06/1237.36	c 1237s |      19 |   683207 |   466282 |    27949     36 |      661 |      430
1239.16/1239.45	c 1239s |      19 |   683883 |   466882 |    27949     36 |      661 |      430
1241.46/1241.73	c 1241s |      19 |   684561 |   467482 |    27949     36 |      661 |      430
1243.46/1243.75	c 1243s |      19 |   685221 |   468082 |    27949     36 |      661 |      430
1245.55/1245.88	c 1245s |      19 |   685873 |   468682 |    27949     36 |      661 |      430
1247.65/1247.99	c 1247s |      19 |   686565 |   469282 |    27949     36 |      661 |      430
1249.85/1250.14	c 1249s |      19 |   687228 |   469882 |    27949     36 |      661 |      430
1252.05/1252.32	c 1252s |      19 |   687881 |   470482 |    27949     36 |      661 |      430
1254.06/1254.37	c 1254s |      19 |   688598 |   471082 |    27949     36 |      661 |      430
1256.36/1256.67	c 1256s |      19 |   689248 |   471682 |    27949     36 |      661 |      430
1258.65/1259.00	c 1258s |      19 |   689902 |   472282 |    27949     36 |      661 |      430
1260.84/1261.15	c 1260s |      19 |   690576 |   472882 |    27949     36 |      661 |      430
1262.95/1263.29	c 1263s |      19 |   691870 |   473782 |    27949     36 |      661 |      430
1265.15/1265.49	c 1265s |      19 |   692837 |   474582 |    27949     36 |      661 |      430
1267.14/1267.50	c 1267s |      19 |   693683 |   475282 |    27949     36 |      661 |      430
1269.24/1269.51	c 1269s |      19 |   694524 |   475982 |    27949     36 |      661 |      430
1271.24/1271.58	c 1271s |      19 |   695293 |   476582 |    27949     37 |      661 |      430
1273.44/1273.74	c 1273s |      19 |   696506 |   477582 |    27949     37 |      661 |      430
1275.43/1275.76	c 1275s |      19 |   698802 |   478482 |    27949     37 |      661 |      430
1277.53/1277.83	c 1277s |      19 |   702261 |   479882 |    27949     37 |      661 |      430
1279.53/1279.85	c 1279s |      19 |   703504 |   480882 |    27949     37 |      661 |      430
1281.53/1281.88	c 1281s |      19 |   704577 |   481782 |    27949     37 |      661 |      430
1283.73/1284.06	c 1283s |      19 |   705586 |   482682 |    27949     37 |      661 |      430
1285.93/1286.26	c 1285s |      19 |   706614 |   483582 |    27949     37 |      661 |      430
1288.14/1288.47	c 1288s |      19 |   707682 |   484482 |    27949     37 |      661 |      430
1290.33/1290.62	c 1290s |      19 |   708594 |   485282 |    27949     37 |      661 |      430
1292.33/1292.69	c 1292s |      19 |   709422 |   485982 |    27949     37 |      661 |      430
1294.53/1294.88	c 1294s |      19 |   710337 |   486782 |    27949     37 |      661 |      430
1296.72/1297.03	c 1296s |      19 |   711152 |   487482 |    27949     37 |      661 |      430
1298.92/1299.28	c 1299s |      19 |   711984 |   488182 |    27949     37 |      661 |      430
1301.02/1301.30	c 1301s |      19 |   712683 |   488782 |    27949     37 |      661 |      430
1303.22/1303.50	c 1303s |      19 |   713340 |   489382 |    27949     37 |      661 |      430
1305.52/1305.83	c 1305s |      19 |   713991 |   489982 |    27949     37 |      661 |      430
1307.82/1308.12	c 1307s |      19 |   714668 |   490582 |    27949     37 |      661 |      430
1309.91/1310.24	c 1309s |      19 |   715369 |   491182 |    27949     37 |      661 |      430
1312.01/1312.34	c 1312s |      19 |   716045 |   491782 |    27949     37 |      661 |      430
1314.11/1314.44	c 1314s |      19 |   716620 |   492282 |    27949     38 |      661 |      430
1316.31/1316.69	c 1316s |      19 |   717560 |   493082 |    27949     38 |      661 |      430
1318.41/1318.71	c 1318s |      19 |   718502 |   493882 |    27949     38 |      661 |      430
1320.60/1320.92	c 1320s |      19 |   719444 |   494682 |    27949     38 |      661 |      430
1322.70/1323.00	c 1322s |      19 |   720275 |   495382 |    27949     38 |      661 |      430
1324.70/1325.06	c 1324s |      19 |   721106 |   496082 |    27949     38 |      661 |      430
1326.80/1327.18	c 1326s |      19 |   721778 |   496682 |    27949     38 |      661 |      430
1328.91/1329.29	c 1329s |      19 |   722470 |   497282 |    27949     38 |      661 |      430
1331.19/1331.51	c 1331s |      19 |   723278 |   497982 |    27949     38 |      661 |      430
1333.39/1333.73	c 1333s |      19 |   724133 |   498682 |    27949     38 |      661 |      430
1335.59/1335.94	c 1335s |      19 |   725739 |   499482 |    27949     38 |      661 |      430
1337.70/1338.02	c 1337s |      19 |   727529 |   500382 |    27949     38 |      661 |      430
1339.69/1340.03	c 1339s |      19 |   728391 |   501082 |    27949     38 |      661 |      430
1341.89/1342.27	c 1341s |      19 |   729133 |   501682 |    27949     38 |      661 |      430
1343.99/1344.33	c 1344s |      19 |   729948 |   502382 |    27949     38 |      661 |      430
1345.99/1346.35	c 1346s |      19 |   730687 |   502982 |    27949     38 |      661 |      430
1348.29/1348.62	c 1348s |      19 |   731246 |   503482 |    27949     38 |      661 |      430
1350.58/1350.92	c 1350s |      19 |   731781 |   503982 |    27949     38 |      661 |      430
1352.78/1353.14	c 1352s |      19 |   732360 |   504482 |    27949     38 |      661 |      430
1355.08/1355.42	c 1355s |      19 |   733167 |   505082 |    27949     38 |      661 |      430
1357.08/1357.44	c 1357s |      19 |   733863 |   505682 |    27949     38 |      661 |      430
1359.28/1359.67	c 1359s |      19 |   734679 |   506382 |    27949     38 |      661 |      430
1361.47/1361.83	c 1361s |      19 |   735372 |   506982 |    27949     38 |      661 |      430
1363.77/1364.17	c 1363s |      19 |   735940 |   507482 |    27949     39 |      661 |      430
1365.87/1366.21	c 1365s |      19 |   736619 |   508082 |    27949     39 |      661 |      430
1367.97/1368.30	c 1368s |      19 |   737409 |   508782 |    27949     39 |      661 |      430
1370.07/1370.45	c 1370s |      19 |   738233 |   509482 |    27949     39 |      661 |      430
1372.27/1372.69	c 1372s |      19 |   739025 |   510182 |    27949     39 |      661 |      430
1374.57/1374.98	c 1374s |      19 |   739826 |   510882 |    27949     39 |      661 |      430
1376.87/1377.20	c 1376s |      19 |   740620 |   511582 |    27949     39 |      661 |      430
1378.87/1379.25	c 1378s |      19 |   741162 |   512082 |    27949     39 |      661 |      430
1381.06/1381.45	c 1381s |      19 |   741847 |   512682 |    27949     39 |      661 |      430
1383.16/1383.58	c 1383s |      19 |   742421 |   513182 |    27949     39 |      661 |      430
1385.46/1385.85	c 1385s |      19 |   743074 |   513782 |    27949     39 |      661 |      430
1387.66/1388.06	c 1387s |      19 |   743766 |   514382 |    27949     39 |      661 |      430
1389.95/1390.34	c 1390s |      19 |   744447 |   514982 |    27949     39 |      661 |      430
1392.15/1392.57	c 1392s |      19 |   745269 |   515582 |    27949     39 |      661 |      430
1394.25/1394.62	c 1394s |      19 |   745994 |   516182 |    27949     39 |      661 |      430
1396.35/1396.72	c 1396s |      19 |   746702 |   516782 |    27949     39 |      661 |      430
1398.35/1398.79	c 1398s |      19 |   747493 |   517382 |    27949     39 |      661 |      430
1400.75/1401.13	c 1400s |      19 |   748305 |   518082 |    27949     39 |      661 |      430
1402.95/1403.35	c 1403s |      19 |   749151 |   518782 |    27949     39 |      661 |      430
1405.05/1405.45	c 1405s |      19 |   750036 |   519482 |    27949     39 |      661 |      430
1407.05/1407.48	c 1407s |      19 |   750784 |   520082 |    27949     39 |      661 |      430
1409.15/1409.52	c 1409s |      19 |   751394 |   520582 |    27949     39 |      661 |      430
1411.35/1411.71	c 1411s |      19 |   752093 |   521182 |    27949     39 |      661 |      430
1413.55/1413.99	c 1413s |      19 |   752781 |   521782 |    27949     39 |      661 |      430
1415.65/1416.09	c 1415s |      19 |   753345 |   522282 |    27949     39 |      661 |      430
1418.04/1418.44	c 1418s |      19 |   754061 |   522882 |    27949     39 |      661 |      430
1420.34/1420.71	c 1420s |      19 |   754625 |   523382 |    27949     40 |      661 |      430
1422.54/1422.98	c 1422s |      19 |   755425 |   524082 |    27949     40 |      661 |      430
1424.64/1425.09	c 1424s |      19 |   756126 |   524682 |    27949     40 |      661 |      430
1426.94/1427.39	c 1427s |      19 |   756929 |   525382 |    27949     40 |      661 |      430
1429.14/1429.52	c 1429s |      19 |   757613 |   525982 |    27949     40 |      661 |      430
1431.15/1431.53	c 1431s |      19 |   758355 |   526582 |    27949     40 |      661 |      430
1433.35/1433.72	c 1433s |      19 |   759053 |   527182 |    27949     40 |      661 |      430
1435.44/1435.90	c 1435s |      19 |   759789 |   527782 |    27949     40 |      661 |      430
1437.54/1437.91	c 1437s |      19 |   760494 |   528382 |    27949     40 |      661 |      430
1439.84/1440.24	c 1439s |      19 |   761204 |   528982 |    27949     40 |      661 |      430
1441.93/1442.35	c 1442s |      19 |   761783 |   529482 |    27949     40 |      661 |      430
1444.03/1444.48	c 1444s |      19 |   762324 |   529982 |    27949     40 |      661 |      430
1446.13/1446.59	c 1446s |      19 |   762901 |   530482 |    27949     40 |      661 |      430
1448.23/1448.70	c 1448s |      19 |   763468 |   530982 |    27949     40 |      661 |      430
1450.62/1451.00	c 1450s |      19 |   764166 |   531582 |    27949     40 |      661 |      430
1452.92/1453.34	c 1453s |      19 |   764904 |   532182 |    27949     40 |      661 |      430
1454.92/1455.37	c 1455s |      19 |   765475 |   532682 |    27949     40 |      661 |      430
1456.92/1457.38	c 1457s |      19 |   766044 |   533182 |    27949     40 |      661 |      430
1459.02/1459.46	c 1459s |      19 |   766496 |   533582 |    27949     40 |      661 |      430
1461.32/1461.73	c 1461s |      19 |   767103 |   534082 |    27949     40 |      661 |      430
1463.62/1464.03	c 1463s |      19 |   767660 |   534582 |    27949     40 |      661 |      430
1465.82/1466.22	c 1465s |      19 |   768092 |   534982 |    27949     40 |      661 |      430
1468.02/1468.47	c 1468s |      19 |   768658 |   535482 |    27949     40 |      661 |      430
1470.51/1470.96	c 1470s |      19 |   769237 |   535982 |    27949     40 |      661 |      430
1472.92/1473.32	c 1473s |      19 |   769826 |   536482 |    27949     40 |      661 |      430
1475.21/1475.67	c 1475s |      19 |   770397 |   536982 |    27949     40 |      661 |      430
1477.22/1477.69	c 1477s |      19 |   770836 |   537382 |    27949     40 |      661 |      430
1479.41/1479.86	c 1479s |      19 |   771271 |   537782 |    27949     40 |      661 |      430
1481.61/1482.07	c 1481s |      19 |   771732 |   538182 |    27949     40 |      661 |      430
1484.00/1484.45	c 1484s |      19 |   772064 |   538482 |    27949     41 |      661 |      430
1486.20/1486.62	c 1486s |      19 |   772602 |   538982 |    27949     41 |      661 |      430
1488.50/1488.97	c 1488s |      19 |   773262 |   539582 |    27949     41 |      661 |      430
1490.90/1491.32	c 1491s |      19 |   773973 |   540182 |    27949     41 |      661 |      430
1493.10/1493.57	c 1493s |      19 |   774514 |   540682 |    27949     41 |      661 |      430
1495.30/1495.73	c 1495s |      19 |   775064 |   541182 |    27949     41 |      661 |      430
1497.70/1498.10	c 1497s |      19 |   775724 |   541782 |    27949     41 |      661 |      430
1499.79/1500.27	c 1499s |      19 |   776276 |   542282 |    27949     41 |      661 |      430
1502.19/1502.60	c 1502s |      19 |   776813 |   542782 |    27949     41 |      661 |      430
1504.29/1504.75	c 1504s |      19 |   777366 |   543282 |    27949     41 |      661 |      430
1506.39/1506.84	c 1506s |      19 |   777945 |   543782 |    27949     41 |      661 |      430
1508.59/1509.03	c 1508s |      19 |   778508 |   544282 |    27949     41 |      661 |      430
1510.99/1511.40	c 1511s |      19 |   779067 |   544782 |    27949     41 |      661 |      430
1512.99/1513.47	c 1513s |      19 |   779636 |   545282 |    27949     41 |      661 |      430
1515.28/1515.78	c 1515s |      19 |   780194 |   545782 |    27949     41 |      661 |      430
1517.68/1518.15	c 1517s |      19 |   780747 |   546282 |    27949     41 |      661 |      430
1519.78/1520.29	c 1520s |      19 |   781173 |   546682 |    27949     41 |      661 |      430
1521.98/1522.47	c 1522s |      19 |   781608 |   547082 |    27949     41 |      661 |      430
1524.08/1524.51	c 1524s |      19 |   782053 |   547482 |    27949     41 |      661 |      430
1526.48/1526.98	c 1526s |      19 |   782609 |   547982 |    27949     41 |      661 |      430
1528.88/1529.36	c 1529s |      19 |   783165 |   548482 |    27949     41 |      661 |      430
1531.08/1531.50	c 1531s |      19 |   783603 |   548882 |    27949     41 |      661 |      430
1533.38/1533.81	c 1533s |      19 |   784168 |   549382 |    27949     41 |      661 |      430
1535.78/1536.27	c 1535s |      19 |   784833 |   549982 |    27949     41 |      661 |      430
1537.88/1538.38	c 1538s |      19 |   785458 |   550482 |    27949     41 |      661 |      430
1540.27/1540.73	c 1540s |      19 |   786045 |   550982 |    27949     41 |      661 |      430
1542.47/1542.92	c 1542s |      19 |   786639 |   551482 |    27949     41 |      661 |      430
1544.77/1545.23	c 1544s |      19 |   787226 |   551982 |    27949     41 |      661 |      430
1547.07/1547.54	c 1547s |      19 |   787801 |   552482 |    27949     41 |      661 |      430
1549.27/1549.76	c 1549s |      19 |   788426 |   552982 |    27949     41 |      661 |      430
1551.56/1552.08	c 1551s |      19 |   789006 |   553482 |    27949     41 |      661 |      430
1553.86/1554.34	c 1554s |      19 |   789609 |   553982 |    27949     41 |      661 |      430
1555.86/1556.37	c 1556s |      19 |   789949 |   554282 |    27949     42 |      661 |      430
1557.86/1558.39	c 1558s |      19 |   790686 |   554882 |    27949     42 |      661 |      430
1559.96/1560.44	c 1560s |      19 |   791565 |   555582 |    27949     42 |      661 |      430
1561.96/1562.44	c 1562s |      19 |   792354 |   556182 |    27949     42 |      661 |      430
1564.06/1564.56	c 1564s |      19 |   793030 |   556782 |    27949     42 |      661 |      430
1566.26/1566.71	c 1566s |      19 |   793722 |   557382 |    27949     42 |      661 |      430
1568.25/1568.75	c 1568s |      19 |   794277 |   557882 |    27949     42 |      661 |      430
1570.65/1571.11	c 1570s |      19 |   794978 |   558482 |    27949     42 |      661 |      430
1572.95/1573.41	c 1573s |      19 |   795658 |   559082 |    27949     42 |      661 |      430
1574.95/1575.49	c 1575s |      19 |   796254 |   559582 |    27949     42 |      661 |      430
1577.05/1577.56	c 1577s |      19 |   796999 |   560182 |    27949     42 |      661 |      430
1579.25/1579.78	c 1579s |      19 |   797715 |   560782 |    27949     42 |      661 |      430
1581.34/1581.86	c 1581s |      19 |   798311 |   561282 |    27949     42 |      661 |      430
1583.34/1583.89	c 1583s |      19 |   799028 |   561882 |    27949     42 |      661 |      430
1585.54/1586.02	c 1585s |      19 |   799754 |   562482 |    27949     42 |      661 |      430
1587.54/1588.04	c 1587s |      19 |   800319 |   562982 |    27949     42 |      661 |      430
1589.94/1590.43	c 1590s |      19 |   800881 |   563482 |    27949     42 |      661 |      430
1591.94/1592.44	c 1592s |      19 |   801431 |   563982 |    27949     42 |      661 |      430
1594.03/1594.53	c 1594s |      19 |   802028 |   564482 |    27949     42 |      661 |      430
1596.23/1596.71	c 1596s |      19 |   802638 |   564982 |    27949     42 |      661 |      430
1598.53/1599.01	c 1598s |      19 |   803214 |   565482 |    27949     42 |      661 |      430
1600.93/1601.46	c 1601s |      19 |   803797 |   565982 |    27949     42 |      661 |      430
1603.33/1603.88	c 1603s |      19 |   804407 |   566482 |    27949     42 |      661 |      430
1605.73/1606.29	c 1606s |      19 |   805019 |   566982 |    27949     42 |      661 |      430
1607.93/1608.41	c 1608s |      19 |   805487 |   567382 |    27949     42 |      661 |      430
1610.23/1610.71	c 1610s |      19 |   806093 |   567882 |    27949     42 |      661 |      430
1612.43/1612.93	c 1612s |      19 |   806711 |   568382 |    27949     42 |      661 |      430
1614.63/1615.11	c 1614s |      19 |   807300 |   568882 |    27949     42 |      661 |      430
1616.62/1617.14	c 1616s |      19 |   807789 |   569282 |    27949     42 |      661 |      430
1618.82/1619.30	c 1619s |      19 |   808127 |   569582 |    27949     43 |      661 |      430
1621.12/1621.63	c 1621s |      19 |   808870 |   570182 |    27949     43 |      661 |      430
1623.32/1623.87	c 1623s |      19 |   809606 |   570782 |    27949     43 |      661 |      430
1625.31/1625.88	c 1625s |      19 |   810154 |   571282 |    27949     43 |      661 |      430
1627.51/1628.06	c 1627s |      19 |   810725 |   571782 |    27949     43 |      661 |      430
1629.61/1630.18	c 1629s |      19 |   811278 |   572282 |    27949     43 |      661 |      430
1631.71/1632.23	c 1631s |      19 |   811898 |   572782 |    27949     43 |      661 |      430
1633.71/1634.27	c 1633s |      19 |   812484 |   573282 |    27949     43 |      661 |      430
1635.91/1636.41	c 1636s |      19 |   813043 |   573782 |    27949     43 |      661 |      430
1638.01/1638.50	c 1638s |      19 |   813574 |   574282 |    27949     43 |      661 |      430
1640.11/1640.65	c 1640s |      19 |   814181 |   574782 |    27949     43 |      661 |      430
1642.41/1642.94	c 1642s |      19 |   814763 |   575282 |    27949     43 |      661 |      430
1644.42/1644.99	c 1644s |      19 |   815227 |   575682 |    27949     43 |      661 |      430
1646.71/1647.23	c 1646s |      19 |   815661 |   576082 |    27949     43 |      661 |      430
1649.11/1649.62	c 1649s |      19 |   816210 |   576582 |    27949     43 |      661 |      430
1651.51/1652.08	c 1651s |      19 |   816767 |   577082 |    27949     43 |      661 |      430
1653.81/1654.37	c 1654s |      19 |   817207 |   577482 |    27949     43 |      661 |      430
1655.91/1656.41	c 1656s |      19 |   817667 |   577882 |    27949     43 |      661 |      430
1658.21/1658.74	c 1658s |      19 |   818243 |   578382 |    27949     43 |      661 |      430
1660.51/1661.05	c 1660s |      19 |   818965 |   578982 |    27949     43 |      661 |      430
1662.81/1663.35	c 1663s |      19 |   819537 |   579482 |    27949     43 |      661 |      430
1665.00/1665.55	c 1665s |      19 |   820109 |   579982 |    27949     43 |      661 |      430
1667.30/1667.87	c 1667s |      19 |   820712 |   580482 |    27949     43 |      661 |      430
1669.80/1670.34	c 1670s |      19 |   821309 |   580982 |    27949     43 |      661 |      430
1672.30/1672.88	c 1672s |      19 |   821881 |   581482 |    27949     43 |      661 |      430
1674.80/1675.39	c 1675s |      19 |   822473 |   581982 |    27949     43 |      661 |      430
1677.30/1677.84	c 1677s |      19 |   823059 |   582482 |    27949     43 |      661 |      430
1679.79/1680.30	c 1680s |      19 |   823650 |   582982 |    27949     43 |      661 |      430
1681.99/1682.59	c 1682s |      19 |   824128 |   583382 |    27949     43 |      661 |      430
1684.49/1685.04	c 1684s |      19 |   824687 |   583882 |    27949     43 |      661 |      430
1686.89/1687.43	c 1687s |      19 |   825318 |   584382 |    27949     43 |      661 |      430
1688.99/1689.59	c 1689s |      19 |   825793 |   584782 |    27949     43 |      661 |      430
1691.29/1691.82	c 1691s |      19 |   826158 |   585082 |    27949     44 |      661 |      430
1693.49/1694.02	c 1693s |      19 |   826899 |   585682 |    27949     44 |      661 |      430
1695.89/1696.42	c 1696s |      19 |   827567 |   586282 |    27949     44 |      661 |      430
1697.99/1698.58	c 1698s |      19 |   828134 |   586782 |    27949     44 |      661 |      430
1700.29/1700.82	c 1700s |      19 |   828851 |   587382 |    27949     44 |      661 |      430
1702.39/1702.97	c 1702s |      19 |   829422 |   587882 |    27949     44 |      661 |      430
1704.49/1705.01	c 1704s |      19 |   830007 |   588382 |    27949     44 |      661 |      430
1706.49/1707.08	c 1706s |      19 |   830737 |   588982 |    27949     44 |      661 |      430
1708.99/1709.54	c 1709s |      19 |   831419 |   589582 |    27949     44 |      661 |      430
1710.99/1711.56	c 1711s |      19 |   832019 |   590082 |    27949     44 |      661 |      430
1713.29/1713.85	c 1713s |      19 |   832732 |   590682 |    27949     44 |      661 |      430
1715.59/1716.16	c 1715s |      19 |   833296 |   591182 |    27949     44 |      661 |      430
1717.69/1718.27	c 1717s |      19 |   833939 |   591682 |    27949     44 |      661 |      430
1719.99/1720.59	c 1720s |      19 |   834518 |   592182 |    27949     44 |      661 |      430
1722.19/1722.73	c 1722s |      19 |   835059 |   592682 |    27949     44 |      661 |      430
1724.49/1725.10	c 1724s |      19 |   835714 |   593282 |    27949     44 |      661 |      430
1726.89/1727.41	c 1727s |      19 |   836295 |   593782 |    27949     44 |      661 |      430
1729.19/1729.72	c 1729s |      19 |   836877 |   594282 |    27949     44 |      661 |      430
1731.19/1731.76	c 1731s |      19 |   837324 |   594682 |    27949     44 |      661 |      430
1733.39/1733.95	c 1733s |      19 |   837772 |   595082 |    27949     44 |      661 |      430
1735.69/1736.25	c 1735s |      19 |   838336 |   595582 |    27949     44 |      661 |      430
1737.89/1738.42	c 1738s |      19 |   838925 |   596082 |    27949     44 |      661 |      430
1740.38/1740.94	c 1740s |      19 |   839521 |   596582 |    27949     44 |      661 |      430
1742.78/1743.34	c 1743s |      19 |   840146 |   597082 |    27949     44 |      661 |      430
1745.18/1745.76	c 1745s |      19 |   840705 |   597582 |    27949     44 |      661 |      430
1747.69/1748.23	c 1747s |      19 |   841339 |   598082 |    27949     44 |      661 |      430
1749.89/1750.40	c 1750s |      19 |   841768 |   598482 |    27949     44 |      661 |      430
1751.88/1752.42	c 1752s |      19 |   842215 |   598882 |    27949     44 |      661 |      430
1754.18/1754.80	c 1754s |      19 |   842823 |   599382 |    27949     44 |      661 |      430
1756.49/1757.04	c 1756s |      19 |   843399 |   599882 |    27949     44 |      661 |      430
1759.28/1759.84	c 1759s |      19 |   843948 |   600282 |    27949     45 |      661 |      430
1761.28/1761.88	c 1761s |      19 |   844607 |   600882 |    27949     45 |      661 |      430
1763.38/1763.99	c 1763s |      19 |   845298 |   601482 |    27949     45 |      661 |      430
1765.79/1766.32	c 1766s |      19 |   846042 |   602082 |    27949     45 |      661 |      430
1767.89/1768.41	c 1768s |      19 |   846609 |   602582 |    27949     45 |      661 |      430
1769.89/1770.48	c 1770s |      19 |   847203 |   603082 |    27949     45 |      661 |      430
1772.28/1772.80	c 1772s |      19 |   847755 |   603582 |    27949     45 |      661 |      430
1774.38/1774.95	c 1774s |      19 |   848324 |   604082 |    27949     45 |      661 |      430
1776.88/1777.49	c 1777s |      19 |   848902 |   604582 |    27949     45 |      661 |      430
1779.28/1779.82	c 1779s |      19 |   849509 |   605082 |    27949     45 |      661 |      430
1781.48/1782.06	c 1781s |      19 |   850066 |   605582 |    27949     45 |      661 |      430
1783.78/1784.36	c 1784s |      19 |   850652 |   606082 |    27949     45 |      661 |      430
1786.29/1786.83	c 1786s |      19 |   851214 |   606582 |    27949     45 |      661 |      430
1788.28/1788.87	c 1788s |      19 |   851663 |   606982 |    27949     45 |      661 |      430
1790.78/1791.33	c 1791s |      19 |   852307 |   607482 |    27949     45 |      661 |      430
1793.08/1793.65	c 1793s |      19 |   853056 |   608082 |    27949     45 |      661 |      430
1795.09/1795.66	c 1795s |      19 |   853695 |   608582 |    27949     45 |      661 |      430
1797.28/1797.86	c 1797s |      19 |   854290 |   609082 |    27949     45 |      661 |      430
1799.48/1800.04	c 1799s |      19 |   854722 |   609482 |    27949     45 |      661 |      430

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-4116829-1466975910/watcher-4116829-1466975910 -o /tmp/evaluation-result-4116829-1466975910/solver-4116829-1466975910 -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-4116829-1466975910.opb 

pid=24908
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.20 2.15 2.15 3/179 24911
/proc/meminfo: memFree=29615112/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=729532 CPUtime=0 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 2723 0 0 0 0 0 0 0 20 0 4 0 30630600 747040768 2573 33554432000 4194304 16246674 140733763767728 140733763767152 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 182895 2582 441 2943 0 179789 0
[pid=24911/tid=24912] ppid=24908 vsize=745916 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 763817984 2638 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 769060864 2656 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=755132 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30630600 773255168 2671 33554432000 4194304 16246674 140733763767728 140682950855856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.107452 s]
/proc/loadavg: 2.20 2.15 2.15 3/179 24911
/proc/meminfo: memFree=29615112/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1222212 CPUtime=0.09 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 28869 0 0 0 5 4 0 0 20 0 4 0 30630600 1251545088 28656 33554432000 4194304 16246674 140733763767728 140733763766392 4221016 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24911/statm: 305553 28661 801 2943 0 302447 0
[pid=24911/tid=24912] ppid=24908 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1251545088 28662 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1252593664 28666 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1227332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1256787968 28679 33554432000 4194304 16246674 140733763767728 140682950855856 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) 1222212

[startup+0.200573 s]
/proc/loadavg: 2.20 2.15 2.15 3/179 24911
/proc/meminfo: memFree=29615112/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 48676 0 0 0 12 7 0 0 20 0 4 0 30630600 1332285440 48463 33554432000 4194304 16246674 140733763767728 140733763766392 5595576 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24911/statm: 325265 48463 842 2943 0 322159 0
[pid=24911/tid=24912] ppid=24908 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1332285440 48463 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1332285440 48463 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1332285440 48463 33554432000 4194304 16246674 140733763767728 140682950855856 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.300464 s]
/proc/loadavg: 2.20 2.15 2.15 3/179 24911
/proc/meminfo: memFree=29615112/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 54259 0 0 0 22 7 0 0 20 0 4 0 30630600 1332285440 54046 33554432000 4194304 16246674 140733763767728 140733763766392 13759916 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24911/statm: 325265 54053 882 2943 0 322159 0
[pid=24911/tid=24912] ppid=24908 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1332285440 54057 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1332285440 54060 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1332285440 54064 33554432000 4194304 16246674 140733763767728 140682950855856 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.786437 s]
/proc/loadavg: 2.20 2.15 2.15 3/179 24911
/proc/meminfo: memFree=29615112/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1301060 CPUtime=0.77 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 119970 0 0 0 60 17 0 0 20 0 4 0 30630600 1332285440 119757 33554432000 4194304 16246674 140733763767728 140733763749632 13954410 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24911/statm: 325265 119763 882 2943 0 322159 0
[pid=24911/tid=24912] ppid=24908 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1332285440 119765 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1332285440 119767 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1332285440 119770 33554432000 4194304 16246674 140733763767728 140682950855856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 1301060

[startup+1.5076 s]
/proc/loadavg: 2.18 2.15 2.15 3/183 24915
/proc/meminfo: memFree=28807832/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 215628 0 0 0 119 30 0 0 20 0 4 0 30630600 1332285440 215415 33554432000 4194304 16246674 140733763767728 140733763749632 5546098 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24911/statm: 325265 215421 882 2943 0 322159 0
[pid=24911/tid=24912] ppid=24908 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1332285440 215423 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1332285440 215427 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1332285440 215431 33554432000 4194304 16246674 140733763767728 140682950855856 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.10041 s]
/proc/loadavg: 2.18 2.15 2.15 3/183 24915
/proc/meminfo: memFree=28538876/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1313348 CPUtime=3.08 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 269516 0 0 0 271 37 0 0 20 0 4 0 30630600 1344868352 269303 33554432000 4194304 16246674 140733763767728 140733763749632 5531121 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24911/statm: 328337 269303 888 2943 0 325231 0
[pid=24911/tid=24912] ppid=24908 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1344868352 269303 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1344868352 269303 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1344868352 269303 33554432000 4194304 16246674 140733763767728 140682950855856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1313348

[startup+6.30042 s]
/proc/loadavg: 2.25 2.16 2.15 4/183 24915
/proc/meminfo: memFree=28538976/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1313348 CPUtime=6.28 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 269526 0 0 0 591 37 0 0 20 0 4 0 30630600 1344868352 269313 33554432000 4194304 16246674 140733763767728 140733763749632 5712604 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24911/statm: 328337 269313 889 2943 0 325231 0
[pid=24911/tid=24912] ppid=24908 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1344868352 269313 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1344868352 269313 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1344868352 269313 33554432000 4194304 16246674 140733763767728 140682950855856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.23 2.16 2.15 3/183 24915
/proc/meminfo: memFree=28538768/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1313348 CPUtime=12.68 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 269526 0 0 0 1231 37 0 0 20 0 4 0 30630600 1344868352 269313 33554432000 4194304 16246674 140733763767728 140733763749632 5712780 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24911/statm: 328337 269313 889 2943 0 325231 0
[pid=24911/tid=24912] ppid=24908 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1344868352 269313 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1344868352 269313 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1344868352 269313 33554432000 4194304 16246674 140733763767728 140682950855856 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) 1313348

[startup+25.5004 s]
/proc/loadavg: 2.19 2.16 2.15 3/183 24915
/proc/meminfo: memFree=28539360/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 269529 0 0 0 2511 37 0 0 20 0 4 0 30630600 1344868352 269316 33554432000 4194304 16246674 140733763767728 140733763749632 4220897 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24911/statm: 328337 269316 892 2943 0 325231 0
[pid=24911/tid=24912] ppid=24908 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1344868352 269316 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1344868352 269316 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1344868352 269316 33554432000 4194304 16246674 140733763767728 140682950855856 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) 1313348

[startup+51.1004 s]
/proc/loadavg: 2.20 2.16 2.15 4/183 24915
/proc/meminfo: memFree=28539112/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1313348 CPUtime=51.07 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 269530 0 0 0 5069 38 0 0 20 0 4 0 30630600 1344868352 269317 33554432000 4194304 16246674 140733763767728 140733763749632 5827824 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 328337 269317 893 2943 0 325231 0
[pid=24911/tid=24912] ppid=24908 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1344868352 269317 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1344868352 269317 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1344868352 269317 33554432000 4194304 16246674 140733763767728 140682950855856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.16 2.15 2.14 3/184 24919
/proc/meminfo: memFree=28536084/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1315396 CPUtime=102.26 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 269799 0 0 0 10187 39 0 0 20 0 4 0 30630600 1346965504 269586 33554432000 4194304 16246674 140733763767728 140733763749632 5823709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 328849 269586 893 2943 0 325743 0
[pid=24911/tid=24912] ppid=24908 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1346965504 269586 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1346965504 269586 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1346965504 269586 33554432000 4194304 16246674 140733763767728 140682950855856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1315396


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

/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682950855856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1335876

[startup+1362.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 24950
/proc/meminfo: memFree=28485236/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1335876 CPUtime=1361.97 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 275296 0 0 0 136149 48 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140733763749632 5673558 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 333969 275205 893 2943 0 330863 0
[pid=24911/tid=24912] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682950855856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1335876

[startup+1422.3 s]
/proc/loadavg: 2.12 2.18 2.17 3/183 24951
/proc/meminfo: memFree=28485020/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1335876 CPUtime=1421.94 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 275338 0 0 0 142145 49 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140733763749632 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 333969 275205 893 2943 0 330863 0
[pid=24911/tid=24912] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682950855856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1335876

[startup+1482.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/183 24953
/proc/meminfo: memFree=28485056/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1335876 CPUtime=1481.9 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 275385 0 0 0 148141 49 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140733763749632 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 333969 275205 893 2943 0 330863 0
[pid=24911/tid=24912] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682950855856 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) 1335876

[startup+1542.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/183 24954
/proc/meminfo: memFree=28485096/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1335876 CPUtime=1541.87 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 275432 0 0 0 154137 50 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140733763749632 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 333969 275205 893 2943 0 330863 0
[pid=24911/tid=24912] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682950855856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1335876

[startup+1602.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/182 24955
/proc/meminfo: memFree=28485836/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1335876 CPUtime=1601.83 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 275480 0 0 0 160133 50 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140733763749632 5822432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 333969 275205 893 2943 0 330863 0
[pid=24911/tid=24912] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682950855856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1335876

[startup+1662.3 s]
/proc/loadavg: 2.10 2.15 2.16 3/183 24957
/proc/meminfo: memFree=28485128/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1335876 CPUtime=1661.8 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 275521 0 0 0 166129 51 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140733763749632 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 333969 275205 893 2943 0 330863 0
[pid=24911/tid=24912] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682950855856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1335876

[startup+1722.3 s]
/proc/loadavg: 2.24 2.18 2.17 3/183 24958
/proc/meminfo: memFree=28485192/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1335876 CPUtime=1721.79 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 275529 0 0 0 172128 51 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140733763749632 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 333969 275205 893 2943 0 330863 0
[pid=24911/tid=24912] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682950855856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1335876

[startup+1782.3 s]
/proc/loadavg: 2.22 2.18 2.17 3/183 25009
/proc/meminfo: memFree=28511256/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1335876 CPUtime=1781.79 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 275529 0 0 0 178127 52 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140733763749632 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 333969 275205 893 2943 0 330863 0
[pid=24911/tid=24912] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682950855856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1335876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.25 2.18 2.17 4/183 25009
/proc/meminfo: memFree=28511756/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1335876 CPUtime=1800.08 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 275529 0 0 0 179956 52 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140733763749632 5659568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 333969 275205 893 2943 0 330863 0
[pid=24911/tid=24912] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682950855856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1335876

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

[startup+1800.6 s]
/proc/loadavg: 2.25 2.18 2.17 4/183 25009
/proc/meminfo: memFree=28511756/32872528 swapFree=1085692/1157232
[pid=24911] ppid=24908 vsize=1335876 CPUtime=1800.08 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 21062 0 -1 4202496 275529 0 0 0 179956 52 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140733763749632 5659568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 333969 275205 893 2943 0 330863 0
[pid=24911/tid=24912] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682971819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682961329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30630600 1367937024 275205 33554432000 4194304 16246674 140733763767728 140682950855856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1335876

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.57
CPU system time (s): 0.52392
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1335876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.52392
maximum resident set size= 1100820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275529
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= 382
involuntary context switches= 2035

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6852 second user time and 16.6155 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 23:18:30
IDJOB=4116829
IDBENCH=109519
IDSOLVER=2542
FILE ID=node114/4116829-1466975910
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-size96-round23-3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116829-1466975910/watcher-4116829-1466975910 -o /tmp/evaluation-result-4116829-1466975910/solver-4116829-1466975910 -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-4116829-1466975910.opb

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

MD5SUM BENCH= 574d3d42d3a29e2b1f99ed1915690bdc
RANDOM SEED=1252504216

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:        29616012 kB
Buffers:           54604 kB
Cached:           226728 kB
SwapCached:        38928 kB
Active:          1144372 kB
Inactive:         252804 kB
Active(anon):    1080060 kB
Inactive(anon):    37760 kB
Active(file):      64312 kB
Inactive(file):   215044 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16760 kB
Writeback:             0 kB
AnonPages:       2234600 kB
Mapped:            10656 kB
Shmem:                 0 kB
Slab:             568224 kB
SReclaimable:      12244 kB
SUnreclaim:       555980 kB
KernelStack:        1480 kB
PageTables:         8172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2381300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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 23:48:31