Trace number 4115909

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.03 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size112-round22-0.opb
MD5SUM1478b9596894c92fb769212147798991
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 constraints8688
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)400
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-26T14:34:17+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-4115909-1466944456.opb"]
0.00/0.01	c use --random-gen="2689581537 3382044037 3630835796 1235604870 1835986423 587070305 1814818656 1396887337 158579497 2223164251 1983849345 3101627372 192875089 333295999 654969801 3271274600 2426256766 4141116974 159801827 137214414 115556039 1145458654 3611182735 2256883225 812070519 1564554085 3085944640 2180664289 3432950620 1784891915 543280555 2349029624 224528691 199742470 2397469003 3612014879 628664599 1183058652 3080774424 345236513 4231758152 354878000 1464424682 3159194268 1645085605 892132371 3210337743 3419670447 2328996622 601386002 2392621619 601907053 256153975 120016166 149078343 702967480 1172653990 78429820 536319263 320058369 1960854429 3048288348 2372712890 1306051083 3088264061 2166138539 2782181763 2627969566 900933918 1136046605 3682412 2241881919 3942447066 3817322359 2057943632 385356694 1462071870 2685287539 3041645936 3552411494 1707959897 1858048422 4246210412 3236544505 3441184812 4141461415 2077213323 1340655453 1338177963 2457852984 3263046334 1649901171 2144772974 4077198799 3589006251 2678135535 3799925992 264697794 1812641265 1675233980 1702007334 1464867120 2416229206 1941552635 1960102783 399258048 1774171606 2813968223 2803008747 2575533569 3337065860 16727 1330637743 1733732465 2076336549 2538526059 2959670203 2088463060 2154155049 2005970938 3009085474 1434943742 106924356 2370231777 3590141195 586221723 2048049661 2064631314 476133318 4098766410 2641516553 2154199730 86298426 3701777774 2230406069 1419502316 2095258264 2415355434 1126847499 2067582909 4203759971 1940248432 3911322311 2645141871 1253553485 2829739907 1278838005 4031773431 2450873286 540284693 1160037455 142609572 151154267 3295150356 1537714754 3369614927 2193555911 1344217019 3279124952 3241937025 1677463431 46643873 4172623967 3594797095 1578360990 2410941439 2786242470 4287251066 846583318 4168097694 3410783655 1370730215 335116135 1919971428 847573371 4002980482 3359309148 2844687734 1182871015 3385254987 1557382030 213940990 3759221003 4198147168 1012136759 2169256560 1150566792 1613063041 3622079550 1857993265 1507931595 3967623364 3300133797 382081131 3485364419 2768403440 2298410264 2462857551 3382151569 19856418 1161806080 3070978694 819607878 3587753346 3633723534 952417263 1904062048 2627393669 2731789252 1774609629 2563125101 3175282098 765082984 1984688647 3076793519 3527414069 1824145087 494930761 4038897954 1537694432 2043163652 849858753 2912925036 1655760399 758458996 2506660725 451917849 2748870716 2924178541 1105731203 3998523368 3409659157 407978503 783790864 1578041396 2412692271 807613509 1062659379 2975399787 2881594892 610812957 2409692632 4202809763 2856184702 1696614933 4064297894 2536201535 1917972025 2549360578 1601227192 1458174299 1819013828 3039104101 2321924820 2720940783 908429060 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8688
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      702 |        0
0.29/0.31	c  0.1s |       1 |      480 |      100 |     4234      0 |      702 |      452
0.39/0.40	c  0.1s |       2 |     1931 |      250 |     4658      0 |      702 |      452
0.48/0.57	c  0.3s |       3 |     4200 |      475 |     5124      0 |      703 |      452
0.89/0.98	c  0.7s |       4 |     5641 |      813 |     5637      0 |      703 |      452
1.38/1.48	c  1.2s |       5 |     9519 |     1320 |     6201      0 |      704 |      452
2.08/2.10	c  1.8s |       6 |    13213 |     2081 |     7505      0 |      704 |      452
2.78/2.83	c  2.6s |       7 |    22607 |     3223 |     8256      0 |      704 |      452
4.28/4.36	c  4.1s |       8 |    26900 |     4936 |     9082      0 |      704 |      452
6.08/6.19	c  5.9s |       9 |    38734 |     7506 |     9991      0 |      704 |      452
8.18/8.26	c  8.0s |       9 |    42112 |     9206 |     9991      0 |      704 |      452
10.18/10.27	c 10.0s |       9 |    49710 |    11006 |     9991      0 |      704 |      452
10.38/10.47	c 10.2s |      10 |    51983 |    11361 |    10991      0 |      704 |      452
12.38/12.49	c 12.2s |      10 |    57088 |    13161 |    10991      0 |      704 |      452
14.48/14.56	c 14.3s |      10 |    59648 |    14661 |    10991      1 |      704 |      452
16.59/16.62	c 16.4s |      10 |    62118 |    16361 |    10991      1 |      704 |      452
17.69/17.78	c 17.5s |      11 |    63455 |    17144 |    12091      1 |      704 |      452
19.79/19.86	c 19.6s |      11 |    72552 |    19544 |    12091      1 |      704 |      452
21.78/21.89	c 21.6s |      11 |    74631 |    21044 |    12091      1 |      704 |      452
23.99/24.02	c 23.8s |      11 |    76200 |    22344 |    12091      1 |      704 |      452
26.09/26.13	c 25.9s |      11 |    77548 |    23444 |    12091      2 |      704 |      452
28.09/28.13	c 27.9s |      11 |    78629 |    24344 |    12091      2 |      704 |      452
30.19/30.28	c 30.0s |      11 |    79665 |    25244 |    12091      2 |      704 |      452
31.69/31.75	c 31.5s |      12 |    80307 |    25819 |    13301      2 |      704 |      452
33.79/33.84	c 33.6s |      12 |    84334 |    27619 |    13301      2 |      704 |      452
35.79/35.87	c 35.6s |      12 |    86031 |    29019 |    13301      2 |      704 |      452
37.79/37.88	c 37.6s |      12 |    87444 |    30219 |    13301      2 |      704 |      452
39.89/39.92	c 39.7s |      12 |    88690 |    31319 |    13301      2 |      704 |      452
41.89/41.96	c 41.7s |      12 |    89943 |    32319 |    13301      3 |      704 |      452
43.89/43.99	c 43.7s |      12 |    91338 |    33519 |    13301      3 |      704 |      452
46.09/46.18	c 45.9s |      12 |    92585 |    34619 |    13301      3 |      704 |      452
48.08/48.18	c 47.9s |      12 |    93601 |    35519 |    13301      3 |      704 |      452
50.28/50.33	c 50.1s |      12 |    94760 |    36519 |    13301      3 |      704 |      452
52.48/52.50	c 52.2s |      12 |    96082 |    37619 |    13301      3 |      704 |      452
54.48/54.53	c 54.3s |      12 |    97110 |    38519 |    13301      3 |      704 |      452
55.18/55.24	c 55.0s |      13 |    97469 |    38832 |    14632      3 |      704 |      452
57.29/57.33	c 57.1s |      13 |   103356 |    40532 |    14632      4 |      704 |      452
59.28/59.38	c 59.1s |      13 |   104854 |    41732 |    14632      4 |      704 |      452
61.48/61.58	c 61.3s |      13 |   105890 |    42632 |    14632      4 |      704 |      452
63.68/63.77	c 63.5s |      13 |   106751 |    43432 |    14632      4 |      704 |      452
65.78/65.82	c 65.6s |      13 |   107589 |    44132 |    14632      4 |      704 |      452
67.78/67.85	c 67.6s |      13 |   110430 |    45632 |    14632      4 |      704 |      452
69.78/69.86	c 69.6s |      13 |   112463 |    47032 |    14632      4 |      704 |      452
71.88/71.91	c 71.7s |      13 |   113759 |    48132 |    14632      4 |      704 |      452
73.98/74.08	c 73.8s |      13 |   114829 |    49032 |    14632      5 |      704 |      452
76.18/76.20	c 76.0s |      13 |   115871 |    49932 |    14632      5 |      704 |      452
78.28/78.35	c 78.1s |      13 |   117083 |    50932 |    14632      5 |      704 |      452
80.39/80.49	c 80.2s |      13 |   118111 |    51832 |    14632      5 |      704 |      452
82.59/82.66	c 82.4s |      13 |   119025 |    52632 |    14632      5 |      704 |      452
84.69/84.71	c 84.5s |      13 |   119924 |    53432 |    14632      5 |      704 |      452
86.68/86.73	c 86.5s |      13 |   120812 |    54232 |    14632      5 |      704 |      452
88.78/88.82	c 88.6s |      13 |   121731 |    55032 |    14632      5 |      704 |      452
90.88/90.90	c 90.6s |      13 |   122810 |    55932 |    14632      5 |      704 |      452
92.98/93.06	c 92.8s |      13 |   123730 |    56732 |    14632      5 |      704 |      452
95.08/95.12	c 94.9s |      13 |   124555 |    57432 |    14632      5 |      704 |      452
97.28/97.36	c 97.1s |      13 |   125361 |    58132 |    16096      5 |      704 |      452
98.08/98.15	c 97.9s |      14 |   125614 |    58352 |    16096      5 |      704 |      452
100.18/100.24	c 100.0s |      14 |   130591 |    60152 |    16096      6 |      704 |      452
102.28/102.32	c  102s |      14 |   134774 |    62452 |    16096      6 |      704 |      452
104.37/104.40	c  104s |      14 |   137323 |    64252 |    16096      6 |      704 |      452
106.47/106.58	c  106s |      14 |   139244 |    65752 |    16096      6 |      704 |      452
108.57/108.65	c  108s |      14 |   140688 |    66952 |    16096      6 |      704 |      452
110.57/110.66	c  110s |      14 |   141932 |    68052 |    16096      6 |      704 |      452
112.77/112.85	c  112s |      14 |   143067 |    68952 |    16096      7 |      704 |      452
114.77/114.89	c  114s |      14 |   144208 |    69852 |    16096      7 |      704 |      452
116.87/116.95	c  116s |      14 |   145282 |    70752 |    16096      7 |      704 |      452
119.07/119.15	c  118s |      14 |   146357 |    71652 |    16096      7 |      704 |      452
121.17/121.25	c  120s |      14 |   147471 |    72552 |    16096      7 |      704 |      452
123.27/123.32	c  123s |      14 |   148719 |    73552 |    16096      7 |      704 |      452
125.37/125.43	c  125s |      14 |   150039 |    74552 |    16096      7 |      704 |      452
127.47/127.53	c  127s |      14 |   151103 |    75452 |    16096      7 |      704 |      452
129.57/129.64	c  129s |      14 |   152166 |    76352 |    16096      7 |      704 |      452
131.77/131.83	c  131s |      14 |   153427 |    77352 |    16096      7 |      704 |      452
134.17/134.24	c  133s |      14 |   154811 |    78352 |    16096      8 |      704 |      452
136.26/136.38	c  136s |      14 |   156147 |    79452 |    16096      8 |      704 |      452
138.36/138.47	c  138s |      14 |   157179 |    80352 |    16096      8 |      704 |      452
140.46/140.51	c  140s |      14 |   158219 |    81252 |    16096      8 |      704 |      452
142.46/142.51	c  142s |      14 |   159280 |    82152 |    16096      8 |      704 |      452
144.56/144.61	c  144s |      14 |   160180 |    82952 |    16096      8 |      704 |      452
146.56/146.67	c  146s |      14 |   160991 |    83652 |    16096      8 |      704 |      452
148.66/148.76	c  148s |      14 |   161908 |    84452 |    16096      8 |      704 |      452
150.86/150.95	c  150s |      14 |   162865 |    85252 |    16096      8 |      704 |      452
152.97/153.02	c  152s |      14 |   163836 |    86052 |    16096      8 |      704 |      452
154.96/155.04	c  154s |      14 |   164793 |    86852 |    16096      8 |      704 |      452
157.06/157.17	c  156s |      14 |   165582 |    87552 |    17706      8 |      704 |      452
157.37/157.44	c  157s |      15 |   165675 |    87632 |    17706      8 |      704 |      452
159.47/159.52	c  159s |      15 |   169967 |    89032 |    17706      9 |      704 |      452
161.46/161.55	c  161s |      15 |   173699 |    91032 |    17706      9 |      704 |      452
163.56/163.61	c  163s |      15 |   180300 |    93132 |    17706      9 |      704 |      452
165.56/165.67	c  165s |      15 |   182447 |    94732 |    17706      9 |      704 |      452
167.66/167.71	c  167s |      15 |   184390 |    96232 |    17706      9 |      704 |      452
169.66/169.78	c  169s |      15 |   186661 |    97732 |    17706      9 |      704 |      452
171.76/171.80	c  171s |      15 |   189443 |    99232 |    17706     10 |      704 |      452
173.86/173.97	c  173s |      15 |   191315 |   100632 |    17706     10 |      704 |      452
175.96/176.09	c  175s |      15 |   193184 |   102032 |    17706     10 |      704 |      452
178.05/178.13	c  177s |      15 |   194504 |   103132 |    17706     10 |      704 |      452
180.06/180.19	c  179s |      15 |   195749 |   104132 |    17706     10 |      704 |      452
182.16/182.26	c  182s |      15 |   196923 |   105132 |    17706     10 |      704 |      452
184.16/184.29	c  184s |      15 |   198041 |   106032 |    17706     10 |      704 |      452
186.26/186.32	c  186s |      15 |   199107 |   106932 |    17706     10 |      704 |      452
188.35/188.48	c  188s |      15 |   200177 |   107832 |    17706     10 |      704 |      452
190.45/190.59	c  190s |      15 |   201082 |   108632 |    17706     10 |      704 |      452
192.65/192.70	c  192s |      15 |   201983 |   109432 |    17706     11 |      704 |      452
194.85/194.96	c  194s |      15 |   202975 |   110332 |    17706     11 |      704 |      452
196.96/197.08	c  196s |      15 |   204006 |   111232 |    17706     11 |      704 |      452
199.16/199.24	c  198s |      15 |   205020 |   112132 |    17706     11 |      704 |      452
201.26/201.35	c  201s |      15 |   205935 |   112932 |    17706     11 |      704 |      452
203.35/203.49	c  203s |      15 |   206695 |   113632 |    17706     11 |      704 |      452
205.45/205.53	c  205s |      15 |   207454 |   114332 |    17706     11 |      704 |      452
207.55/207.61	c  207s |      15 |   208276 |   115032 |    17706     11 |      704 |      452
209.55/209.62	c  209s |      15 |   212945 |   116532 |    17706     11 |      704 |      452
211.65/211.72	c  211s |      15 |   215159 |   117932 |    17706     11 |      704 |      452
213.75/213.85	c  213s |      15 |   216487 |   119032 |    17706     11 |      704 |      452
215.95/216.05	c  215s |      15 |   217675 |   120032 |    17706     12 |      704 |      452
217.94/218.06	c  217s |      15 |   218814 |   121032 |    17706     12 |      704 |      452
220.14/220.26	c  220s |      15 |   219787 |   121932 |    17706     12 |      704 |      452
222.25/222.33	c  222s |      15 |   221430 |   123132 |    17706     12 |      704 |      452
224.24/224.34	c  224s |      15 |   222800 |   124232 |    17706     12 |      704 |      452
226.44/226.55	c  226s |      15 |   224137 |   125232 |    17706     12 |      704 |      452
228.54/228.61	c  228s |      15 |   225186 |   126132 |    17706     12 |      704 |      452
230.64/230.78	c  230s |      15 |   226218 |   127032 |    17706     12 |      704 |      452
232.74/232.85	c  232s |      15 |   227358 |   127932 |    17706     12 |      704 |      452
234.94/235.07	c  234s |      15 |   228515 |   128832 |    17706     12 |      704 |      452
237.14/237.23	c  236s |      15 |   229325 |   129532 |    17706     13 |      704 |      452
239.14/239.28	c  239s |      15 |   230374 |   130432 |    17706     13 |      704 |      452
241.24/241.36	c  241s |      15 |   231634 |   131432 |    19477     13 |      704 |      452
241.54/241.67	c  241s |      16 |   231761 |   131552 |    19477     13 |      704 |      452
243.63/243.76	c  243s |      16 |   235149 |   133452 |    19477     13 |      704 |      452
245.63/245.78	c  245s |      16 |   236882 |   134952 |    19477     13 |      704 |      452
247.73/247.81	c  247s |      16 |   238560 |   136452 |    19477     13 |      704 |      452
249.74/249.88	c  249s |      16 |   240020 |   137752 |    19477     13 |      704 |      452
251.73/251.90	c  251s |      16 |   241456 |   138952 |    19477     13 |      704 |      452
253.93/254.06	c  253s |      16 |   242913 |   140252 |    19477     13 |      704 |      452
255.93/256.09	c  255s |      16 |   244151 |   141352 |    19477     13 |      704 |      452
258.03/258.17	c  257s |      16 |   245052 |   142152 |    19477     14 |      704 |      452
260.13/260.28	c  260s |      16 |   246152 |   143152 |    19477     14 |      704 |      452
262.33/262.43	c  262s |      16 |   247270 |   144152 |    19477     14 |      704 |      452
264.43/264.51	c  264s |      16 |   248306 |   145052 |    19477     14 |      704 |      452
266.43/266.57	c  266s |      16 |   249220 |   145852 |    19477     14 |      704 |      452
268.52/268.60	c  268s |      16 |   249965 |   146552 |    19477     14 |      704 |      452
270.63/270.71	c  270s |      16 |   250865 |   147352 |    19477     14 |      704 |      452
272.62/272.71	c  272s |      16 |   251619 |   148052 |    19477     14 |      704 |      452
274.82/274.96	c  274s |      16 |   252493 |   148852 |    19477     14 |      704 |      452
277.02/277.19	c  276s |      16 |   253239 |   149552 |    19477     14 |      704 |      452
279.32/279.48	c  279s |      16 |   253962 |   150252 |    19477     14 |      704 |      452
281.42/281.55	c  281s |      16 |   254613 |   150852 |    19477     14 |      704 |      452
283.52/283.68	c  283s |      16 |   255249 |   151452 |    19477     14 |      704 |      452
285.62/285.71	c  285s |      16 |   256011 |   152152 |    19477     14 |      704 |      452
288.12/288.25	c  288s |      16 |   256824 |   152852 |    19477     15 |      704 |      452
290.21/290.34	c  290s |      16 |   257694 |   153652 |    19477     15 |      704 |      452
292.41/292.59	c  292s |      16 |   258685 |   154552 |    19477     15 |      704 |      452
294.51/294.69	c  294s |      16 |   259544 |   155352 |    19477     15 |      704 |      452
296.71/296.81	c  296s |      16 |   260400 |   156152 |    19477     15 |      704 |      452
298.91/299.06	c  298s |      16 |   261295 |   156952 |    19477     15 |      704 |      452
301.11/301.24	c  300s |      16 |   262193 |   157752 |    19477     15 |      704 |      452
303.21/303.33	c  303s |      16 |   262940 |   158452 |    19477     15 |      704 |      452
305.41/305.50	c  305s |      16 |   263668 |   159152 |    19477     15 |      704 |      452
307.71/307.82	c  307s |      16 |   264398 |   159852 |    19477     15 |      704 |      452
310.01/310.17	c  309s |      16 |   265138 |   160552 |    19477     15 |      704 |      452
312.21/312.38	c  312s |      16 |   265877 |   161252 |    19477     15 |      704 |      452
314.41/314.60	c  314s |      16 |   266609 |   161952 |    19477     15 |      704 |      452
316.60/316.77	c  316s |      16 |   267233 |   162552 |    19477     15 |      704 |      452
318.70/318.89	c  318s |      16 |   267892 |   163152 |    19477     15 |      704 |      452
321.00/321.10	c  320s |      16 |   268516 |   163752 |    19477     15 |      704 |      452
323.00/323.13	c  322s |      16 |   269059 |   164252 |    19477     16 |      704 |      452
325.20/325.38	c  325s |      16 |   270023 |   165152 |    19477     16 |      704 |      452
327.30/327.42	c  327s |      16 |   270908 |   165952 |    19477     16 |      704 |      452
329.30/329.49	c  329s |      16 |   271660 |   166652 |    19477     16 |      704 |      452
331.50/331.69	c  331s |      16 |   272409 |   167352 |    19477     16 |      704 |      452
333.60/333.79	c  333s |      16 |   273159 |   168052 |    19477     16 |      704 |      452
335.90/336.03	c  335s |      16 |   273894 |   168752 |    19477     16 |      704 |      452
338.20/338.32	c  338s |      16 |   274625 |   169452 |    19477     16 |      704 |      452
340.30/340.40	c  340s |      16 |   275267 |   170052 |    19477     16 |      704 |      452
342.30/342.40	c  342s |      16 |   275917 |   170652 |    19477     16 |      704 |      452
344.50/344.60	c  344s |      16 |   276560 |   171252 |    19477     16 |      704 |      452
346.60/346.71	c  346s |      16 |   277206 |   171852 |    19477     16 |      704 |      452
348.79/348.92	c  348s |      16 |   277874 |   172452 |    19477     16 |      704 |      452
350.90/351.04	c  350s |      16 |   278653 |   173152 |    19477     16 |      704 |      452
353.10/353.27	c  353s |      16 |   279419 |   173852 |    19477     16 |      704 |      452
355.30/355.47	c  355s |      16 |   280186 |   174552 |    19477     16 |      704 |      452
357.69/357.86	c  357s |      16 |   280834 |   175152 |    19477     17 |      704 |      452
359.89/360.06	c  359s |      16 |   281832 |   176052 |    19477     17 |      704 |      452
362.09/362.27	c  362s |      16 |   282850 |   176952 |    19477     17 |      704 |      452
364.29/364.49	c  364s |      16 |   283839 |   177852 |    19477     17 |      704 |      452
366.49/366.66	c  366s |      16 |   284677 |   178652 |    19477     17 |      704 |      452
368.58/368.71	c  368s |      16 |   285461 |   179352 |    19477     17 |      704 |      452
370.69/370.81	c  370s |      16 |   286223 |   180052 |    19477     17 |      704 |      452
372.89/373.01	c  372s |      16 |   286989 |   180752 |    19477     17 |      704 |      452
374.88/375.10	c  374s |      16 |   287728 |   181452 |    19477     17 |      704 |      452
377.08/377.29	c  377s |      16 |   288484 |   182152 |    19477     17 |      704 |      452
379.18/379.33	c  379s |      16 |   289285 |   182852 |    19477     17 |      704 |      452
381.38/381.59	c  381s |      16 |   290041 |   183552 |    19477     17 |      704 |      452
383.58/383.73	c  383s |      16 |   290707 |   184152 |    19477     17 |      704 |      452
385.68/385.81	c  385s |      16 |   291373 |   184752 |    19477     17 |      704 |      452
387.88/388.07	c  387s |      16 |   292020 |   185352 |    19477     17 |      704 |      452
389.98/390.13	c  389s |      16 |   292670 |   185952 |    19477     17 |      704 |      452
392.08/392.28	c  392s |      16 |   293202 |   186452 |    19477     18 |      704 |      452
394.18/394.32	c  394s |      16 |   294115 |   187252 |    19477     18 |      704 |      452
396.27/396.45	c  396s |      16 |   294980 |   188052 |    19477     18 |      704 |      452
398.47/398.60	c  398s |      16 |   295722 |   188752 |    19477     18 |      704 |      452
400.77/400.94	c  400s |      16 |   296493 |   189452 |    19477     18 |      704 |      452
402.87/403.02	c  402s |      16 |   297133 |   190052 |    19477     18 |      704 |      452
404.97/405.13	c  404s |      16 |   297915 |   190752 |    19477     18 |      704 |      452
407.07/407.25	c  406s |      16 |   298673 |   191452 |    19477     18 |      704 |      452
409.17/409.36	c  409s |      16 |   299466 |   192152 |    19477     18 |      704 |      452
411.47/411.64	c  411s |      16 |   300119 |   192752 |    19477     18 |      704 |      452
413.47/413.67	c  413s |      16 |   300777 |   193352 |    19477     18 |      704 |      452
415.67/415.87	c  415s |      16 |   301436 |   193952 |    19477     18 |      704 |      452
417.87/418.05	c  417s |      16 |   302072 |   194552 |    19477     18 |      704 |      452
419.96/420.17	c  419s |      16 |   302740 |   195152 |    19477     18 |      704 |      452
422.37/422.57	c  422s |      16 |   303387 |   195752 |    19477     18 |      704 |      452
424.57/424.71	c  424s |      16 |   303924 |   196252 |    21425     18 |      704 |      452
426.86/427.05	c  426s |      16 |   304562 |   196852 |    21425     18 |      704 |      452
428.86/429.10	c  428s |      16 |   305113 |   197352 |    21425     18 |      704 |      452
429.26/429.47	c  429s |      17 |   305216 |   197432 |    21425     18 |      704 |      452
431.46/431.63	c  431s |      17 |   311139 |   198532 |    21425     19 |      704 |      452
433.56/433.71	c  433s |      17 |   312612 |   199732 |    21425     19 |      704 |      452
435.76/435.91	c  435s |      17 |   313800 |   200832 |    21425     19 |      704 |      452
437.86/438.05	c  437s |      17 |   314881 |   201832 |    21425     19 |      704 |      452
439.96/440.10	c  439s |      17 |   315749 |   202632 |    21425     19 |      704 |      452
442.06/442.29	c  442s |      17 |   316766 |   203532 |    21425     19 |      704 |      452
444.26/444.50	c  444s |      17 |   317890 |   204532 |    21425     19 |      704 |      452
446.36/446.55	c  446s |      17 |   318740 |   205332 |    21425     19 |      704 |      452
448.45/448.61	c  448s |      17 |   319602 |   206132 |    21425     19 |      704 |      452
450.45/450.69	c  450s |      17 |   320340 |   206832 |    21425     19 |      704 |      452
452.65/452.87	c  452s |      17 |   321102 |   207532 |    21425     19 |      704 |      452
454.85/455.01	c  454s |      17 |   321983 |   208332 |    21425     19 |      704 |      452
457.05/457.24	c  456s |      17 |   322744 |   209032 |    21425     19 |      704 |      452
459.05/459.27	c  459s |      17 |   323397 |   209632 |    21425     19 |      704 |      452
461.14/461.31	c  461s |      17 |   324163 |   210332 |    21425     19 |      704 |      452
463.34/463.55	c  463s |      17 |   324820 |   210932 |    21425     20 |      704 |      452
465.44/465.68	c  465s |      17 |   325728 |   211732 |    21425     20 |      704 |      452
467.64/467.85	c  467s |      17 |   327298 |   212932 |    21425     20 |      704 |      452
469.74/469.93	c  469s |      17 |   329810 |   214432 |    21425     20 |      704 |      452
471.75/471.99	c  471s |      17 |   331489 |   215732 |    21425     20 |      704 |      452
473.84/474.00	c  473s |      17 |   333292 |   216932 |    21425     20 |      704 |      452
475.84/476.06	c  475s |      17 |   334336 |   217832 |    21425     20 |      704 |      452
477.84/478.09	c  477s |      17 |   335882 |   218932 |    21425     20 |      704 |      452
480.04/480.25	c  479s |      17 |   341766 |   220832 |    21425     20 |      704 |      452
482.24/482.49	c  482s |      17 |   343251 |   222032 |    21425     20 |      704 |      452
484.44/484.66	c  484s |      17 |   344553 |   223032 |    21425     20 |      704 |      452
486.54/486.77	c  486s |      17 |   345580 |   223932 |    21425     21 |      704 |      452
488.64/488.86	c  488s |      17 |   346961 |   225032 |    21425     21 |      704 |      452
490.74/490.97	c  490s |      17 |   348207 |   226132 |    21425     21 |      704 |      452
492.94/493.19	c  492s |      17 |   349343 |   227132 |    21425     21 |      704 |      452
495.04/495.27	c  495s |      17 |   351964 |   228232 |    21425     21 |      704 |      452
497.23/497.46	c  497s |      17 |   353821 |   229532 |    21425     21 |      704 |      452
499.43/499.60	c  499s |      17 |   355153 |   230632 |    21425     21 |      704 |      452
501.54/501.78	c  501s |      17 |   356148 |   231532 |    21425     21 |      704 |      452
503.53/503.79	c  503s |      17 |   358480 |   232632 |    21425     21 |      704 |      452
505.63/505.81	c  505s |      17 |   363153 |   234232 |    21425     21 |      704 |      452
507.63/507.84	c  507s |      17 |   365852 |   235532 |    21425     22 |      704 |      452
509.73/509.90	c  509s |      17 |   367544 |   236732 |    21425     22 |      704 |      452
511.73/511.95	c  511s |      17 |   369199 |   237932 |    21425     22 |      704 |      452
513.83/514.03	c  513s |      17 |   370580 |   239032 |    21425     22 |      704 |      452
516.03/516.21	c  515s |      17 |   371826 |   240032 |    21425     22 |      704 |      452
518.13/518.33	c  518s |      17 |   373078 |   241032 |    21425     22 |      704 |      452
520.13/520.40	c  520s |      17 |   374030 |   241832 |    21425     22 |      704 |      452
522.22/522.45	c  522s |      17 |   374998 |   242632 |    21425     22 |      704 |      452
524.42/524.60	c  524s |      17 |   375961 |   243432 |    21425     22 |      704 |      452
526.62/526.83	c  526s |      17 |   377167 |   244332 |    21425     22 |      704 |      452
528.82/529.04	c  528s |      17 |   378545 |   245332 |    21425     22 |      704 |      452
531.02/531.20	c  530s |      17 |   379566 |   246132 |    21425     22 |      704 |      452
533.12/533.33	c  533s |      17 |   381286 |   247132 |    21425     22 |      704 |      452
535.32/535.57	c  535s |      17 |   382437 |   247932 |    21425     23 |      704 |      452
537.42/537.60	c  537s |      17 |   383623 |   248832 |    21425     23 |      704 |      452
539.42/539.60	c  539s |      17 |   384801 |   249732 |    21425     23 |      704 |      452
541.42/541.60	c  541s |      17 |   385882 |   250632 |    21425     23 |      704 |      452
543.52/543.73	c  543s |      17 |   386941 |   251532 |    21425     23 |      704 |      452
545.52/545.79	c  545s |      17 |   387931 |   252332 |    21425     23 |      704 |      452
547.51/547.79	c  547s |      17 |   388774 |   253032 |    21425     23 |      704 |      452
549.82/550.05	c  549s |      17 |   389732 |   253832 |    21425     23 |      704 |      452
552.13/552.37	c  552s |      17 |   390677 |   254632 |    21425     23 |      704 |      452
554.12/554.40	c  554s |      17 |   391337 |   255232 |    21425     23 |      704 |      452
556.22/556.45	c  556s |      17 |   392156 |   255932 |    21425     23 |      704 |      452
558.51/558.80	c  558s |      17 |   392927 |   256632 |    21425     23 |      704 |      452
560.82/561.03	c  560s |      17 |   393573 |   257232 |    21425     23 |      704 |      452
563.02/563.23	c  562s |      17 |   394248 |   257832 |    21425     23 |      704 |      452
565.11/565.37	c  565s |      17 |   394900 |   258432 |    21425     23 |      704 |      452
567.41/567.66	c  567s |      17 |   395739 |   259132 |    21425     23 |      704 |      452
569.61/569.89	c  569s |      17 |   396553 |   259832 |    21425     23 |      704 |      452
571.81/572.04	c  571s |      17 |   397147 |   260332 |    21425     24 |      704 |      452
574.01/574.22	c  573s |      17 |   398075 |   261132 |    21425     24 |      704 |      452
576.11/576.30	c  576s |      17 |   399000 |   261932 |    21425     24 |      704 |      452
578.10/578.37	c  578s |      17 |   399789 |   262632 |    21425     24 |      704 |      452
580.30/580.53	c  580s |      17 |   400572 |   263332 |    21425     24 |      704 |      452
582.40/582.68	c  582s |      17 |   401341 |   264032 |    21425     24 |      704 |      452
584.50/584.72	c  584s |      17 |   402114 |   264732 |    21425     24 |      704 |      452
586.50/586.79	c  586s |      17 |   402961 |   265432 |    21425     24 |      704 |      452
588.59/588.80	c  588s |      17 |   403814 |   266132 |    21425     24 |      704 |      452
590.79/591.01	c  590s |      17 |   404654 |   266832 |    21425     24 |      704 |      452
592.80/593.02	c  592s |      17 |   405202 |   267332 |    21425     24 |      704 |      452
595.09/595.35	c  595s |      17 |   405878 |   267932 |    21425     24 |      704 |      452
597.10/597.39	c  597s |      17 |   406441 |   268432 |    21425     24 |      704 |      452
599.30/599.54	c  599s |      17 |   406991 |   268932 |    21425     24 |      704 |      452
601.39/601.65	c  601s |      17 |   407548 |   269432 |    21425     24 |      704 |      452
603.49/603.75	c  603s |      17 |   408107 |   269932 |    21425     24 |      704 |      452
605.79/606.05	c  605s |      17 |   408647 |   270432 |    21425     24 |      704 |      452
608.19/608.45	c  608s |      17 |   409343 |   271032 |    21425     24 |      704 |      452
610.18/610.47	c  610s |      17 |   409901 |   271532 |    21425     24 |      704 |      452
612.28/612.57	c  612s |      17 |   410441 |   272032 |    21425     24 |      704 |      452
614.88/615.11	c  614s |      17 |   411012 |   272532 |    21425     25 |      704 |      452
616.89/617.19	c  616s |      17 |   411928 |   273332 |    21425     25 |      704 |      452
618.98/619.23	c  618s |      17 |   412763 |   274032 |    21425     25 |      704 |      452
621.18/621.43	c  621s |      17 |   413564 |   274732 |    21425     25 |      704 |      452
623.18/623.46	c  623s |      17 |   414241 |   275332 |    21425     25 |      704 |      452
625.28/625.54	c  625s |      17 |   414903 |   275932 |    21425     25 |      704 |      452
627.57/627.83	c  627s |      17 |   415553 |   276532 |    21425     25 |      704 |      452
629.87/630.17	c  629s |      17 |   416339 |   277232 |    21425     25 |      704 |      452
631.97/632.20	c  631s |      17 |   416881 |   277732 |    21425     25 |      704 |      452
634.17/634.43	c  634s |      17 |   417550 |   278332 |    21425     25 |      704 |      452
636.37/636.68	c  636s |      17 |   418223 |   278932 |    21425     25 |      704 |      452
638.36/638.69	c  638s |      17 |   418903 |   279532 |    21425     25 |      704 |      452
640.36/640.69	c  640s |      17 |   419461 |   280032 |    21425     25 |      704 |      452
642.66/642.92	c  642s |      17 |   420123 |   280632 |    21425     25 |      704 |      452
644.76/645.08	c  644s |      17 |   420814 |   281232 |    21425     25 |      704 |      452
646.96/647.29	c  647s |      17 |   421470 |   281832 |    21425     25 |      704 |      452
649.06/649.32	c  649s |      17 |   422135 |   282432 |    21425     25 |      704 |      452
651.06/651.39	c  651s |      17 |   422801 |   283032 |    21425     25 |      704 |      452
653.36/653.64	c  653s |      17 |   423464 |   283632 |    21425     25 |      704 |      452
655.76/656.02	c  655s |      17 |   424152 |   284232 |    21425     25 |      704 |      452
658.05/658.32	c  658s |      17 |   424688 |   284732 |    21425     25 |      704 |      452
660.25/660.51	c  660s |      17 |   425249 |   285232 |    21425     26 |      704 |      452
662.35/662.60	c  662s |      17 |   426019 |   285932 |    21425     26 |      704 |      452
664.45/664.78	c  664s |      17 |   426842 |   286632 |    21425     26 |      704 |      452
666.65/666.96	c  666s |      17 |   427644 |   287332 |    21425     26 |      704 |      452
668.94/669.21	c  668s |      17 |   428301 |   287932 |    21425     26 |      704 |      452
671.04/671.38	c  671s |      17 |   429078 |   288632 |    21425     26 |      704 |      452
673.34/673.60	c  673s |      17 |   429843 |   289332 |    21425     26 |      704 |      452
675.64/675.93	c  675s |      17 |   430617 |   290032 |    21425     26 |      704 |      452
677.74/678.06	c  677s |      17 |   431421 |   290732 |    21425     26 |      704 |      452
680.04/680.37	c  680s |      17 |   432188 |   291432 |    21425     26 |      704 |      452
682.24/682.56	c  682s |      17 |   433025 |   292132 |    21425     26 |      704 |      452
684.34/684.65	c  684s |      17 |   433831 |   292832 |    21425     26 |      704 |      452
686.33/686.65	c  686s |      17 |   434508 |   293432 |    21425     26 |      704 |      452
688.73/689.05	c  688s |      17 |   435318 |   294132 |    21425     26 |      704 |      452
690.93/691.27	c  691s |      17 |   436010 |   294732 |    23568     26 |      704 |      452
693.03/693.35	c  693s |      17 |   436682 |   295332 |    23568     26 |      704 |      452
695.33/695.66	c  695s |      17 |   437335 |   295932 |    23568     26 |      704 |      452
696.53/696.85	c  696s |      18 |   437682 |   296252 |    23568     26 |      704 |      452
698.62/698.95	c  698s |      18 |   443516 |   297752 |    23568     26 |      704 |      452
700.72/701.00	c  700s |      18 |   444737 |   298752 |    23568     26 |      704 |      452
702.73/703.05	c  702s |      18 |   447799 |   299752 |    23568     27 |      704 |      452
704.72/705.09	c  704s |      18 |   450759 |   301452 |    23568     27 |      704 |      452
706.92/707.30	c  707s |      18 |   452155 |   302652 |    23568     27 |      704 |      452
709.02/709.39	c  709s |      18 |   453045 |   303452 |    23568     27 |      704 |      452
711.32/711.63	c  711s |      18 |   453930 |   304252 |    23568     27 |      704 |      452
713.51/713.80	c  713s |      18 |   454703 |   304952 |    23568     27 |      704 |      452
715.61/715.95	c  715s |      18 |   455649 |   305752 |    23568     27 |      704 |      452
717.71/718.03	c  717s |      18 |   456800 |   306752 |    23568     27 |      704 |      452
719.81/720.13	c  719s |      18 |   457954 |   307752 |    23568     27 |      704 |      452
721.91/722.28	c  722s |      18 |   459038 |   308652 |    23568     27 |      704 |      452
724.21/724.56	c  724s |      18 |   460006 |   309452 |    23568     27 |      704 |      452
726.31/726.63	c  726s |      18 |   460789 |   310152 |    23568     27 |      704 |      452
728.50/728.80	c  728s |      18 |   461751 |   310952 |    23568     27 |      704 |      452
730.60/730.95	c  730s |      18 |   462564 |   311652 |    23568     27 |      704 |      452
733.20/733.59	c  733s |      18 |   463443 |   312452 |    23568     28 |      704 |      452
735.41/735.78	c  735s |      18 |   464108 |   313052 |    23568     28 |      704 |      452
737.61/737.96	c  737s |      18 |   464936 |   313752 |    23568     28 |      704 |      452
739.71/740.03	c  739s |      18 |   465889 |   314552 |    23568     28 |      704 |      452
741.91/742.24	c  741s |      18 |   466981 |   315452 |    23568     28 |      704 |      452
744.00/744.33	c  744s |      18 |   467897 |   316252 |    23568     28 |      704 |      452
746.10/746.48	c  746s |      18 |   468806 |   317052 |    23568     28 |      704 |      452
748.30/748.65	c  748s |      18 |   469603 |   317752 |    23568     28 |      704 |      452
750.30/750.68	c  750s |      18 |   470408 |   318452 |    23568     28 |      704 |      452
752.50/752.82	c  752s |      18 |   476785 |   319852 |    23568     28 |      704 |      452
754.70/755.02	c  754s |      18 |   478429 |   321152 |    23568     28 |      704 |      452
756.80/757.17	c  756s |      18 |   479882 |   322252 |    23568     28 |      704 |      452
758.89/759.23	c  758s |      18 |   481442 |   323452 |    23568     28 |      704 |      452
761.00/761.34	c  761s |      18 |   482518 |   324352 |    23568     28 |      704 |      452
763.20/763.53	c  763s |      18 |   483931 |   325452 |    23568     28 |      704 |      452
765.30/765.60	c  765s |      18 |   484846 |   326152 |    23568     29 |      704 |      452
767.29/767.68	c  767s |      18 |   486287 |   327252 |    23568     29 |      704 |      452
769.39/769.71	c  769s |      18 |   487335 |   328152 |    23568     29 |      704 |      452
771.39/771.78	c  771s |      18 |   488455 |   329052 |    23568     29 |      704 |      452
773.49/773.80	c  773s |      18 |   489393 |   329852 |    23568     29 |      704 |      452
775.59/775.99	c  775s |      18 |   490417 |   330752 |    23568     29 |      704 |      452
777.68/778.04	c  777s |      18 |   491251 |   331452 |    23568     29 |      704 |      452
779.88/780.20	c  779s |      18 |   492040 |   332152 |    23568     29 |      704 |      452
781.89/782.21	c  781s |      18 |   492822 |   332852 |    23568     29 |      704 |      452
783.88/784.22	c  783s |      18 |   493634 |   333552 |    23568     29 |      704 |      452
785.98/786.34	c  786s |      18 |   494405 |   334252 |    23568     29 |      704 |      452
788.17/788.55	c  788s |      18 |   495174 |   334952 |    23568     29 |      704 |      452
790.37/790.71	c  790s |      18 |   495963 |   335652 |    23568     29 |      704 |      452
792.57/792.94	c  792s |      18 |   496754 |   336352 |    23568     29 |      704 |      452
794.87/795.22	c  794s |      18 |   497536 |   337052 |    23568     29 |      704 |      452
796.87/797.27	c  797s |      18 |   498196 |   337652 |    23568     29 |      704 |      452
799.17/799.58	c  799s |      18 |   498844 |   338252 |    23568     29 |      704 |      452
801.17/801.59	c  801s |      18 |   499414 |   338752 |    23568     29 |      704 |      452
803.47/803.82	c  803s |      18 |   500103 |   339352 |    23568     29 |      704 |      452
805.67/806.02	c  805s |      18 |   500645 |   339852 |    23568     30 |      704 |      452
807.76/808.15	c  807s |      18 |   501305 |   340452 |    23568     30 |      704 |      452
809.96/810.37	c  810s |      18 |   502036 |   341152 |    23568     30 |      704 |      452
812.06/812.50	c  812s |      18 |   502685 |   341752 |    23568     30 |      704 |      452
814.26/814.67	c  814s |      18 |   503509 |   342452 |    23568     30 |      704 |      452
816.36/816.72	c  816s |      18 |   504271 |   343152 |    23568     30 |      704 |      452
818.36/818.73	c  818s |      18 |   505071 |   343852 |    23568     30 |      704 |      452
820.37/820.77	c  820s |      18 |   505852 |   344552 |    23568     30 |      704 |      452
822.66/823.05	c  822s |      18 |   506775 |   345352 |    23568     30 |      704 |      452
824.86/825.28	c  825s |      18 |   507568 |   346052 |    23568     30 |      704 |      452
827.06/827.48	c  827s |      18 |   508347 |   346752 |    23568     30 |      704 |      452
829.26/829.61	c  829s |      18 |   508994 |   347352 |    23568     30 |      704 |      452
831.45/831.84	c  831s |      18 |   509668 |   347952 |    23568     30 |      704 |      452
833.65/834.04	c  833s |      18 |   510344 |   348552 |    23568     30 |      704 |      452
835.85/836.20	c  835s |      18 |   511156 |   349252 |    23568     30 |      704 |      452
838.15/838.55	c  838s |      18 |   511811 |   349852 |    23568     30 |      704 |      452
840.35/840.74	c  840s |      18 |   512485 |   350452 |    23568     30 |      704 |      452
842.65/843.08	c  842s |      18 |   513151 |   351052 |    23568     30 |      704 |      452
844.95/845.34	c  845s |      18 |   513839 |   351652 |    23568     30 |      704 |      452
847.05/847.42	c  847s |      18 |   514392 |   352152 |    23568     30 |      704 |      452
849.35/849.76	c  849s |      18 |   515056 |   352752 |    23568     30 |      704 |      452
851.65/852.01	c  851s |      18 |   515617 |   353252 |    23568     31 |      704 |      452
853.85/854.28	c  854s |      18 |   516380 |   353952 |    23568     31 |      704 |      452
856.15/856.58	c  856s |      18 |   517314 |   354752 |    23568     31 |      704 |      452
858.25/858.69	c  858s |      18 |   518138 |   355452 |    23568     31 |      704 |      452
860.45/860.85	c  860s |      18 |   518788 |   356052 |    23568     31 |      704 |      452
862.85/863.21	c  862s |      18 |   519567 |   356752 |    23568     31 |      704 |      452
865.16/865.55	c  865s |      18 |   520355 |   357452 |    23568     31 |      704 |      452
867.46/867.85	c  867s |      18 |   521156 |   358152 |    23568     31 |      704 |      452
869.56/869.95	c  869s |      18 |   521809 |   358752 |    23568     31 |      704 |      452
871.76/872.12	c  871s |      18 |   522483 |   359352 |    23568     31 |      704 |      452
873.86/874.25	c  874s |      18 |   523150 |   359952 |    23568     31 |      704 |      452
875.86/876.26	c  876s |      18 |   523815 |   360552 |    23568     31 |      704 |      452
878.06/878.44	c  878s |      18 |   524565 |   361152 |    23568     31 |      704 |      452
880.06/880.47	c  880s |      18 |   525106 |   361652 |    23568     31 |      704 |      452
882.16/882.50	c  882s |      18 |   525780 |   362252 |    23568     31 |      704 |      452
884.46/884.82	c  884s |      18 |   526565 |   362952 |    23568     31 |      704 |      452
886.76/887.16	c  886s |      18 |   527334 |   363652 |    23568     31 |      704 |      452
889.15/889.53	c  889s |      18 |   528134 |   364352 |    23568     31 |      704 |      452
891.25/891.68	c  891s |      18 |   528812 |   364952 |    23568     31 |      704 |      452
893.45/893.83	c  893s |      18 |   529497 |   365552 |    23568     31 |      704 |      452
895.65/896.02	c  895s |      18 |   530175 |   366152 |    23568     31 |      704 |      452
897.75/898.10	c  897s |      18 |   530745 |   366652 |    23568     32 |      704 |      452
899.95/900.36	c  900s |      18 |   531636 |   367452 |    23568     32 |      704 |      452
902.05/902.42	c  902s |      18 |   532421 |   368152 |    23568     32 |      704 |      452
904.35/904.73	c  904s |      18 |   533072 |   368752 |    23568     32 |      704 |      452
906.35/906.79	c  906s |      18 |   533740 |   369352 |    23568     32 |      704 |      452
908.45/908.81	c  908s |      18 |   534379 |   369952 |    23568     32 |      704 |      452
910.56/910.94	c  910s |      18 |   535039 |   370552 |    23568     32 |      704 |      452
912.76/913.15	c  912s |      18 |   535691 |   371152 |    23568     32 |      704 |      452
914.86/915.21	c  914s |      18 |   536376 |   371752 |    23568     32 |      704 |      452
917.16/917.52	c  917s |      18 |   537041 |   372352 |    23568     32 |      704 |      452
919.15/919.57	c  919s |      18 |   537578 |   372852 |    23568     32 |      704 |      452
921.35/921.74	c  921s |      18 |   538225 |   373452 |    23568     32 |      704 |      452
923.55/924.00	c  923s |      18 |   538866 |   374052 |    23568     32 |      704 |      452
925.65/926.07	c  925s |      18 |   539412 |   374552 |    23568     32 |      704 |      452
927.95/928.34	c  928s |      18 |   540086 |   375152 |    23568     32 |      704 |      452
930.25/930.68	c  930s |      18 |   540742 |   375752 |    23568     32 |      704 |      452
932.55/932.94	c  932s |      18 |   541450 |   376352 |    23568     32 |      704 |      452
934.75/935.16	c  934s |      18 |   541967 |   376852 |    23568     32 |      704 |      452
936.95/937.33	c  937s |      18 |   542666 |   377452 |    23568     32 |      704 |      452
939.15/939.52	c  939s |      18 |   543359 |   378052 |    23568     32 |      704 |      452
941.25/941.69	c  941s |      18 |   544047 |   378652 |    23568     32 |      704 |      452
943.34/943.70	c  943s |      18 |   544589 |   379152 |    23568     32 |      704 |      452
946.14/946.50	c  946s |      18 |   545271 |   379752 |    23568     33 |      704 |      452
948.34/948.71	c  948s |      18 |   545929 |   380352 |    23568     33 |      704 |      452
950.34/950.74	c  950s |      18 |   546591 |   380952 |    23568     33 |      704 |      452
952.44/952.81	c  952s |      18 |   547264 |   381552 |    23568     33 |      704 |      452
954.55/954.95	c  954s |      18 |   547947 |   382152 |    23568     33 |      704 |      452
956.75/957.16	c  956s |      18 |   548733 |   382852 |    23568     33 |      704 |      452
958.85/959.30	c  959s |      18 |   549391 |   383452 |    23568     33 |      704 |      452
960.94/961.36	c  961s |      18 |   550405 |   384252 |    23568     33 |      704 |      452
963.14/963.53	c  963s |      18 |   551475 |   385152 |    23568     33 |      704 |      452
965.34/965.76	c  965s |      18 |   552519 |   386052 |    23568     33 |      704 |      452
967.65/968.05	c  967s |      18 |   553449 |   386852 |    23568     33 |      704 |      452
969.74/970.14	c  969s |      18 |   554309 |   387552 |    23568     33 |      704 |      452
971.84/972.23	c  971s |      18 |   555075 |   388252 |    23568     33 |      704 |      452
973.94/974.30	c  974s |      18 |   555735 |   388852 |    23568     33 |      704 |      452
975.94/976.36	c  976s |      18 |   556408 |   389452 |    23568     33 |      704 |      452
978.24/978.68	c  978s |      18 |   557176 |   390152 |    23568     33 |      704 |      452
980.24/980.68	c  980s |      18 |   557871 |   390752 |    23568     33 |      704 |      452
982.54/982.90	c  982s |      18 |   558530 |   391352 |    23568     33 |      704 |      452
984.84/985.21	c  984s |      18 |   559362 |   392052 |    23568     33 |      704 |      452
986.94/987.32	c  987s |      18 |   560044 |   392652 |    23568     33 |      704 |      452
988.94/989.39	c  989s |      18 |   560629 |   393152 |    23568     34 |      704 |      452
991.24/991.62	c  991s |      18 |   561647 |   394052 |    23568     34 |      704 |      452
993.24/993.63	c  993s |      18 |   562449 |   394752 |    23568     34 |      704 |      452
995.43/995.81	c  995s |      18 |   563353 |   395552 |    23568     34 |      704 |      452
997.63/998.07	c  997s |      18 |   564265 |   396352 |    23568     34 |      704 |      452
999.83/1000.26	c 1000s |      18 |   565014 |   397052 |    23568     34 |      704 |      452
1002.03/1002.47	c 1002s |      18 |   565796 |   397752 |    23568     34 |      704 |      452
1004.23/1004.69	c 1004s |      18 |   566583 |   398452 |    23568     34 |      704 |      452
1006.43/1006.81	c 1006s |      18 |   567240 |   399052 |    23568     34 |      704 |      452
1008.44/1008.83	c 1008s |      18 |   569074 |   400152 |    23568     34 |      704 |      452
1010.54/1010.95	c 1010s |      18 |   570559 |   401252 |    23568     34 |      704 |      452
1012.74/1013.19	c 1012s |      18 |   571831 |   402252 |    23568     34 |      704 |      452
1014.83/1015.23	c 1014s |      18 |   572966 |   403152 |    23568     34 |      704 |      452
1016.93/1017.31	c 1017s |      18 |   573871 |   403952 |    23568     34 |      704 |      452
1018.93/1019.33	c 1019s |      18 |   574876 |   404752 |    23568     34 |      704 |      452
1021.03/1021.44	c 1021s |      18 |   575846 |   405552 |    23568     34 |      704 |      452
1023.13/1023.52	c 1023s |      18 |   576646 |   406252 |    23568     34 |      704 |      452
1025.13/1025.57	c 1025s |      18 |   577219 |   406752 |    23568     35 |      704 |      452
1027.23/1027.66	c 1027s |      18 |   578303 |   407652 |    23568     35 |      704 |      452
1029.43/1029.82	c 1029s |      18 |   579366 |   408552 |    23568     35 |      704 |      452
1031.43/1031.86	c 1031s |      18 |   580351 |   409352 |    23568     35 |      704 |      452
1033.73/1034.13	c 1033s |      18 |   581251 |   410152 |    23568     35 |      704 |      452
1035.83/1036.26	c 1036s |      18 |   582028 |   410852 |    23568     35 |      704 |      452
1037.93/1038.33	c 1038s |      18 |   582790 |   411552 |    23568     35 |      704 |      452
1040.03/1040.43	c 1040s |      18 |   583590 |   412252 |    23568     35 |      704 |      452
1042.23/1042.63	c 1042s |      18 |   584585 |   413052 |    23568     35 |      704 |      452
1044.33/1044.74	c 1044s |      18 |   585798 |   413952 |    23568     35 |      704 |      452
1046.42/1046.85	c 1046s |      18 |   586780 |   414752 |    23568     35 |      704 |      452
1048.52/1048.92	c 1048s |      18 |   587713 |   415552 |    23568     35 |      704 |      452
1050.52/1050.97	c 1050s |      18 |   588514 |   416252 |    23568     35 |      704 |      452
1052.72/1053.14	c 1052s |      18 |   589491 |   417052 |    23568     35 |      704 |      452
1054.82/1055.23	c 1054s |      18 |   590457 |   417852 |    23568     35 |      704 |      452
1057.02/1057.44	c 1057s |      18 |   591415 |   418652 |    23568     35 |      704 |      452
1059.03/1059.49	c 1059s |      18 |   592210 |   419352 |    23568     35 |      704 |      452
1061.32/1061.76	c 1061s |      18 |   592973 |   419952 |    23568     36 |      704 |      452
1063.33/1063.79	c 1063s |      18 |   594035 |   420852 |    23568     36 |      704 |      452
1065.53/1065.92	c 1065s |      18 |   595207 |   421852 |    23568     36 |      704 |      452
1067.73/1068.11	c 1067s |      18 |   596271 |   422752 |    23568     36 |      704 |      452
1069.72/1070.13	c 1069s |      18 |   597220 |   423552 |    23568     36 |      704 |      452
1071.82/1072.20	c 1071s |      18 |   598022 |   424252 |    23568     36 |      704 |      452
1074.02/1074.42	c 1074s |      18 |   598901 |   425052 |    23568     36 |      704 |      452
1076.02/1076.46	c 1076s |      18 |   599677 |   425752 |    23568     36 |      704 |      452
1078.22/1078.61	c 1078s |      18 |   600466 |   426452 |    23568     36 |      704 |      452
1080.22/1080.61	c 1080s |      18 |   601264 |   427152 |    23568     36 |      704 |      452
1082.22/1082.62	c 1082s |      18 |   601932 |   427752 |    23568     36 |      704 |      452
1084.42/1084.83	c 1084s |      18 |   602694 |   428452 |    23568     36 |      704 |      452
1086.52/1086.91	c 1086s |      18 |   603383 |   429052 |    23568     36 |      704 |      452
1088.82/1089.23	c 1088s |      18 |   604153 |   429752 |    23568     36 |      704 |      452
1090.92/1091.35	c 1091s |      18 |   604844 |   430352 |    23568     36 |      704 |      452
1092.92/1093.38	c 1093s |      18 |   605380 |   430852 |    23568     36 |      704 |      452
1095.32/1095.72	c 1095s |      18 |   606051 |   431452 |    23568     36 |      704 |      452
1097.32/1097.73	c 1097s |      18 |   606590 |   431952 |    23568     36 |      704 |      452
1099.51/1099.94	c 1099s |      18 |   607246 |   432552 |    23568     36 |      704 |      452
1101.71/1102.18	c 1101s |      18 |   607915 |   433152 |    23568     36 |      704 |      452
1103.91/1104.33	c 1104s |      18 |   608496 |   433652 |    23568     37 |      704 |      452
1106.11/1106.52	c 1106s |      18 |   609512 |   434552 |    23568     37 |      704 |      452
1108.11/1108.53	c 1108s |      18 |   610408 |   435352 |    23568     37 |      704 |      452
1110.21/1110.68	c 1110s |      18 |   611306 |   436152 |    23568     37 |      704 |      452
1112.51/1112.94	c 1112s |      18 |   612269 |   436952 |    23568     37 |      704 |      452
1114.51/1114.97	c 1114s |      18 |   613076 |   437652 |    23568     37 |      704 |      452
1116.71/1117.11	c 1116s |      18 |   614025 |   438452 |    23568     37 |      704 |      452
1118.82/1119.27	c 1119s |      18 |   614830 |   439152 |    23568     37 |      704 |      452
1120.92/1121.37	c 1121s |      18 |   615513 |   439752 |    23568     37 |      704 |      452
1123.42/1123.80	c 1123s |      18 |   616159 |   440352 |    23568     37 |      704 |      452
1125.62/1126.04	c 1125s |      18 |   616823 |   440952 |    23568     37 |      704 |      452
1127.92/1128.33	c 1128s |      18 |   617585 |   441652 |    25925     37 |      704 |      452
1130.12/1130.58	c 1130s |      18 |   618274 |   442252 |    25925     37 |      704 |      452
1132.42/1132.89	c 1132s |      18 |   619034 |   442952 |    25925     37 |      704 |      452
1134.52/1134.94	c 1134s |      18 |   619685 |   443552 |    25925     37 |      704 |      452
1136.52/1136.98	c 1136s |      18 |   620333 |   444152 |    25925     37 |      704 |      452
1137.62/1138.08	c 1137s |      19 |   620686 |   444482 |    25925     37 |      704 |      452
1139.72/1140.16	c 1139s |      19 |   628645 |   446482 |    25925     37 |      704 |      452
1141.72/1142.18	c 1141s |      19 |   634422 |   448182 |    25925     38 |      704 |      452
1143.82/1144.21	c 1143s |      19 |   636514 |   449782 |    25925     38 |      704 |      452
1145.82/1146.29	c 1146s |      19 |   643089 |   451782 |    25925     38 |      704 |      452
1147.91/1148.34	c 1148s |      19 |   646607 |   453482 |    25925     38 |      704 |      452
1149.91/1150.37	c 1150s |      19 |   648995 |   454982 |    25925     38 |      704 |      452
1152.01/1152.49	c 1152s |      19 |   650209 |   455982 |    25925     38 |      704 |      452
1154.21/1154.62	c 1154s |      19 |   652083 |   457182 |    25925     38 |      704 |      452
1156.31/1156.79	c 1156s |      19 |   653710 |   458282 |    25925     38 |      704 |      452
1158.51/1158.95	c 1158s |      19 |   654868 |   459182 |    25925     38 |      704 |      452
1160.51/1160.96	c 1160s |      19 |   656445 |   460282 |    25925     38 |      704 |      452
1162.61/1163.08	c 1162s |      19 |   657318 |   460982 |    25925     38 |      704 |      452
1164.71/1165.19	c 1164s |      19 |   658563 |   461982 |    25925     38 |      704 |      452
1166.91/1167.38	c 1167s |      19 |   659864 |   462982 |    25925     38 |      704 |      452
1169.11/1169.52	c 1169s |      19 |   660826 |   463782 |    25925     39 |      704 |      452
1171.12/1171.56	c 1171s |      19 |   661897 |   464682 |    25925     39 |      704 |      452
1173.42/1173.81	c 1173s |      19 |   662936 |   465582 |    25925     39 |      704 |      452
1175.41/1175.89	c 1175s |      19 |   663986 |   466382 |    25925     39 |      704 |      452
1177.61/1178.00	c 1177s |      19 |   664850 |   467082 |    25925     39 |      704 |      452
1179.81/1180.28	c 1180s |      19 |   665628 |   467782 |    25925     39 |      704 |      452
1182.12/1182.52	c 1182s |      19 |   666440 |   468482 |    25925     39 |      704 |      452
1184.41/1184.88	c 1184s |      19 |   667100 |   469082 |    25925     39 |      704 |      452
1186.71/1187.17	c 1186s |      19 |   667826 |   469682 |    25925     39 |      704 |      452
1189.01/1189.46	c 1189s |      19 |   668543 |   470282 |    25925     39 |      704 |      452
1191.21/1191.68	c 1191s |      19 |   669123 |   470782 |    25925     39 |      704 |      452
1193.31/1193.70	c 1193s |      19 |   669812 |   471382 |    25925     39 |      704 |      452
1195.31/1195.73	c 1195s |      19 |   670363 |   471882 |    25925     39 |      704 |      452
1197.61/1198.03	c 1197s |      19 |   670910 |   472382 |    25925     39 |      704 |      452
1199.71/1200.13	c 1199s |      19 |   671454 |   472882 |    25925     39 |      704 |      452
1201.80/1202.30	c 1202s |      19 |   672184 |   473482 |    25925     39 |      704 |      452
1203.90/1204.33	c 1204s |      19 |   673008 |   474182 |    25925     39 |      704 |      452
1206.00/1206.42	c 1206s |      19 |   673688 |   474782 |    25925     39 |      704 |      452
1208.10/1208.55	c 1208s |      19 |   674369 |   475382 |    25925     39 |      704 |      452
1210.40/1210.80	c 1210s |      19 |   675156 |   476082 |    25925     39 |      704 |      452
1212.60/1213.03	c 1212s |      19 |   675943 |   476782 |    25925     39 |      704 |      452
1214.60/1215.05	c 1214s |      19 |   676643 |   477382 |    25925     39 |      704 |      452
1216.70/1217.10	c 1216s |      19 |   677210 |   477882 |    25925     40 |      704 |      452
1218.80/1219.24	c 1218s |      19 |   678149 |   478682 |    25925     40 |      704 |      452
1221.00/1221.40	c 1221s |      19 |   678957 |   479382 |    25925     40 |      704 |      452
1223.20/1223.63	c 1223s |      19 |   679868 |   480182 |    25925     40 |      704 |      452
1225.20/1225.69	c 1225s |      19 |   680646 |   480882 |    25925     40 |      704 |      452
1227.50/1227.91	c 1227s |      19 |   681442 |   481582 |    25925     40 |      704 |      452
1229.79/1230.21	c 1229s |      19 |   682230 |   482282 |    25925     40 |      704 |      452
1231.80/1232.23	c 1231s |      19 |   682912 |   482882 |    25925     40 |      704 |      452
1234.10/1234.54	c 1234s |      19 |   683706 |   483582 |    25925     40 |      704 |      452
1236.30/1236.79	c 1236s |      19 |   684370 |   484182 |    25925     40 |      704 |      452
1238.60/1239.03	c 1238s |      19 |   685029 |   484782 |    25925     40 |      704 |      452
1241.00/1241.42	c 1241s |      19 |   685705 |   485382 |    25925     40 |      704 |      452
1243.30/1243.71	c 1243s |      19 |   686344 |   485982 |    25925     40 |      704 |      452
1245.40/1245.83	c 1245s |      19 |   686884 |   486482 |    25925     40 |      704 |      452
1247.70/1248.13	c 1247s |      19 |   687548 |   487082 |    25925     40 |      704 |      452
1250.10/1250.51	c 1250s |      19 |   688211 |   487682 |    25925     40 |      704 |      452
1252.10/1252.55	c 1252s |      19 |   688766 |   488182 |    25925     40 |      704 |      452
1254.10/1254.58	c 1254s |      19 |   689331 |   488682 |    25925     40 |      704 |      452
1256.20/1256.62	c 1256s |      19 |   689880 |   489182 |    25925     40 |      704 |      452
1258.30/1258.74	c 1258s |      19 |   690437 |   489682 |    25925     40 |      704 |      452
1260.70/1261.18	c 1260s |      19 |   691101 |   490282 |    25925     40 |      704 |      452
1262.90/1263.31	c 1263s |      19 |   691654 |   490782 |    25925     40 |      704 |      452
1265.10/1265.51	c 1265s |      19 |   692206 |   491282 |    25925     40 |      704 |      452
1267.10/1267.53	c 1267s |      19 |   692796 |   491782 |    25925     40 |      704 |      452
1269.50/1269.90	c 1269s |      19 |   693375 |   492282 |    25925     40 |      704 |      452
1271.59/1272.03	c 1271s |      19 |   693836 |   492682 |    25925     41 |      704 |      452
1273.79/1274.24	c 1273s |      19 |   694686 |   493382 |    25925     41 |      704 |      452
1275.99/1276.40	c 1276s |      19 |   695369 |   493982 |    25925     41 |      704 |      452
1278.09/1278.57	c 1278s |      19 |   696021 |   494582 |    25925     41 |      704 |      452
1280.49/1280.96	c 1280s |      19 |   696715 |   495182 |    25925     41 |      704 |      452
1282.69/1283.13	c 1282s |      19 |   697354 |   495782 |    25925     41 |      704 |      452
1284.99/1285.43	c 1285s |      19 |   698009 |   496382 |    25925     41 |      704 |      452
1287.29/1287.76	c 1287s |      19 |   698687 |   496982 |    25925     41 |      704 |      452
1289.39/1289.84	c 1289s |      19 |   699215 |   497482 |    25925     41 |      704 |      452
1291.69/1292.15	c 1291s |      19 |   699875 |   498082 |    25925     41 |      704 |      452
1293.89/1294.37	c 1294s |      19 |   700541 |   498682 |    25925     41 |      704 |      452
1296.09/1296.57	c 1296s |      19 |   701228 |   499282 |    25925     41 |      704 |      452
1298.19/1298.69	c 1298s |      19 |   701922 |   499882 |    25925     41 |      704 |      452
1300.49/1300.97	c 1300s |      19 |   702773 |   500582 |    25925     41 |      704 |      452
1302.59/1303.06	c 1302s |      19 |   703454 |   501182 |    25925     41 |      704 |      452
1304.79/1305.27	c 1305s |      19 |   704268 |   501882 |    25925     41 |      704 |      452
1306.89/1307.38	c 1307s |      19 |   705076 |   502582 |    25925     41 |      704 |      452
1309.09/1309.58	c 1309s |      19 |   705748 |   503182 |    25925     41 |      704 |      452
1311.39/1311.88	c 1311s |      19 |   706416 |   503782 |    25925     41 |      704 |      452
1313.59/1314.09	c 1313s |      19 |   707080 |   504382 |    25925     41 |      704 |      452
1315.99/1316.40	c 1316s |      19 |   707661 |   504882 |    25925     41 |      704 |      452
1318.18/1318.67	c 1318s |      19 |   708235 |   505382 |    25925     41 |      704 |      452
1320.38/1320.87	c 1320s |      19 |   708899 |   505982 |    25925     41 |      704 |      452
1322.78/1323.24	c 1322s |      19 |   709544 |   506582 |    25925     41 |      704 |      452
1324.78/1325.27	c 1325s |      19 |   709858 |   506882 |    25925     42 |      704 |      452
1327.08/1327.53	c 1327s |      19 |   710491 |   507482 |    25925     42 |      704 |      452
1329.38/1329.81	c 1329s |      19 |   711146 |   508082 |    25925     42 |      704 |      452
1331.58/1332.09	c 1331s |      19 |   712118 |   508882 |    25925     42 |      704 |      452
1333.89/1334.34	c 1334s |      19 |   712954 |   509582 |    25925     42 |      704 |      452
1335.98/1336.48	c 1336s |      19 |   713630 |   510182 |    25925     42 |      704 |      452
1338.08/1338.59	c 1338s |      19 |   714326 |   510782 |    25925     42 |      704 |      452
1340.38/1340.87	c 1340s |      19 |   714988 |   511382 |    25925     42 |      704 |      452
1342.69/1343.19	c 1342s |      19 |   715644 |   511982 |    25925     42 |      704 |      452
1344.89/1345.33	c 1345s |      19 |   716334 |   512582 |    25925     42 |      704 |      452
1347.19/1347.61	c 1347s |      19 |   716981 |   513182 |    25925     42 |      704 |      452
1349.58/1350.04	c 1349s |      19 |   717637 |   513782 |    25925     42 |      704 |      452
1351.98/1352.40	c 1352s |      19 |   718304 |   514382 |    25925     42 |      704 |      452
1354.28/1354.71	c 1354s |      19 |   718956 |   514982 |    25925     42 |      704 |      452
1356.68/1357.16	c 1356s |      19 |   719636 |   515582 |    25925     42 |      704 |      452
1358.98/1359.49	c 1359s |      19 |   720178 |   516082 |    25925     42 |      704 |      452
1361.28/1361.76	c 1361s |      19 |   720716 |   516582 |    25925     42 |      704 |      452
1363.37/1363.85	c 1363s |      19 |   721278 |   517082 |    25925     42 |      704 |      452
1365.47/1365.96	c 1365s |      19 |   721819 |   517582 |    25925     42 |      704 |      452
1367.77/1368.29	c 1368s |      19 |   722376 |   518082 |    25925     42 |      704 |      452
1370.18/1370.66	c 1370s |      19 |   722927 |   518582 |    25925     42 |      704 |      452
1372.67/1373.11	c 1372s |      19 |   723452 |   519082 |    25925     42 |      704 |      452
1374.87/1375.35	c 1375s |      19 |   724010 |   519582 |    25925     42 |      704 |      452
1377.37/1377.84	c 1377s |      19 |   724553 |   520082 |    25925     42 |      704 |      452
1379.78/1380.26	c 1380s |      19 |   725098 |   520582 |    25925     42 |      704 |      452
1382.08/1382.59	c 1382s |      19 |   725644 |   521082 |    25925     42 |      704 |      452
1384.28/1384.72	c 1384s |      19 |   725971 |   521382 |    25925     43 |      704 |      452
1386.58/1387.07	c 1386s |      19 |   726623 |   521982 |    25925     43 |      704 |      452
1388.78/1389.28	c 1389s |      19 |   727290 |   522582 |    25925     43 |      704 |      452
1391.08/1391.57	c 1391s |      19 |   728208 |   523382 |    25925     43 |      704 |      452
1393.08/1393.59	c 1393s |      19 |   728901 |   523982 |    25925     43 |      704 |      452
1395.18/1395.66	c 1395s |      19 |   729602 |   524582 |    25925     43 |      704 |      452
1397.38/1397.82	c 1397s |      19 |   730277 |   525182 |    25925     43 |      704 |      452
1399.68/1400.15	c 1399s |      19 |   731064 |   525882 |    25925     43 |      704 |      452
1401.77/1402.24	c 1401s |      19 |   731631 |   526382 |    25925     43 |      704 |      452
1403.97/1404.40	c 1404s |      19 |   732189 |   526882 |    25925     43 |      704 |      452
1406.27/1406.70	c 1406s |      19 |   732733 |   527382 |    25925     43 |      704 |      452
1408.37/1408.82	c 1408s |      19 |   733170 |   527782 |    25925     43 |      704 |      452
1410.47/1410.92	c 1410s |      19 |   733603 |   528182 |    25925     43 |      704 |      452
1412.57/1413.09	c 1412s |      19 |   734165 |   528682 |    25925     43 |      704 |      452
1414.67/1415.17	c 1414s |      19 |   734731 |   529182 |    25925     43 |      704 |      452
1416.87/1417.34	c 1417s |      19 |   735261 |   529682 |    25925     43 |      704 |      452
1418.87/1419.39	c 1419s |      19 |   735812 |   530182 |    25925     43 |      704 |      452
1421.17/1421.61	c 1421s |      19 |   736347 |   530682 |    25925     43 |      704 |      452
1423.47/1423.99	c 1423s |      19 |   736893 |   531182 |    25925     43 |      704 |      452
1425.67/1426.15	c 1425s |      19 |   737328 |   531582 |    25925     43 |      704 |      452
1427.97/1428.43	c 1428s |      19 |   737747 |   531982 |    25925     43 |      704 |      452
1430.17/1430.67	c 1430s |      19 |   738306 |   532482 |    25925     43 |      704 |      452
1432.47/1432.92	c 1432s |      19 |   738845 |   532982 |    25925     43 |      704 |      452
1434.77/1435.25	c 1434s |      19 |   739384 |   533482 |    25925     43 |      704 |      452
1437.17/1437.61	c 1437s |      19 |   740058 |   534082 |    25925     43 |      704 |      452
1439.57/1440.03	c 1439s |      19 |   740742 |   534682 |    25925     43 |      704 |      452
1441.77/1442.22	c 1441s |      19 |   741310 |   535182 |    25925     43 |      704 |      452
1443.87/1444.34	c 1444s |      19 |   741898 |   535682 |    25925     43 |      704 |      452
1446.07/1446.58	c 1446s |      19 |   742370 |   536082 |    25925     44 |      704 |      452
1448.16/1448.68	c 1448s |      19 |   743334 |   536882 |    25925     44 |      704 |      452
1450.36/1450.83	c 1450s |      19 |   744149 |   537582 |    25925     44 |      704 |      452
1452.46/1452.93	c 1452s |      19 |   744839 |   538182 |    25925     44 |      704 |      452
1454.56/1455.07	c 1454s |      19 |   745534 |   538782 |    25925     44 |      704 |      452
1456.86/1457.31	c 1457s |      19 |   746315 |   539482 |    25925     44 |      704 |      452
1458.97/1459.42	c 1459s |      19 |   746985 |   540082 |    25925     44 |      704 |      452
1461.07/1461.51	c 1461s |      19 |   747528 |   540582 |    25925     44 |      704 |      452
1463.47/1463.99	c 1463s |      19 |   748217 |   541182 |    25925     44 |      704 |      452
1465.47/1465.99	c 1465s |      19 |   748766 |   541682 |    25925     44 |      704 |      452
1467.86/1468.32	c 1468s |      19 |   749447 |   542282 |    25925     44 |      704 |      452
1469.86/1470.38	c 1470s |      19 |   750001 |   542782 |    25925     44 |      704 |      452
1472.26/1472.79	c 1472s |      19 |   750685 |   543382 |    25925     44 |      704 |      452
1474.46/1474.95	c 1474s |      19 |   751244 |   543882 |    25925     44 |      704 |      452
1476.46/1476.96	c 1476s |      19 |   751807 |   544382 |    25925     44 |      704 |      452
1478.46/1478.96	c 1478s |      19 |   752371 |   544882 |    25925     44 |      704 |      452
1480.76/1481.28	c 1481s |      19 |   752913 |   545382 |    25925     44 |      704 |      452
1483.06/1483.55	c 1483s |      19 |   753469 |   545882 |    25925     44 |      704 |      452
1485.46/1485.99	c 1485s |      19 |   754029 |   546382 |    25925     44 |      704 |      452
1487.56/1488.02	c 1487s |      19 |   754461 |   546782 |    25925     44 |      704 |      452
1490.07/1490.53	c 1490s |      19 |   755002 |   547282 |    25925     44 |      704 |      452
1492.27/1492.80	c 1492s |      19 |   755695 |   547882 |    25925     44 |      704 |      452
1494.36/1494.89	c 1494s |      19 |   756254 |   548382 |    25925     44 |      704 |      452
1496.77/1497.23	c 1496s |      19 |   756796 |   548882 |    25925     44 |      704 |      452
1499.06/1499.50	c 1499s |      19 |   757343 |   549382 |    25925     44 |      704 |      452
1501.26/1501.71	c 1501s |      19 |   757888 |   549882 |    25925     44 |      704 |      452
1503.56/1504.04	c 1503s |      19 |   758426 |   550382 |    25925     44 |      704 |      452
1505.57/1506.07	c 1505s |      19 |   758753 |   550682 |    25925     45 |      704 |      452
1507.66/1508.17	c 1507s |      19 |   759391 |   551282 |    25925     45 |      704 |      452
1509.86/1510.39	c 1510s |      19 |   760048 |   551882 |    25925     45 |      704 |      452
1511.96/1512.45	c 1512s |      19 |   760711 |   552482 |    25925     45 |      704 |      452
1514.26/1514.75	c 1514s |      19 |   761609 |   553182 |    25925     45 |      704 |      452
1516.46/1517.00	c 1516s |      19 |   762414 |   553882 |    25925     45 |      704 |      452
1518.86/1519.30	c 1519s |      19 |   763253 |   554582 |    25925     45 |      704 |      452
1520.86/1521.37	c 1521s |      19 |   763926 |   555182 |    25925     45 |      704 |      452
1523.06/1523.54	c 1523s |      19 |   764604 |   555782 |    25925     45 |      704 |      452
1525.26/1525.77	c 1525s |      19 |   765259 |   556382 |    25925     45 |      704 |      452
1527.25/1527.79	c 1527s |      19 |   765950 |   556982 |    25925     45 |      704 |      452
1529.55/1530.05	c 1529s |      19 |   766621 |   557582 |    25925     45 |      704 |      452
1531.86/1532.33	c 1532s |      19 |   767282 |   558182 |    25925     45 |      704 |      452
1533.95/1534.40	c 1534s |      19 |   767831 |   558682 |    25925     45 |      704 |      452
1536.15/1536.66	c 1536s |      19 |   768376 |   559182 |    25925     45 |      704 |      452
1538.35/1538.82	c 1538s |      19 |   768924 |   559682 |    25925     45 |      704 |      452
1540.45/1540.95	c 1540s |      19 |   769483 |   560182 |    25925     45 |      704 |      452
1542.65/1543.17	c 1542s |      19 |   770201 |   560782 |    25925     45 |      704 |      452
1544.95/1545.45	c 1545s |      19 |   770755 |   561282 |    25925     45 |      704 |      452
1546.95/1547.46	c 1547s |      19 |   771327 |   561782 |    25925     45 |      704 |      452
1549.25/1549.76	c 1549s |      19 |   772364 |   562482 |    25925     45 |      704 |      452
1551.45/1551.91	c 1551s |      19 |   773077 |   563082 |    25925     45 |      704 |      452
1553.65/1554.17	c 1553s |      19 |   773819 |   563682 |    25925     45 |      704 |      452
1555.65/1556.19	c 1555s |      19 |   774387 |   564182 |    25925     45 |      704 |      452
1557.75/1558.23	c 1557s |      19 |   774923 |   564682 |    25925     45 |      704 |      452
1559.75/1560.28	c 1560s |      19 |   775250 |   564982 |    25925     46 |      704 |      452
1561.85/1562.30	c 1562s |      19 |   776039 |   565682 |    25925     46 |      704 |      452
1563.85/1564.34	c 1564s |      19 |   776718 |   566282 |    25925     46 |      704 |      452
1566.15/1566.64	c 1566s |      19 |   777605 |   567082 |    25925     46 |      704 |      452
1568.25/1568.73	c 1568s |      19 |   778386 |   567782 |    25925     46 |      704 |      452
1570.35/1570.83	c 1570s |      19 |   779046 |   568382 |    25925     46 |      704 |      452
1572.45/1572.90	c 1572s |      19 |   779716 |   568982 |    25925     46 |      704 |      452
1574.54/1575.04	c 1574s |      19 |   780384 |   569582 |    25925     46 |      704 |      452
1576.84/1577.37	c 1577s |      19 |   781059 |   570182 |    25925     46 |      704 |      452
1579.15/1579.66	c 1579s |      19 |   781850 |   570882 |    25925     46 |      704 |      452
1581.14/1581.69	c 1581s |      19 |   782520 |   571482 |    25925     46 |      704 |      452
1583.24/1583.72	c 1583s |      19 |   783145 |   572082 |    25925     46 |      704 |      452
1585.24/1585.73	c 1585s |      19 |   783816 |   572682 |    25925     46 |      704 |      452
1587.34/1587.87	c 1587s |      19 |   784464 |   573282 |    25925     46 |      704 |      452
1589.44/1589.99	c 1589s |      19 |   785191 |   573882 |    25925     46 |      704 |      452
1591.54/1592.05	c 1591s |      19 |   785912 |   574482 |    25925     46 |      704 |      452
1593.74/1594.29	c 1594s |      19 |   786494 |   574982 |    25925     46 |      704 |      452
1595.94/1596.49	c 1596s |      19 |   787081 |   575482 |    25925     46 |      704 |      452
1598.24/1598.72	c 1598s |      19 |   787631 |   575982 |    25925     46 |      704 |      452
1600.64/1601.15	c 1600s |      19 |   788168 |   576482 |    25925     46 |      704 |      452
1602.74/1603.28	c 1603s |      19 |   788719 |   576982 |    25925     46 |      704 |      452
1605.14/1605.66	c 1605s |      19 |   789439 |   577582 |    25925     46 |      704 |      452
1607.15/1607.67	c 1607s |      19 |   790170 |   578182 |    25925     46 |      704 |      452
1609.45/1609.96	c 1609s |      19 |   790844 |   578782 |    25925     46 |      704 |      452
1611.55/1612.08	c 1611s |      19 |   791565 |   579382 |    25925     46 |      704 |      452
1613.74/1614.26	c 1614s |      19 |   792164 |   579882 |    25925     47 |      704 |      452
1615.84/1616.38	c 1616s |      19 |   792942 |   580582 |    25925     47 |      704 |      452
1617.94/1618.42	c 1618s |      19 |   793777 |   581282 |    25925     47 |      704 |      452
1619.95/1620.44	c 1620s |      19 |   794431 |   581882 |    25925     47 |      704 |      452
1622.34/1622.81	c 1622s |      19 |   795201 |   582582 |    25925     47 |      704 |      452
1624.54/1625.07	c 1624s |      19 |   795750 |   583082 |    25925     47 |      704 |      452
1626.84/1627.38	c 1627s |      19 |   796407 |   583682 |    25925     47 |      704 |      452
1629.04/1629.55	c 1629s |      19 |   797057 |   584282 |    25925     47 |      704 |      452
1631.24/1631.70	c 1631s |      19 |   797623 |   584782 |    25925     47 |      704 |      452
1633.54/1634.01	c 1633s |      19 |   798385 |   585482 |    25925     47 |      704 |      452
1635.54/1636.07	c 1635s |      19 |   799041 |   586082 |    25925     47 |      704 |      452
1637.64/1638.14	c 1637s |      19 |   799707 |   586682 |    25925     47 |      704 |      452
1639.74/1640.23	c 1639s |      19 |   800362 |   587282 |    25925     47 |      704 |      452
1642.14/1642.61	c 1642s |      19 |   801000 |   587882 |    25925     47 |      704 |      452
1644.44/1644.91	c 1644s |      19 |   801553 |   588382 |    25925     47 |      704 |      452
1646.74/1647.24	c 1646s |      19 |   801986 |   588782 |    25925     47 |      704 |      452
1648.84/1649.36	c 1649s |      19 |   802532 |   589282 |    25925     47 |      704 |      452
1651.14/1651.69	c 1651s |      19 |   803071 |   589782 |    25925     47 |      704 |      452
1653.34/1653.89	c 1653s |      19 |   803604 |   590282 |    25925     47 |      704 |      452
1655.73/1656.26	c 1656s |      19 |   804141 |   590782 |    25925     47 |      704 |      452
1658.03/1658.57	c 1658s |      19 |   804681 |   591282 |    25925     47 |      704 |      452
1660.13/1660.68	c 1660s |      19 |   805236 |   591782 |    25925     47 |      704 |      452
1662.23/1662.70	c 1662s |      19 |   805782 |   592282 |    25925     47 |      704 |      452
1664.43/1664.90	c 1664s |      19 |   806965 |   592982 |    25925     47 |      704 |      452
1666.53/1667.01	c 1666s |      19 |   807772 |   593582 |    25925     47 |      704 |      452
1669.03/1669.54	c 1669s |      19 |   808396 |   594082 |    25925     48 |      704 |      452
1671.23/1671.72	c 1671s |      19 |   809379 |   594882 |    25925     48 |      704 |      452
1673.33/1673.86	c 1673s |      19 |   810235 |   595582 |    25925     48 |      704 |      452
1675.33/1675.86	c 1675s |      19 |   811012 |   596182 |    25925     48 |      704 |      452
1677.53/1678.06	c 1677s |      19 |   811690 |   596782 |    25925     48 |      704 |      452
1679.53/1680.07	c 1679s |      19 |   812420 |   597382 |    25925     48 |      704 |      452
1681.73/1682.26	c 1682s |      19 |   813184 |   597982 |    25925     48 |      704 |      452
1683.93/1684.47	c 1684s |      19 |   813863 |   598582 |    25925     48 |      704 |      452
1686.23/1686.77	c 1686s |      19 |   814530 |   599182 |    25925     48 |      704 |      452
1688.53/1689.07	c 1688s |      19 |   815212 |   599782 |    25925     48 |      704 |      452
1690.83/1691.37	c 1691s |      19 |   815888 |   600382 |    25925     48 |      704 |      452
1692.83/1693.38	c 1693s |      19 |   816450 |   600882 |    25925     48 |      704 |      452
1695.02/1695.53	c 1695s |      19 |   817008 |   601382 |    25925     48 |      704 |      452
1697.02/1697.55	c 1697s |      19 |   817588 |   601882 |    25925     48 |      704 |      452
1699.13/1699.66	c 1699s |      19 |   818135 |   602382 |    25925     48 |      704 |      452
1701.33/1701.81	c 1701s |      19 |   818712 |   602882 |    25925     48 |      704 |      452
1703.43/1703.99	c 1703s |      19 |   819497 |   603582 |    25925     48 |      704 |      452
1705.52/1706.08	c 1705s |      19 |   820053 |   604082 |    25925     48 |      704 |      452
1707.83/1708.33	c 1708s |      19 |   820606 |   604582 |    25925     48 |      704 |      452
1709.92/1710.45	c 1710s |      19 |   821044 |   604982 |    25925     48 |      704 |      452
1711.92/1712.49	c 1712s |      19 |   821502 |   605382 |    25925     48 |      704 |      452
1714.23/1714.80	c 1714s |      19 |   821941 |   605782 |    25925     48 |      704 |      452
1716.43/1716.99	c 1716s |      19 |   822691 |   606382 |    25925     48 |      704 |      452
1718.53/1719.09	c 1718s |      19 |   823303 |   606882 |    25925     48 |      704 |      452
1720.93/1721.49	c 1721s |      19 |   823907 |   607382 |    25925     48 |      704 |      452
1723.03/1723.51	c 1723s |      19 |   824455 |   607882 |    25925     48 |      704 |      452
1725.12/1725.67	c 1725s |      19 |   825042 |   608382 |    25925     48 |      704 |      452
1727.52/1728.07	c 1727s |      19 |   825488 |   608782 |    25925     49 |      704 |      452
1729.62/1730.18	c 1729s |      19 |   826146 |   609382 |    25925     49 |      704 |      452
1731.62/1732.18	c 1731s |      19 |   826818 |   609982 |    25925     49 |      704 |      452
1733.82/1734.39	c 1734s |      19 |   827588 |   610682 |    25925     49 |      704 |      452
1735.92/1736.49	c 1736s |      19 |   828251 |   611282 |    25925     49 |      704 |      452
1738.12/1738.62	c 1738s |      19 |   828929 |   611882 |    25925     49 |      704 |      452
1740.22/1740.70	c 1740s |      19 |   829504 |   612382 |    25925     49 |      704 |      452
1742.42/1742.97	c 1742s |      19 |   830043 |   612882 |    25925     49 |      704 |      452
1744.72/1745.22	c 1744s |      19 |   830599 |   613382 |    25925     49 |      704 |      452
1746.82/1747.38	c 1747s |      19 |   831158 |   613882 |    25925     49 |      704 |      452
1748.92/1749.40	c 1749s |      19 |   831700 |   614382 |    25925     49 |      704 |      452
1751.02/1751.53	c 1751s |      19 |   832364 |   614982 |    25925     49 |      704 |      452
1753.12/1753.60	c 1753s |      19 |   832914 |   615482 |    25925     49 |      704 |      452
1755.32/1755.87	c 1755s |      19 |   833438 |   615982 |    25925     49 |      704 |      452
1757.51/1758.09	c 1757s |      19 |   833971 |   616482 |    25925     49 |      704 |      452
1759.91/1760.49	c 1760s |      19 |   834518 |   616982 |    25925     49 |      704 |      452
1762.21/1762.74	c 1762s |      19 |   835051 |   617482 |    25925     49 |      704 |      452
1764.61/1765.11	c 1764s |      19 |   835600 |   617982 |    25925     49 |      704 |      452
1767.01/1767.51	c 1767s |      19 |   836131 |   618482 |    25925     49 |      704 |      452
1769.31/1769.86	c 1769s |      19 |   836673 |   618982 |    25925     49 |      704 |      452
1771.41/1771.99	c 1771s |      19 |   837212 |   619482 |    25925     49 |      704 |      452
1773.72/1774.23	c 1773s |      19 |   837745 |   619982 |    25925     49 |      704 |      452
1776.03/1776.59	c 1776s |      19 |   838298 |   620482 |    25925     49 |      704 |      452
1778.02/1778.59	c 1778s |      19 |   838734 |   620882 |    25925     49 |      704 |      452
1780.32/1780.89	c 1780s |      19 |   839164 |   621282 |    25925     49 |      704 |      452
1782.62/1783.17	c 1782s |      19 |   839596 |   621682 |    25925     49 |      704 |      452
1785.02/1785.56	c 1785s |      19 |   840030 |   622082 |    25925     49 |      704 |      452
1787.42/1787.96	c 1787s |      19 |   840440 |   622482 |    25925     49 |      704 |      452
1789.82/1790.33	c 1790s |      19 |   840876 |   622882 |    25925     49 |      704 |      452
1791.92/1792.47	c 1792s |      19 |   841097 |   623082 |    25925     50 |      704 |      452
1794.31/1794.81	c 1794s |      19 |   841638 |   623582 |    25925     50 |      704 |      452
1796.61/1797.15	c 1796s |      19 |   842186 |   624082 |    25925     50 |      704 |      452
1798.91/1799.40	c 1799s |      19 |   842773 |   624582 |    25925     50 |      704 |      452

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

