Trace number 4116477

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round23-3.opb
MD5SUMbc7e0afd9962eb31c6ef169bd78d3421
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 constraints9504
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)416
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-27T00:14:51+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-4116477-1466979291.opb"]
0.00/0.01	c use --random-gen="2845324541 2678335170 1093242239 3931877946 3169864408 1119900515 58885645 2413398989 2858320625 334715948 2558902141 3004857970 2295644758 2490880789 2569560984 4175498393 2164392259 2655868813 3479224298 1591014993 4238942333 1884384106 58090146 2776334153 3835381049 3635494229 3125597161 3661806071 2720744727 2581614511 3236687287 1205371079 1218867009 923854252 839417117 2577019128 2641131624 1302694390 1122032731 1459992783 683060715 3552848011 650710529 3089103767 1373003895 2995675239 758256859 2762817645 412227473 3567704205 226136470 1539216668 2777685659 1207451982 982370060 1316194918 4064470223 2898775516 3424186060 39400975 2508035925 2730836968 400453694 976808396 2993043220 1673105592 1937825791 2082788442 411007094 486815207 1931312317 3650502819 770465382 3737036723 2499944402 2747894850 3931343852 2512968271 1309299027 3815507961 1959985317 598447873 3314006525 936417251 3214772745 2617547420 286431968 3788705064 1086399858 1680054197 986728816 2714063100 1376330129 2303800271 2675250665 4233233673 4008293057 4068351574 4007255148 2329772519 991156701 2783801044 2786444309 2824953253 2649287376 238588290 1976117925 3204125038 3723627262 3069049969 168944766 1528153229 3425630563 1144020860 1920572336 3859608793 920232300 2273362464 3645569894 2111729999 3458147192 2766777886 2338737892 2493424379 2717176571 381896050 2459905076 1331143028 965659512 2488242402 107312409 1427543964 4284189544 3542654076 2888602928 3117657840 1687014744 2779681733 1074174029 1833477424 2925880641 4061361232 3952701609 3409464523 2861787900 3916485703 3498316228 693319767 1426435695 3568996324 3137044617 1992883730 3831370539 2012482336 4107331251 2690044270 674698888 782974683 3887526415 1438608137 2351583041 1577969764 1902257518 3737859263 2074945103 2740035661 2325674784 979797103 2970589036 814769894 4202102574 4008919166 3165132681 3998401940 1855808494 4203085114 2917192060 491844266 2733266586 1539627606 1047797273 4147701748 1100729556 2489798715 4060279130 2881422274 3856957579 3908393712 4209146565 2128525729 231452430 1470925569 850504291 1014513455 4016813188 59972357 3336354915 3590323670 4102844630 890066425 29912178 3306452677 191264634 3682698695 2480214789 3943069855 1811850681 3506059933 1748351613 3838194674 1443454860 4243658882 1038107304 465734453 3136221994 2082156606 2346783684 929700476 2629604163 3958973117 1648029233 1909502840 249586431 1048216595 1639754215 2266415940 619565004 2542022601 2557409803 1486119447 2830742645 3557458774 1651265026 4069238488 1966264410 4018421923 1548257569 2058504556 873492987 853894968 181726716 719317128 4114512059 3657181817 426978023 1519283421 3727297201 3139910223 1410044515 2488028078 723855926 3446922205 2661930871 248587855 2442339761 1435355397 255 362436" option to reproduce the execution
0.08/0.12	c #vars 4288
0.08/0.12	c #constraints 9504
0.18/0.28	c Solving starts ...
0.18/0.28	c ============================[ Search Statistics ]============================
0.18/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.28	c =============================================================================
0.18/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      775 |        0
0.29/0.34	c  0.1s |       1 |      718 |      100 |     4565      0 |      775 |      692
0.39/0.44	c  0.2s |       2 |     1408 |      250 |     5022      0 |      775 |      692
0.49/0.59	c  0.3s |       3 |     2458 |      475 |     5525      0 |      775 |      692
0.89/0.90	c  0.6s |       4 |     3824 |      813 |     6078      0 |      775 |      692
1.19/1.29	c  1.0s |       5 |     8919 |     1320 |     6686      0 |      776 |      692
1.99/2.02	c  1.7s |       6 |    12632 |     2081 |     8091      0 |      776 |      692
2.89/3.00	c  2.7s |       7 |    18363 |     3223 |     8901      0 |      776 |      692
4.19/4.20	c  3.9s |       8 |    25156 |     4936 |     9792      0 |      777 |      692
6.19/6.29	c  6.0s |       8 |    30815 |     7336 |     9792      0 |      777 |      692
6.39/6.48	c  6.2s |       9 |    31072 |     7506 |    10772      0 |      777 |      692
8.49/8.58	c  8.3s |       9 |    35498 |     9706 |    10772      0 |      777 |      692
10.49/10.58	c 10.3s |      10 |    37629 |    11361 |    11850      0 |      777 |      692
12.69/12.71	c 12.4s |      10 |    43055 |    13361 |    11850      0 |      777 |      692
14.69/14.72	c 14.4s |      10 |    44918 |    14961 |    11850      0 |      777 |      692
16.69/16.74	c 16.5s |      10 |    46566 |    16461 |    11850      1 |      777 |      692
17.59/17.69	c 17.4s |      11 |    47299 |    17144 |    13036      1 |      777 |      692
19.69/19.75	c 19.5s |      11 |    52877 |    19244 |    13036      1 |      777 |      692
21.68/21.78	c 21.5s |      11 |    59584 |    21344 |    13036      1 |      777 |      692
23.88/23.93	c 23.7s |      11 |    64533 |    23444 |    13036      1 |      777 |      692
25.88/25.95	c 25.7s |      11 |    65992 |    24544 |    13036      2 |      777 |      692
27.98/28.02	c 27.7s |      11 |    67368 |    25644 |    13036      2 |      777 |      692
28.28/28.36	c 28.1s |      12 |    67572 |    25819 |    14340      2 |      777 |      692
30.28/30.36	c 30.1s |      12 |    72832 |    27719 |    14340      2 |      777 |      692
32.28/32.36	c 32.1s |      12 |    77080 |    29619 |    14340      2 |      777 |      692
34.38/34.40	c 34.1s |      12 |    81895 |    31819 |    14340      2 |      777 |      692
36.39/36.45	c 36.2s |      12 |    83806 |    33419 |    14340      3 |      777 |      692
38.38/38.45	c 38.2s |      12 |    85766 |    35019 |    14340      3 |      777 |      692
40.38/40.48	c 40.2s |      12 |    87379 |    36419 |    14340      3 |      777 |      692
42.58/42.60	c 42.3s |      12 |    88839 |    37719 |    14340      3 |      777 |      692
44.38/44.45	c 44.2s |      13 |    90148 |    38832 |    15775      3 |      777 |      692
46.38/46.47	c 46.2s |      13 |    97314 |    41032 |    15775      3 |      777 |      692
48.58/48.60	c 48.3s |      13 |    99471 |    42732 |    15775      3 |      777 |      692
50.58/50.67	c 50.4s |      13 |   101301 |    44232 |    15775      4 |      777 |      692
52.58/52.68	c 52.4s |      13 |   102732 |    45532 |    15775      4 |      777 |      692
54.68/54.74	c 54.5s |      13 |   104293 |    46832 |    15775      4 |      777 |      692
56.78/56.85	c 56.6s |      13 |   105615 |    47932 |    15775      4 |      777 |      692
58.79/58.86	c 58.6s |      13 |   107124 |    49132 |    15775      4 |      777 |      692
60.88/60.91	c 60.6s |      13 |   108332 |    50132 |    15775      4 |      777 |      692
62.88/62.96	c 62.7s |      13 |   110342 |    51532 |    15775      4 |      777 |      692
65.08/65.11	c 64.8s |      13 |   111865 |    52732 |    15775      4 |      777 |      692
67.09/67.15	c 66.9s |      13 |   113035 |    53632 |    15775      5 |      777 |      692
69.08/69.18	c 68.9s |      13 |   114511 |    54832 |    15775      5 |      777 |      692
71.18/71.26	c 71.0s |      13 |   116078 |    56132 |    15775      5 |      777 |      692
73.18/73.26	c 73.0s |      13 |   117469 |    57232 |    15775      5 |      777 |      692
75.18/75.28	c 75.0s |      13 |   118594 |    58132 |    17353      5 |      777 |      692
75.99/76.01	c 75.7s |      14 |   118824 |    58352 |    17353      5 |      777 |      692
78.09/78.19	c 77.9s |      14 |   126274 |    60152 |    17353      5 |      777 |      692
80.18/80.25	c 80.0s |      14 |   127558 |    61252 |    17353      5 |      777 |      692
82.18/82.29	c 82.0s |      14 |   129132 |    62452 |    17353      5 |      777 |      692
84.28/84.33	c 84.1s |      14 |   130738 |    63652 |    17353      5 |      777 |      692
86.48/86.54	c 86.3s |      14 |   131854 |    64552 |    17353      6 |      777 |      692
88.58/88.63	c 88.4s |      14 |   133085 |    65552 |    17353      6 |      777 |      692
90.68/90.78	c 90.5s |      14 |   134152 |    66452 |    17353      6 |      777 |      692
92.78/92.89	c 92.6s |      14 |   135205 |    67352 |    17353      6 |      777 |      692
94.98/95.08	c 94.8s |      14 |   136315 |    68252 |    17353      6 |      777 |      692
97.08/97.18	c 96.9s |      14 |   137272 |    69052 |    17353      6 |      777 |      692
99.18/99.22	c 98.9s |      14 |   138198 |    69852 |    17353      6 |      777 |      692
101.38/101.47	c  101s |      14 |   139135 |    70652 |    17353      6 |      777 |      692
103.48/103.59	c  103s |      14 |   140067 |    71452 |    17353      6 |      777 |      692
105.58/105.62	c  105s |      14 |   140875 |    72152 |    17353      6 |      777 |      692
107.68/107.75	c  107s |      14 |   141825 |    72952 |    17353      6 |      777 |      692
109.88/109.91	c  109s |      14 |   142769 |    73752 |    17353      6 |      777 |      692
111.98/112.06	c  111s |      14 |   143824 |    74552 |    17353      6 |      777 |      692
114.18/114.21	c  113s |      14 |   144525 |    75152 |    17353      7 |      777 |      692
116.18/116.24	c  115s |      14 |   145447 |    75952 |    17353      7 |      777 |      692
118.38/118.42	c  118s |      14 |   146252 |    76652 |    17353      7 |      777 |      692
120.47/120.55	c  120s |      14 |   147212 |    77452 |    17353      7 |      777 |      692
122.77/122.83	c  122s |      14 |   148170 |    78252 |    17353      7 |      777 |      692
124.87/124.96	c  124s |      14 |   148962 |    78952 |    17353      7 |      777 |      692
127.07/127.16	c  126s |      14 |   149953 |    79752 |    17353      7 |      777 |      692
129.07/129.16	c  128s |      14 |   150805 |    80452 |    17353      7 |      777 |      692
131.17/131.26	c  130s |      14 |   151601 |    81152 |    17353      7 |      777 |      692
133.27/133.37	c  133s |      14 |   152443 |    81852 |    17353      7 |      777 |      692
135.57/135.64	c  135s |      14 |   153291 |    82552 |    17353      7 |      777 |      692
137.87/137.93	c  137s |      14 |   154074 |    83252 |    17353      7 |      777 |      692
140.07/140.10	c  139s |      14 |   154928 |    83952 |    17353      7 |      777 |      692
142.17/142.20	c  141s |      14 |   155618 |    84552 |    17353      7 |      777 |      692
144.37/144.42	c  144s |      14 |   156315 |    85152 |    17353      7 |      777 |      692
146.57/146.62	c  146s |      14 |   157015 |    85752 |    17353      8 |      777 |      692
148.58/148.67	c  148s |      14 |   157800 |    86452 |    17353      8 |      777 |      692
150.87/150.94	c  150s |      14 |   158740 |    87252 |    19089      8 |      777 |      692
151.97/152.02	c  151s |      15 |   159203 |    87632 |    19089      8 |      777 |      692
153.98/154.05	c  153s |      15 |   165806 |    89432 |    19089      8 |      777 |      692
155.97/156.08	c  155s |      15 |   176233 |    91732 |    19089      8 |      777 |      692
158.07/158.12	c  157s |      15 |   181507 |    93432 |    19089      8 |      777 |      692
160.17/160.26	c  159s |      15 |   182773 |    94432 |    19089      8 |      777 |      692
162.27/162.31	c  162s |      15 |   186472 |    95832 |    19089      9 |      777 |      692
164.37/164.44	c  164s |      15 |   192102 |    97832 |    19089      9 |      777 |      692
166.37/166.48	c  166s |      15 |   194196 |    99232 |    19089      9 |      777 |      692
168.47/168.58	c  168s |      15 |   195992 |   100432 |    19089      9 |      777 |      692
170.47/170.59	c  170s |      15 |   197258 |   101332 |    19089      9 |      777 |      692
172.67/172.74	c  172s |      15 |   198450 |   102232 |    19089      9 |      777 |      692
174.97/175.03	c  174s |      15 |   199359 |   103032 |    19089      9 |      777 |      692
177.07/177.16	c  176s |      15 |   201524 |   104232 |    19089      9 |      777 |      692
179.16/179.27	c  178s |      15 |   202857 |   105232 |    19089      9 |      777 |      692
181.26/181.38	c  181s |      15 |   203870 |   106032 |    19089      9 |      777 |      692
183.46/183.57	c  183s |      15 |   204885 |   106832 |    19089      9 |      777 |      692
185.56/185.68	c  185s |      15 |   205747 |   107532 |    19089      9 |      777 |      692
187.76/187.87	c  187s |      15 |   206466 |   108132 |    19089     10 |      777 |      692
189.96/190.03	c  189s |      15 |   207569 |   108932 |    19089     10 |      777 |      692
192.06/192.11	c  191s |      15 |   208579 |   109732 |    19089     10 |      777 |      692
194.16/194.25	c  193s |      15 |   209598 |   110532 |    19089     10 |      777 |      692
196.16/196.25	c  195s |      15 |   210418 |   111232 |    19089     10 |      777 |      692
198.26/198.39	c  198s |      15 |   211207 |   111932 |    19089     10 |      777 |      692
200.56/200.60	c  200s |      15 |   211994 |   112632 |    19089     10 |      777 |      692
202.86/202.94	c  202s |      15 |   212663 |   113232 |    19089     10 |      777 |      692
205.16/205.25	c  204s |      15 |   213518 |   113932 |    19089     10 |      777 |      692
207.26/207.31	c  207s |      15 |   214189 |   114532 |    19089     10 |      777 |      692
209.56/209.67	c  209s |      15 |   215019 |   115232 |    19089     10 |      777 |      692
211.66/211.76	c  211s |      15 |   215566 |   115732 |    19089     10 |      777 |      692
213.66/213.78	c  213s |      15 |   216164 |   116232 |    19089     10 |      777 |      692
215.76/215.85	c  215s |      15 |   216724 |   116732 |    19089     10 |      777 |      692
217.96/218.06	c  217s |      15 |   217263 |   117232 |    19089     10 |      777 |      692
220.36/220.41	c  220s |      15 |   218104 |   117932 |    19089     10 |      777 |      692
222.46/222.53	c  222s |      15 |   218786 |   118532 |    19089     10 |      777 |      692
224.56/224.66	c  224s |      15 |   219457 |   119132 |    19089     10 |      777 |      692
226.76/226.81	c  226s |      15 |   220014 |   119632 |    19089     11 |      777 |      692
228.96/229.03	c  228s |      15 |   220783 |   120332 |    19089     11 |      777 |      692
231.16/231.26	c  230s |      15 |   221444 |   120932 |    19089     11 |      777 |      692
233.46/233.51	c  233s |      15 |   222084 |   121532 |    19089     11 |      777 |      692
235.76/235.84	c  235s |      15 |   222870 |   122232 |    19089     11 |      777 |      692
238.06/238.16	c  237s |      15 |   223665 |   122932 |    19089     11 |      777 |      692
240.26/240.32	c  240s |      15 |   224324 |   123532 |    19089     11 |      777 |      692
242.46/242.53	c  242s |      15 |   224980 |   124132 |    19089     11 |      777 |      692
244.46/244.54	c  244s |      15 |   225520 |   124632 |    19089     11 |      777 |      692
246.56/246.69	c  246s |      15 |   226235 |   125232 |    19089     11 |      777 |      692
248.96/249.04	c  248s |      15 |   226996 |   125832 |    19089     11 |      777 |      692
251.25/251.39	c  251s |      15 |   227689 |   126432 |    19089     11 |      777 |      692
253.85/253.93	c  253s |      15 |   228390 |   127032 |    19089     11 |      777 |      692
256.26/256.30	c  256s |      15 |   228945 |   127532 |    19089     11 |      777 |      692
258.35/258.45	c  258s |      15 |   229665 |   128132 |    19089     11 |      777 |      692
260.76/260.88	c  260s |      15 |   230345 |   128732 |    19089     11 |      777 |      692
262.86/262.94	c  262s |      15 |   230813 |   129132 |    19089     11 |      777 |      692
265.16/265.26	c  264s |      15 |   231285 |   129532 |    19089     11 |      777 |      692
267.36/267.45	c  267s |      15 |   231851 |   130032 |    19089     11 |      777 |      692
269.65/269.74	c  269s |      15 |   232187 |   130332 |    19089     12 |      777 |      692
272.15/272.22	c  271s |      15 |   232846 |   130932 |    20998     12 |      777 |      692
274.45/274.59	c  274s |      15 |   233428 |   131432 |    20998     12 |      777 |      692
275.06/275.19	c  274s |      16 |   233562 |   131552 |    20998     12 |      777 |      692
277.15/277.28	c  277s |      16 |   238389 |   133152 |    20998     12 |      777 |      692
279.35/279.41	c  279s |      16 |   239842 |   134252 |    20998     12 |      777 |      692
281.35/281.42	c  281s |      16 |   241349 |   135352 |    20998     12 |      777 |      692
283.55/283.61	c  283s |      16 |   243136 |   136752 |    20998     12 |      777 |      692
285.65/285.70	c  285s |      16 |   244671 |   137952 |    20998     12 |      777 |      692
287.85/287.99	c  287s |      16 |   245937 |   138952 |    20998     12 |      777 |      692
290.05/290.17	c  289s |      16 |   247167 |   139952 |    20998     12 |      777 |      692
292.05/292.18	c  291s |      16 |   248122 |   140752 |    20998     12 |      777 |      692
294.15/294.25	c  293s |      16 |   249389 |   141752 |    20998     12 |      777 |      692
296.25/296.35	c  296s |      16 |   250485 |   142652 |    20998     12 |      777 |      692
298.44/298.50	c  298s |      16 |   251319 |   143352 |    20998     13 |      777 |      692
300.44/300.58	c  300s |      16 |   252396 |   144252 |    20998     13 |      777 |      692
302.64/302.76	c  302s |      16 |   253418 |   145052 |    20998     13 |      777 |      692
304.65/304.78	c  304s |      16 |   254483 |   145952 |    20998     13 |      777 |      692
306.85/306.96	c  306s |      16 |   255548 |   146852 |    20998     13 |      777 |      692
308.94/309.07	c  308s |      16 |   256720 |   147752 |    20998     13 |      777 |      692
311.14/311.22	c  310s |      16 |   257834 |   148652 |    20998     13 |      777 |      692
313.24/313.39	c  313s |      16 |   258606 |   149352 |    20998     13 |      777 |      692
315.44/315.50	c  315s |      16 |   259454 |   150052 |    20998     13 |      777 |      692
317.44/317.53	c  317s |      16 |   260282 |   150752 |    20998     13 |      777 |      692
319.64/319.71	c  319s |      16 |   261063 |   151452 |    20998     13 |      777 |      692
321.64/321.78	c  321s |      16 |   261938 |   152152 |    20998     13 |      777 |      692
323.74/323.89	c  323s |      16 |   262922 |   152952 |    20998     13 |      777 |      692
326.14/326.29	c  326s |      16 |   263577 |   153552 |    20998     13 |      777 |      692
328.34/328.40	c  328s |      16 |   264101 |   154052 |    20998     13 |      777 |      692
330.34/330.48	c  330s |      16 |   264771 |   154652 |    20998     13 |      777 |      692
332.54/332.62	c  332s |      16 |   265626 |   155352 |    20998     13 |      777 |      692
334.54/334.69	c  334s |      16 |   266397 |   155952 |    20998     14 |      777 |      692
336.64/336.77	c  336s |      16 |   267448 |   156752 |    20998     14 |      777 |      692
338.74/338.84	c  338s |      16 |   268235 |   157452 |    20998     14 |      777 |      692
341.04/341.17	c  340s |      16 |   269131 |   158252 |    20998     14 |      777 |      692
343.44/343.52	c  343s |      16 |   269883 |   158952 |    20998     14 |      777 |      692
345.64/345.78	c  345s |      16 |   270724 |   159652 |    20998     14 |      777 |      692
347.74/347.87	c  347s |      16 |   271408 |   160252 |    20998     14 |      777 |      692
350.13/350.23	c  349s |      16 |   272273 |   160952 |    20998     14 |      777 |      692
352.43/352.52	c  352s |      16 |   273033 |   161552 |    20998     14 |      777 |      692
354.53/354.64	c  354s |      16 |   273762 |   162152 |    20998     14 |      777 |      692
356.53/356.68	c  356s |      16 |   274481 |   162752 |    20998     14 |      777 |      692
358.64/358.76	c  358s |      16 |   275036 |   163252 |    20998     14 |      777 |      692
360.84/360.96	c  360s |      16 |   275718 |   163852 |    20998     14 |      777 |      692
362.83/362.96	c  362s |      16 |   276283 |   164352 |    20998     14 |      777 |      692
365.14/365.24	c  364s |      16 |   277020 |   164952 |    20998     14 |      777 |      692
367.53/367.60	c  367s |      16 |   277700 |   165552 |    20998     14 |      777 |      692
369.73/369.80	c  369s |      16 |   278263 |   166052 |    20998     14 |      777 |      692
372.03/372.16	c  371s |      16 |   278967 |   166652 |    20998     14 |      777 |      692
374.33/374.43	c  374s |      16 |   279853 |   167352 |    20998     14 |      777 |      692
376.53/376.60	c  376s |      16 |   280535 |   167952 |    20998     15 |      777 |      692
378.73/378.81	c  378s |      16 |   281593 |   168852 |    20998     15 |      777 |      692
380.93/381.02	c  380s |      16 |   282469 |   169652 |    20998     15 |      777 |      692
383.13/383.22	c  382s |      16 |   283494 |   170452 |    20998     15 |      777 |      692
385.23/385.30	c  385s |      16 |   284505 |   171252 |    20998     15 |      777 |      692
387.23/387.39	c  387s |      16 |   285177 |   171852 |    20998     15 |      777 |      692
389.33/389.47	c  389s |      16 |   286051 |   172552 |    20998     15 |      777 |      692
391.33/391.47	c  391s |      16 |   286573 |   173052 |    20998     15 |      777 |      692
393.53/393.67	c  393s |      16 |   287107 |   173552 |    20998     15 |      777 |      692
395.83/395.94	c  395s |      16 |   287748 |   174152 |    20998     15 |      777 |      692
398.13/398.22	c  397s |      16 |   288587 |   174852 |    20998     15 |      777 |      692
400.13/400.27	c  399s |      16 |   289460 |   175552 |    20998     15 |      777 |      692
402.42/402.55	c  402s |      16 |   290294 |   176252 |    20998     15 |      777 |      692
404.52/404.66	c  404s |      16 |   290989 |   176852 |    20998     15 |      777 |      692
406.72/406.82	c  406s |      16 |   291686 |   177452 |    20998     15 |      777 |      692
408.92/409.04	c  408s |      16 |   292387 |   178052 |    20998     15 |      777 |      692
411.12/411.22	c  410s |      16 |   293090 |   178652 |    20998     15 |      777 |      692
413.22/413.39	c  413s |      16 |   293651 |   179152 |    20998     15 |      777 |      692
415.52/415.65	c  415s |      16 |   294371 |   179752 |    20998     15 |      777 |      692
417.62/417.71	c  417s |      16 |   294941 |   180252 |    20998     16 |      777 |      692
419.72/419.84	c  419s |      16 |   295715 |   180952 |    20998     16 |      777 |      692
421.92/422.05	c  421s |      16 |   296607 |   181752 |    20998     16 |      777 |      692
424.22/424.35	c  424s |      16 |   297537 |   182552 |    20998     16 |      777 |      692
426.22/426.38	c  426s |      16 |   298331 |   183252 |    20998     16 |      777 |      692
428.62/428.73	c  428s |      16 |   299179 |   183952 |    20998     16 |      777 |      692
430.82/430.98	c  430s |      16 |   299970 |   184652 |    20998     16 |      777 |      692
433.02/433.18	c  432s |      16 |   300827 |   185352 |    20998     16 |      777 |      692
435.12/435.25	c  434s |      16 |   301613 |   186052 |    20998     16 |      777 |      692
437.42/437.56	c  437s |      16 |   302489 |   186752 |    20998     16 |      777 |      692
439.42/439.59	c  439s |      16 |   303353 |   187452 |    20998     16 |      777 |      692
441.62/441.74	c  441s |      16 |   304186 |   188152 |    20998     16 |      777 |      692
443.72/443.88	c  443s |      16 |   304923 |   188752 |    20998     16 |      777 |      692
446.02/446.13	c  445s |      16 |   305663 |   189352 |    20998     16 |      777 |      692
448.12/448.24	c  447s |      16 |   306399 |   189952 |    20998     16 |      777 |      692
450.52/450.67	c  450s |      16 |   307066 |   190552 |    20998     16 |      777 |      692
452.62/452.70	c  452s |      16 |   307699 |   191052 |    20998     16 |      777 |      692
454.72/454.83	c  454s |      16 |   308423 |   191652 |    20998     16 |      777 |      692
456.82/456.92	c  456s |      16 |   308964 |   192152 |    20998     17 |      777 |      692
458.82/458.94	c  458s |      16 |   309792 |   192852 |    20998     17 |      777 |      692
460.82/460.97	c  460s |      16 |   310484 |   193452 |    20998     17 |      777 |      692
462.92/463.02	c  462s |      16 |   311174 |   194052 |    20998     17 |      777 |      692
465.23/465.33	c  465s |      16 |   311992 |   194752 |    20998     17 |      777 |      692
467.43/467.56	c  467s |      16 |   312676 |   195352 |    20998     17 |      777 |      692
469.63/469.71	c  469s |      16 |   313371 |   195952 |    20998     17 |      777 |      692
471.83/471.94	c  471s |      16 |   314077 |   196552 |    23098     17 |      777 |      692
474.13/474.23	c  473s |      16 |   314902 |   197252 |    23098     17 |      777 |      692
474.82/474.99	c  474s |      17 |   315112 |   197432 |    23098     17 |      777 |      692
476.92/477.04	c  476s |      17 |   320128 |   199132 |    23098     17 |      777 |      692
478.92/479.09	c  478s |      17 |   322165 |   200832 |    23098     17 |      777 |      692
481.12/481.21	c  480s |      17 |   323739 |   202232 |    23098     17 |      777 |      692
483.22/483.33	c  483s |      17 |   325179 |   203532 |    23098     17 |      777 |      692
485.22/485.39	c  485s |      17 |   326570 |   204732 |    23098     17 |      777 |      692
487.22/487.39	c  487s |      17 |   327450 |   205532 |    23098     18 |      777 |      692
489.32/489.45	c  489s |      17 |   328574 |   206532 |    23098     18 |      777 |      692
491.32/491.49	c  491s |      17 |   329571 |   207432 |    23098     18 |      777 |      692
493.52/493.60	c  493s |      17 |   330600 |   208332 |    23098     18 |      777 |      692
495.61/495.73	c  495s |      17 |   331614 |   209232 |    23098     18 |      777 |      692
497.61/497.76	c  497s |      17 |   332512 |   210032 |    23098     18 |      777 |      692
499.91/500.01	c  499s |      17 |   333530 |   210932 |    23098     18 |      777 |      692
501.91/502.03	c  501s |      17 |   334309 |   211632 |    23098     18 |      777 |      692
503.91/504.06	c  503s |      17 |   335097 |   212332 |    23098     18 |      777 |      692
506.11/506.28	c  506s |      17 |   336108 |   213132 |    23098     18 |      777 |      692
508.12/508.28	c  508s |      17 |   336933 |   213832 |    23098     18 |      777 |      692
510.21/510.38	c  510s |      17 |   337690 |   214532 |    23098     18 |      777 |      692
512.31/512.42	c  512s |      17 |   338434 |   215232 |    23098     18 |      777 |      692
514.41/514.54	c  514s |      17 |   339184 |   215932 |    23098     18 |      777 |      692
516.51/516.65	c  516s |      17 |   339950 |   216632 |    23098     18 |      777 |      692
518.61/518.77	c  518s |      17 |   342548 |   218132 |    23098     18 |      777 |      692
520.71/520.80	c  520s |      17 |   343982 |   219332 |    23098     19 |      777 |      692
522.71/522.84	c  522s |      17 |   345520 |   220632 |    23098     19 |      777 |      692
524.81/524.98	c  524s |      17 |   346917 |   221832 |    23098     19 |      777 |      692
526.82/526.99	c  526s |      17 |   348166 |   222932 |    23098     19 |      777 |      692
528.91/529.02	c  528s |      17 |   349289 |   223932 |    23098     19 |      777 |      692
530.91/531.09	c  530s |      17 |   350412 |   224932 |    23098     19 |      777 |      692
533.01/533.13	c  532s |      17 |   351573 |   225932 |    23098     19 |      777 |      692
535.21/535.31	c  535s |      17 |   352734 |   226932 |    23098     19 |      777 |      692
537.21/537.37	c  537s |      17 |   353822 |   227832 |    23098     19 |      777 |      692
539.41/539.57	c  539s |      17 |   354839 |   228732 |    23098     19 |      777 |      692
541.61/541.76	c  541s |      17 |   355710 |   229532 |    23098     19 |      777 |      692
543.71/543.89	c  543s |      17 |   356489 |   230232 |    23098     19 |      777 |      692
545.81/545.93	c  545s |      17 |   357281 |   230932 |    23098     19 |      777 |      692
547.90/548.05	c  547s |      17 |   358190 |   231732 |    23098     19 |      777 |      692
550.10/550.22	c  549s |      17 |   359165 |   232532 |    23098     20 |      777 |      692
552.11/552.25	c  551s |      17 |   360755 |   233732 |    23098     20 |      777 |      692
554.10/554.28	c  554s |      17 |   362059 |   234732 |    23098     20 |      777 |      692
556.30/556.46	c  556s |      17 |   363513 |   235832 |    23098     20 |      777 |      692
558.60/558.73	c  558s |      17 |   364519 |   236732 |    23098     20 |      777 |      692
560.60/560.75	c  560s |      17 |   365577 |   237632 |    23098     20 |      777 |      692
562.80/562.90	c  562s |      17 |   366589 |   238532 |    23098     20 |      777 |      692
564.80/564.96	c  564s |      17 |   367519 |   239332 |    23098     20 |      777 |      692
567.10/567.24	c  566s |      17 |   368478 |   240132 |    23098     20 |      777 |      692
569.30/569.44	c  569s |      17 |   369448 |   240932 |    23098     20 |      777 |      692
571.60/571.77	c  571s |      17 |   370458 |   241732 |    23098     20 |      777 |      692
573.80/573.91	c  573s |      17 |   371272 |   242432 |    23098     20 |      777 |      692
576.10/576.22	c  575s |      17 |   372088 |   243132 |    23098     20 |      777 |      692
578.10/578.25	c  577s |      17 |   373636 |   244232 |    23098     20 |      777 |      692
580.30/580.44	c  580s |      17 |   374843 |   245332 |    23098     21 |      777 |      692
582.40/582.56	c  582s |      17 |   376632 |   246932 |    23098     21 |      777 |      692
584.50/584.69	c  584s |      17 |   378230 |   248332 |    23098     21 |      777 |      692
586.60/586.79	c  586s |      17 |   379708 |   249632 |    23098     21 |      777 |      692
588.70/588.84	c  588s |      17 |   381113 |   250832 |    23098     21 |      777 |      692
590.90/591.02	c  590s |      17 |   382482 |   252032 |    23098     21 |      777 |      692
592.90/593.05	c  592s |      17 |   383606 |   253032 |    23098     21 |      777 |      692
594.90/595.07	c  594s |      17 |   384728 |   254032 |    23098     21 |      777 |      692
597.00/597.14	c  596s |      17 |   385824 |   255032 |    23098     21 |      777 |      692
599.00/599.17	c  598s |      17 |   386985 |   256032 |    23098     21 |      777 |      692
600.99/601.18	c  600s |      17 |   387994 |   256932 |    23098     21 |      777 |      692
603.19/603.33	c  603s |      17 |   388866 |   257732 |    23098     21 |      777 |      692
605.19/605.38	c  605s |      17 |   389797 |   258532 |    23098     22 |      777 |      692
607.29/607.47	c  607s |      17 |   391270 |   259732 |    23098     22 |      777 |      692
609.49/609.65	c  609s |      17 |   392543 |   260832 |    23098     22 |      777 |      692
611.50/611.67	c  611s |      17 |   393734 |   261832 |    23098     22 |      777 |      692
613.49/613.69	c  613s |      17 |   394929 |   262832 |    23098     22 |      777 |      692
615.59/615.70	c  615s |      17 |   395963 |   263732 |    23098     22 |      777 |      692
617.59/617.76	c  617s |      17 |   396990 |   264632 |    23098     22 |      777 |      692
619.79/619.92	c  619s |      17 |   398026 |   265532 |    23098     22 |      777 |      692
622.09/622.22	c  621s |      17 |   398941 |   266332 |    23098     22 |      777 |      692
624.29/624.44	c  624s |      17 |   399773 |   267032 |    23098     22 |      777 |      692
626.39/626.52	c  626s |      17 |   400567 |   267732 |    23098     22 |      777 |      692
628.59/628.74	c  628s |      17 |   401479 |   268532 |    23098     22 |      777 |      692
630.99/631.11	c  630s |      17 |   402284 |   269232 |    23098     22 |      777 |      692
632.99/633.14	c  632s |      17 |   402945 |   269832 |    23098     22 |      777 |      692
635.29/635.44	c  635s |      17 |   403617 |   270432 |    23098     22 |      777 |      692
637.39/637.59	c  637s |      17 |   404281 |   271032 |    23098     22 |      777 |      692
639.59/639.74	c  639s |      17 |   404960 |   271632 |    23098     23 |      777 |      692
641.79/641.97	c  641s |      17 |   405980 |   272532 |    23098     23 |      777 |      692
643.89/644.01	c  643s |      17 |   406846 |   273332 |    23098     23 |      777 |      692
646.00/646.19	c  645s |      17 |   407744 |   274132 |    23098     23 |      777 |      692
648.20/648.33	c  648s |      17 |   408540 |   274832 |    23098     23 |      777 |      692
650.30/650.43	c  650s |      17 |   409431 |   275632 |    23098     23 |      777 |      692
652.39/652.56	c  652s |      17 |   410190 |   276332 |    23098     23 |      777 |      692
654.69/654.88	c  654s |      17 |   411224 |   277232 |    23098     23 |      777 |      692
656.99/657.13	c  656s |      17 |   411998 |   277932 |    23098     23 |      777 |      692
658.99/659.18	c  658s |      17 |   412817 |   278632 |    23098     23 |      777 |      692
661.10/661.24	c  660s |      17 |   413507 |   279232 |    23098     23 |      777 |      692
663.30/663.42	c  663s |      17 |   414346 |   279932 |    23098     23 |      777 |      692
665.29/665.47	c  665s |      17 |   415007 |   280532 |    23098     23 |      777 |      692
667.60/667.78	c  667s |      17 |   415651 |   281132 |    23098     23 |      777 |      692
669.80/669.91	c  669s |      17 |   416462 |   281832 |    23098     23 |      777 |      692
671.89/672.02	c  671s |      17 |   417237 |   282532 |    23098     23 |      777 |      692
674.09/674.26	c  673s |      17 |   418015 |   283232 |    23098     23 |      777 |      692
676.29/676.43	c  676s |      17 |   418835 |   283932 |    23098     23 |      777 |      692
678.99/679.17	c  678s |      17 |   419650 |   284632 |    23098     24 |      777 |      692
681.09/681.24	c  680s |      17 |   420409 |   285332 |    23098     24 |      777 |      692
683.29/683.46	c  683s |      17 |   421434 |   286232 |    23098     24 |      777 |      692
685.59/685.70	c  685s |      17 |   422347 |   287032 |    23098     24 |      777 |      692
687.79/687.93	c  687s |      17 |   423211 |   287832 |    23098     24 |      777 |      692
689.79/689.97	c  689s |      17 |   424147 |   288632 |    23098     24 |      777 |      692
691.89/692.07	c  691s |      17 |   424952 |   289332 |    23098     24 |      777 |      692
694.09/694.22	c  693s |      17 |   425868 |   290132 |    23098     24 |      777 |      692
696.29/696.45	c  696s |      17 |   426747 |   290932 |    23098     24 |      777 |      692
698.58/698.74	c  698s |      17 |   427715 |   291732 |    23098     24 |      777 |      692
700.69/700.89	c  700s |      17 |   428609 |   292532 |    23098     24 |      777 |      692
702.79/702.98	c  702s |      17 |   429407 |   293232 |    23098     24 |      777 |      692
704.99/705.16	c  704s |      17 |   430178 |   293932 |    23098     24 |      777 |      692
707.19/707.38	c  707s |      17 |   430970 |   294632 |    25408     24 |      777 |      692
709.39/709.57	c  709s |      17 |   431770 |   295332 |    25408     24 |      777 |      692
711.38/711.59	c  711s |      17 |   432522 |   296032 |    25408     24 |      777 |      692
712.08/712.25	c  711s |      18 |   432781 |   296252 |    25408     24 |      777 |      692
714.18/714.31	c  714s |      18 |   440641 |   297552 |    25408     24 |      777 |      692
716.18/716.38	c  716s |      18 |   442329 |   299052 |    25408     24 |      777 |      692
718.38/718.52	c  718s |      18 |   443431 |   300052 |    25408     25 |      777 |      692
720.48/720.62	c  720s |      18 |   448539 |   301952 |    25408     25 |      777 |      692
722.47/722.67	c  722s |      18 |   450570 |   303252 |    25408     25 |      777 |      692
724.78/724.91	c  724s |      18 |   451922 |   304352 |    25408     25 |      777 |      692
726.77/726.99	c  726s |      18 |   460357 |   306252 |    25408     25 |      777 |      692
728.87/729.00	c  728s |      18 |   465857 |   308252 |    25408     25 |      777 |      692
730.87/731.07	c  730s |      18 |   470985 |   310452 |    25408     25 |      777 |      692
732.97/733.12	c  732s |      18 |   475338 |   312352 |    25408     25 |      777 |      692
734.97/735.19	c  734s |      18 |   476953 |   313752 |    25408     25 |      777 |      692
736.98/737.19	c  736s |      18 |   477995 |   314652 |    25408     26 |      777 |      692
739.08/739.24	c  738s |      18 |   479344 |   315852 |    25408     26 |      777 |      692
741.07/741.29	c  741s |      18 |   480529 |   316952 |    25408     26 |      777 |      692
743.27/743.43	c  743s |      18 |   482290 |   318352 |    25408     26 |      777 |      692
745.27/745.47	c  745s |      18 |   483531 |   319452 |    25408     26 |      777 |      692
747.38/747.54	c  747s |      18 |   484901 |   320552 |    25408     26 |      777 |      692
749.38/749.58	c  749s |      18 |   485925 |   321452 |    25408     26 |      777 |      692
751.48/751.69	c  751s |      18 |   487119 |   322452 |    25408     26 |      777 |      692
753.77/753.95	c  753s |      18 |   488367 |   323452 |    25408     26 |      777 |      692
755.87/756.05	c  755s |      18 |   489464 |   324352 |    25408     26 |      777 |      692
757.88/758.09	c  757s |      18 |   490635 |   325252 |    25408     26 |      777 |      692
759.87/760.10	c  759s |      18 |   491618 |   326052 |    25408     26 |      777 |      692
761.97/762.19	c  761s |      18 |   492437 |   326752 |    25408     26 |      777 |      692
764.38/764.52	c  764s |      18 |   493464 |   327552 |    25408     26 |      777 |      692
766.58/766.74	c  766s |      18 |   494295 |   328252 |    25408     26 |      777 |      692
768.78/768.93	c  768s |      18 |   495148 |   328952 |    25408     27 |      777 |      692
771.08/771.26	c  770s |      18 |   496258 |   329852 |    25408     27 |      777 |      692
773.18/773.31	c  773s |      18 |   497029 |   330552 |    25408     27 |      777 |      692
775.27/775.42	c  775s |      18 |   497812 |   331252 |    25408     27 |      777 |      692
777.47/777.67	c  777s |      18 |   498797 |   332052 |    25408     27 |      777 |      692
779.77/779.98	c  779s |      18 |   499499 |   332652 |    25408     27 |      777 |      692
781.97/782.20	c  781s |      18 |   500232 |   333352 |    25408     27 |      777 |      692
784.07/784.25	c  783s |      18 |   500876 |   333952 |    25408     27 |      777 |      692
786.27/786.45	c  786s |      18 |   501522 |   334552 |    25408     27 |      777 |      692
788.67/788.84	c  788s |      18 |   502176 |   335152 |    25408     27 |      777 |      692
790.96/791.13	c  790s |      18 |   502933 |   335852 |    25408     27 |      777 |      692
793.16/793.36	c  793s |      18 |   503672 |   336552 |    25408     27 |      777 |      692
795.27/795.49	c  795s |      18 |   504300 |   337152 |    25408     27 |      777 |      692
797.56/797.74	c  797s |      18 |   504930 |   337752 |    25408     27 |      777 |      692
799.76/799.97	c  799s |      18 |   505553 |   338352 |    25408     27 |      777 |      692
802.16/802.33	c  802s |      18 |   506069 |   338852 |    25408     27 |      777 |      692
804.36/804.59	c  804s |      18 |   506580 |   339352 |    25408     27 |      777 |      692
806.86/807.02	c  806s |      18 |   507101 |   339852 |    25408     27 |      777 |      692
808.96/809.13	c  808s |      18 |   507526 |   340252 |    25408     27 |      777 |      692
810.96/811.16	c  810s |      18 |   507829 |   340552 |    25408     27 |      777 |      692
813.06/813.25	c  812s |      18 |   508263 |   340952 |    25408     27 |      777 |      692
815.46/815.64	c  815s |      18 |   508883 |   341552 |    25408     27 |      777 |      692
817.85/818.01	c  817s |      18 |   509501 |   342152 |    25408     27 |      777 |      692
819.95/820.10	c  819s |      18 |   509933 |   342552 |    25408     28 |      777 |      692
822.05/822.21	c  821s |      18 |   510667 |   343252 |    25408     28 |      777 |      692
824.05/824.25	c  823s |      18 |   511293 |   343852 |    25408     28 |      777 |      692
826.25/826.41	c  826s |      18 |   511911 |   344452 |    25408     28 |      777 |      692
828.35/828.53	c  828s |      18 |   512523 |   345052 |    25408     28 |      777 |      692
830.55/830.74	c  830s |      18 |   513160 |   345652 |    25408     28 |      777 |      692
832.85/833.06	c  832s |      18 |   513984 |   346452 |    25408     28 |      777 |      692
834.85/835.09	c  834s |      18 |   514497 |   346952 |    25408     28 |      777 |      692
837.05/837.23	c  836s |      18 |   515112 |   347552 |    25408     28 |      777 |      692
839.15/839.37	c  839s |      18 |   515631 |   348052 |    25408     28 |      777 |      692
841.14/841.39	c  841s |      18 |   516139 |   348552 |    25408     28 |      777 |      692
843.24/843.43	c  843s |      18 |   516559 |   348952 |    25408     28 |      777 |      692
845.34/845.54	c  845s |      18 |   517077 |   349452 |    25408     28 |      777 |      692
847.64/847.88	c  847s |      18 |   517705 |   350052 |    25408     28 |      777 |      692
850.14/850.33	c  850s |      18 |   518215 |   350552 |    25408     28 |      777 |      692
852.44/852.65	c  852s |      18 |   518831 |   351152 |    25408     28 |      777 |      692
854.84/855.05	c  854s |      18 |   519356 |   351652 |    25408     28 |      777 |      692
856.84/857.09	c  856s |      18 |   519758 |   352052 |    25408     28 |      777 |      692
859.14/859.31	c  859s |      18 |   520294 |   352552 |    25408     28 |      777 |      692
861.24/861.43	c  861s |      18 |   520702 |   352952 |    25408     28 |      777 |      692
863.23/863.47	c  863s |      18 |   521117 |   353352 |    25408     28 |      777 |      692
865.23/865.49	c  865s |      18 |   521533 |   353752 |    25408     28 |      777 |      692
867.43/867.60	c  867s |      18 |   521952 |   354152 |    25408     28 |      777 |      692
869.53/869.74	c  869s |      18 |   522359 |   354552 |    25408     28 |      777 |      692
871.83/872.01	c  871s |      18 |   522771 |   354952 |    25408     28 |      777 |      692
873.93/874.16	c  873s |      18 |   523181 |   355352 |    25408     28 |      777 |      692
876.13/876.36	c  876s |      18 |   523595 |   355752 |    25408     28 |      777 |      692
878.44/878.67	c  878s |      18 |   524006 |   356152 |    25408     28 |      777 |      692
880.64/880.86	c  880s |      18 |   524423 |   356552 |    25408     28 |      777 |      692
882.74/882.99	c  882s |      18 |   524736 |   356852 |    25408     29 |      777 |      692
884.84/885.02	c  884s |      18 |   525267 |   357352 |    25408     29 |      777 |      692
886.84/887.09	c  886s |      18 |   525927 |   357852 |    25408     29 |      777 |      692
889.13/889.32	c  889s |      18 |   526924 |   358652 |    25408     29 |      777 |      692
891.23/891.46	c  891s |      18 |   527816 |   359352 |    25408     29 |      777 |      692
893.43/893.67	c  893s |      18 |   528847 |   360152 |    25408     29 |      777 |      692
895.43/895.67	c  895s |      18 |   529636 |   360852 |    25408     29 |      777 |      692
897.53/897.77	c  897s |      18 |   530799 |   361752 |    25408     29 |      777 |      692
899.63/899.90	c  899s |      18 |   531749 |   362552 |    25408     29 |      777 |      692
901.93/902.19	c  901s |      18 |   532686 |   363352 |    25408     29 |      777 |      692
904.32/904.51	c  904s |      18 |   533324 |   363952 |    25408     29 |      777 |      692
906.62/906.88	c  906s |      18 |   534211 |   364652 |    25408     29 |      777 |      692
908.82/909.07	c  908s |      18 |   534896 |   365252 |    25408     29 |      777 |      692
911.02/911.25	c  910s |      18 |   535539 |   365752 |    25408     29 |      777 |      692
913.12/913.32	c  913s |      18 |   536287 |   366352 |    25408     29 |      777 |      692
915.22/915.40	c  915s |      18 |   537007 |   366952 |    25408     29 |      777 |      692
917.23/917.44	c  917s |      18 |   537747 |   367552 |    25408     29 |      777 |      692
919.43/919.70	c  919s |      18 |   538787 |   368352 |    25408     29 |      777 |      692
921.52/921.74	c  921s |      18 |   539578 |   368952 |    25408     29 |      777 |      692
923.62/923.81	c  923s |      18 |   540313 |   369552 |    25408     29 |      777 |      692
925.72/925.91	c  925s |      18 |   540904 |   370052 |    25408     29 |      777 |      692
927.82/928.04	c  927s |      18 |   541683 |   370652 |    25408     29 |      777 |      692
929.92/930.16	c  929s |      18 |   542150 |   371052 |    25408     30 |      777 |      692
932.12/932.35	c  932s |      18 |   543336 |   371952 |    25408     30 |      777 |      692
934.22/934.47	c  934s |      18 |   544265 |   372752 |    25408     30 |      777 |      692
936.52/936.78	c  936s |      18 |   545048 |   373452 |    25408     30 |      777 |      692
938.72/938.96	c  938s |      18 |   546074 |   374252 |    25408     30 |      777 |      692
940.92/941.17	c  940s |      18 |   547076 |   375052 |    25408     30 |      777 |      692
943.12/943.36	c  943s |      18 |   547737 |   375652 |    25408     30 |      777 |      692
945.22/945.46	c  945s |      18 |   548428 |   376252 |    25408     30 |      777 |      692
947.22/947.48	c  947s |      18 |   549286 |   376952 |    25408     30 |      777 |      692
949.52/949.74	c  949s |      18 |   550126 |   377652 |    25408     30 |      777 |      692
951.72/951.91	c  951s |      18 |   551019 |   378352 |    25408     30 |      777 |      692
953.71/953.94	c  953s |      18 |   551711 |   378952 |    25408     30 |      777 |      692
955.82/956.00	c  955s |      18 |   552490 |   379652 |    25408     30 |      777 |      692
957.92/958.18	c  957s |      18 |   553201 |   380252 |    25408     30 |      777 |      692
960.22/960.49	c  960s |      18 |   553867 |   380852 |    25408     30 |      777 |      692
962.51/962.72	c  962s |      18 |   554427 |   381352 |    25408     30 |      777 |      692
964.71/964.96	c  964s |      18 |   555198 |   381952 |    25408     30 |      777 |      692
966.71/966.98	c  966s |      18 |   555744 |   382452 |    25408     30 |      777 |      692
968.91/969.18	c  968s |      18 |   556434 |   383052 |    25408     30 |      777 |      692
971.11/971.33	c  971s |      18 |   557342 |   383752 |    25408     30 |      777 |      692
973.20/973.46	c  973s |      18 |   558152 |   384352 |    25408     30 |      777 |      692
975.40/975.61	c  975s |      18 |   558873 |   384952 |    25408     30 |      777 |      692
977.40/977.63	c  977s |      18 |   559442 |   385452 |    25408     31 |      777 |      692
979.60/979.84	c  979s |      18 |   560400 |   386252 |    25408     31 |      777 |      692
981.70/982.00	c  981s |      18 |   561179 |   386952 |    25408     31 |      777 |      692
984.00/984.21	c  983s |      18 |   561996 |   387652 |    25408     31 |      777 |      692
986.10/986.36	c  986s |      18 |   562880 |   388452 |    25408     31 |      777 |      692
988.30/988.58	c  988s |      18 |   563690 |   389152 |    25408     31 |      777 |      692
990.50/990.74	c  990s |      18 |   564388 |   389752 |    25408     31 |      777 |      692
992.49/992.77	c  992s |      18 |   565203 |   390452 |    25408     31 |      777 |      692
994.49/994.77	c  994s |      18 |   566082 |   391152 |    25408     31 |      777 |      692
996.69/996.93	c  996s |      18 |   566881 |   391852 |    25408     31 |      777 |      692
998.79/999.02	c  998s |      18 |   567671 |   392552 |    25408     31 |      777 |      692
1000.90/1001.13	c 1000s |      18 |   568408 |   393152 |    25408     31 |      777 |      692
1003.00/1003.28	c 1003s |      18 |   569087 |   393752 |    25408     31 |      777 |      692
1005.20/1005.45	c 1005s |      18 |   569748 |   394352 |    25408     31 |      777 |      692
1007.19/1007.47	c 1007s |      18 |   570480 |   394952 |    25408     31 |      777 |      692
1009.19/1009.49	c 1009s |      18 |   571162 |   395552 |    25408     31 |      777 |      692
1011.39/1011.63	c 1011s |      18 |   571877 |   396152 |    25408     31 |      777 |      692
1013.69/1013.91	c 1013s |      18 |   572548 |   396752 |    25408     31 |      777 |      692
1015.89/1016.15	c 1015s |      18 |   573289 |   397352 |    25408     31 |      777 |      692
1018.09/1018.30	c 1018s |      18 |   573884 |   397852 |    25408     31 |      777 |      692
1020.29/1020.51	c 1020s |      18 |   574681 |   398452 |    25408     31 |      777 |      692
1022.39/1022.69	c 1022s |      18 |   575302 |   398952 |    25408     31 |      777 |      692
1024.69/1024.98	c 1024s |      18 |   575737 |   399352 |    25408     32 |      777 |      692
1026.89/1027.19	c 1026s |      18 |   576611 |   400052 |    25408     32 |      777 |      692
1028.99/1029.28	c 1029s |      18 |   577265 |   400652 |    25408     32 |      777 |      692
1031.29/1031.55	c 1031s |      18 |   578042 |   401352 |    25408     32 |      777 |      692
1033.49/1033.70	c 1033s |      18 |   578826 |   402052 |    25408     32 |      777 |      692
1035.58/1035.89	c 1035s |      18 |   579735 |   402752 |    25408     32 |      777 |      692
1037.78/1038.01	c 1037s |      18 |   580690 |   403552 |    25408     32 |      777 |      692
1039.88/1040.13	c 1039s |      18 |   581459 |   404252 |    25408     32 |      777 |      692
1041.98/1042.29	c 1042s |      18 |   582276 |   404952 |    25408     32 |      777 |      692
1044.08/1044.34	c 1044s |      18 |   583159 |   405652 |    25408     32 |      777 |      692
1046.38/1046.64	c 1046s |      18 |   584251 |   406452 |    25408     32 |      777 |      692
1048.48/1048.77	c 1048s |      18 |   585084 |   407152 |    25408     32 |      777 |      692
1050.58/1050.83	c 1050s |      18 |   585831 |   407752 |    25408     32 |      777 |      692
1052.78/1053.08	c 1052s |      18 |   586536 |   408352 |    25408     32 |      777 |      692
1055.08/1055.34	c 1055s |      18 |   587222 |   408952 |    25408     32 |      777 |      692
1057.38/1057.66	c 1057s |      18 |   588135 |   409652 |    25408     32 |      777 |      692
1059.58/1059.84	c 1059s |      18 |   588830 |   410252 |    25408     32 |      777 |      692
1061.98/1062.20	c 1061s |      18 |   589647 |   410952 |    25408     32 |      777 |      692
1064.27/1064.57	c 1064s |      18 |   590581 |   411652 |    25408     32 |      777 |      692
1066.27/1066.59	c 1066s |      18 |   591145 |   412152 |    25408     32 |      777 |      692
1068.37/1068.67	c 1068s |      18 |   591802 |   412652 |    25408     32 |      777 |      692
1070.67/1070.95	c 1070s |      18 |   592359 |   413152 |    25408     32 |      777 |      692
1072.77/1073.02	c 1072s |      18 |   592799 |   413552 |    25408     33 |      777 |      692
1074.77/1075.10	c 1074s |      18 |   593565 |   414252 |    25408     33 |      777 |      692
1076.97/1077.24	c 1076s |      18 |   594539 |   415052 |    25408     33 |      777 |      692
1079.17/1079.40	c 1079s |      18 |   595474 |   415852 |    25408     33 |      777 |      692
1081.17/1081.43	c 1081s |      18 |   596333 |   416552 |    25408     33 |      777 |      692
1083.27/1083.59	c 1083s |      18 |   597190 |   417252 |    25408     33 |      777 |      692
1085.57/1085.81	c 1085s |      18 |   597854 |   417852 |    25408     33 |      777 |      692
1087.77/1088.00	c 1087s |      18 |   598503 |   418452 |    25408     33 |      777 |      692
1090.16/1090.41	c 1090s |      18 |   599185 |   419052 |    25408     33 |      777 |      692
1092.36/1092.69	c 1092s |      18 |   599953 |   419752 |    25408     33 |      777 |      692
1094.55/1094.89	c 1094s |      18 |   600789 |   420452 |    25408     33 |      777 |      692
1096.65/1096.91	c 1096s |      18 |   601443 |   421052 |    25408     33 |      777 |      692
1098.95/1099.22	c 1098s |      18 |   602136 |   421652 |    25408     33 |      777 |      692
1101.15/1101.46	c 1101s |      18 |   602893 |   422252 |    25408     33 |      777 |      692
1103.65/1103.90	c 1103s |      18 |   603517 |   422852 |    25408     33 |      777 |      692
1105.85/1106.17	c 1105s |      18 |   604032 |   423352 |    25408     33 |      777 |      692
1107.95/1108.20	c 1107s |      18 |   604552 |   423852 |    25408     33 |      777 |      692
1110.25/1110.54	c 1110s |      18 |   605171 |   424452 |    25408     33 |      777 |      692
1112.54/1112.89	c 1112s |      18 |   605787 |   425052 |    25408     33 |      777 |      692
1114.84/1115.16	c 1114s |      18 |   606306 |   425552 |    25408     33 |      777 |      692
1117.14/1117.41	c 1117s |      18 |   606816 |   426052 |    25408     33 |      777 |      692
1119.14/1119.45	c 1119s |      18 |   607231 |   426452 |    25408     33 |      777 |      692
1121.34/1121.68	c 1121s |      18 |   607742 |   426952 |    25408     33 |      777 |      692
1123.73/1124.09	c 1123s |      18 |   608254 |   427452 |    25408     33 |      777 |      692
1125.93/1126.24	c 1125s |      18 |   608676 |   427852 |    25408     34 |      777 |      692
1127.93/1128.25	c 1127s |      18 |   609292 |   428452 |    25408     34 |      777 |      692
1130.23/1130.52	c 1130s |      18 |   610015 |   429152 |    25408     34 |      777 |      692
1132.23/1132.54	c 1132s |      18 |   610633 |   429752 |    25408     34 |      777 |      692
1134.33/1134.67	c 1134s |      18 |   611253 |   430352 |    25408     34 |      777 |      692
1136.73/1137.08	c 1136s |      18 |   611892 |   430952 |    25408     34 |      777 |      692
1139.02/1139.35	c 1139s |      18 |   612435 |   431452 |    25408     34 |      777 |      692
1141.12/1141.47	c 1141s |      18 |   612860 |   431852 |    25408     34 |      777 |      692
1143.22/1143.52	c 1143s |      18 |   613288 |   432252 |    25408     34 |      777 |      692
1145.62/1145.92	c 1145s |      18 |   613849 |   432752 |    25408     34 |      777 |      692
1147.72/1148.03	c 1147s |      18 |   614491 |   433352 |    25408     34 |      777 |      692
1149.92/1150.23	c 1149s |      18 |   615126 |   433952 |    25408     34 |      777 |      692
1152.02/1152.32	c 1152s |      18 |   615821 |   434552 |    25408     34 |      777 |      692
1154.11/1154.47	c 1154s |      18 |   616481 |   435152 |    25408     34 |      777 |      692
1156.51/1156.85	c 1156s |      18 |   617321 |   435852 |    25408     34 |      777 |      692
1158.91/1159.23	c 1158s |      18 |   617947 |   436452 |    25408     34 |      777 |      692
1161.21/1161.53	c 1161s |      18 |   618642 |   437052 |    25408     34 |      777 |      692
1163.31/1163.67	c 1163s |      18 |   619217 |   437552 |    25408     34 |      777 |      692
1165.81/1166.11	c 1165s |      18 |   619729 |   438052 |    25408     34 |      777 |      692
1167.91/1168.22	c 1167s |      18 |   620147 |   438452 |    25408     34 |      777 |      692
1170.11/1170.47	c 1170s |      18 |   620867 |   439052 |    25408     34 |      777 |      692
1172.20/1172.56	c 1172s |      18 |   621676 |   439752 |    25408     34 |      777 |      692
1174.30/1174.63	c 1174s |      18 |   622455 |   440452 |    25408     34 |      777 |      692
1176.60/1176.97	c 1176s |      18 |   623234 |   441152 |    25408     34 |      777 |      692
1178.80/1179.12	c 1178s |      18 |   623873 |   441752 |    27949     34 |      777 |      692
1180.90/1181.25	c 1180s |      18 |   624532 |   442352 |    27949     34 |      777 |      692
1182.99/1183.30	c 1183s |      18 |   625184 |   442952 |    27949     34 |      777 |      692
1185.29/1185.65	c 1185s |      18 |   625817 |   443552 |    27949     34 |      777 |      692
1187.49/1187.84	c 1187s |      18 |   626545 |   444152 |    27949     34 |      777 |      692
1189.09/1189.47	c 1189s |      19 |   626935 |   444482 |    27949     35 |      777 |      692
1191.20/1191.57	c 1191s |      19 |   629549 |   446082 |    27949     35 |      777 |      692
1193.30/1193.63	c 1193s |      19 |   631170 |   447582 |    27949     35 |      777 |      692
1195.30/1195.66	c 1195s |      19 |   632431 |   448782 |    27949     35 |      777 |      692
1197.50/1197.82	c 1197s |      19 |   637231 |   450582 |    27949     35 |      777 |      692
1199.50/1199.88	c 1199s |      19 |   638591 |   451782 |    27949     35 |      777 |      692
1201.60/1201.95	c 1201s |      19 |   639944 |   452882 |    27949     35 |      777 |      692
1203.69/1204.03	c 1203s |      19 |   641277 |   453982 |    27949     35 |      777 |      692
1205.69/1206.06	c 1205s |      19 |   642730 |   455182 |    27949     35 |      777 |      692
1207.69/1208.06	c 1207s |      19 |   644114 |   456282 |    27949     35 |      777 |      692
1209.89/1210.24	c 1209s |      19 |   645545 |   457382 |    27949     35 |      777 |      692
1211.90/1212.24	c 1211s |      19 |   646649 |   458282 |    27949     35 |      777 |      692
1213.88/1214.24	c 1213s |      19 |   647670 |   459182 |    27949     35 |      777 |      692
1216.08/1216.45	c 1216s |      19 |   648741 |   460082 |    27949     35 |      777 |      692
1218.28/1218.63	c 1218s |      19 |   649584 |   460782 |    27949     36 |      777 |      692
1220.48/1220.84	c 1220s |      19 |   650628 |   461682 |    27949     36 |      777 |      692
1222.58/1222.95	c 1222s |      19 |   651536 |   462482 |    27949     36 |      777 |      692
1224.58/1224.96	c 1224s |      19 |   652355 |   463182 |    27949     36 |      777 |      692
1226.88/1227.28	c 1227s |      19 |   653263 |   463982 |    27949     36 |      777 |      692
1228.98/1229.36	c 1229s |      19 |   654043 |   464682 |    27949     36 |      777 |      692
1231.18/1231.58	c 1231s |      19 |   654859 |   465382 |    27949     36 |      777 |      692
1233.37/1233.71	c 1233s |      19 |   655670 |   466082 |    27949     36 |      777 |      692
1235.37/1235.75	c 1235s |      19 |   656333 |   466682 |    27949     36 |      777 |      692
1237.67/1238.07	c 1237s |      19 |   657101 |   467382 |    27949     36 |      777 |      692
1239.77/1240.15	c 1239s |      19 |   657772 |   467982 |    27949     36 |      777 |      692
1241.97/1242.34	c 1242s |      19 |   658446 |   468582 |    27949     36 |      777 |      692
1244.27/1244.66	c 1244s |      19 |   659114 |   469182 |    27949     36 |      777 |      692
1246.46/1246.88	c 1246s |      19 |   659786 |   469782 |    27949     36 |      777 |      692
1248.66/1249.05	c 1248s |      19 |   660475 |   470382 |    27949     36 |      777 |      692
1250.66/1251.07	c 1250s |      19 |   661050 |   470882 |    27949     36 |      777 |      692
1252.67/1253.09	c 1252s |      19 |   661601 |   471382 |    27949     36 |      777 |      692
1254.66/1255.10	c 1254s |      19 |   662140 |   471882 |    27949     36 |      777 |      692
1256.76/1257.13	c 1256s |      19 |   662830 |   472482 |    27949     36 |      777 |      692
1258.96/1259.37	c 1259s |      19 |   663495 |   473082 |    27949     36 |      777 |      692
1261.26/1261.67	c 1261s |      19 |   664187 |   473682 |    27949     36 |      777 |      692
1263.56/1263.96	c 1263s |      19 |   664843 |   474282 |    27949     36 |      777 |      692
1265.86/1266.24	c 1265s |      19 |   665566 |   474882 |    27949     36 |      777 |      692
1267.96/1268.37	c 1268s |      19 |   666125 |   475382 |    27949     36 |      777 |      692
1269.95/1270.38	c 1270s |      19 |   666669 |   475882 |    27949     36 |      777 |      692
1272.05/1272.48	c 1272s |      19 |   667096 |   476282 |    27949     37 |      777 |      692
1274.25/1274.69	c 1274s |      19 |   667878 |   476982 |    27949     37 |      777 |      692
1276.35/1276.74	c 1276s |      19 |   668522 |   477582 |    27949     37 |      777 |      692
1278.45/1278.81	c 1278s |      19 |   669205 |   478182 |    27949     37 |      777 |      692
1280.75/1281.14	c 1280s |      19 |   670011 |   478882 |    27949     37 |      777 |      692
1282.84/1283.29	c 1283s |      19 |   670663 |   479482 |    27949     37 |      777 |      692
1285.04/1285.43	c 1285s |      19 |   671305 |   480082 |    27949     37 |      777 |      692
1287.14/1287.54	c 1287s |      19 |   671984 |   480682 |    27949     37 |      777 |      692
1289.34/1289.70	c 1289s |      19 |   672638 |   481282 |    27949     37 |      777 |      692
1291.64/1292.02	c 1291s |      19 |   673413 |   481982 |    27949     37 |      777 |      692
1293.73/1294.19	c 1293s |      19 |   674068 |   482582 |    27949     37 |      777 |      692
1296.13/1296.54	c 1296s |      19 |   674731 |   483182 |    27949     37 |      777 |      692
1298.33/1298.75	c 1298s |      19 |   675267 |   483682 |    27949     37 |      777 |      692
1300.63/1301.02	c 1300s |      19 |   675928 |   484282 |    27949     37 |      777 |      692
1302.63/1303.03	c 1302s |      19 |   676470 |   484782 |    27949     37 |      777 |      692
1304.63/1305.08	c 1304s |      19 |   677008 |   485282 |    27949     37 |      777 |      692
1307.03/1307.45	c 1307s |      19 |   677661 |   485882 |    27949     37 |      777 |      692
1309.13/1309.58	c 1309s |      19 |   678217 |   486382 |    27949     37 |      777 |      692
1311.52/1311.93	c 1311s |      19 |   678747 |   486882 |    27949     37 |      777 |      692
1313.82/1314.23	c 1313s |      19 |   679456 |   487482 |    27949     37 |      777 |      692
1315.92/1316.37	c 1316s |      19 |   680032 |   487982 |    27949     37 |      777 |      692
1318.02/1318.45	c 1318s |      19 |   680590 |   488482 |    27949     37 |      777 |      692
1320.12/1320.57	c 1320s |      19 |   681144 |   488982 |    27949     37 |      777 |      692
1322.22/1322.69	c 1322s |      19 |   681696 |   489482 |    27949     37 |      777 |      692
1324.41/1324.87	c 1324s |      19 |   682253 |   489982 |    27949     37 |      777 |      692
1326.71/1327.14	c 1326s |      19 |   682794 |   490482 |    27949     37 |      777 |      692
1328.91/1329.32	c 1329s |      19 |   683345 |   490982 |    27949     37 |      777 |      692
1331.01/1331.47	c 1331s |      19 |   683931 |   491482 |    27949     37 |      777 |      692
1333.60/1334.03	c 1333s |      19 |   684348 |   491882 |    27949     38 |      777 |      692
1335.90/1336.38	c 1336s |      19 |   685001 |   492482 |    27949     38 |      777 |      692
1338.00/1338.44	c 1338s |      19 |   685649 |   493082 |    27949     38 |      777 |      692
1340.00/1340.45	c 1340s |      19 |   686311 |   493682 |    27949     38 |      777 |      692
1342.10/1342.53	c 1342s |      19 |   686971 |   494282 |    27949     38 |      777 |      692
1344.30/1344.75	c 1344s |      19 |   687624 |   494882 |    27949     38 |      777 |      692
1346.40/1346.81	c 1346s |      19 |   688342 |   495482 |    27949     38 |      777 |      692
1348.50/1348.95	c 1348s |      19 |   689854 |   496582 |    27949     38 |      777 |      692
1350.60/1351.07	c 1350s |      19 |   691132 |   497582 |    27949     38 |      777 |      692
1352.60/1353.07	c 1352s |      19 |   692396 |   498582 |    27949     38 |      777 |      692
1354.90/1355.35	c 1355s |      19 |   693545 |   499482 |    27949     38 |      777 |      692
1357.00/1357.43	c 1357s |      19 |   694511 |   500282 |    27949     38 |      777 |      692
1359.09/1359.55	c 1359s |      19 |   695475 |   501082 |    27949     38 |      777 |      692
1361.19/1361.67	c 1361s |      19 |   696441 |   501882 |    27949     38 |      777 |      692
1363.28/1363.71	c 1363s |      19 |   697280 |   502582 |    27949     38 |      777 |      692
1365.38/1365.89	c 1365s |      19 |   698124 |   503282 |    27949     38 |      777 |      692
1367.78/1368.26	c 1367s |      19 |   698950 |   503982 |    27949     38 |      777 |      692
1369.98/1370.42	c 1370s |      19 |   699649 |   504582 |    27949     38 |      777 |      692
1372.28/1372.73	c 1372s |      19 |   700480 |   505282 |    27949     38 |      777 |      692
1374.59/1375.08	c 1374s |      19 |   701524 |   506182 |    27949     38 |      777 |      692
1376.79/1377.26	c 1376s |      19 |   702312 |   506882 |    27949     38 |      777 |      692
1378.99/1379.43	c 1379s |      19 |   702981 |   507482 |    27949     38 |      777 |      692
1381.19/1381.67	c 1381s |      19 |   703632 |   508082 |    27949     39 |      777 |      692
1383.28/1383.75	c 1383s |      19 |   704382 |   508782 |    27949     39 |      777 |      692
1385.38/1385.83	c 1385s |      19 |   705440 |   509682 |    27949     39 |      777 |      692
1387.58/1388.06	c 1387s |      19 |   706330 |   510482 |    27949     39 |      777 |      692
1389.68/1390.16	c 1389s |      19 |   707107 |   511182 |    27949     39 |      777 |      692
1391.88/1392.38	c 1392s |      19 |   707879 |   511882 |    27949     39 |      777 |      692
1393.98/1394.49	c 1394s |      19 |   708525 |   512482 |    27949     39 |      777 |      692
1396.18/1396.69	c 1396s |      19 |   709290 |   513182 |    27949     39 |      777 |      692
1398.38/1398.85	c 1398s |      19 |   710099 |   513882 |    27949     39 |      777 |      692
1400.48/1400.93	c 1400s |      19 |   710917 |   514582 |    27949     39 |      777 |      692
1402.58/1403.06	c 1402s |      19 |   711678 |   515282 |    27949     39 |      777 |      692
1404.58/1405.07	c 1404s |      19 |   712385 |   515882 |    27949     39 |      777 |      692
1406.78/1407.25	c 1406s |      19 |   713035 |   516482 |    27949     39 |      777 |      692
1408.78/1409.29	c 1409s |      19 |   713726 |   517082 |    27949     39 |      777 |      692
1410.88/1411.38	c 1411s |      19 |   714398 |   517682 |    27949     39 |      777 |      692
1413.18/1413.64	c 1413s |      19 |   715068 |   518282 |    27949     39 |      777 |      692
1415.57/1416.00	c 1415s |      19 |   715721 |   518882 |    27949     39 |      777 |      692
1417.87/1418.33	c 1418s |      19 |   716369 |   519482 |    27949     39 |      777 |      692
1420.17/1420.69	c 1420s |      19 |   717022 |   520082 |    27949     39 |      777 |      692
1422.57/1423.03	c 1422s |      19 |   717687 |   520682 |    27949     39 |      777 |      692
1424.58/1425.04	c 1424s |      19 |   718242 |   521182 |    27949     39 |      777 |      692
1426.78/1427.27	c 1426s |      19 |   718928 |   521782 |    27949     39 |      777 |      692
1428.98/1429.40	c 1429s |      19 |   719482 |   522282 |    27949     39 |      777 |      692
1430.98/1431.48	c 1431s |      19 |   720027 |   522782 |    27949     39 |      777 |      692
1433.58/1434.06	c 1433s |      19 |   720572 |   523282 |    27949     40 |      777 |      692
1435.78/1436.26	c 1435s |      19 |   721232 |   523882 |    27949     40 |      777 |      692
1438.08/1438.50	c 1438s |      19 |   721878 |   524482 |    27949     40 |      777 |      692
1440.18/1440.62	c 1440s |      19 |   722553 |   525082 |    27949     40 |      777 |      692
1442.18/1442.63	c 1442s |      19 |   723228 |   525682 |    27949     40 |      777 |      692
1444.48/1444.90	c 1444s |      19 |   723997 |   526382 |    27949     40 |      777 |      692
1446.48/1446.94	c 1446s |      19 |   724671 |   526982 |    27949     40 |      777 |      692
1448.68/1449.11	c 1448s |      19 |   725336 |   527582 |    27949     40 |      777 |      692
1450.88/1451.31	c 1451s |      19 |   725999 |   528182 |    27949     40 |      777 |      692
1452.88/1453.37	c 1453s |      19 |   726677 |   528782 |    27949     40 |      777 |      692
1455.18/1455.64	c 1455s |      19 |   727329 |   529382 |    27949     40 |      777 |      692
1457.38/1457.82	c 1457s |      19 |   727984 |   529982 |    27949     40 |      777 |      692
1459.48/1459.97	c 1459s |      19 |   728653 |   530582 |    27949     40 |      777 |      692
1461.67/1462.18	c 1461s |      19 |   729315 |   531182 |    27949     40 |      777 |      692
1463.78/1464.28	c 1464s |      19 |   729871 |   531682 |    27949     40 |      777 |      692
1465.88/1466.31	c 1466s |      19 |   730409 |   532182 |    27949     40 |      777 |      692
1467.97/1468.40	c 1468s |      19 |   730943 |   532682 |    27949     40 |      777 |      692
1470.28/1470.79	c 1470s |      19 |   731594 |   533282 |    27949     40 |      777 |      692
1472.37/1472.90	c 1472s |      19 |   732137 |   533782 |    27949     40 |      777 |      692
1474.47/1474.93	c 1474s |      19 |   732938 |   534482 |    27949     40 |      777 |      692
1476.57/1477.09	c 1476s |      19 |   733792 |   535182 |    27949     40 |      777 |      692
1478.77/1479.23	c 1478s |      19 |   734463 |   535782 |    27949     40 |      777 |      692
1480.97/1481.46	c 1481s |      19 |   735243 |   536482 |    27949     40 |      777 |      692
1483.07/1483.57	c 1483s |      19 |   735896 |   537082 |    27949     40 |      777 |      692
1485.47/1485.91	c 1485s |      19 |   736686 |   537782 |    27949     40 |      777 |      692
1487.47/1487.99	c 1487s |      19 |   737324 |   538382 |    27949     40 |      777 |      692
1489.57/1490.02	c 1489s |      19 |   737862 |   538882 |    27949     40 |      777 |      692
1491.67/1492.12	c 1491s |      19 |   738424 |   539382 |    27949     41 |      777 |      692
1493.77/1494.29	c 1494s |      19 |   739334 |   540182 |    27949     41 |      777 |      692
1495.87/1496.38	c 1496s |      19 |   740108 |   540882 |    27949     41 |      777 |      692
1497.87/1498.39	c 1498s |      19 |   740918 |   541582 |    27949     41 |      777 |      692
1499.97/1500.41	c 1500s |      19 |   741714 |   542282 |    27949     41 |      777 |      692
1501.97/1502.45	c 1502s |      19 |   742493 |   542982 |    27949     41 |      777 |      692
1504.07/1504.50	c 1504s |      19 |   743143 |   543582 |    27949     41 |      777 |      692
1506.07/1506.52	c 1506s |      19 |   743799 |   544182 |    27949     41 |      777 |      692
1508.36/1508.81	c 1508s |      19 |   744596 |   544882 |    27949     41 |      777 |      692
1510.36/1510.86	c 1510s |      19 |   745257 |   545482 |    27949     41 |      777 |      692
1512.56/1513.09	c 1512s |      19 |   746045 |   546182 |    27949     41 |      777 |      692
1514.66/1515.11	c 1514s |      19 |   746725 |   546782 |    27949     41 |      777 |      692
1516.66/1517.16	c 1516s |      19 |   747395 |   547382 |    27949     41 |      777 |      692
1518.86/1519.36	c 1519s |      19 |   748075 |   547982 |    27949     41 |      777 |      692
1520.97/1521.41	c 1521s |      19 |   748747 |   548582 |    27949     41 |      777 |      692
1522.96/1523.48	c 1523s |      19 |   749429 |   549182 |    27949     41 |      777 |      692
1525.06/1525.51	c 1525s |      19 |   750093 |   549782 |    27949     41 |      777 |      692
1527.26/1527.73	c 1527s |      19 |   750769 |   550382 |    27949     41 |      777 |      692
1529.46/1529.99	c 1529s |      19 |   751435 |   550982 |    27949     41 |      777 |      692
1531.76/1532.24	c 1531s |      19 |   752106 |   551582 |    27949     41 |      777 |      692
1534.07/1534.59	c 1534s |      19 |   752779 |   552182 |    27949     41 |      777 |      692
1536.37/1536.90	c 1536s |      19 |   753453 |   552782 |    27949     41 |      777 |      692
1538.47/1538.94	c 1538s |      19 |   754000 |   553282 |    27949     41 |      777 |      692
1540.56/1541.03	c 1540s |      19 |   754552 |   553782 |    27949     41 |      777 |      692
1542.87/1543.37	c 1543s |      19 |   755236 |   554382 |    27949     41 |      777 |      692
1544.96/1545.50	c 1545s |      19 |   755686 |   554782 |    27949     42 |      777 |      692
1547.06/1547.54	c 1547s |      19 |   756334 |   555382 |    27949     42 |      777 |      692
1549.46/1549.91	c 1549s |      19 |   757098 |   556082 |    27949     42 |      777 |      692
1551.76/1552.23	c 1551s |      19 |   757869 |   556782 |    27949     42 |      777 |      692
1554.06/1554.53	c 1554s |      19 |   758660 |   557482 |    27949     42 |      777 |      692
1556.26/1556.70	c 1556s |      19 |   759512 |   558182 |    27949     42 |      777 |      692
1558.46/1558.98	c 1558s |      19 |   760286 |   558882 |    27949     42 |      777 |      692
1560.86/1561.31	c 1561s |      19 |   761076 |   559582 |    27949     42 |      777 |      692
1563.16/1563.66	c 1563s |      19 |   761878 |   560282 |    27949     42 |      777 |      692
1565.26/1565.79	c 1565s |      19 |   762417 |   560782 |    27949     42 |      777 |      692
1567.35/1567.87	c 1567s |      19 |   762973 |   561282 |    27949     42 |      777 |      692
1569.55/1570.08	c 1569s |      19 |   763667 |   561882 |    27949     42 |      777 |      692
1571.75/1572.23	c 1571s |      19 |   764354 |   562482 |    27949     42 |      777 |      692
1573.76/1574.24	c 1573s |      19 |   765067 |   563082 |    27949     42 |      777 |      692
1575.75/1576.29	c 1576s |      19 |   765750 |   563682 |    27949     42 |      777 |      692
1577.95/1578.46	c 1578s |      19 |   766615 |   564382 |    27949     42 |      777 |      692
1580.05/1580.53	c 1580s |      19 |   767297 |   564982 |    27949     42 |      777 |      692
1582.15/1582.63	c 1582s |      19 |   767843 |   565482 |    27949     42 |      777 |      692
1584.35/1584.81	c 1584s |      19 |   768519 |   566082 |    27949     42 |      777 |      692
1586.55/1587.04	c 1586s |      19 |   769196 |   566682 |    27949     42 |      777 |      692
1588.85/1589.30	c 1589s |      19 |   769876 |   567282 |    27949     42 |      777 |      692
1591.05/1591.59	c 1591s |      19 |   770562 |   567882 |    27949     42 |      777 |      692
1593.25/1593.70	c 1593s |      19 |   771109 |   568382 |    27949     42 |      777 |      692
1595.35/1595.83	c 1595s |      19 |   771687 |   568882 |    27949     42 |      777 |      692
1597.65/1598.15	c 1597s |      19 |   772220 |   569382 |    27949     42 |      777 |      692
1600.16/1600.64	c 1600s |      19 |   772743 |   569882 |    27949     42 |      777 |      692
1602.26/1602.76	c 1602s |      19 |   773157 |   570282 |    27949     42 |      777 |      692
1604.55/1605.07	c 1604s |      19 |   773587 |   570682 |    27949     43 |      777 |      692
1606.65/1607.20	c 1606s |      19 |   774358 |   571382 |    27949     43 |      777 |      692
1608.75/1609.29	c 1609s |      19 |   775144 |   572082 |    27949     43 |      777 |      692
1611.06/1611.52	c 1611s |      19 |   775920 |   572782 |    27949     43 |      777 |      692
1613.26/1613.71	c 1613s |      19 |   776576 |   573382 |    27949     43 |      777 |      692
1615.25/1615.75	c 1615s |      19 |   777236 |   573982 |    27949     43 |      777 |      692
1617.45/1617.96	c 1617s |      19 |   778012 |   574682 |    27949     43 |      777 |      692
1619.75/1620.29	c 1620s |      19 |   778672 |   575282 |    27949     43 |      777 |      692
1621.95/1622.43	c 1622s |      19 |   779325 |   575882 |    27949     43 |      777 |      692
1624.05/1624.51	c 1624s |      19 |   779847 |   576382 |    27949     43 |      777 |      692
1626.05/1626.54	c 1626s |      19 |   780376 |   576882 |    27949     43 |      777 |      692
1628.15/1628.64	c 1628s |      19 |   781077 |   577482 |    27949     43 |      777 |      692
1630.45/1630.92	c 1630s |      19 |   781859 |   578182 |    27949     43 |      777 |      692
1632.45/1632.99	c 1632s |      19 |   782556 |   578782 |    27949     43 |      777 |      692
1634.75/1635.26	c 1634s |      19 |   783235 |   579382 |    27949     43 |      777 |      692
1636.95/1637.46	c 1637s |      19 |   783920 |   579982 |    27949     43 |      777 |      692
1639.05/1639.56	c 1639s |      19 |   784594 |   580582 |    27949     43 |      777 |      692
1641.35/1641.81	c 1641s |      19 |   785268 |   581182 |    27949     43 |      777 |      692
1643.35/1643.81	c 1643s |      19 |   785831 |   581682 |    27949     43 |      777 |      692
1645.74/1646.24	c 1645s |      19 |   786511 |   582282 |    27949     43 |      777 |      692
1648.14/1648.63	c 1648s |      19 |   787165 |   582882 |    27949     43 |      777 |      692
1650.44/1650.91	c 1650s |      19 |   787712 |   583382 |    27949     43 |      777 |      692
1652.74/1653.24	c 1652s |      19 |   788402 |   583982 |    27949     43 |      777 |      692
1654.94/1655.50	c 1655s |      19 |   789055 |   584582 |    27949     43 |      777 |      692
1657.04/1657.56	c 1657s |      19 |   789610 |   585082 |    27949     43 |      777 |      692
1659.24/1659.71	c 1659s |      19 |   790153 |   585582 |    27949     43 |      777 |      692
1661.75/1662.23	c 1661s |      19 |   790714 |   586082 |    27949     44 |      777 |      692
1663.85/1664.31	c 1664s |      19 |   791383 |   586682 |    27949     44 |      777 |      692
1665.94/1666.45	c 1666s |      19 |   792167 |   587382 |    27949     44 |      777 |      692
1668.25/1668.75	c 1668s |      19 |   793100 |   588182 |    27949     44 |      777 |      692
1670.55/1671.07	c 1670s |      19 |   793879 |   588882 |    27949     44 |      777 |      692
1672.65/1673.17	c 1672s |      19 |   794552 |   589482 |    27949     44 |      777 |      692
1674.74/1675.20	c 1674s |      19 |   795225 |   590082 |    27949     44 |      777 |      692
1676.74/1677.24	c 1676s |      19 |   795902 |   590682 |    27949     44 |      777 |      692
1678.94/1679.43	c 1679s |      19 |   796677 |   591382 |    27949     44 |      777 |      692
1681.04/1681.51	c 1681s |      19 |   797681 |   592182 |    27949     44 |      777 |      692
1683.24/1683.75	c 1683s |      19 |   798601 |   592982 |    27949     44 |      777 |      692
1685.54/1686.05	c 1685s |      19 |   799505 |   593782 |    27949     44 |      777 |      692
1687.84/1688.33	c 1688s |      19 |   800286 |   594482 |    27949     44 |      777 |      692
1689.94/1690.45	c 1690s |      19 |   801076 |   595182 |    27949     44 |      777 |      692
1691.94/1692.48	c 1692s |      19 |   801748 |   595782 |    27949     44 |      777 |      692
1694.24/1694.75	c 1694s |      19 |   802440 |   596382 |    27949     44 |      777 |      692
1696.54/1697.06	c 1696s |      19 |   803109 |   596982 |    27949     44 |      777 |      692
1698.83/1699.36	c 1699s |      19 |   803799 |   597582 |    27949     44 |      777 |      692
1700.93/1701.43	c 1701s |      19 |   804381 |   598082 |    27949     44 |      777 |      692
1703.33/1703.83	c 1703s |      19 |   805043 |   598682 |    27949     44 |      777 |      692
1705.43/1705.90	c 1705s |      19 |   805610 |   599182 |    27949     44 |      777 |      692
1707.53/1708.00	c 1707s |      19 |   806181 |   599682 |    27949     44 |      777 |      692
1709.63/1710.11	c 1709s |      19 |   806747 |   600182 |    27949     44 |      777 |      692
1712.03/1712.51	c 1712s |      19 |   807399 |   600782 |    27949     44 |      777 |      692
1714.03/1714.54	c 1714s |      19 |   807955 |   601282 |    27949     44 |      777 |      692
1716.03/1716.56	c 1716s |      19 |   808505 |   601782 |    27949     44 |      777 |      692
1718.23/1718.79	c 1718s |      19 |   809070 |   602282 |    27949     45 |      777 |      692
1720.53/1721.03	c 1720s |      19 |   809827 |   602982 |    27949     45 |      777 |      692
1722.63/1723.18	c 1722s |      19 |   810472 |   603582 |    27949     45 |      777 |      692
1724.73/1725.20	c 1724s |      19 |   811171 |   604182 |    27949     45 |      777 |      692
1726.83/1727.33	c 1727s |      19 |   811819 |   604782 |    27949     45 |      777 |      692
1729.03/1729.58	c 1729s |      19 |   812595 |   605482 |    27949     45 |      777 |      692
1731.23/1731.72	c 1731s |      19 |   813380 |   606182 |    27949     45 |      777 |      692
1733.53/1734.00	c 1733s |      19 |   814141 |   606882 |    27949     45 |      777 |      692
1735.73/1736.29	c 1736s |      19 |   814907 |   607582 |    27949     45 |      777 |      692
1738.03/1738.58	c 1738s |      19 |   815562 |   608182 |    27949     45 |      777 |      692
1740.43/1740.92	c 1740s |      19 |   816353 |   608882 |    27949     45 |      777 |      692
1742.63/1743.13	c 1742s |      19 |   817015 |   609482 |    27949     45 |      777 |      692
1744.73/1745.26	c 1744s |      19 |   817699 |   610082 |    27949     45 |      777 |      692
1747.03/1747.51	c 1747s |      19 |   818481 |   610782 |    27949     45 |      777 |      692
1749.23/1749.75	c 1749s |      19 |   819150 |   611382 |    27949     45 |      777 |      692
1751.42/1751.92	c 1751s |      19 |   819691 |   611882 |    27949     45 |      777 |      692
1753.52/1754.04	c 1753s |      19 |   820544 |   612582 |    27949     45 |      777 |      692
1755.52/1756.08	c 1755s |      19 |   821273 |   613182 |    27949     45 |      777 |      692
1757.62/1758.19	c 1757s |      19 |   821944 |   613782 |    27949     45 |      777 |      692
1760.02/1760.52	c 1760s |      19 |   822746 |   614482 |    27949     45 |      777 |      692
1762.22/1762.76	c 1762s |      19 |   823436 |   615082 |    27949     45 |      777 |      692
1764.22/1764.76	c 1764s |      19 |   824014 |   615582 |    27949     45 |      777 |      692
1766.62/1767.10	c 1766s |      19 |   824667 |   616182 |    27949     45 |      777 |      692
1768.72/1769.24	c 1768s |      19 |   825402 |   616782 |    27949     45 |      777 |      692
1770.72/1771.24	c 1770s |      19 |   825989 |   617282 |    27949     45 |      777 |      692
1772.83/1773.37	c 1773s |      19 |   826437 |   617682 |    27949     46 |      777 |      692
1775.03/1775.57	c 1775s |      19 |   827224 |   618382 |    27949     46 |      777 |      692
1777.23/1777.75	c 1777s |      19 |   828031 |   619082 |    27949     46 |      777 |      692
1779.43/1779.96	c 1779s |      19 |   828826 |   619782 |    27949     46 |      777 |      692
1781.53/1782.04	c 1781s |      19 |   829624 |   620482 |    27949     46 |      777 |      692
1783.83/1784.31	c 1784s |      19 |   830524 |   621282 |    27949     46 |      777 |      692
1786.03/1786.55	c 1786s |      19 |   831295 |   621982 |    27949     46 |      777 |      692
1788.13/1788.62	c 1788s |      19 |   831941 |   622582 |    27949     46 |      777 |      692
1790.33/1790.83	c 1790s |      19 |   832593 |   623182 |    27949     46 |      777 |      692
1792.53/1793.02	c 1792s |      19 |   833247 |   623782 |    27949     46 |      777 |      692
1794.52/1795.09	c 1794s |      19 |   833792 |   624282 |    27949     46 |      777 |      692
1796.62/1797.11	c 1796s |      19 |   834325 |   624782 |    27949     46 |      777 |      692
1798.72/1799.27	c 1798s |      19 |   834966 |   625382 |    27949     46 |      777 |      692

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

