Trace number 4117061

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T21:48:27+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-4117061-1466970507.opb"]
0.00/0.01	c use --random-gen="1040702798 3763079692 2528832486 2419679499 2774412353 343695653 4234430249 714098249 1682624861 1058047155 4163467736 4178899656 2931675063 248212386 1413679054 449271116 280257851 577176775 3069727959 3043359618 2898852284 2222530670 2176151674 731903184 3182206393 1487270756 3678688771 3041254841 407634488 594002720 4034541027 2189036203 568009081 901030459 2391693088 2392762920 2868184393 3518077948 1837671549 2413476896 1751271550 1617115296 3762289806 2823493514 881576464 1424577606 4257575255 1954591292 2816395977 586291713 1718263353 4265045165 3413699821 2797655415 4010967014 1255856425 3775624918 1245320782 4026133235 308203687 173049655 3410193431 2313838556 4088580170 1862954571 104511116 1983737482 2050891758 3231463556 1815383877 2585084416 2186937546 2054491324 4247274577 1448858603 7430424 3708331746 99277469 4053594643 2267448458 964898562 159371236 4196624300 2747284433 501783153 2620265976 3787613113 4153972098 3934510989 2560119629 463636537 162447641 3365320196 4220360501 80838759 3613836128 3370748513 381559108 4170731537 3813364592 1082076581 2036018776 425012073 986298804 1643335530 3841206093 2771538483 1516894359 1570334480 3360266480 4093100630 3517548923 427333353 332377375 4030237355 2286849786 2484521317 724450225 1470778395 4162734402 2633400602 2781674329 1202457582 2868552856 4208797827 3633149595 3256689476 1784977403 3660415817 2214317439 217662373 1906693666 893155976 1817859163 2205700175 234271230 4104284670 3884163465 3855243857 3331089458 3146273543 1079809579 2278468630 3922641045 766996250 2538804513 167653893 1688170873 4245378720 1630971752 1945157226 1447799644 2292087583 3723141223 3975096926 3107320709 83866135 1852472967 3586428371 3558919708 527855700 1037764306 2593470364 330630438 1578830319 944871100 698381056 3438918311 1136188878 230289928 1092548323 1321599104 770447405 379551939 3232594554 1770375700 2385323413 727714792 3568689157 1232598909 3284625552 1724160549 1653095409 3223203339 2882546214 3365416080 2408833628 1356308926 1190915892 2152614963 270751519 3398171536 1620091599 531975569 2053916965 3484681630 1191748547 840773180 1612180569 1091461655 1541731133 2920105946 3134776054 2044519463 2589804509 406002271 3490329199 2925718062 1034151133 4066873941 2549608550 1222888529 1613168831 1764613960 3936195214 281903868 2397907445 225433651 904556737 1152905799 2489962708 1973156685 2464411187 2498403766 151995304 3662410311 1577885025 1674649179 3905906004 547148499 584521653 2063957634 3661494691 807697251 1143159940 3205159319 4109924165 4044044773 3748764281 677943608 3628115535 902641912 1914796363 1189113799 3109415868 2114118851 1901122109 2593329620 273286873 1288380008 3421555693 3336342757 265949584 1677747431 4195273565 3661668132 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8736
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      905 |        0
0.29/0.33	c  0.1s |       1 |     1376 |      100 |     4234      0 |      906 |      880
0.39/0.45	c  0.2s |       2 |     2965 |      250 |     4658      0 |      907 |      880
0.69/0.71	c  0.5s |       3 |     3972 |      475 |     5124      0 |      907 |      880
1.09/1.11	c  0.9s |       4 |     4688 |      813 |     5637      0 |      907 |      880
1.49/1.51	c  1.3s |       5 |     7041 |     1320 |     6201      0 |      907 |      880
2.29/2.39	c  2.1s |       6 |     9421 |     2081 |     7505      0 |      907 |      880
2.99/3.00	c  2.7s |       7 |    16016 |     3223 |     8256      0 |      907 |      880
4.69/4.71	c  4.5s |       8 |    21092 |     4936 |     9082      0 |      907 |      880
6.79/6.81	c  6.6s |       8 |    29897 |     7336 |     9082      0 |      907 |      880
6.89/6.97	c  6.7s |       9 |    30150 |     7506 |     9991      0 |      907 |      880
8.89/8.99	c  8.7s |       9 |    40138 |    10306 |     9991      0 |      907 |      880
10.19/10.20	c  9.9s |      10 |    41403 |    11361 |    10991      0 |      907 |      880
12.19/12.29	c 12.0s |      10 |    48847 |    13361 |    10991      1 |      907 |      880
14.28/14.37	c 14.1s |      10 |    55973 |    15961 |    10991      1 |      907 |      880
16.28/16.31	c 16.1s |      11 |    57777 |    17144 |    12091      1 |      907 |      880
18.28/18.36	c 18.1s |      11 |    62168 |    18744 |    12091      1 |      907 |      880
20.38/20.43	c 20.2s |      11 |    72091 |    21044 |    12091      1 |      907 |      880
22.48/22.57	c 22.3s |      11 |    73947 |    22244 |    12091      2 |      907 |      880
24.58/24.61	c 24.4s |      11 |    75464 |    23444 |    12091      2 |      907 |      880
26.60/26.62	c 26.4s |      11 |    76963 |    24644 |    12091      2 |      907 |      880
28.59/28.65	c 28.4s |      11 |    78070 |    25644 |    12091      2 |      907 |      880
28.99/29.02	c 28.8s |      12 |    78256 |    25819 |    13301      2 |      907 |      880
30.99/31.07	c 30.8s |      12 |    84869 |    27919 |    13301      2 |      907 |      880
33.09/33.19	c 32.9s |      12 |    88331 |    29719 |    13301      2 |      907 |      880
35.08/35.20	c 34.9s |      12 |    90020 |    30919 |    13301      3 |      907 |      880
37.18/37.23	c 37.0s |      12 |    91613 |    32119 |    13301      3 |      907 |      880
39.28/39.32	c 39.1s |      12 |    92796 |    33119 |    13301      3 |      907 |      880
41.28/41.33	c 41.1s |      12 |    93777 |    34019 |    13301      3 |      907 |      880
43.48/43.55	c 43.3s |      12 |    94874 |    34919 |    13301      3 |      907 |      880
45.68/45.72	c 45.5s |      12 |    95767 |    35719 |    13301      3 |      907 |      880
47.68/47.75	c 47.5s |      12 |    96563 |    36419 |    13301      3 |      907 |      880
49.88/49.93	c 49.7s |      12 |    97337 |    37119 |    13301      3 |      907 |      880
51.98/52.01	c 51.8s |      12 |    98113 |    37819 |    13301      3 |      907 |      880
54.08/54.14	c 53.9s |      12 |    99271 |    38719 |    14632      3 |      907 |      880
54.38/54.47	c 54.2s |      13 |    99403 |    38832 |    14632      3 |      907 |      880
56.48/56.54	c 56.3s |      13 |   103566 |    40432 |    14632      4 |      907 |      880
58.58/58.66	c 58.4s |      13 |   105135 |    41732 |    14632      4 |      907 |      880
60.68/60.76	c 60.5s |      13 |   106342 |    42832 |    14632      4 |      907 |      880
62.78/62.86	c 62.6s |      13 |   107433 |    43832 |    14632      4 |      907 |      880
64.98/65.01	c 64.8s |      13 |   108537 |    44832 |    14632      4 |      907 |      880
67.07/67.13	c 66.9s |      13 |   109538 |    45732 |    14632      4 |      907 |      880
69.17/69.21	c 69.0s |      13 |   110503 |    46632 |    14632      4 |      907 |      880
71.27/71.35	c 71.1s |      13 |   111338 |    47432 |    14632      4 |      907 |      880
73.47/73.52	c 73.3s |      13 |   112206 |    48232 |    14632      4 |      907 |      880
75.48/75.57	c 75.3s |      13 |   113216 |    48932 |    14632      5 |      907 |      880
77.58/77.68	c 77.4s |      13 |   114822 |    50032 |    14632      5 |      907 |      880
79.68/79.77	c 79.5s |      13 |   117838 |    51332 |    14632      5 |      907 |      880
81.68/81.78	c 81.5s |      13 |   119386 |    52632 |    14632      5 |      907 |      880
83.79/83.84	c 83.6s |      13 |   121276 |    53832 |    14632      5 |      907 |      880
85.89/85.95	c 85.7s |      13 |   123393 |    55132 |    14632      5 |      907 |      880
87.98/88.01	c 87.8s |      13 |   125066 |    56332 |    14632      5 |      907 |      880
90.08/90.10	c 89.8s |      13 |   126166 |    57232 |    14632      5 |      907 |      880
92.18/92.24	c 92.0s |      13 |   127039 |    58032 |    16096      6 |      907 |      880
92.78/92.81	c 92.6s |      14 |   127452 |    58352 |    16096      6 |      907 |      880
94.78/94.85	c 94.6s |      14 |   133181 |    60452 |    16096      6 |      907 |      880
96.77/96.89	c 96.6s |      14 |   134964 |    61852 |    16096      6 |      907 |      880
98.97/99.04	c 98.8s |      14 |   136584 |    63152 |    16096      6 |      907 |      880
101.07/101.14	c  100s |      14 |   137897 |    64252 |    16096      6 |      907 |      880
103.17/103.27	c  103s |      14 |   139406 |    65452 |    16096      6 |      907 |      880
105.27/105.38	c  105s |      14 |   140850 |    66552 |    16096      6 |      907 |      880
107.47/107.52	c  107s |      14 |   141833 |    67352 |    16096      6 |      907 |      880
109.47/109.59	c  109s |      14 |   142942 |    68252 |    16096      7 |      907 |      880
111.67/111.73	c  111s |      14 |   144148 |    69252 |    16096      7 |      907 |      880
113.77/113.86	c  113s |      14 |   145187 |    70152 |    16096      7 |      907 |      880
115.87/115.90	c  115s |      14 |   146102 |    70952 |    16096      7 |      907 |      880
117.88/117.96	c  117s |      14 |   147019 |    71752 |    16096      7 |      907 |      880
120.08/120.16	c  119s |      14 |   147919 |    72552 |    16096      7 |      907 |      880
122.28/122.32	c  122s |      14 |   148870 |    73352 |    16096      7 |      907 |      880
124.27/124.40	c  124s |      14 |   149664 |    74052 |    16096      7 |      907 |      880
126.47/126.58	c  126s |      14 |   150602 |    74852 |    16096      7 |      907 |      880
128.78/128.87	c  128s |      14 |   151534 |    75652 |    16096      7 |      907 |      880
130.97/131.03	c  130s |      14 |   152345 |    76352 |    16096      7 |      907 |      880
132.97/133.06	c  132s |      14 |   153180 |    77052 |    16096      7 |      907 |      880
135.37/135.43	c  135s |      14 |   154005 |    77752 |    16096      8 |      907 |      880
137.47/137.51	c  137s |      14 |   154951 |    78552 |    16096      8 |      907 |      880
139.47/139.53	c  139s |      14 |   155916 |    79352 |    16096      8 |      907 |      880
141.57/141.64	c  141s |      14 |   157068 |    80252 |    16096      8 |      907 |      880
143.77/143.85	c  143s |      14 |   158230 |    81152 |    16096      8 |      907 |      880
145.96/146.08	c  145s |      14 |   159160 |    81952 |    16096      8 |      907 |      880
148.16/148.29	c  148s |      14 |   160117 |    82752 |    16096      8 |      907 |      880
150.36/150.42	c  150s |      14 |   160998 |    83452 |    16096      8 |      907 |      880
152.56/152.69	c  152s |      14 |   161814 |    84152 |    16096      8 |      907 |      880
154.66/154.71	c  154s |      14 |   162934 |    84952 |    16096      8 |      907 |      880
156.76/156.80	c  156s |      14 |   163991 |    85752 |    16096      8 |      907 |      880
158.96/159.03	c  158s |      14 |   164822 |    86452 |    16096      8 |      907 |      880
161.16/161.23	c  160s |      14 |   165737 |    87152 |    17706      8 |      907 |      880
162.87/162.96	c  162s |      15 |   166299 |    87632 |    17706      8 |      907 |      880
164.96/165.07	c  164s |      15 |   169361 |    88632 |    17706      9 |      907 |      880
167.06/167.16	c  166s |      15 |   171057 |    89932 |    17706      9 |      907 |      880
169.17/169.27	c  169s |      15 |   172496 |    91232 |    17706      9 |      907 |      880
171.37/171.43	c  171s |      15 |   173899 |    92432 |    17706      9 |      907 |      880
173.47/173.52	c  173s |      15 |   175781 |    93732 |    17706      9 |      907 |      880
175.47/175.55	c  175s |      15 |   177752 |    95132 |    17706      9 |      907 |      880
177.57/177.63	c  177s |      15 |   179433 |    96432 |    17706      9 |      907 |      880
179.66/179.70	c  179s |      15 |   180656 |    97532 |    17706      9 |      907 |      880
181.76/181.81	c  181s |      15 |   182019 |    98632 |    17706      9 |      907 |      880
183.77/183.86	c  183s |      15 |   183278 |    99732 |    17706     10 |      907 |      880
185.86/185.94	c  185s |      15 |   184513 |   100832 |    17706     10 |      907 |      880
187.96/188.01	c  187s |      15 |   185610 |   101832 |    17706     10 |      907 |      880
189.96/190.02	c  189s |      15 |   186560 |   102732 |    17706     10 |      907 |      880
192.16/192.28	c  192s |      15 |   187636 |   103732 |    17706     10 |      907 |      880
194.26/194.33	c  194s |      15 |   188500 |   104532 |    17706     10 |      907 |      880
196.46/196.56	c  196s |      15 |   189470 |   105432 |    17706     10 |      907 |      880
198.66/198.71	c  198s |      15 |   190359 |   106232 |    17706     10 |      907 |      880
200.86/200.96	c  200s |      15 |   191222 |   107032 |    17706     10 |      907 |      880
202.96/203.06	c  202s |      15 |   191961 |   107732 |    17706     10 |      907 |      880
205.06/205.13	c  204s |      15 |   192691 |   108432 |    17706     10 |      907 |      880
207.26/207.34	c  207s |      15 |   193468 |   109132 |    17706     10 |      907 |      880
209.36/209.40	c  209s |      15 |   194370 |   109932 |    17706     11 |      907 |      880
211.56/211.65	c  211s |      15 |   195358 |   110832 |    17706     11 |      907 |      880
213.75/213.84	c  213s |      15 |   196209 |   111632 |    17706     11 |      907 |      880
215.95/216.09	c  215s |      15 |   197222 |   112532 |    17706     11 |      907 |      880
218.15/218.22	c  217s |      15 |   198218 |   113432 |    17706     11 |      907 |      880
220.25/220.35	c  220s |      15 |   199112 |   114232 |    17706     11 |      907 |      880
222.36/222.44	c  222s |      15 |   199892 |   114932 |    17706     11 |      907 |      880
224.35/224.47	c  224s |      15 |   200663 |   115632 |    17706     11 |      907 |      880
226.45/226.59	c  226s |      15 |   201421 |   116332 |    17706     11 |      907 |      880
228.75/228.81	c  228s |      15 |   202214 |   117032 |    17706     11 |      907 |      880
230.95/231.09	c  230s |      15 |   202955 |   117732 |    17706     11 |      907 |      880
233.15/233.28	c  233s |      15 |   203704 |   118432 |    17706     11 |      907 |      880
235.25/235.35	c  235s |      15 |   204487 |   119132 |    17706     11 |      907 |      880
237.55/237.70	c  237s |      15 |   205248 |   119832 |    17706     12 |      907 |      880
239.65/239.73	c  239s |      15 |   206124 |   120632 |    17706     12 |      907 |      880
241.65/241.74	c  241s |      15 |   206995 |   121432 |    17706     12 |      907 |      880
243.75/243.88	c  243s |      15 |   207980 |   122332 |    17706     12 |      907 |      880
245.95/246.01	c  245s |      15 |   208931 |   123232 |    17706     12 |      907 |      880
248.06/248.17	c  247s |      15 |   209911 |   124132 |    17706     12 |      907 |      880
250.16/250.27	c  250s |      15 |   210766 |   124932 |    17706     12 |      907 |      880
252.35/252.41	c  252s |      15 |   211509 |   125632 |    17706     12 |      907 |      880
254.55/254.64	c  254s |      15 |   212352 |   126432 |    17706     12 |      907 |      880
256.65/256.70	c  256s |      15 |   213093 |   127132 |    17706     12 |      907 |      880
258.95/259.04	c  258s |      15 |   213953 |   127932 |    17706     12 |      907 |      880
260.95/261.09	c  260s |      15 |   214595 |   128532 |    17706     12 |      907 |      880
263.45/263.51	c  263s |      15 |   215234 |   129132 |    17706     12 |      907 |      880
265.55/265.68	c  265s |      15 |   215991 |   129832 |    17706     12 |      907 |      880
267.75/267.89	c  267s |      15 |   216749 |   130532 |    17706     13 |      907 |      880
269.95/270.09	c  269s |      15 |   217720 |   131432 |    19477     13 |      907 |      880
270.25/270.36	c  270s |      16 |   217846 |   131552 |    19477     13 |      907 |      880
272.25/272.37	c  272s |      16 |   226536 |   134052 |    19477     13 |      907 |      880
274.35/274.41	c  274s |      16 |   228897 |   135652 |    19477     13 |      907 |      880
276.45/276.53	c  276s |      16 |   230918 |   137052 |    19477     13 |      907 |      880
278.55/278.67	c  278s |      16 |   232440 |   138252 |    19477     13 |      907 |      880
280.75/280.83	c  280s |      16 |   234043 |   139452 |    19477     13 |      907 |      880
282.95/283.01	c  282s |      16 |   235243 |   140452 |    19477     13 |      907 |      880
284.95/285.05	c  284s |      16 |   236193 |   141252 |    19477     13 |      907 |      880
286.95/287.08	c  286s |      16 |   237236 |   142152 |    19477     13 |      907 |      880
289.05/289.13	c  288s |      16 |   238086 |   142852 |    19477     14 |      907 |      880
291.05/291.17	c  290s |      16 |   239131 |   143752 |    19477     14 |      907 |      880
293.25/293.30	c  293s |      16 |   240170 |   144652 |    19477     14 |      907 |      880
295.45/295.54	c  295s |      16 |   241088 |   145452 |    19477     14 |      907 |      880
297.44/297.58	c  297s |      16 |   241843 |   146152 |    19477     14 |      907 |      880
299.54/299.67	c  299s |      16 |   242632 |   146852 |    19477     14 |      907 |      880
301.94/302.02	c  301s |      16 |   243403 |   147552 |    19477     14 |      907 |      880
303.94/304.04	c  303s |      16 |   244054 |   148152 |    19477     14 |      907 |      880
305.95/306.09	c  305s |      16 |   244886 |   148852 |    19477     14 |      907 |      880
308.24/308.32	c  308s |      16 |   245667 |   149552 |    19477     14 |      907 |      880
310.54/310.65	c  310s |      16 |   246453 |   150252 |    19477     14 |      907 |      880
312.74/312.88	c  312s |      16 |   247262 |   150952 |    19477     14 |      907 |      880
315.14/315.23	c  314s |      16 |   247944 |   151552 |    19477     14 |      907 |      880
317.34/317.48	c  317s |      16 |   248648 |   152152 |    19477     14 |      907 |      880
319.44/319.58	c  319s |      16 |   249352 |   152752 |    19477     14 |      907 |      880
321.64/321.74	c  321s |      16 |   249880 |   153252 |    19477     14 |      907 |      880
323.64/323.76	c  323s |      16 |   250334 |   153652 |    19477     15 |      907 |      880
325.94/326.03	c  325s |      16 |   250963 |   154252 |    19477     15 |      907 |      880
328.14/328.22	c  327s |      16 |   251622 |   154852 |    19477     15 |      907 |      880
330.23/330.38	c  330s |      16 |   252845 |   155752 |    19477     15 |      907 |      880
332.34/332.42	c  332s |      16 |   253886 |   156552 |    19477     15 |      907 |      880
334.34/334.43	c  334s |      16 |   254986 |   157352 |    19477     15 |      907 |      880
336.34/336.49	c  336s |      16 |   260444 |   158952 |    19477     15 |      907 |      880
338.44/338.50	c  338s |      16 |   264517 |   160552 |    19477     15 |      907 |      880
340.54/340.65	c  340s |      16 |   268718 |   162252 |    19477     15 |      907 |      880
342.64/342.75	c  342s |      16 |   272992 |   163752 |    19477     15 |      907 |      880
344.74/344.84	c  344s |      16 |   274820 |   164652 |    19477     16 |      907 |      880
346.74/346.89	c  346s |      16 |   278487 |   166252 |    19477     16 |      907 |      880
348.85/348.94	c  348s |      16 |   280262 |   167552 |    19477     16 |      907 |      880
350.94/351.06	c  350s |      16 |   281681 |   168652 |    19477     16 |      907 |      880
353.04/353.13	c  352s |      16 |   282720 |   169552 |    19477     16 |      907 |      880
355.24/355.33	c  355s |      16 |   283724 |   170452 |    19477     16 |      907 |      880
357.44/357.53	c  357s |      16 |   284604 |   171252 |    19477     16 |      907 |      880
359.54/359.68	c  359s |      16 |   285477 |   172052 |    19477     16 |      907 |      880
361.74/361.81	c  361s |      16 |   286383 |   172852 |    19477     16 |      907 |      880
363.84/363.98	c  363s |      16 |   287261 |   173652 |    19477     16 |      907 |      880
365.94/366.00	c  365s |      16 |   288022 |   174352 |    19477     16 |      907 |      880
367.94/368.08	c  367s |      16 |   288792 |   175052 |    19477     16 |      907 |      880
370.33/370.40	c  370s |      16 |   289547 |   175752 |    19477     16 |      907 |      880
372.63/372.78	c  372s |      16 |   290306 |   176452 |    19477     17 |      907 |      880
374.93/375.00	c  374s |      16 |   291198 |   177252 |    19477     17 |      907 |      880
377.13/377.29	c  377s |      16 |   292065 |   178052 |    19477     17 |      907 |      880
379.43/379.50	c  379s |      16 |   292828 |   178752 |    19477     17 |      907 |      880
381.53/381.67	c  381s |      16 |   293576 |   179452 |    19477     17 |      907 |      880
383.83/383.90	c  383s |      16 |   294318 |   180152 |    19477     17 |      907 |      880
385.93/386.07	c  385s |      16 |   295061 |   180852 |    19477     17 |      907 |      880
388.03/388.19	c  387s |      16 |   295703 |   181452 |    19477     17 |      907 |      880
390.13/390.24	c  389s |      16 |   296354 |   182052 |    19477     17 |      907 |      880
392.23/392.35	c  392s |      16 |   297172 |   182752 |    19477     17 |      907 |      880
394.53/394.69	c  394s |      16 |   297923 |   183452 |    19477     17 |      907 |      880
396.63/396.73	c  396s |      16 |   298607 |   184052 |    19477     17 |      907 |      880
398.83/398.93	c  398s |      16 |   299255 |   184652 |    19477     17 |      907 |      880
401.23/401.30	c  401s |      16 |   299917 |   185252 |    19477     17 |      907 |      880
403.33/403.44	c  403s |      16 |   300453 |   185752 |    19477     17 |      907 |      880
405.53/405.69	c  405s |      16 |   300974 |   186252 |    19477     17 |      907 |      880
407.73/407.81	c  407s |      16 |   301510 |   186752 |    19477     17 |      907 |      880
409.83/409.94	c  409s |      16 |   302180 |   187352 |    19477     17 |      907 |      880
411.92/412.07	c  411s |      16 |   302721 |   187852 |    19477     18 |      907 |      880
414.12/414.24	c  413s |      16 |   304414 |   188952 |    19477     18 |      907 |      880
416.32/416.46	c  416s |      16 |   305724 |   189952 |    19477     18 |      907 |      880
418.52/418.69	c  418s |      16 |   306778 |   190852 |    19477     18 |      907 |      880
420.82/420.95	c  420s |      16 |   307680 |   191652 |    19477     18 |      907 |      880
422.92/423.07	c  422s |      16 |   308609 |   192452 |    19477     18 |      907 |      880
424.92/425.07	c  424s |      16 |   309552 |   193252 |    19477     18 |      907 |      880
427.32/427.40	c  427s |      16 |   310298 |   193952 |    19477     18 |      907 |      880
429.42/429.50	c  429s |      16 |   311072 |   194652 |    19477     18 |      907 |      880
431.42/431.59	c  431s |      16 |   311854 |   195352 |    19477     18 |      907 |      880
433.72/433.84	c  433s |      16 |   312760 |   196152 |    21425     18 |      907 |      880
435.82/435.99	c  435s |      16 |   313527 |   196852 |    21425     18 |      907 |      880
437.83/437.92	c  437s |      17 |   314162 |   197432 |    21425     18 |      907 |      880
439.82/439.93	c  439s |      17 |   321263 |   199332 |    21425     18 |      907 |      880
441.82/441.96	c  441s |      17 |   323319 |   200632 |    21425     19 |      907 |      880
443.92/444.08	c  443s |      17 |   325562 |   202232 |    21425     19 |      907 |      880
446.02/446.11	c  445s |      17 |   327148 |   203532 |    21425     19 |      907 |      880
448.12/448.20	c  447s |      17 |   328454 |   204732 |    21425     19 |      907 |      880
450.22/450.38	c  450s |      17 |   329715 |   205832 |    21425     19 |      907 |      880
452.32/452.48	c  452s |      17 |   330784 |   206732 |    21425     19 |      907 |      880
454.51/454.69	c  454s |      17 |   331797 |   207632 |    21425     19 |      907 |      880
456.81/456.91	c  456s |      17 |   332907 |   208632 |    21425     19 |      907 |      880
458.82/458.96	c  458s |      17 |   333881 |   209432 |    21425     19 |      907 |      880
461.02/461.17	c  460s |      17 |   335166 |   210432 |    21425     19 |      907 |      880
463.31/463.41	c  463s |      17 |   336104 |   211232 |    21425     19 |      907 |      880
465.42/465.55	c  465s |      17 |   339565 |   212732 |    21425     19 |      907 |      880
467.41/467.55	c  467s |      17 |   341400 |   213832 |    21425     20 |      907 |      880
469.41/469.59	c  469s |      17 |   342831 |   214932 |    21425     20 |      907 |      880
471.61/471.75	c  471s |      17 |   344400 |   216032 |    21425     20 |      907 |      880
473.81/473.95	c  473s |      17 |   345722 |   217032 |    21425     20 |      907 |      880
475.91/476.04	c  475s |      17 |   346846 |   217932 |    21425     20 |      907 |      880
478.12/478.22	c  477s |      17 |   347907 |   218832 |    21425     20 |      907 |      880
480.22/480.38	c  480s |      17 |   348900 |   219632 |    21425     20 |      907 |      880
482.32/482.42	c  482s |      17 |   350089 |   220532 |    21425     20 |      907 |      880
484.42/484.55	c  484s |      17 |   350898 |   221232 |    21425     20 |      907 |      880
486.52/486.66	c  486s |      17 |   351753 |   221932 |    21425     20 |      907 |      880
488.71/488.88	c  488s |      17 |   352565 |   222632 |    21425     20 |      907 |      880
490.91/491.07	c  490s |      17 |   353519 |   223432 |    21425     20 |      907 |      880
493.21/493.34	c  493s |      17 |   354503 |   224232 |    21425     20 |      907 |      880
495.31/495.49	c  495s |      17 |   355207 |   224832 |    21425     20 |      907 |      880
497.41/497.56	c  497s |      17 |   356704 |   225732 |    21425     21 |      907 |      880
499.61/499.78	c  499s |      17 |   358084 |   226832 |    21425     21 |      907 |      880
501.72/501.86	c  501s |      17 |   359020 |   227632 |    21425     21 |      907 |      880
503.92/504.07	c  503s |      17 |   360123 |   228532 |    21425     21 |      907 |      880
506.02/506.11	c  505s |      17 |   361361 |   229432 |    21425     21 |      907 |      880
508.11/508.28	c  508s |      17 |   362426 |   230332 |    21425     21 |      907 |      880
510.42/510.53	c  510s |      17 |   363469 |   231232 |    21425     21 |      907 |      880
512.51/512.65	c  512s |      17 |   364257 |   231932 |    21425     21 |      907 |      880
514.61/514.75	c  514s |      17 |   365237 |   232732 |    21425     21 |      907 |      880
516.81/516.98	c  516s |      17 |   366078 |   233432 |    21425     21 |      907 |      880
518.91/519.02	c  518s |      17 |   366788 |   234032 |    21425     21 |      907 |      880
521.01/521.11	c  520s |      17 |   367507 |   234632 |    21425     21 |      907 |      880
523.21/523.39	c  523s |      17 |   368387 |   235332 |    21425     21 |      907 |      880
525.61/525.73	c  525s |      17 |   369210 |   236032 |    21425     21 |      907 |      880
527.70/527.80	c  527s |      17 |   369940 |   236632 |    21425     21 |      907 |      880
529.90/530.05	c  529s |      17 |   370801 |   237332 |    21425     21 |      907 |      880
532.00/532.18	c  531s |      17 |   371501 |   237932 |    21425     22 |      907 |      880
534.10/534.24	c  533s |      17 |   372415 |   238732 |    21425     22 |      907 |      880
536.20/536.30	c  536s |      17 |   373352 |   239532 |    21425     22 |      907 |      880
538.20/538.32	c  538s |      17 |   374307 |   240332 |    21425     22 |      907 |      880
540.21/540.37	c  540s |      17 |   375128 |   241032 |    21425     22 |      907 |      880
542.50/542.61	c  542s |      17 |   375948 |   241732 |    21425     22 |      907 |      880
544.51/544.62	c  544s |      17 |   376760 |   242432 |    21425     22 |      907 |      880
546.71/546.90	c  546s |      17 |   377589 |   243132 |    21425     22 |      907 |      880
548.80/548.99	c  548s |      17 |   378254 |   243732 |    21425     22 |      907 |      880
551.21/551.32	c  551s |      17 |   379026 |   244432 |    21425     22 |      907 |      880
553.20/553.32	c  553s |      17 |   379730 |   245032 |    21425     22 |      907 |      880
555.40/555.50	c  555s |      17 |   380430 |   245632 |    21425     22 |      907 |      880
557.50/557.65	c  557s |      17 |   381243 |   246332 |    21425     22 |      907 |      880
559.60/559.74	c  559s |      17 |   381887 |   246932 |    21425     22 |      907 |      880
561.60/561.75	c  561s |      17 |   382615 |   247532 |    21425     22 |      907 |      880
563.70/563.81	c  563s |      17 |   383247 |   248032 |    21425     22 |      907 |      880
566.00/566.15	c  565s |      17 |   383947 |   248632 |    21425     22 |      907 |      880
568.30/568.42	c  568s |      17 |   384681 |   249232 |    21425     22 |      907 |      880
570.50/570.65	c  570s |      17 |   385376 |   249832 |    21425     22 |      907 |      880
572.60/572.76	c  572s |      17 |   385948 |   250332 |    21425     23 |      907 |      880
574.60/574.79	c  574s |      17 |   386836 |   251132 |    21425     23 |      907 |      880
576.70/576.89	c  576s |      17 |   387593 |   251832 |    21425     23 |      907 |      880
578.89/579.06	c  578s |      17 |   388381 |   252532 |    21425     23 |      907 |      880
581.09/581.24	c  580s |      17 |   389409 |   253432 |    21425     23 |      907 |      880
583.29/583.44	c  583s |      17 |   390192 |   254132 |    21425     23 |      907 |      880
585.31/585.50	c  585s |      17 |   390835 |   254732 |    21425     23 |      907 |      880
587.51/587.62	c  587s |      17 |   391545 |   255332 |    21425     23 |      907 |      880
589.61/589.75	c  589s |      17 |   392256 |   255932 |    21425     23 |      907 |      880
591.70/591.88	c  591s |      17 |   392854 |   256432 |    21425     23 |      907 |      880
593.80/593.95	c  593s |      17 |   393301 |   256832 |    21425     23 |      907 |      880
596.00/596.12	c  595s |      17 |   394139 |   257532 |    21425     23 |      907 |      880
598.10/598.24	c  597s |      17 |   394822 |   258132 |    21425     23 |      907 |      880
600.50/600.62	c  600s |      17 |   395622 |   258832 |    21425     23 |      907 |      880
602.90/603.06	c  602s |      17 |   396335 |   259432 |    21425     23 |      907 |      880
605.00/605.13	c  604s |      17 |   396921 |   259932 |    21425     23 |      907 |      880
607.20/607.34	c  607s |      17 |   397633 |   260532 |    21425     23 |      907 |      880
609.59/609.72	c  609s |      17 |   398301 |   261132 |    21425     23 |      907 |      880
611.60/611.77	c  611s |      17 |   398869 |   261632 |    21425     23 |      907 |      880
613.69/613.80	c  613s |      17 |   399422 |   262132 |    21425     23 |      907 |      880
615.89/616.09	c  615s |      17 |   399882 |   262532 |    21425     24 |      907 |      880
618.09/618.23	c  617s |      17 |   400447 |   263032 |    21425     24 |      907 |      880
620.50/620.64	c  620s |      17 |   401130 |   263632 |    21425     24 |      907 |      880
622.79/622.90	c  622s |      17 |   401808 |   264232 |    21425     24 |      907 |      880
624.80/624.95	c  624s |      17 |   402383 |   264732 |    21425     24 |      907 |      880
627.00/627.11	c  626s |      17 |   402960 |   265232 |    21425     24 |      907 |      880
629.09/629.21	c  628s |      17 |   403541 |   265732 |    21425     24 |      907 |      880
631.29/631.43	c  631s |      17 |   404117 |   266232 |    21425     24 |      907 |      880
633.49/633.60	c  633s |      17 |   404814 |   266832 |    21425     24 |      907 |      880
635.49/635.66	c  635s |      17 |   405373 |   267332 |    21425     24 |      907 |      880
637.79/637.92	c  637s |      17 |   406032 |   267932 |    21425     24 |      907 |      880
640.09/640.21	c  639s |      17 |   406817 |   268632 |    21425     24 |      907 |      880
642.29/642.41	c  642s |      17 |   407481 |   269232 |    21425     24 |      907 |      880
644.59/644.80	c  644s |      17 |   408127 |   269832 |    21425     24 |      907 |      880
646.79/647.00	c  646s |      17 |   408975 |   270532 |    21425     24 |      907 |      880
648.89/649.02	c  648s |      17 |   409841 |   271232 |    21425     24 |      907 |      880
651.19/651.33	c  651s |      17 |   410622 |   271932 |    21425     24 |      907 |      880
653.39/653.51	c  653s |      17 |   411310 |   272532 |    21425     24 |      907 |      880
655.49/655.70	c  655s |      17 |   411984 |   273132 |    21425     24 |      907 |      880
657.69/657.85	c  657s |      17 |   412654 |   273732 |    21425     24 |      907 |      880
659.88/660.03	c  659s |      17 |   413332 |   274332 |    21425     24 |      907 |      880
662.19/662.33	c  662s |      17 |   413898 |   274832 |    21425     25 |      907 |      880
664.39/664.53	c  664s |      17 |   414669 |   275532 |    21425     25 |      907 |      880
666.69/666.85	c  666s |      17 |   415431 |   276232 |    21425     25 |      907 |      880
668.89/669.02	c  668s |      17 |   416218 |   276932 |    21425     25 |      907 |      880
670.88/671.09	c  670s |      17 |   417070 |   277632 |    21425     25 |      907 |      880
673.19/673.38	c  673s |      17 |   418003 |   278432 |    21425     25 |      907 |      880
675.49/675.63	c  675s |      17 |   418933 |   279232 |    21425     25 |      907 |      880
677.59/677.77	c  677s |      17 |   419748 |   279932 |    21425     25 |      907 |      880
679.79/679.91	c  679s |      17 |   420436 |   280532 |    21425     25 |      907 |      880
681.78/681.98	c  681s |      17 |   421105 |   281132 |    21425     25 |      907 |      880
684.19/684.32	c  684s |      17 |   421895 |   281832 |    21425     25 |      907 |      880
686.28/686.41	c  686s |      17 |   422560 |   282432 |    21425     25 |      907 |      880
688.48/688.61	c  688s |      17 |   423229 |   283032 |    21425     25 |      907 |      880
690.48/690.68	c  690s |      17 |   423895 |   283632 |    21425     25 |      907 |      880
692.58/692.71	c  692s |      17 |   424573 |   284232 |    21425     25 |      907 |      880
694.79/694.92	c  694s |      17 |   425202 |   284832 |    21425     25 |      907 |      880
696.78/696.95	c  696s |      17 |   425768 |   285332 |    21425     25 |      907 |      880
699.08/699.22	c  698s |      17 |   426441 |   285932 |    21425     25 |      907 |      880
701.18/701.38	c  701s |      17 |   426985 |   286432 |    21425     25 |      907 |      880
703.48/703.69	c  703s |      17 |   427657 |   287032 |    21425     25 |      907 |      880
705.68/705.83	c  705s |      17 |   428210 |   287532 |    21425     26 |      907 |      880
707.78/707.99	c  707s |      17 |   428994 |   288232 |    21425     26 |      907 |      880
709.98/710.19	c  709s |      17 |   429758 |   288932 |    21425     26 |      907 |      880
712.18/712.34	c  712s |      17 |   430399 |   289532 |    21425     26 |      907 |      880
714.38/714.52	c  714s |      17 |   431039 |   290132 |    21425     26 |      907 |      880
716.58/716.74	c  716s |      17 |   432009 |   290932 |    21425     26 |      907 |      880
718.78/718.93	c  718s |      17 |   432976 |   291732 |    21425     26 |      907 |      880
721.08/721.22	c  720s |      17 |   433910 |   292532 |    21425     26 |      907 |      880
723.18/723.35	c  723s |      17 |   434610 |   293132 |    21425     26 |      907 |      880
725.38/725.57	c  725s |      17 |   435406 |   293832 |    21425     26 |      907 |      880
727.38/727.58	c  727s |      17 |   436079 |   294432 |    23568     26 |      907 |      880
729.48/729.67	c  729s |      17 |   436886 |   295132 |    23568     26 |      907 |      880
731.48/731.69	c  731s |      17 |   437684 |   295732 |    23568     26 |      907 |      880
733.08/733.29	c  733s |      18 |   438313 |   296252 |    23568     26 |      907 |      880
735.28/735.40	c  735s |      18 |   441449 |   297652 |    23568     26 |      907 |      880
737.37/737.50	c  737s |      18 |   443452 |   299252 |    23568     26 |      907 |      880
739.37/739.56	c  739s |      18 |   444976 |   300652 |    23568     26 |      907 |      880
741.48/741.64	c  741s |      18 |   446884 |   302052 |    23568     27 |      907 |      880
743.58/743.76	c  743s |      18 |   448520 |   303552 |    23568     27 |      907 |      880
745.67/745.83	c  745s |      18 |   449901 |   304852 |    23568     27 |      907 |      880
747.77/747.94	c  747s |      18 |   451553 |   306152 |    23568     27 |      907 |      880
749.97/750.14	c  749s |      18 |   453160 |   307452 |    23568     27 |      907 |      880
752.07/752.27	c  752s |      18 |   454236 |   308452 |    23568     27 |      907 |      880
754.27/754.46	c  754s |      18 |   455369 |   309452 |    23568     27 |      907 |      880
756.37/756.59	c  756s |      18 |   456547 |   310452 |    23568     27 |      907 |      880
758.47/758.63	c  758s |      18 |   457585 |   311352 |    23568     27 |      907 |      880
760.67/760.80	c  760s |      18 |   458586 |   312252 |    23568     27 |      907 |      880
762.67/762.82	c  762s |      18 |   459510 |   313052 |    23568     27 |      907 |      880
764.77/764.90	c  764s |      18 |   460514 |   313852 |    23568     27 |      907 |      880
766.87/767.02	c  766s |      18 |   461402 |   314652 |    23568     27 |      907 |      880
768.98/769.17	c  768s |      18 |   462227 |   315352 |    23568     28 |      907 |      880
771.07/771.21	c  770s |      18 |   463111 |   316152 |    23568     28 |      907 |      880
773.17/773.39	c  773s |      18 |   464000 |   316952 |    23568     28 |      907 |      880
775.27/775.47	c  775s |      18 |   464807 |   317652 |    23568     28 |      907 |      880
777.36/777.58	c  777s |      18 |   465587 |   318352 |    23568     28 |      907 |      880
779.46/779.63	c  779s |      18 |   466344 |   319052 |    23568     28 |      907 |      880
781.46/781.68	c  781s |      18 |   466964 |   319652 |    23568     28 |      907 |      880
783.56/783.71	c  783s |      18 |   467609 |   320252 |    23568     28 |      907 |      880
785.76/785.91	c  785s |      18 |   468380 |   320952 |    23568     28 |      907 |      880
787.96/788.12	c  787s |      18 |   469148 |   321652 |    23568     28 |      907 |      880
790.16/790.35	c  790s |      18 |   469934 |   322352 |    23568     28 |      907 |      880
792.46/792.62	c  792s |      18 |   470773 |   323052 |    23568     28 |      907 |      880
794.56/794.77	c  794s |      18 |   471426 |   323652 |    23568     28 |      907 |      880
796.86/797.05	c  796s |      18 |   472085 |   324252 |    23568     28 |      907 |      880
799.06/799.21	c  798s |      18 |   472771 |   324852 |    23568     28 |      907 |      880
801.16/801.37	c  801s |      18 |   473482 |   325452 |    23568     28 |      907 |      880
803.46/803.65	c  803s |      18 |   474174 |   326052 |    23568     28 |      907 |      880
805.76/805.90	c  805s |      18 |   474856 |   326652 |    23568     28 |      907 |      880
807.86/808.03	c  807s |      18 |   475539 |   327252 |    23568     28 |      907 |      880
809.96/810.17	c  809s |      18 |   476252 |   327852 |    23568     28 |      907 |      880
812.26/812.46	c  812s |      18 |   476799 |   328352 |    23568     29 |      907 |      880
814.46/814.63	c  814s |      18 |   477593 |   329052 |    23568     29 |      907 |      880
816.46/816.63	c  816s |      18 |   478404 |   329752 |    23568     29 |      907 |      880
818.56/818.78	c  818s |      18 |   479198 |   330452 |    23568     29 |      907 |      880
820.76/820.95	c  820s |      18 |   479995 |   331152 |    23568     29 |      907 |      880
823.06/823.24	c  822s |      18 |   480768 |   331852 |    23568     29 |      907 |      880
825.36/825.50	c  825s |      18 |   481583 |   332552 |    23568     29 |      907 |      880
827.36/827.56	c  827s |      18 |   482256 |   333152 |    23568     29 |      907 |      880
829.56/829.73	c  829s |      18 |   483218 |   333952 |    23568     29 |      907 |      880
831.66/831.85	c  831s |      18 |   484357 |   334952 |    23568     29 |      907 |      880
833.87/834.06	c  833s |      18 |   485461 |   335952 |    23568     29 |      907 |      880
836.07/836.25	c  835s |      18 |   486338 |   336752 |    23568     29 |      907 |      880
838.06/838.27	c  838s |      18 |   487523 |   337652 |    23568     29 |      907 |      880
840.06/840.29	c  840s |      18 |   488631 |   338452 |    23568     29 |      907 |      880
842.16/842.36	c  842s |      18 |   489321 |   339052 |    23568     29 |      907 |      880
844.16/844.37	c  844s |      18 |   489870 |   339552 |    23568     29 |      907 |      880
846.36/846.53	c  846s |      18 |   490622 |   340152 |    23568     29 |      907 |      880
848.46/848.65	c  848s |      18 |   491327 |   340752 |    23568     29 |      907 |      880
850.66/850.82	c  850s |      18 |   492198 |   341452 |    23568     29 |      907 |      880
852.86/853.04	c  852s |      18 |   493055 |   342152 |    23568     30 |      907 |      880
854.96/855.18	c  854s |      18 |   494009 |   342952 |    23568     30 |      907 |      880
857.26/857.45	c  857s |      18 |   494979 |   343752 |    23568     30 |      907 |      880
859.56/859.72	c  859s |      18 |   495817 |   344452 |    23568     30 |      907 |      880
861.86/862.00	c  861s |      18 |   496601 |   345152 |    23568     30 |      907 |      880
863.96/864.12	c  863s |      18 |   497180 |   345652 |    23568     30 |      907 |      880
865.96/866.16	c  865s |      18 |   497883 |   346252 |    23568     30 |      907 |      880
868.16/868.38	c  868s |      18 |   498540 |   346852 |    23568     30 |      907 |      880
870.16/870.38	c  870s |      18 |   499949 |   347852 |    23568     30 |      907 |      880
872.26/872.48	c  872s |      18 |   501376 |   349152 |    23568     30 |      907 |      880
874.35/874.56	c  874s |      18 |   502675 |   350352 |    23568     30 |      907 |      880
876.35/876.58	c  876s |      18 |   503870 |   351452 |    23568     30 |      907 |      880
878.45/878.66	c  878s |      18 |   505070 |   352552 |    23568     30 |      907 |      880
880.55/880.76	c  880s |      18 |   506099 |   353552 |    23568     30 |      907 |      880
882.65/882.89	c  882s |      18 |   507045 |   354452 |    23568     30 |      907 |      880
884.85/885.05	c  884s |      18 |   508021 |   355352 |    23568     31 |      907 |      880
886.95/887.11	c  886s |      18 |   509192 |   356452 |    23568     31 |      907 |      880
888.95/889.18	c  888s |      18 |   510352 |   357552 |    23568     31 |      907 |      880
891.06/891.23	c  890s |      18 |   511396 |   358552 |    23568     31 |      907 |      880
893.05/893.25	c  892s |      18 |   512350 |   359452 |    23568     31 |      907 |      880
895.05/895.27	c  895s |      18 |   513188 |   360252 |    23568     31 |      907 |      880
897.15/897.30	c  897s |      18 |   514020 |   361052 |    23568     31 |      907 |      880
899.25/899.49	c  899s |      18 |   514850 |   361852 |    23568     31 |      907 |      880
901.55/901.71	c  901s |      18 |   515695 |   362652 |    23568     31 |      907 |      880
903.55/903.72	c  903s |      18 |   516436 |   363352 |    23568     31 |      907 |      880
905.85/906.01	c  905s |      18 |   517269 |   364152 |    23568     31 |      907 |      880
908.05/908.20	c  907s |      18 |   518094 |   364952 |    23568     31 |      907 |      880
910.04/910.29	c  910s |      18 |   518826 |   365652 |    23568     31 |      907 |      880
912.34/912.51	c  912s |      18 |   519543 |   366352 |    23568     31 |      907 |      880
914.64/914.82	c  914s |      18 |   520275 |   367052 |    23568     31 |      907 |      880
916.74/916.91	c  916s |      18 |   520906 |   367652 |    23568     31 |      907 |      880
918.94/919.17	c  918s |      18 |   521424 |   368152 |    23568     32 |      907 |      880
921.14/921.35	c  921s |      18 |   522253 |   368952 |    23568     32 |      907 |      880
923.44/923.61	c  923s |      18 |   523074 |   369752 |    23568     32 |      907 |      880
925.44/925.65	c  925s |      18 |   523799 |   370452 |    23568     32 |      907 |      880
927.54/927.71	c  927s |      18 |   524521 |   371152 |    23568     32 |      907 |      880
929.74/929.92	c  929s |      18 |   525245 |   371852 |    23568     32 |      907 |      880
931.75/931.92	c  931s |      18 |   525972 |   372552 |    23568     32 |      907 |      880
933.85/934.10	c  933s |      18 |   526692 |   373252 |    23568     32 |      907 |      880
936.05/936.23	c  935s |      18 |   527421 |   373952 |    23568     32 |      907 |      880
938.35/938.53	c  938s |      18 |   528135 |   374652 |    23568     32 |      907 |      880
940.45/940.66	c  940s |      18 |   528760 |   375252 |    23568     32 |      907 |      880
942.65/942.82	c  942s |      18 |   529383 |   375852 |    23568     32 |      907 |      880
944.85/945.03	c  944s |      18 |   529998 |   376452 |    23568     32 |      907 |      880
947.15/947.34	c  947s |      18 |   530627 |   377052 |    23568     32 |      907 |      880
949.25/949.46	c  949s |      18 |   531263 |   377652 |    23568     32 |      907 |      880
951.45/951.61	c  951s |      18 |   531910 |   378252 |    23568     32 |      907 |      880
953.54/953.75	c  953s |      18 |   532420 |   378752 |    23568     32 |      907 |      880
955.85/956.04	c  955s |      18 |   533040 |   379352 |    23568     32 |      907 |      880
958.15/958.33	c  958s |      18 |   533688 |   379952 |    23568     32 |      907 |      880
960.14/960.39	c  960s |      18 |   534206 |   380452 |    23568     32 |      907 |      880
962.24/962.48	c  962s |      18 |   534719 |   380952 |    23568     32 |      907 |      880
964.75/964.98	c  964s |      18 |   535241 |   381452 |    23568     33 |      907 |      880
966.95/967.11	c  966s |      18 |   536087 |   382252 |    23568     33 |      907 |      880
969.15/969.37	c  969s |      18 |   536912 |   383052 |    23568     33 |      907 |      880
971.44/971.63	c  971s |      18 |   537629 |   383752 |    23568     33 |      907 |      880
973.64/973.82	c  973s |      18 |   538360 |   384452 |    23568     33 |      907 |      880
975.75/975.98	c  975s |      18 |   539100 |   385152 |    23568     33 |      907 |      880
978.04/978.28	c  978s |      18 |   539721 |   385752 |    23568     33 |      907 |      880
980.34/980.51	c  980s |      18 |   540448 |   386452 |    23568     33 |      907 |      880
982.44/982.68	c  982s |      18 |   541227 |   387152 |    23568     33 |      907 |      880
984.64/984.88	c  984s |      18 |   541945 |   387852 |    23568     33 |      907 |      880
986.84/987.00	c  986s |      18 |   542566 |   388452 |    23568     33 |      907 |      880
989.13/989.30	c  989s |      18 |   543182 |   389052 |    23568     33 |      907 |      880
991.23/991.44	c  991s |      18 |   543809 |   389652 |    23568     33 |      907 |      880
993.43/993.66	c  993s |      18 |   544434 |   390252 |    23568     33 |      907 |      880
995.54/995.78	c  995s |      18 |   545047 |   390852 |    23568     33 |      907 |      880
997.64/997.90	c  997s |      18 |   545677 |   391452 |    23568     33 |      907 |      880
999.84/1000.04	c  999s |      18 |   546298 |   392052 |    23568     33 |      907 |      880
1002.03/1002.30	c 1002s |      18 |   546939 |   392652 |    23568     33 |      907 |      880
1004.33/1004.57	c 1004s |      18 |   547567 |   393252 |    23568     33 |      907 |      880
1006.43/1006.61	c 1006s |      18 |   548086 |   393752 |    23568     33 |      907 |      880
1008.43/1008.64	c 1008s |      18 |   548601 |   394252 |    23568     33 |      907 |      880
1011.02/1011.28	c 1011s |      18 |   549226 |   394852 |    23568     34 |      907 |      880
1013.22/1013.48	c 1013s |      18 |   550069 |   395652 |    23568     34 |      907 |      880
1015.52/1015.72	c 1015s |      18 |   550926 |   396452 |    23568     34 |      907 |      880
1017.62/1017.84	c 1017s |      18 |   551665 |   397152 |    23568     34 |      907 |      880
1019.82/1020.05	c 1019s |      18 |   552408 |   397852 |    23568     34 |      907 |      880
1022.12/1022.37	c 1022s |      18 |   553130 |   398552 |    23568     34 |      907 |      880
1024.32/1024.52	c 1024s |      18 |   553741 |   399152 |    23568     34 |      907 |      880
1026.42/1026.69	c 1026s |      18 |   554356 |   399752 |    23568     34 |      907 |      880
1028.72/1028.90	c 1028s |      18 |   554966 |   400352 |    23568     34 |      907 |      880
1031.01/1031.21	c 1030s |      18 |   555601 |   400952 |    23568     34 |      907 |      880
1033.01/1033.26	c 1033s |      18 |   556220 |   401552 |    23568     34 |      907 |      880
1035.02/1035.29	c 1035s |      18 |   556829 |   402152 |    23568     34 |      907 |      880
1037.33/1037.50	c 1037s |      18 |   557462 |   402752 |    23568     34 |      907 |      880
1039.32/1039.60	c 1039s |      18 |   558085 |   403352 |    23568     34 |      907 |      880
1041.51/1041.75	c 1041s |      18 |   558718 |   403952 |    23568     34 |      907 |      880
1043.71/1043.91	c 1043s |      18 |   559338 |   404552 |    23568     34 |      907 |      880
1045.91/1046.18	c 1045s |      18 |   559964 |   405152 |    23568     34 |      907 |      880
1047.91/1048.18	c 1047s |      18 |   560479 |   405652 |    23568     34 |      907 |      880
1050.11/1050.34	c 1050s |      18 |   561000 |   406152 |    23568     34 |      907 |      880
1052.31/1052.50	c 1052s |      18 |   561513 |   406652 |    23568     34 |      907 |      880
1054.51/1054.78	c 1054s |      18 |   562026 |   407152 |    23568     34 |      907 |      880
1056.71/1056.92	c 1056s |      18 |   562546 |   407652 |    23568     34 |      907 |      880
1058.81/1059.03	c 1058s |      18 |   562956 |   408052 |    23568     35 |      907 |      880
1060.90/1061.11	c 1060s |      18 |   563684 |   408752 |    23568     35 |      907 |      880
1063.00/1063.27	c 1063s |      18 |   564397 |   409452 |    23568     35 |      907 |      880
1065.20/1065.43	c 1065s |      18 |   565130 |   410152 |    23568     35 |      907 |      880
1067.20/1067.43	c 1067s |      18 |   565758 |   410752 |    23568     35 |      907 |      880
1069.50/1069.70	c 1069s |      18 |   566508 |   411452 |    23568     35 |      907 |      880
1071.60/1071.80	c 1071s |      18 |   567234 |   412152 |    23568     35 |      907 |      880
1073.80/1074.02	c 1073s |      18 |   567976 |   412852 |    23568     35 |      907 |      880
1076.00/1076.24	c 1075s |      18 |   568719 |   413552 |    23568     35 |      907 |      880
1078.30/1078.51	c 1078s |      18 |   569459 |   414252 |    23568     35 |      907 |      880
1080.40/1080.69	c 1080s |      18 |   570084 |   414852 |    23568     35 |      907 |      880
1082.60/1082.88	c 1082s |      18 |   570713 |   415452 |    23568     35 |      907 |      880
1084.70/1084.96	c 1084s |      18 |   571339 |   416052 |    23568     35 |      907 |      880
1086.80/1087.06	c 1086s |      18 |   571959 |   416652 |    23568     35 |      907 |      880
1089.09/1089.34	c 1089s |      18 |   572608 |   417252 |    23568     35 |      907 |      880
1091.29/1091.58	c 1091s |      18 |   573258 |   417852 |    23568     35 |      907 |      880
1093.40/1093.66	c 1093s |      18 |   573773 |   418352 |    23568     35 |      907 |      880
1095.50/1095.75	c 1095s |      18 |   574315 |   418852 |    23568     35 |      907 |      880
1097.59/1097.83	c 1097s |      18 |   574825 |   419352 |    23568     35 |      907 |      880
1100.00/1100.22	c 1099s |      18 |   575464 |   419952 |    23568     35 |      907 |      880
1101.98/1102.27	c 1102s |      18 |   575994 |   420452 |    23568     35 |      907 |      880
1104.08/1104.35	c 1104s |      18 |   576503 |   420952 |    23568     35 |      907 |      880
1106.28/1106.56	c 1106s |      18 |   577036 |   421452 |    23568     36 |      907 |      880
1108.48/1108.76	c 1108s |      18 |   577761 |   422152 |    23568     36 |      907 |      880
1110.58/1110.87	c 1110s |      18 |   578492 |   422852 |    23568     36 |      907 |      880
1112.78/1113.07	c 1112s |      18 |   579220 |   423552 |    23568     36 |      907 |      880
1114.88/1115.14	c 1114s |      18 |   579836 |   424152 |    23568     36 |      907 |      880
1117.18/1117.47	c 1117s |      18 |   580575 |   424852 |    23568     36 |      907 |      880
1119.47/1119.74	c 1119s |      18 |   581215 |   425452 |    23568     36 |      907 |      880
1121.67/1121.90	c 1121s |      18 |   581950 |   426152 |    23568     36 |      907 |      880
1123.87/1124.17	c 1123s |      18 |   582774 |   426952 |    23568     36 |      907 |      880
1126.17/1126.41	c 1126s |      18 |   583493 |   427652 |    23568     36 |      907 |      880
1128.27/1128.51	c 1128s |      18 |   584219 |   428352 |    23568     36 |      907 |      880
1130.37/1130.60	c 1130s |      18 |   584842 |   428952 |    23568     36 |      907 |      880
1132.47/1132.71	c 1132s |      18 |   585472 |   429552 |    23568     36 |      907 |      880
1134.57/1134.82	c 1134s |      18 |   586098 |   430152 |    23568     36 |      907 |      880
1136.87/1137.13	c 1136s |      18 |   586835 |   430852 |    23568     36 |      907 |      880
1138.96/1139.21	c 1138s |      18 |   587463 |   431452 |    23568     36 |      907 |      880
1141.06/1141.39	c 1141s |      18 |   588087 |   432052 |    23568     36 |      907 |      880
1143.37/1143.67	c 1143s |      18 |   588722 |   432652 |    23568     36 |      907 |      880
1145.77/1146.04	c 1145s |      18 |   589337 |   433252 |    23568     36 |      907 |      880
1148.17/1148.40	c 1148s |      18 |   589956 |   433852 |    23568     36 |      907 |      880
1150.37/1150.62	c 1150s |      18 |   590469 |   434352 |    23568     36 |      907 |      880
1152.57/1152.83	c 1152s |      18 |   590977 |   434852 |    23568     37 |      907 |      880
1154.57/1154.89	c 1154s |      18 |   591839 |   435652 |    23568     37 |      907 |      880
1156.76/1157.00	c 1156s |      18 |   592569 |   436352 |    23568     37 |      907 |      880
1158.86/1159.14	c 1158s |      18 |   593315 |   437052 |    23568     37 |      907 |      880
1160.96/1161.22	c 1160s |      18 |   594036 |   437752 |    23568     37 |      907 |      880
1162.96/1163.27	c 1163s |      18 |   594768 |   438452 |    23568     37 |      907 |      880
1165.16/1165.46	c 1165s |      18 |   595510 |   439152 |    23568     37 |      907 |      880
1167.36/1167.65	c 1167s |      18 |   596245 |   439852 |    23568     37 |      907 |      880
1169.46/1169.72	c 1169s |      18 |   596868 |   440452 |    23568     37 |      907 |      880
1171.65/1171.98	c 1171s |      18 |   597587 |   441152 |    23568     37 |      907 |      880
1173.95/1174.23	c 1173s |      18 |   598202 |   441752 |    25925     37 |      907 |      880
1175.95/1176.24	c 1175s |      18 |   598809 |   442352 |    25925     37 |      907 |      880
1178.35/1178.60	c 1178s |      18 |   599541 |   443052 |    25925     37 |      907 |      880
1180.55/1180.81	c 1180s |      18 |   600157 |   443652 |    25925     37 |      907 |      880
1182.65/1182.94	c 1182s |      18 |   600780 |   444252 |    25925     37 |      907 |      880
1183.46/1183.75	c 1183s |      19 |   601027 |   444482 |    25925     37 |      907 |      880
1185.55/1185.84	c 1185s |      19 |   607040 |   445882 |    25925     37 |      907 |      880
1187.55/1187.86	c 1187s |      19 |   609662 |   447582 |    25925     37 |      907 |      880
1189.65/1189.90	c 1189s |      19 |   611645 |   449082 |    25925     37 |      907 |      880
1191.95/1192.24	c 1191s |      19 |   613338 |   450382 |    25925     38 |      907 |      880
1193.95/1194.25	c 1193s |      19 |   614491 |   451382 |    25925     38 |      907 |      880
1196.15/1196.48	c 1196s |      19 |   615549 |   452282 |    25925     38 |      907 |      880
1198.34/1198.68	c 1198s |      19 |   616305 |   452882 |    25925     38 |      907 |      880
1200.34/1200.68	c 1200s |      19 |   616884 |   453382 |    25925     38 |      907 |      880
1202.54/1202.82	c 1202s |      19 |   618056 |   454382 |    25925     38 |      907 |      880
1204.64/1204.93	c 1204s |      19 |   619366 |   455482 |    25925     38 |      907 |      880
1206.84/1207.19	c 1206s |      19 |   620548 |   456482 |    25925     38 |      907 |      880
1208.94/1209.27	c 1209s |      19 |   621269 |   457082 |    25925     38 |      907 |      880
1211.05/1211.35	c 1211s |      19 |   622062 |   457782 |    25925     38 |      907 |      880
1213.15/1213.42	c 1213s |      19 |   622920 |   458582 |    25925     38 |      907 |      880
1215.35/1215.61	c 1215s |      19 |   623789 |   459382 |    25925     38 |      907 |      880
1217.44/1217.73	c 1217s |      19 |   624558 |   460082 |    25925     38 |      907 |      880
1219.44/1219.77	c 1219s |      19 |   625330 |   460782 |    25925     38 |      907 |      880
1221.53/1221.82	c 1221s |      19 |   626092 |   461482 |    25925     38 |      907 |      880
1223.53/1223.82	c 1223s |      19 |   626730 |   462082 |    25925     38 |      907 |      880
1225.73/1226.06	c 1225s |      19 |   627493 |   462782 |    25925     38 |      907 |      880
1227.93/1228.28	c 1228s |      19 |   628239 |   463482 |    25925     38 |      907 |      880
1230.04/1230.34	c 1230s |      19 |   628882 |   464082 |    25925     38 |      907 |      880
1232.04/1232.34	c 1232s |      19 |   629556 |   464682 |    25925     38 |      907 |      880
1234.34/1234.68	c 1234s |      19 |   630252 |   465282 |    25925     39 |      907 |      880
1236.54/1236.83	c 1236s |      19 |   631036 |   465982 |    25925     39 |      907 |      880
1238.54/1238.84	c 1238s |      19 |   631687 |   466582 |    25925     39 |      907 |      880
1240.74/1241.03	c 1240s |      19 |   632600 |   467382 |    25925     39 |      907 |      880
1243.03/1243.31	c 1243s |      19 |   633376 |   468082 |    25925     39 |      907 |      880
1245.14/1245.41	c 1245s |      19 |   634042 |   468682 |    25925     39 |      907 |      880
1247.34/1247.68	c 1247s |      19 |   634680 |   469282 |    25925     39 |      907 |      880
1249.54/1249.80	c 1249s |      19 |   635200 |   469782 |    25925     39 |      907 |      880
1251.82/1252.11	c 1251s |      19 |   635852 |   470382 |    25925     39 |      907 |      880
1253.93/1254.26	c 1254s |      19 |   636495 |   470982 |    25925     39 |      907 |      880
1256.03/1256.33	c 1256s |      19 |   637149 |   471582 |    25925     39 |      907 |      880
1258.33/1258.66	c 1258s |      19 |   637793 |   472182 |    25925     39 |      907 |      880
1260.72/1261.02	c 1260s |      19 |   638427 |   472782 |    25925     39 |      907 |      880
1262.73/1263.06	c 1262s |      19 |   638968 |   473282 |    25925     39 |      907 |      880
1265.02/1265.32	c 1265s |      19 |   639508 |   473782 |    25925     39 |      907 |      880
1267.13/1267.44	c 1267s |      19 |   639839 |   474082 |    25925     39 |      907 |      880
1269.62/1269.99	c 1269s |      19 |   640161 |   474382 |    25925     39 |      907 |      880
1272.12/1272.44	c 1272s |      19 |   640650 |   474782 |    25925     39 |      907 |      880
1274.22/1274.51	c 1274s |      19 |   641633 |   475582 |    25925     39 |      907 |      880
1276.32/1276.61	c 1276s |      19 |   642247 |   476082 |    25925     39 |      907 |      880
1278.41/1278.75	c 1278s |      19 |   643137 |   476782 |    25925     39 |      907 |      880
1280.61/1280.99	c 1280s |      19 |   643965 |   477482 |    25925     39 |      907 |      880
1282.71/1283.05	c 1282s |      19 |   644645 |   478082 |    25925     39 |      907 |      880
1284.91/1285.26	c 1285s |      19 |   645316 |   478682 |    25925     39 |      907 |      880
1287.31/1287.67	c 1287s |      19 |   645997 |   479282 |    25925     39 |      907 |      880
1289.51/1289.83	c 1289s |      19 |   646529 |   479782 |    25925     39 |      907 |      880
1291.61/1291.99	c 1291s |      19 |   647524 |   480582 |    25925     40 |      907 |      880
1293.81/1294.14	c 1293s |      19 |   648325 |   481282 |    25925     40 |      907 |      880
1296.11/1296.40	c 1296s |      19 |   649204 |   482082 |    25925     40 |      907 |      880
1298.31/1298.63	c 1298s |      19 |   649948 |   482782 |    25925     40 |      907 |      880
1300.51/1300.84	c 1300s |      19 |   650911 |   483582 |    25925     40 |      907 |      880
1302.51/1302.86	c 1302s |      19 |   651703 |   484282 |    25925     40 |      907 |      880
1304.61/1304.94	c 1304s |      19 |   652464 |   484982 |    25925     40 |      907 |      880
1306.62/1306.97	c 1306s |      19 |   653247 |   485682 |    25925     40 |      907 |      880
1308.82/1309.12	c 1308s |      19 |   654187 |   486482 |    25925     40 |      907 |      880
1310.90/1311.26	c 1311s |      19 |   654967 |   487182 |    25925     40 |      907 |      880
1313.00/1313.31	c 1313s |      19 |   655611 |   487782 |    25925     40 |      907 |      880
1315.10/1315.44	c 1315s |      19 |   656409 |   488482 |    25925     40 |      907 |      880
1317.30/1317.64	c 1317s |      19 |   657265 |   489182 |    25925     40 |      907 |      880
1319.50/1319.86	c 1319s |      19 |   658081 |   489882 |    25925     40 |      907 |      880
1321.80/1322.13	c 1321s |      19 |   658910 |   490582 |    25925     40 |      907 |      880
1323.80/1324.16	c 1323s |      19 |   659598 |   491182 |    25925     40 |      907 |      880
1326.10/1326.43	c 1326s |      19 |   660267 |   491782 |    25925     40 |      907 |      880
1328.30/1328.65	c 1328s |      19 |   660972 |   492382 |    25925     40 |      907 |      880
1330.69/1331.00	c 1330s |      19 |   661806 |   493082 |    25925     40 |      907 |      880
1332.79/1333.17	c 1332s |      19 |   662500 |   493682 |    25925     40 |      907 |      880
1334.99/1335.31	c 1335s |      19 |   663053 |   494182 |    25925     40 |      907 |      880
1337.29/1337.64	c 1337s |      19 |   663491 |   494582 |    25925     41 |      907 |      880
1339.49/1339.87	c 1339s |      19 |   664300 |   495282 |    25925     41 |      907 |      880
1341.59/1341.94	c 1341s |      19 |   665111 |   495982 |    25925     41 |      907 |      880
1343.79/1344.10	c 1343s |      19 |   665994 |   496782 |    25925     41 |      907 |      880
1345.99/1346.37	c 1346s |      19 |   666757 |   497482 |    25925     41 |      907 |      880
1348.18/1348.52	c 1348s |      19 |   667550 |   498182 |    25925     41 |      907 |      880
1350.18/1350.54	c 1350s |      19 |   668207 |   498782 |    25925     41 |      907 |      880
1352.38/1352.76	c 1352s |      19 |   668991 |   499482 |    25925     41 |      907 |      880
1354.49/1354.86	c 1354s |      19 |   669643 |   500082 |    25925     41 |      907 |      880
1356.79/1357.10	c 1356s |      19 |   670475 |   500782 |    25925     41 |      907 |      880
1358.79/1359.16	c 1358s |      19 |   671058 |   501282 |    25925     41 |      907 |      880
1361.08/1361.41	c 1361s |      19 |   671925 |   501982 |    25925     41 |      907 |      880
1363.28/1363.67	c 1363s |      19 |   672599 |   502582 |    25925     41 |      907 |      880
1365.58/1365.95	c 1365s |      19 |   673253 |   503182 |    25925     41 |      907 |      880
1367.68/1368.05	c 1367s |      19 |   673786 |   503682 |    25925     41 |      907 |      880
1369.78/1370.17	c 1369s |      19 |   674507 |   504282 |    25925     41 |      907 |      880
1371.88/1372.25	c 1371s |      19 |   675187 |   504882 |    25925     41 |      907 |      880
1374.18/1374.59	c 1374s |      19 |   675851 |   505482 |    25925     41 |      907 |      880
1376.47/1376.88	c 1376s |      19 |   676809 |   506282 |    25925     41 |      907 |      880
1378.67/1379.04	c 1378s |      19 |   677507 |   506882 |    25925     41 |      907 |      880
1380.87/1381.26	c 1381s |      19 |   678091 |   507382 |    25925     41 |      907 |      880
1383.27/1383.65	c 1383s |      19 |   678623 |   507882 |    25925     41 |      907 |      880
1385.66/1386.09	c 1385s |      19 |   679164 |   508382 |    25925     41 |      907 |      880
1387.97/1388.32	c 1388s |      19 |   679616 |   508782 |    25925     42 |      907 |      880
1390.06/1390.48	c 1390s |      19 |   680507 |   509482 |    25925     42 |      907 |      880
1392.26/1392.69	c 1392s |      19 |   681346 |   510282 |    25925     42 |      907 |      880
1394.46/1394.87	c 1394s |      19 |   682108 |   510982 |    25925     42 |      907 |      880
1396.66/1397.00	c 1396s |      19 |   682860 |   511682 |    25925     42 |      907 |      880
1398.86/1399.24	c 1398s |      19 |   683622 |   512382 |    25925     42 |      907 |      880
1400.96/1401.33	c 1401s |      19 |   684532 |   513182 |    25925     42 |      907 |      880
1403.06/1403.42	c 1403s |      19 |   685330 |   513882 |    25925     42 |      907 |      880
1405.36/1405.72	c 1405s |      19 |   686095 |   514582 |    25925     42 |      907 |      880
1407.56/1407.97	c 1407s |      19 |   686772 |   515182 |    25925     42 |      907 |      880
1409.66/1410.06	c 1409s |      19 |   687576 |   515882 |    25925     42 |      907 |      880
1411.95/1412.37	c 1412s |      19 |   688406 |   516582 |    25925     42 |      907 |      880
1414.05/1414.41	c 1414s |      19 |   689067 |   517182 |    25925     42 |      907 |      880
1416.15/1416.58	c 1416s |      19 |   689753 |   517782 |    25925     42 |      907 |      880
1418.45/1418.83	c 1418s |      19 |   690419 |   518382 |    25925     42 |      907 |      880
1420.54/1420.93	c 1420s |      19 |   690950 |   518882 |    25925     42 |      907 |      880
1422.74/1423.16	c 1422s |      19 |   691603 |   519482 |    25925     42 |      907 |      880
1425.14/1425.53	c 1425s |      19 |   692266 |   520082 |    25925     42 |      907 |      880
1427.34/1427.71	c 1427s |      19 |   692827 |   520582 |    25925     42 |      907 |      880
1429.44/1429.88	c 1429s |      19 |   693505 |   521182 |    25925     42 |      907 |      880
1431.94/1432.32	c 1432s |      19 |   694042 |   521682 |    25925     42 |      907 |      880
1434.03/1434.45	c 1434s |      19 |   694621 |   522182 |    25925     42 |      907 |      880
1436.23/1436.70	c 1436s |      19 |   695164 |   522682 |    25925     42 |      907 |      880
1438.54/1438.91	c 1438s |      19 |   695705 |   523182 |    25925     42 |      907 |      880
1440.73/1441.13	c 1440s |      19 |   696142 |   523582 |    25925     43 |      907 |      880
1442.82/1443.27	c 1443s |      19 |   696787 |   524182 |    25925     43 |      907 |      880
1445.13/1445.59	c 1445s |      19 |   697519 |   524882 |    25925     43 |      907 |      880
1447.52/1447.90	c 1447s |      19 |   698517 |   525682 |    25925     43 |      907 |      880
1449.72/1450.16	c 1449s |      19 |   699302 |   526382 |    25925     43 |      907 |      880
1451.83/1452.21	c 1451s |      19 |   700098 |   527082 |    25925     43 |      907 |      880
1453.83/1454.25	c 1453s |      19 |   701186 |   527982 |    25925     43 |      907 |      880
1456.03/1456.40	c 1456s |      19 |   702121 |   528782 |    25925     43 |      907 |      880
1458.03/1458.49	c 1458s |      19 |   702932 |   529482 |    25925     43 |      907 |      880
1460.32/1460.76	c 1460s |      19 |   703814 |   530182 |    25925     43 |      907 |      880
1462.73/1463.11	c 1462s |      19 |   704521 |   530782 |    25925     43 |      907 |      880
1464.72/1465.12	c 1464s |      19 |   705057 |   531282 |    25925     43 |      907 |      880
1466.92/1467.36	c 1467s |      19 |   705748 |   531882 |    25925     43 |      907 |      880
1469.12/1469.57	c 1469s |      19 |   706397 |   532482 |    25925     43 |      907 |      880
1471.21/1471.66	c 1471s |      19 |   707051 |   533082 |    25925     43 |      907 |      880
1473.31/1473.73	c 1473s |      19 |   707721 |   533682 |    25925     43 |      907 |      880
1475.71/1476.12	c 1475s |      19 |   708409 |   534282 |    25925     43 |      907 |      880
1477.71/1478.17	c 1477s |      19 |   708821 |   534682 |    25925     43 |      907 |      880
1480.20/1480.69	c 1480s |      19 |   709342 |   535182 |    25925     43 |      907 |      880
1482.70/1483.13	c 1482s |      19 |   709752 |   535582 |    25925     43 |      907 |      880
1485.10/1485.58	c 1485s |      19 |   710262 |   536082 |    25925     43 |      907 |      880
1487.50/1487.98	c 1487s |      19 |   710673 |   536482 |    25925     43 |      907 |      880
1489.70/1490.18	c 1489s |      19 |   711389 |   537082 |    25925     43 |      907 |      880
1491.79/1492.26	c 1492s |      19 |   711962 |   537582 |    25925     43 |      907 |      880
1493.89/1494.37	c 1494s |      19 |   712589 |   538082 |    25925     44 |      907 |      880
1496.19/1496.65	c 1496s |      19 |   713459 |   538882 |    25925     44 |      907 |      880
1498.49/1498.96	c 1498s |      19 |   714354 |   539682 |    25925     44 |      907 |      880
1500.49/1500.99	c 1500s |      19 |   714965 |   540282 |    25925     44 |      907 |      880
1502.79/1503.27	c 1503s |      19 |   715859 |   541082 |    25925     44 |      907 |      880
1504.89/1505.33	c 1505s |      19 |   716669 |   541782 |    25925     44 |      907 |      880
1506.89/1507.39	c 1507s |      19 |   717446 |   542482 |    25925     44 |      907 |      880
1508.99/1509.42	c 1509s |      19 |   718148 |   543082 |    25925     44 |      907 |      880
1511.19/1511.64	c 1511s |      19 |   719116 |   543882 |    25925     44 |      907 |      880
1513.18/1513.67	c 1513s |      19 |   720076 |   544682 |    25925     44 |      907 |      880
1515.28/1515.74	c 1515s |      19 |   720925 |   545382 |    25925     44 |      907 |      880
1517.58/1518.01	c 1517s |      19 |   721734 |   546082 |    25925     44 |      907 |      880
1519.68/1520.13	c 1519s |      19 |   722388 |   546682 |    25925     44 |      907 |      880
1521.97/1522.41	c 1522s |      19 |   723037 |   547282 |    25925     44 |      907 |      880
1524.07/1524.59	c 1524s |      19 |   723678 |   547882 |    25925     44 |      907 |      880
1526.27/1526.77	c 1526s |      19 |   724476 |   548582 |    25925     44 |      907 |      880
1528.37/1528.87	c 1528s |      19 |   725283 |   549282 |    25925     44 |      907 |      880
1530.57/1531.05	c 1530s |      19 |   725966 |   549882 |    25925     44 |      907 |      880
1532.97/1533.43	c 1533s |      19 |   726838 |   550582 |    25925     44 |      907 |      880
1535.16/1535.64	c 1535s |      19 |   727505 |   551182 |    25925     44 |      907 |      880
1537.36/1537.89	c 1537s |      19 |   728188 |   551782 |    25925     44 |      907 |      880
1539.67/1540.16	c 1539s |      19 |   728862 |   552382 |    25925     44 |      907 |      880
1541.86/1542.36	c 1542s |      19 |   729433 |   552882 |    25925     45 |      907 |      880
1544.07/1544.51	c 1544s |      19 |   730360 |   553682 |    25925     45 |      907 |      880
1546.17/1546.60	c 1546s |      19 |   731117 |   554382 |    25925     45 |      907 |      880
1548.26/1548.70	c 1548s |      19 |   731881 |   555082 |    25925     45 |      907 |      880
1550.46/1551.00	c 1550s |      19 |   732780 |   555882 |    25925     45 |      907 |      880
1552.76/1553.26	c 1553s |      19 |   733768 |   556682 |    25925     45 |      907 |      880
1554.96/1555.42	c 1555s |      19 |   734526 |   557382 |    25925     45 |      907 |      880
1557.16/1557.69	c 1557s |      19 |   735301 |   558082 |    25925     45 |      907 |      880
1559.36/1559.89	c 1559s |      19 |   736080 |   558782 |    25925     45 |      907 |      880
1561.66/1562.13	c 1561s |      19 |   736729 |   559382 |    25925     45 |      907 |      880
1563.75/1564.27	c 1564s |      19 |   737501 |   560082 |    25925     45 |      907 |      880
1565.85/1566.32	c 1566s |      19 |   738155 |   560682 |    25925     45 |      907 |      880
1567.95/1568.43	c 1568s |      19 |   738812 |   561282 |    25925     45 |      907 |      880
1570.05/1570.55	c 1570s |      19 |   739609 |   561982 |    25925     45 |      907 |      880
1572.15/1572.67	c 1572s |      19 |   740255 |   562582 |    25925     45 |      907 |      880
1574.25/1574.75	c 1574s |      19 |   740935 |   563182 |    25925     45 |      907 |      880
1576.35/1576.85	c 1576s |      19 |   741581 |   563782 |    25925     45 |      907 |      880
1578.75/1579.20	c 1578s |      19 |   742215 |   564382 |    25925     45 |      907 |      880
1581.14/1581.60	c 1581s |      19 |   742854 |   564982 |    25925     45 |      907 |      880
1583.24/1583.75	c 1583s |      19 |   743614 |   565582 |    25925     45 |      907 |      880
1585.54/1586.01	c 1585s |      19 |   744406 |   566282 |    25925     45 |      907 |      880
1587.74/1588.26	c 1588s |      19 |   745064 |   566882 |    25925     45 |      907 |      880
1589.84/1590.39	c 1590s |      19 |   745621 |   567382 |    25925     46 |      907 |      880
1591.93/1592.47	c 1592s |      19 |   746514 |   568182 |    25925     46 |      907 |      880
1594.03/1594.51	c 1594s |      19 |   747449 |   568982 |    25925     46 |      907 |      880
1596.13/1596.67	c 1596s |      19 |   748350 |   569782 |    25925     46 |      907 |      880
1598.33/1598.89	c 1598s |      19 |   749252 |   570582 |    25925     46 |      907 |      880
1600.42/1600.98	c 1600s |      19 |   750016 |   571282 |    25925     46 |      907 |      880
1602.72/1603.25	c 1602s |      19 |   750765 |   571982 |    25925     46 |      907 |      880
1604.82/1605.30	c 1605s |      19 |   751406 |   572582 |    25925     46 |      907 |      880
1607.12/1607.62	c 1607s |      19 |   752162 |   573282 |    25925     46 |      907 |      880
1609.32/1609.86	c 1609s |      19 |   752960 |   573982 |    25925     46 |      907 |      880
1611.41/1611.95	c 1611s |      19 |   753679 |   574582 |    25925     46 |      907 |      880
1613.61/1614.14	c 1613s |      19 |   754300 |   575182 |    25925     46 |      907 |      880
1615.62/1616.16	c 1615s |      19 |   754835 |   575682 |    25925     46 |      907 |      880
1618.02/1618.55	c 1618s |      19 |   755467 |   576282 |    25925     46 |      907 |      880
1620.12/1620.64	c 1620s |      19 |   756118 |   576882 |    25925     46 |      907 |      880
1622.12/1622.69	c 1622s |      19 |   756965 |   577582 |    25925     46 |      907 |      880
1624.32/1624.82	c 1624s |      19 |   757636 |   578182 |    25925     46 |      907 |      880
1626.31/1626.82	c 1626s |      19 |   758170 |   578682 |    25925     46 |      907 |      880
1628.51/1629.00	c 1628s |      19 |   758907 |   579282 |    25925     46 |      907 |      880
1630.71/1631.22	c 1630s |      19 |   759557 |   579882 |    25925     46 |      907 |      880
1633.00/1633.56	c 1633s |      19 |   760212 |   580482 |    25925     46 |      907 |      880
1635.20/1635.76	c 1635s |      19 |   760874 |   581082 |    25925     46 |      907 |      880
1637.61/1638.12	c 1637s |      19 |   761515 |   581682 |    25925     46 |      907 |      880
1639.71/1640.30	c 1640s |      19 |   762079 |   582182 |    25925     47 |      907 |      880
1642.00/1642.56	c 1642s |      19 |   762816 |   582882 |    25925     47 |      907 |      880
1644.10/1644.60	c 1644s |      19 |   763570 |   583582 |    25925     47 |      907 |      880
1646.20/1646.75	c 1646s |      19 |   764306 |   584282 |    25925     47 |      907 |      880
1648.40/1648.98	c 1648s |      19 |   765074 |   584982 |    25925     47 |      907 |      880
1650.49/1651.00	c 1650s |      19 |   765707 |   585582 |    25925     47 |      907 |      880
1652.59/1653.13	c 1652s |      19 |   766344 |   586182 |    25925     47 |      907 |      880
1654.99/1655.51	c 1655s |      19 |   766965 |   586782 |    25925     47 |      907 |      880
1656.99/1657.58	c 1657s |      19 |   767689 |   587382 |    25925     47 |      907 |      880
1659.19/1659.79	c 1659s |      19 |   768483 |   588082 |    25925     47 |      907 |      880
1661.49/1662.07	c 1661s |      19 |   769240 |   588782 |    25925     47 |      907 |      880
1663.59/1664.12	c 1663s |      19 |   769896 |   589382 |    25925     47 |      907 |      880
1665.79/1666.35	c 1666s |      19 |   770536 |   589982 |    25925     47 |      907 |      880
1668.09/1668.63	c 1668s |      19 |   771177 |   590582 |    25925     47 |      907 |      880
1670.09/1670.68	c 1670s |      19 |   771841 |   591182 |    25925     47 |      907 |      880
1672.38/1672.91	c 1672s |      19 |   772488 |   591782 |    25925     47 |      907 |      880
1674.48/1675.05	c 1674s |      19 |   773127 |   592382 |    25925     47 |      907 |      880
1676.68/1677.29	c 1677s |      19 |   773743 |   592982 |    25925     47 |      907 |      880
1678.78/1679.32	c 1679s |      19 |   774266 |   593482 |    25925     47 |      907 |      880
1680.88/1681.42	c 1681s |      19 |   774946 |   594082 |    25925     47 |      907 |      880
1682.98/1683.51	c 1683s |      19 |   775458 |   594582 |    25925     47 |      907 |      880
1685.18/1685.79	c 1685s |      19 |   776001 |   595082 |    25925     47 |      907 |      880
1687.58/1688.11	c 1687s |      19 |   776761 |   595682 |    25925     47 |      907 |      880
1689.68/1690.24	c 1689s |      19 |   777315 |   596182 |    25925     47 |      907 |      880
1692.28/1692.83	c 1692s |      19 |   777857 |   596682 |    25925     48 |      907 |      880
1694.38/1694.98	c 1694s |      19 |   778607 |   597382 |    25925     48 |      907 |      880
1696.58/1697.15	c 1696s |      19 |   779384 |   598082 |    25925     48 |      907 |      880
1698.58/1699.18	c 1698s |      19 |   780027 |   598682 |    25925     48 |      907 |      880
1700.78/1701.39	c 1701s |      19 |   780805 |   599382 |    25925     48 |      907 |      880
1702.98/1703.52	c 1703s |      19 |   781451 |   599982 |    25925     48 |      907 |      880
1705.18/1705.75	c 1705s |      19 |   782105 |   600582 |    25925     48 |      907 |      880
1707.28/1707.83	c 1707s |      19 |   782920 |   601282 |    25925     48 |      907 |      880
1709.48/1710.06	c 1709s |      19 |   783727 |   601982 |    25925     48 |      907 |      880
1711.68/1712.20	c 1711s |      19 |   784400 |   602582 |    25925     48 |      907 |      880
1713.98/1714.50	c 1714s |      19 |   785203 |   603282 |    25925     48 |      907 |      880
1715.98/1716.51	c 1716s |      19 |   785920 |   603882 |    25925     48 |      907 |      880
1718.28/1718.87	c 1718s |      19 |   786599 |   604482 |    25925     48 |      907 |      880
1720.58/1721.11	c 1720s |      19 |   787302 |   605082 |    25925     48 |      907 |      880
1722.78/1723.35	c 1723s |      19 |   787965 |   605682 |    25925     48 |      907 |      880
1724.98/1725.53	c 1725s |      19 |   788759 |   606382 |    25925     48 |      907 |      880
1727.18/1727.79	c 1727s |      19 |   789426 |   606982 |    25925     48 |      907 |      880
1729.38/1729.99	c 1729s |      19 |   790101 |   607582 |    25925     48 |      907 |      880
1731.78/1732.39	c 1732s |      19 |   790759 |   608182 |    25925     48 |      907 |      880
1734.08/1734.64	c 1734s |      19 |   791456 |   608782 |    25925     48 |      907 |      880
1736.28/1736.83	c 1736s |      19 |   792124 |   609382 |    25925     48 |      907 |      880
1738.48/1739.02	c 1738s |      19 |   792808 |   609982 |    25925     48 |      907 |      880
1740.78/1741.35	c 1741s |      19 |   793486 |   610582 |    25925     48 |      907 |      880
1742.98/1743.58	c 1743s |      19 |   794174 |   611182 |    25925     48 |      907 |      880
1745.17/1745.77	c 1745s |      19 |   794731 |   611682 |    25925     49 |      907 |      880
1747.37/1747.97	c 1747s |      19 |   795498 |   612382 |    25925     49 |      907 |      880
1749.57/1750.17	c 1749s |      19 |   796287 |   613082 |    25925     49 |      907 |      880
1751.77/1752.39	c 1752s |      19 |   797099 |   613782 |    25925     49 |      907 |      880
1754.08/1754.67	c 1754s |      19 |   797995 |   614582 |    25925     49 |      907 |      880
1756.38/1756.93	c 1756s |      19 |   798767 |   615282 |    25925     49 |      907 |      880
1758.48/1759.04	c 1758s |      19 |   799558 |   615982 |    25925     49 |      907 |      880
1760.68/1761.30	c 1761s |      19 |   800186 |   616582 |    25925     49 |      907 |      880
1762.77/1763.33	c 1763s |      19 |   800989 |   617282 |    25925     49 |      907 |      880
1765.08/1765.64	c 1765s |      19 |   801767 |   617982 |    25925     49 |      907 |      880
1767.17/1767.71	c 1767s |      19 |   802421 |   618582 |    25925     49 |      907 |      880
1769.27/1769.89	c 1769s |      19 |   803165 |   619182 |    25925     49 |      907 |      880
1771.57/1772.17	c 1771s |      19 |   803972 |   619982 |    25925     49 |      907 |      880
1773.57/1774.19	c 1773s |      19 |   804612 |   620582 |    25925     49 |      907 |      880
1775.67/1776.27	c 1776s |      19 |   805140 |   621082 |    25925     49 |      907 |      880
1777.86/1778.43	c 1778s |      19 |   805893 |   621682 |    25925     49 |      907 |      880
1780.06/1780.68	c 1780s |      19 |   806563 |   622282 |    25925     49 |      907 |      880
1782.46/1783.09	c 1782s |      19 |   807344 |   622982 |    25925     49 |      907 |      880
1784.88/1785.43	c 1785s |      19 |   808083 |   623582 |    25925     49 |      907 |      880
1787.18/1787.74	c 1787s |      19 |   808818 |   624182 |    25925     49 |      907 |      880
1789.57/1790.19	c 1789s |      19 |   809533 |   624782 |    25925     49 |      907 |      880
1791.77/1792.33	c 1792s |      19 |   809988 |   625182 |    25925     49 |      907 |      880
1793.87/1794.47	c 1794s |      19 |   810387 |   625482 |    25925     50 |      907 |      880
1796.17/1796.70	c 1796s |      19 |   810902 |   625882 |    25925     50 |      907 |      880
1798.56/1799.18	c 1798s |      19 |   811571 |   626382 |    25925     50 |      907 |      880

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.16 2.25 2.23 2/179 24438
/proc/meminfo: memFree=29624848/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 2856 0 0 0 0 0 0 0 20 0 4 0 30090283 781643776 2706 33554432000 4194304 16246674 140735215963296 140735215962720 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 191343 2712 441 2943 0 188237 0
[pid=24438/tid=24439] ppid=24435 vsize=780732 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 799469568 2772 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=784828 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 803663872 2791 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=788924 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30090283 807858176 2806 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.16 2.25 2.23 2/179 24438
/proc/meminfo: memFree=29624848/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 28278 0 0 0 6 3 0 0 20 0 4 0 30090283 1249447936 28065 33554432000 4194304 16246674 140735215963296 140735215962608 4220520 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 305041 28065 801 2943 0 301935 0
[pid=24438/tid=24439] ppid=24435 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1249447936 28065 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1249447936 28065 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1249447936 28065 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200556 s]
/proc/loadavg: 2.16 2.25 2.23 2/179 24438
/proc/meminfo: memFree=29624848/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 48485 0 0 0 13 6 0 0 20 0 4 0 30090283 1332285440 48272 33554432000 4194304 16246674 140735215963296 140735215962608 6165251 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 325265 48272 842 2943 0 322159 0
[pid=24438/tid=24439] ppid=24435 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1332285440 48272 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1332285440 48272 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1332285440 48272 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300438 s]
/proc/loadavg: 2.16 2.25 2.23 2/179 24438
/proc/meminfo: memFree=29624848/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 50526 0 0 0 23 6 0 0 20 0 4 0 30090283 1332285440 50313 33554432000 4194304 16246674 140735215963296 140735215962608 5831697 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 325265 50321 882 2943 0 322159 0
[pid=24438/tid=24439] ppid=24435 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1332285440 50325 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1332285440 50329 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1332285440 50333 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.70042 s]
/proc/loadavg: 2.16 2.25 2.23 2/179 24438
/proc/meminfo: memFree=29624848/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 102277 0 0 0 55 14 0 0 20 0 4 0 30090283 1332285440 102064 33554432000 4194304 16246674 140735215963296 140735215962608 12476925 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 325265 102070 882 2943 0 322159 0
[pid=24438/tid=24439] ppid=24435 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1332285440 102074 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1332285440 102079 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1332285440 102087 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50042 s]
/proc/loadavg: 2.16 2.25 2.23 4/183 24442
/proc/meminfo: memFree=28969344/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 215757 0 0 0 120 29 0 0 20 0 4 0 30090283 1332285440 215544 33554432000 4194304 16246674 140735215963296 140735215945216 13954410 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 325265 215549 882 2943 0 322159 0
[pid=24438/tid=24439] ppid=24435 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1332285440 215552 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1332285440 215554 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1332285440 215557 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10038 s]
/proc/loadavg: 2.16 2.25 2.23 4/183 24442
/proc/meminfo: memFree=28550224/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1312324 CPUtime=3.09 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 269166 0 0 0 272 37 0 0 20 0 4 0 30090283 1343819776 268953 33554432000 4194304 16246674 140735215963296 140735215945216 12415736 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 328081 268953 888 2943 0 324975 0
[pid=24438/tid=24439] ppid=24435 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1343819776 268953 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1343819776 268953 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1343819776 268953 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30043 s]
/proc/loadavg: 2.23 2.26 2.24 3/183 24442
/proc/meminfo: memFree=28549464/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 269269 0 0 0 592 37 0 0 20 0 4 0 30090283 1343819776 269056 33554432000 4194304 16246674 140735215963296 140735215945216 5677720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 328081 269056 888 2943 0 324975 0
[pid=24438/tid=24439] ppid=24435 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1343819776 269056 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1343819776 269056 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1343819776 269056 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.21 2.26 2.24 3/183 24442
/proc/meminfo: memFree=28549504/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 269271 0 0 0 1232 37 0 0 20 0 4 0 30090283 1343819776 269058 33554432000 4194304 16246674 140735215963296 140735215945216 5712756 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 328081 269058 890 2943 0 324975 0
[pid=24438/tid=24439] ppid=24435 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1343819776 269058 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1343819776 269058 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1343819776 269058 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5074 s]
/proc/loadavg: 2.16 2.24 2.23 3/183 24442
/proc/meminfo: memFree=28549980/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1312324 CPUtime=25.49 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 269272 0 0 0 2512 37 0 0 20 0 4 0 30090283 1343819776 269059 33554432000 4194304 16246674 140735215963296 140735215945216 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 328081 269059 891 2943 0 324975 0
[pid=24438/tid=24439] ppid=24435 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1343819776 269059 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1343819776 269059 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1343819776 269059 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1004 s]
/proc/loadavg: 2.26 2.26 2.24 3/183 24442
/proc/meminfo: memFree=28540068/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 269272 0 0 0 5070 38 0 0 20 0 4 0 30090283 1343819776 269059 33554432000 4194304 16246674 140735215963296 140735215945216 13809242 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 328081 269059 891 2943 0 324975 0
[pid=24438/tid=24439] ppid=24435 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1343819776 269059 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1343819776 269059 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1343819776 269059 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.22 2.24 2.23 3/184 24446
/proc/meminfo: memFree=28526320/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1326660 CPUtime=102.27 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 272606 0 0 0 10188 39 0 0 20 0 4 0 30090283 1358499840 272393 33554432000 4194304 16246674 140735215963296 140735215962392 5709595 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 331665 272393 892 2943 0 328559 0
[pid=24438/tid=24439] ppid=24435 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1358499840 272393 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1358499840 272393 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1358499840 272393 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1326660


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