pid=21099
running on 4 cores: 0,2,4,6

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: 1.15 1.58 1.62 4/171 21102
/proc/meminfo: memFree=30762512/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 2739 0 0 0 0 0 0 0 20 0 4 0 27485340 751235072 2589 33554432000 4194304 16246674 140737126637264 140737126636688 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 183919 2599 441 2943 0 180813 0
[pid=21102/tid=21105] ppid=21099 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 768012288 2655 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 773255168 2672 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=759228 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27485341 777449472 2689 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.10012 s]
/proc/loadavg: 1.15 1.58 1.62 4/171 21102
/proc/meminfo: memFree=30762512/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 28275 0 0 0 5 4 0 0 20 0 4 0 27485340 1249447936 28063 33554432000 4194304 16246674 140737126637264 140737126636576 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 305041 28063 801 2943 0 301935 0
[pid=21102/tid=21105] ppid=21099 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1249447936 28063 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1249447936 28063 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1249447936 28063 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200462 s]
/proc/loadavg: 1.15 1.58 1.62 4/171 21102
/proc/meminfo: memFree=30762512/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 48484 0 0 0 12 7 0 0 20 0 4 0 27485340 1332285440 48272 33554432000 4194304 16246674 140737126637264 140737126636576 5740913 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 325265 48272 842 2943 0 322159 0
[pid=21102/tid=21105] ppid=21099 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 48272 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 48272 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 48272 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300402 s]
/proc/loadavg: 1.15 1.58 1.62 4/171 21102
/proc/meminfo: memFree=30762512/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 50778 0 0 0 21 8 0 0 20 0 4 0 27485340 1332285440 50566 33554432000 4194304 16246674 140737126637264 140737126619136 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 325265 50573 882 2943 0 322159 0
[pid=21102/tid=21105] ppid=21099 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 50579 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 50583 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 50586 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700339 s]
/proc/loadavg: 1.15 1.58 1.62 4/171 21102
/proc/meminfo: memFree=30762512/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1301060 CPUtime=0.68 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 100088 0 0 0 54 14 0 0 20 0 4 0 27485340 1332285440 99876 33554432000 4194304 16246674 140737126637264 140737126619136 6021007 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 325265 99880 882 2943 0 322159 0
[pid=21102/tid=21105] ppid=21099 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 99887 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 99890 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 99895 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1301060