pid=24802
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.38 2.32 2.23 3/179 24805
/proc/meminfo: memFree=29680728/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=745916 CPUtime=0 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 2786 0 0 0 0 0 0 0 20 0 4 0 30968513 763817984 3146 33554432000 4194304 16246674 140737161966864 140737161966288 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 186991 3155 441 2943 0 183885 0
[pid=24805/tid=24806] ppid=24802 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 781643776 3217 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=767420 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 785838080 3233 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=770492 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 788983808 3246 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100184 s]
/proc/loadavg: 2.38 2.32 2.23 3/179 24805
/proc/meminfo: memFree=29680728/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1220164 CPUtime=0.08 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 28471 0 0 0 5 3 0 0 20 0 4 0 30968513 1249447936 28769 33554432000 4194304 16246674 140737161966864 140737161966176 4220907 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 305041 28769 801 2943 0 301935 0
[pid=24805/tid=24806] ppid=24802 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1249447936 28769 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1249447936 28769 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1249447936 28769 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200547 s]
/proc/loadavg: 2.38 2.32 2.23 3/179 24805
/proc/meminfo: memFree=29680728/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1301060 CPUtime=0.18 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 48676 0 0 0 12 6 0 0 20 0 4 0 30968513 1332285440 48974 33554432000 4194304 16246674 140737161966864 140737161966176 6938436 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 325265 48974 842 2943 0 322159 0
[pid=24805/tid=24806] ppid=24802 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1332285440 48974 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1332285440 48974 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1332285440 48974 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1301060