/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1372131328 276006 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1339972

[startup+1362.3 s]
/proc/loadavg: 2.31 2.26 2.19 3/183 24501
/proc/meminfo: memFree=28491096/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1339972 CPUtime=1361.98 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 276369 0 0 0 136146 52 0 0 20 0 4 0 30090283 1372131328 276228 33554432000 4194304 16246674 140735215963296 140735215945216 5823690 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 334993 276228 892 2943 0 331887 0
[pid=24438/tid=24439] ppid=24435 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1372131328 276228 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1372131328 276228 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1372131328 276228 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1339972

[startup+1422.3 s]
/proc/loadavg: 2.28 2.25 2.19 3/183 24503
/proc/meminfo: memFree=28488264/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1343044 CPUtime=1421.94 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 277041 0 0 0 142141 53 0 0 20 0 4 0 30090283 1375277056 276857 33554432000 4194304 16246674 140735215963296 140735215945216 5602895 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 335761 276857 892 2943 0 332655 0
[pid=24438/tid=24439] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276857 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276857 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276857 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1343044

[startup+1482.3 s]
/proc/loadavg: 2.22 2.24 2.19 3/183 24504
/proc/meminfo: memFree=28488480/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1343044 CPUtime=1481.9 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 277089 0 0 0 148136 54 0 0 20 0 4 0 30090283 1375277056 276857 33554432000 4194304 16246674 140735215963296 140735215945216 6021684 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 335761 276857 892 2943 0 332655 0
[pid=24438/tid=24439] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276857 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276857 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276857 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1343044