[startup+1.50034 s]
/proc/loadavg: 1.15 1.58 1.62 4/182 21115
/proc/meminfo: memFree=29494072/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 200796 0 0 0 120 29 0 0 20 0 4 0 27485340 1332285440 200584 33554432000 4194304 16246674 140737126637264 140737126619136 5532301 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 325265 200599 882 2943 0 322159 0
[pid=21102/tid=21105] ppid=21099 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 200609 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 200617 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 200626 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10034 s]
/proc/loadavg: 1.30 1.61 1.63 4/182 21115
/proc/meminfo: memFree=28608456/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1312324 CPUtime=3.08 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 269208 0 0 0 269 39 0 0 20 0 4 0 27485340 1343819776 268996 33554432000 4194304 16246674 140737126637264 140737126619136 5676365 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 328081 268996 888 2943 0 324975 0
[pid=21102/tid=21105] ppid=21099 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1343819776 268996 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1343819776 268996 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1343819776 268996 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1312324

[startup+6.30039 s]
/proc/loadavg: 1.30 1.61 1.63 3/182 21115
/proc/meminfo: memFree=28607556/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1312324 CPUtime=6.28 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 269268 0 0 0 589 39 0 0 20 0 4 0 27485340 1343819776 269056 33554432000 4194304 16246674 140737126637264 140737126619136 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 328081 269056 888 2943 0 324975 0
[pid=21102/tid=21105] ppid=21099 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1343819776 269056 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1343819776 269056 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1343819776 269056 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1312324