[startup+0.300492 s]
/proc/loadavg: 2.38 2.32 2.23 3/179 24805
/proc/meminfo: memFree=29680728/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 54592 0 0 0 22 7 0 0 20 0 4 0 30968513 1332285440 54890 33554432000 4194304 16246674 140737161966864 140737161966176 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 325265 54896 882 2943 0 322159 0
[pid=24805/tid=24806] ppid=24802 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1332285440 54900 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1332285440 54903 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1332285440 54907 33554432000 4194304 16246674 140737161966864 140452812549296 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.700411 s]
/proc/loadavg: 2.38 2.32 2.23 3/179 24805
/proc/meminfo: memFree=29680728/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 110598 0 0 0 55 14 0 0 20 0 4 0 30968513 1332285440 110897 33554432000 4194304 16246674 140737161966864 140737161948736 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 325265 110901 882 2943 0 322159 0
[pid=24805/tid=24806] ppid=24802 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1332285440 110905 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1332285440 110908 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1332285440 110911 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50041 s]
/proc/loadavg: 2.38 2.32 2.23 3/183 24809
/proc/meminfo: memFree=28479916/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 213377 0 0 0 121 28 0 0 20 0 4 0 30968513 1332285440 213676 33554432000 4194304 16246674 140737161966864 140737161948736 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 325265 213680 882 2943 0 322159 0
[pid=24805/tid=24806] ppid=24802 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1332285440 213683 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1332285440 213686 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1332285440 213689 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10042 s]
/proc/loadavg: 2.35 2.31 2.23 3/183 24809
/proc/meminfo: memFree=27719672/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 269526 0 0 0 272 37 0 0 20 0 4 0 30968513 1344868352 269824 33554432000 4194304 16246674 140737161966864 140737161948736 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 328337 269824 889 2943 0 325231 0
[pid=24805/tid=24806] ppid=24802 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1344868352 269824 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1344868352 269824 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1344868352 269824 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30042 s]
/proc/loadavg: 2.35 2.31 2.23 4/183 24809
/proc/meminfo: memFree=27704964/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 269526 0 0 0 592 37 0 0 20 0 4 0 30968513 1344868352 269824 33554432000 4194304 16246674 140737161966864 140737161948736 5553621 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 328337 269824 889 2943 0 325231 0
[pid=24805/tid=24806] ppid=24802 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1344868352 269824 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1344868352 269824 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1344868352 269824 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.30 2.30 2.23 3/183 24809
/proc/meminfo: memFree=27705008/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 269526 0 0 0 1232 37 0 0 20 0 4 0 30968513 1344868352 269824 33554432000 4194304 16246674 140737161966864 140737161948736 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 328337 269824 889 2943 0 325231 0
[pid=24805/tid=24806] ppid=24802 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1344868352 269824 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1344868352 269824 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1344868352 269824 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.25 2.29 2.23 3/183 24809
/proc/meminfo: memFree=27705492/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 269529 0 0 0 2511 37 0 0 20 0 4 0 30968513 1344868352 269827 33554432000 4194304 16246674 140737161966864 140737161948736 5823807 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 328337 269827 892 2943 0 325231 0
[pid=24805/tid=24806] ppid=24802 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1344868352 269827 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1344868352 269827 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1344868352 269827 33554432000 4194304 16246674 140737161966864 140452812549296 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.1005 s]
/proc/loadavg: 2.23 2.28 2.22 3/183 24809
/proc/meminfo: memFree=27705956/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 269529 0 0 0 5071 37 0 0 20 0 4 0 30968513 1344868352 269827 33554432000 4194304 16246674 140737161966864 140737161948736 13965544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 328337 269827 892 2943 0 325231 0
[pid=24805/tid=24806] ppid=24802 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1344868352 269827 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1344868352 269827 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1344868352 269827 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.22 2.26 2.22 3/183 24810
/proc/meminfo: memFree=27700564/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1316420 CPUtime=102.28 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 270080 0 0 0 10190 38 0 0 20 0 4 0 30968513 1348014080 270378 33554432000 4194304 16246674 140737161966864 140737161948736 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 329105 270378 892 2943 0 325999 0
[pid=24805/tid=24806] ppid=24802 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1348014080 270378 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1348014080 270378 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1348014080 270378 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1316420


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