[startup+1542.3 s]
/proc/loadavg: 2.35 2.27 2.19 4/183 24505
/proc/meminfo: memFree=28488216/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1343044 CPUtime=1541.86 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 277133 0 0 0 154132 54 0 0 20 0 4 0 30090283 1375277056 276857 33554432000 4194304 16246674 140735215963296 140735215945216 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 335761 276857 892 2943 0 332655 0
[pid=24438/tid=24439] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276857 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276857 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276857 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1343044

[startup+1602.3 s]
/proc/loadavg: 2.18 2.23 2.18 3/183 24506
/proc/meminfo: memFree=28488496/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1343044 CPUtime=1601.82 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 277180 0 0 0 160127 55 0 0 20 0 4 0 30090283 1375277056 276857 33554432000 4194304 16246674 140735215963296 140735215945216 5822548 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 335761 276857 892 2943 0 332655 0
[pid=24438/tid=24439] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276857 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276857 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276857 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1343044

[startup+1662.31 s]
/proc/loadavg: 2.14 2.22 2.18 3/183 24507
/proc/meminfo: memFree=28488280/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1343044 CPUtime=1661.79 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 277222 0 0 0 166123 56 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 140735215945216 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 335761 276858 892 2943 0 332655 0
[pid=24438/tid=24439] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1343044