[startup+12.7003 s]
/proc/loadavg: 1.40 1.62 1.63 3/182 21115
/proc/meminfo: memFree=28607572/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1312324 CPUtime=12.68 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 269269 0 0 0 1229 39 0 0 20 0 4 0 27485340 1343819776 269057 33554432000 4194304 16246674 140737126637264 140737126619136 5522898 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 328081 269057 889 2943 0 324975 0
[pid=21102/tid=21105] ppid=21099 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1343819776 269057 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1343819776 269057 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1343819776 269057 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 1.58 1.65 1.64 3/182 21115
/proc/meminfo: memFree=28608384/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 269272 0 0 0 2509 40 0 0 20 0 4 0 27485340 1343819776 269060 33554432000 4194304 16246674 140737126637264 140737126619136 13759540 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 328081 269060 892 2943 0 324975 0
[pid=21102/tid=21105] ppid=21099 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1343819776 269060 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1343819776 269060 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1343819776 269060 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 1.86 1.71 1.66 3/182 21115
/proc/meminfo: memFree=28608268/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 269272 0 0 0 5068 40 0 0 20 0 4 0 27485340 1343819776 269060 33554432000 4194304 16246674 140737126637264 140737126619136 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 328081 269060 892 2943 0 324975 0
[pid=21102/tid=21105] ppid=21099 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1343819776 269060 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1343819776 269060 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1343819776 269060 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.12 1.80 1.69 3/182 21116
/proc/meminfo: memFree=28601044/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1319492 CPUtime=102.28 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 270883 0 0 0 10188 40 0 0 20 0 4 0 27485340 1351159808 270671 33554432000 4194304 16246674 140737126637264 140737126619136 6012096 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 329873 270671 892 2943 0 326767 0
[pid=21102/tid=21105] ppid=21099 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1351159808 270671 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1351159808 270671 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1351159808 270671 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492


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