/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1333828

[startup+1362.3 s]
/proc/loadavg: 2.25 2.24 2.18 3/183 24842
/proc/meminfo: memFree=27647796/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1333828 CPUtime=1361.89 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 274993 0 0 0 136143 46 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140737161948736 5522909 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 333457 275205 893 2943 0 330351 0
[pid=24805/tid=24806] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1333828

[startup+1422.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 24843
/proc/meminfo: memFree=27647724/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1333828 CPUtime=1421.88 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 275003 0 0 0 142142 46 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140737161948736 5602562 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 333457 275205 893 2943 0 330351 0
[pid=24805/tid=24806] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1333828

[startup+1482.3 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 24844
/proc/meminfo: memFree=27647844/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1333828 CPUtime=1481.87 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 275003 0 0 0 148140 47 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140737161948736 5675643 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 333457 275205 893 2943 0 330351 0
[pid=24805/tid=24806] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1333828

[startup+1542.31 s]
/proc/loadavg: 2.29 2.24 2.19 3/184 24849
/proc/meminfo: memFree=27648040/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1333828 CPUtime=1541.87 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 275003 0 0 0 154140 47 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140737161948736 12875520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 333457 275205 893 2943 0 330351 0
[pid=24805/tid=24806] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452812549296 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) 1333828

[startup+1602.3 s]
/proc/loadavg: 2.26 2.24 2.19 3/183 24850
/proc/meminfo: memFree=27648304/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1333828 CPUtime=1601.85 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 275003 0 0 0 160138 47 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140737161948736 5523124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 333457 275205 893 2943 0 330351 0
[pid=24805/tid=24806] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1333828

[startup+1662.3 s]
/proc/loadavg: 2.41 2.27 2.20 3/183 24851
/proc/meminfo: memFree=27648296/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1333828 CPUtime=1661.84 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 275003 0 0 0 166136 48 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140737161948736 13198578 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 333457 275205 893 2943 0 330351 0
[pid=24805/tid=24806] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1333828

[startup+1722.3 s]
/proc/loadavg: 2.24 2.25 2.19 4/183 24852
/proc/meminfo: memFree=27648304/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1333828 CPUtime=1721.83 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 275003 0 0 0 172135 48 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140737161948736 13759627 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 333457 275205 893 2943 0 330351 0
[pid=24805/tid=24806] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1333828

[startup+1782.3 s]
/proc/loadavg: 2.28 2.26 2.19 3/183 24853
/proc/meminfo: memFree=27647808/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1333828 CPUtime=1781.82 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 275003 0 0 0 178134 48 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140737161948736 12477999 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 333457 275205 893 2943 0 330351 0
[pid=24805/tid=24806] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1333828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.27 2.26 2.19 3/183 24853
/proc/meminfo: memFree=27647812/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1333828 CPUtime=1800.02 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 275003 0 0 0 179954 48 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140737161948736 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 333457 275205 893 2943 0 330351 0
[pid=24805/tid=24806] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1333828

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

[startup+1800.5 s]
/proc/loadavg: 2.27 2.26 2.19 3/183 24853
/proc/meminfo: memFree=27647812/32872528 swapFree=1581260/1720252
[pid=24805] ppid=24802 vsize=1333828 CPUtime=1800.02 cores=1,3,5,7
/proc/24805/stat : 24805 (toysat) R 24802 24805 24580 0 -1 4202496 275003 0 0 0 179954 48 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140737161948736 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24805/statm: 333457 275205 893 2943 0 330351 0
[pid=24805/tid=24806] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24806/stat : 24806 (toysat) S 24802 24805 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452901661936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24805/tid=24807] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24807/stat : 24807 (toysat) S 24802 24805 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452891172080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24805/tid=24808] ppid=24802 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/24805/task/24808/stat : 24808 (toysat) S 24802 24805 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968513 1365839872 275205 33554432000 4194304 16246674 140737161966864 140452812549296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1333828

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.55
CPU system time (s): 0.487925
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1333828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.487925
maximum resident set size= 1100820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275003
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= 367
involuntary context switches= 1845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42933 second user time and 7.09192 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-27 00:14:51
IDJOB=4116477
IDBENCH=109475
IDSOLVER=2542
FILE ID=node117/4116477-1466979291
RUNJOBID= node117-1466977489-24597
PBS_JOBID= 19976392
Free space on /tmp= 71608 MiB

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

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

MD5SUM BENCH= bc7e0afd9962eb31c6ef169bd78d3421
RANDOM SEED=571939644

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29696136 kB
Buffers:           90604 kB
Cached:           446420 kB
SwapCached:         2208 kB
Active:           290276 kB
Inactive:         417656 kB
Active(anon):     168608 kB
Inactive(anon):     4136 kB
Active(file):     121668 kB
Inactive(file):   413520 kB
Unevictable:     1720252 kB
Mlocked:         1581260 kB
SwapTotal:      67108856 kB
SwapFree:       67099644 kB
Dirty:             33448 kB
Writeback:             0 kB
AnonPages:       1885760 kB
Mapped:            11960 kB
Shmem:                 0 kB
Slab:             612444 kB
SReclaimable:      56452 kB
SUnreclaim:       555992 kB
KernelStack:        1440 kB
PageTables:         8984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2931624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 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= 71592 MiB
End job on node117 at 2016-06-27 00:44:52