[startup+1722.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 24509
/proc/meminfo: memFree=28488272/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1343044 CPUtime=1721.78 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 277222 0 0 0 172121 57 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 140735215945216 5711636 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 335761 276858 892 2943 0 332655 0
[pid=24438/tid=24439] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1343044

[startup+1782.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 24559
/proc/meminfo: memFree=28512684/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1343044 CPUtime=1781.76 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 277222 0 0 0 178119 57 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 140735215962472 12415827 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 335761 276858 892 2943 0 332655 0
[pid=24438/tid=24439] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1343044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.15 2.19 2.18 3/183 24559
/proc/meminfo: memFree=28512808/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1343044 CPUtime=1800.06 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 277222 0 0 0 179948 58 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 140735215945216 12875016 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 335761 276858 892 2943 0 332655 0
[pid=24438/tid=24439] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1343044

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

[startup+1800.6 s]
/proc/loadavg: 2.15 2.19 2.18 3/183 24559
/proc/meminfo: memFree=28512808/32872528 swapFree=1085692/1157232
[pid=24438] ppid=24435 vsize=1343044 CPUtime=1800.06 cores=1,3,5,7
/proc/24438/stat : 24438 (toysat) R 24435 24438 21062 0 -1 4202496 277222 0 0 0 179948 58 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 140735215945216 12875016 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24438/statm: 335761 276858 892 2943 0 332655 0
[pid=24438/tid=24439] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24439/stat : 24439 (toysat) S 24435 24438 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 139636566371568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24438/tid=24440] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24440/stat : 24440 (toysat) S 24435 24438 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 139636555881712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24438/tid=24441] ppid=24435 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/24438/task/24441/stat : 24441 (toysat) S 24435 24438 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30090283 1375277056 276858 33554432000 4194304 16246674 140735215963296 139636545408176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1343044

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.49
CPU system time (s): 0.58591
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 1343044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.58591
maximum resident set size= 1107432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277222
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= 422
involuntary context switches= 2189

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52131 second user time and 7.00793 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 21:48:27
IDJOB=4117061
IDBENCH=109548
IDSOLVER=2542
FILE ID=node114/4117061-1466970507
RUNJOBID= node114-1466944456-21079
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

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

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

MD5SUM BENCH= 26009d8906451c633fc33f1a87004b6e
RANDOM SEED=18473144

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29625384 kB
Buffers:           46168 kB
Cached:           224760 kB
SwapCached:        38928 kB
Active:          1144460 kB
Inactive:         242900 kB
Active(anon):    1081076 kB
Inactive(anon):    37760 kB
Active(file):      63384 kB
Inactive(file):   205140 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16684 kB
Writeback:             0 kB
AnonPages:       2235980 kB
Mapped:            10648 kB
Shmem:                 0 kB
Slab:             568032 kB
SReclaimable:      12088 kB
SUnreclaim:       555944 kB
KernelStack:        1480 kB
PageTables:         8568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2380276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

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