/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1337924

[startup+1362.3 s]
/proc/loadavg: 2.22 2.23 2.07 3/182 21143
/proc/meminfo: memFree=28553220/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1337924 CPUtime=1361.88 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 276059 0 0 0 136141 47 0 0 20 0 4 0 27485340 1370034176 275717 33554432000 4194304 16246674 140737126637264 140737126619136 5822286 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 334481 275717 892 2943 0 331375 0
[pid=21102/tid=21105] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1337924

[startup+1422.3 s]
/proc/loadavg: 2.27 2.24 2.09 3/182 21144
/proc/meminfo: memFree=28553868/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1337924 CPUtime=1421.88 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 276059 0 0 0 142140 48 0 0 20 0 4 0 27485340 1370034176 275717 33554432000 4194304 16246674 140737126637264 140737126619136 13874572 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 334481 275717 892 2943 0 331375 0
[pid=21102/tid=21105] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1337924

[startup+1482.3 s]
/proc/loadavg: 2.15 2.21 2.09 3/182 21145
/proc/meminfo: memFree=28553896/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1337924 CPUtime=1481.86 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 276059 0 0 0 148137 49 0 0 20 0 4 0 27485340 1370034176 275717 33554432000 4194304 16246674 140737126637264 140737126619136 5516309 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 334481 275717 892 2943 0 331375 0
[pid=21102/tid=21105] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1337924

[startup+1542.31 s]
/proc/loadavg: 2.25 2.23 2.10 3/182 21146
/proc/meminfo: memFree=28553832/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1337924 CPUtime=1541.86 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 276059 0 0 0 154137 49 0 0 20 0 4 0 27485340 1370034176 275717 33554432000 4194304 16246674 140737126637264 140737126636440 12477766 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 334481 275717 892 2943 0 331375 0
[pid=21102/tid=21105] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1337924

[startup+1602.3 s]
/proc/loadavg: 2.25 2.23 2.10 3/183 21150
/proc/meminfo: memFree=28554312/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1337924 CPUtime=1601.84 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 276059 0 0 0 160135 49 0 0 20 0 4 0 27485340 1370034176 275717 33554432000 4194304 16246674 140737126637264 140737126619136 5522986 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 334481 275717 892 2943 0 331375 0
[pid=21102/tid=21105] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1337924

[startup+1662.3 s]
/proc/loadavg: 2.12 2.20 2.10 3/183 21174
/proc/meminfo: memFree=28554404/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1337924 CPUtime=1661.83 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 276059 0 0 0 166133 50 0 0 20 0 4 0 27485340 1370034176 275717 33554432000 4194304 16246674 140737126637264 140737126619136 4220536 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 334481 275717 892 2943 0 331375 0
[pid=21102/tid=21105] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1337924

[startup+1722.3 s]
/proc/loadavg: 2.20 2.21 2.10 3/182 21175
/proc/meminfo: memFree=28554288/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1337924 CPUtime=1721.83 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 276059 0 0 0 172132 51 0 0 20 0 4 0 27485340 1370034176 275717 33554432000 4194304 16246674 140737126637264 140737126619136 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 334481 275717 892 2943 0 331375 0
[pid=21102/tid=21105] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1337924

[startup+1782.3 s]
/proc/loadavg: 2.26 2.22 2.11 4/182 21176
/proc/meminfo: memFree=28553548/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1337924 CPUtime=1781.82 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 276059 0 0 0 178130 52 0 0 20 0 4 0 27485340 1370034176 275717 33554432000 4194304 16246674 140737126637264 140737126619136 5516347 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 334481 275717 892 2943 0 331375 0
[pid=21102/tid=21105] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1337924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.20 2.21 2.11 3/182 21176
/proc/meminfo: memFree=28553796/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1337924 CPUtime=1800.01 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 276059 0 0 0 179949 52 0 0 20 0 4 0 27485340 1370034176 275717 33554432000 4194304 16246674 140737126637264 140737126636360 5711636 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 334481 275717 892 2943 0 331375 0
[pid=21102/tid=21105] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1337924

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

[startup+1800.5 s]
/proc/loadavg: 2.20 2.21 2.11 3/182 21176
/proc/meminfo: memFree=28553796/32872528 swapFree=1085692/1157232
[pid=21102] ppid=21099 vsize=1337924 CPUtime=1800.01 cores=0,2,4,6
/proc/21102/stat : 21102 (toysat) R 21099 21102 21062 0 -1 4202496 276059 0 0 0 179949 52 0 0 20 0 4 0 27485340 1370034176 275717 33554432000 4194304 16246674 140737126637264 140737126636360 5711636 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21102/statm: 334481 275717 892 2943 0 331375 0
[pid=21102/tid=21105] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21105/stat : 21105 (toysat) S 21099 21102 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176962596080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=21102/tid=21106] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21106/stat : 21106 (toysat) S 21099 21102 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176952106224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21102/tid=21107] ppid=21099 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21102/task/21107/stat : 21107 (toysat) S 21099 21102 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1370034176 275717 33554432000 4194304 16246674 140737126637264 140176941632688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1337924

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.5
CPU system time (s): 0.526919
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 1337924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.526919
maximum resident set size= 1102868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276059
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= 404
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10992 second user time and 8.39072 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 14:34:17
IDJOB=4115909
IDBENCH=109404
IDSOLVER=2542
FILE ID=node114/4115909-1466944456
RUNJOBID= node114-1466944456-21078
PBS_JOBID= 19976359
Free space on /tmp= 71656 MiB

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

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

MD5SUM BENCH= 1478b9596894c92fb769212147798991
RANDOM SEED=2140324245

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:        30764304 kB
Buffers:            3832 kB
Cached:           209120 kB
SwapCached:        38936 kB
Active:            51852 kB
Inactive:         200952 kB
Active(anon):       4648 kB
Inactive(anon):    37732 kB
Active(file):      47204 kB
Inactive(file):   163220 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061348 kB
Dirty:             33404 kB
Writeback:             0 kB
AnonPages:       1159168 kB
Mapped:             6924 kB
Shmem:                 0 kB
Slab:             565916 kB
SReclaimable:      10060 kB
SUnreclaim:       555856 kB
KernelStack:        1392 kB
PageTables:         6124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1254048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

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