Trace number 4117029

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round22-7.opb
MD5SUM2a6069c06e2a32eae387bc35cb99c2fe
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 constraints8672
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)384
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-26T18:48:20+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-4117029-1466959700.opb"]
0.00/0.01	c use --random-gen="769879901 705423629 3090301020 4001156173 3928921655 3445413896 1531463884 1908293462 4067847123 1848939558 1450802317 3223216360 2041305937 2866284553 3440536412 535537406 1403726960 2342366740 3672961383 3049069075 296297911 3666666671 1313234559 2753765877 1821229677 639561534 1739800543 2901224492 3225112144 1167557098 3043625021 3506885708 3817426460 1612216434 3685267620 3897866850 1878103182 2854548316 32122426 2188861050 3630043528 1169765138 1653917863 2667758198 89518725 3163217096 3389539621 503788469 2968372289 402603378 1949661702 1840604162 3503484782 3188288931 3733155383 2108803099 94761074 3490444727 56280492 3420029773 612701235 175969038 3314945089 1901063397 2604601112 835786735 3557985280 4246996357 4283920194 2232027337 1631323709 2769791042 3669509784 3665209379 1728068067 2562722398 2284501696 245644628 1224824156 1287605857 3053453251 948247577 267800298 2314826757 3690656781 2884649641 4206204744 1926132749 2385442507 1213763278 2814283983 1042809987 769735036 680835962 1121168234 2082889791 178012615 3174143911 2347110887 3062734914 2304718044 2405502245 4244810979 1612899008 912026959 417053467 695445246 1804281139 3523401479 4243616839 1122385539 1620739743 2061756464 1644342790 2944683707 439847550 3247516944 3347726737 1072498579 3812550634 1504022263 2056432386 2830574163 1492736395 3767172985 3146203699 2916812359 4259716407 1254656669 474723305 3393384958 723587058 2073237226 3433968994 3727796868 194946719 4003777591 1223362157 881466092 2075501894 572603872 3232252821 2592522145 2571971124 2593491373 3556365828 2186766295 995477451 3822191028 567899168 3158235140 126298909 2642738394 2414737889 3409027243 1303032163 3769080818 4265437171 644744894 2907555167 596033033 110785650 368823771 2040489949 151694097 3551713239 4123709019 2050323844 2112341811 691949254 1477439722 4265719309 348319627 2647399056 1836474027 2509456927 2048289867 2232061701 769204301 3545896973 2956054412 4172173705 3147758846 2205577044 1393805795 3096350571 3366103419 2272913242 488668765 1319870207 2161519358 1413762573 3735414373 3842577386 2649918001 1124255412 830876064 2216655063 3411717026 1545435286 1180696260 1462230592 356622391 3597546142 574582311 3175062182 2837583754 3755403344 4243455495 3096641990 3002245483 3134313138 1699699298 169600554 1532040505 3879456376 1268024536 2229596536 1347959544 883032410 3824106576 844968445 1158138895 242237839 2383059190 1445371662 324576103 519884444 4294534114 461941981 330015600 3993237032 1542133632 940393042 118437408 2650167357 2333461602 1885315559 3571585195 845460112 951780522 1515231569 222403034 3254684636 2815008125 871291393 1461059331 3495885182 150768002 3274046535 4087219447 2834977005 943787541 151821421 2333390994 256304339 255 362436" option to reproduce the execution
0.08/0.11	c #vars 4128
0.08/0.11	c #constraints 8672
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      657 |        0
0.29/0.32	c  0.1s |       1 |      527 |      100 |     4234      0 |      657 |      430
0.39/0.41	c  0.2s |       2 |     1201 |      250 |     4658      0 |      657 |      430
0.49/0.57	c  0.3s |       3 |     3367 |      475 |     5124      0 |      657 |      430
0.69/0.79	c  0.5s |       4 |     5504 |      813 |     5637      0 |      657 |      430
1.10/1.14	c  0.9s |       5 |     8975 |     1320 |     6201      0 |      658 |      430
1.89/1.97	c  1.7s |       6 |    12708 |     2081 |     7505      0 |      658 |      430
2.69/2.79	c  2.5s |       7 |    17191 |     3223 |     8256      0 |      658 |      430
4.78/4.83	c  4.6s |       7 |    21457 |     4923 |     9082      0 |      658 |      430
4.78/4.84	c  4.6s |       8 |    21485 |     4936 |     9082      0 |      658 |      430
6.78/6.89	c  6.6s |       8 |    27439 |     7136 |     9082      0 |      658 |      430
7.69/7.72	c  7.5s |       9 |    27862 |     7506 |     9991      0 |      658 |      430
9.68/9.72	c  9.5s |       9 |    36264 |     9806 |     9991      0 |      659 |      430
11.68/11.77	c 11.5s |       9 |    38050 |    11206 |     9991      0 |      659 |      430
11.98/12.09	c 11.8s |      10 |    38217 |    11361 |    10991      0 |      659 |      430
14.18/14.25	c 14.0s |      10 |    41324 |    12761 |    10991      0 |      659 |      430
16.18/16.27	c 16.0s |      10 |    42652 |    13961 |    10991      0 |      659 |      430
18.28/18.35	c 18.1s |      10 |    43869 |    15061 |    10991      1 |      659 |      430
20.28/20.39	c 20.1s |      10 |    46798 |    16361 |    10991      1 |      659 |      430
21.28/21.36	c 21.1s |      11 |    48014 |    17144 |    12091      1 |      659 |      430
23.39/23.48	c 23.2s |      11 |    51544 |    18844 |    12091      1 |      659 |      430
25.59/25.60	c 25.3s |      11 |    53248 |    20244 |    12091      1 |      659 |      430
27.69/27.71	c 27.5s |      11 |    54809 |    21544 |    12091      1 |      659 |      430
29.70/29.73	c 29.5s |      11 |    60622 |    23144 |    12091      2 |      659 |      430
31.69/31.74	c 31.5s |      11 |    64305 |    25244 |    12091      2 |      659 |      430
32.39/32.47	c 32.2s |      12 |    64983 |    25819 |    13301      2 |      659 |      430
34.39/34.48	c 34.2s |      12 |    72328 |    27919 |    13301      2 |      659 |      430
36.59/36.61	c 36.4s |      12 |    74600 |    29319 |    13301      2 |      659 |      430
38.69/38.73	c 38.5s |      12 |    76032 |    30419 |    13301      2 |      659 |      430
40.89/40.98	c 40.7s |      12 |    76957 |    31219 |    13301      3 |      659 |      430
43.09/43.16	c 42.9s |      12 |    77988 |    32119 |    13301      3 |      659 |      430
45.29/45.36	c 45.1s |      12 |    79026 |    33019 |    13301      3 |      659 |      430
47.39/47.47	c 47.2s |      12 |    80049 |    33919 |    13301      3 |      659 |      430
49.69/49.71	c 49.5s |      12 |    81081 |    34819 |    13301      3 |      659 |      430
51.89/51.95	c 51.7s |      12 |    81955 |    35619 |    13301      3 |      659 |      430
54.09/54.18	c 53.9s |      12 |    82929 |    36419 |    13301      3 |      659 |      430
56.09/56.19	c 55.9s |      12 |    83760 |    37119 |    13301      3 |      659 |      430
58.49/58.55	c 58.3s |      12 |    84550 |    37819 |    13301      3 |      659 |      430
60.68/60.77	c 60.5s |      12 |    85340 |    38519 |    13301      3 |      659 |      430
61.59/61.69	c 61.4s |      13 |    85692 |    38832 |    14632      3 |      659 |      430
63.68/63.70	c 63.4s |      13 |    95583 |    40932 |    14632      4 |      659 |      430
65.68/65.79	c 65.5s |      13 |    98602 |    42532 |    14632      4 |      659 |      430
67.78/67.80	c 67.5s |      13 |   100042 |    43632 |    14632      4 |      659 |      430
69.78/69.89	c 69.6s |      13 |   101297 |    44632 |    14632      4 |      659 |      430
71.98/72.02	c 71.8s |      13 |   102201 |    45432 |    14632      4 |      659 |      430
74.08/74.17	c 73.9s |      13 |   103447 |    46432 |    14632      4 |      659 |      430
76.28/76.39	c 76.1s |      13 |   104399 |    47232 |    14632      4 |      659 |      430
78.48/78.53	c 78.3s |      13 |   105197 |    47932 |    14632      4 |      659 |      430
80.68/80.75	c 80.5s |      13 |   105985 |    48632 |    14632      4 |      659 |      430
82.68/82.79	c 82.5s |      13 |   106715 |    49232 |    14632      5 |      659 |      430
84.88/84.90	c 84.6s |      13 |   107766 |    50032 |    14632      5 |      659 |      430
87.18/87.29	c 87.0s |      13 |   108906 |    50832 |    14632      5 |      659 |      430
89.58/89.61	c 89.4s |      13 |   109691 |    51532 |    14632      5 |      659 |      430
91.78/91.85	c 91.6s |      13 |   111597 |    52732 |    14632      5 |      659 |      430
93.78/93.89	c 93.6s |      13 |   119276 |    54532 |    14632      5 |      659 |      430
95.88/95.99	c 95.7s |      13 |   130103 |    56832 |    14632      6 |      659 |      430
97.28/97.38	c 97.1s |      14 |   133533 |    58352 |    16096      6 |      659 |      430
99.38/99.40	c 99.1s |      14 |   141621 |    60452 |    16096      6 |      659 |      430
101.48/101.50	c  101s |      14 |   146665 |    62452 |    16096      6 |      659 |      430
103.58/103.63	c  103s |      14 |   148881 |    63952 |    16096      6 |      659 |      430
105.58/105.65	c  105s |      14 |   150637 |    65152 |    16096      6 |      659 |      430
107.68/107.76	c  107s |      14 |   152852 |    66452 |    16096      6 |      659 |      430
109.88/109.97	c  109s |      14 |   154081 |    67452 |    16096      7 |      659 |      430
112.08/112.16	c  111s |      14 |   155230 |    68452 |    16096      7 |      659 |      430
114.17/114.23	c  113s |      14 |   156251 |    69352 |    16096      7 |      659 |      430
116.27/116.34	c  116s |      14 |   157278 |    70252 |    16096      7 |      659 |      430
118.37/118.40	c  118s |      14 |   158199 |    71052 |    16096      7 |      659 |      430
120.47/120.51	c  120s |      14 |   160328 |    72352 |    16096      7 |      659 |      430
122.47/122.56	c  122s |      14 |   161809 |    73452 |    16096      7 |      659 |      430
124.67/124.79	c  124s |      14 |   163634 |    74552 |    16096      7 |      659 |      430
126.87/126.91	c  126s |      14 |   165370 |    75652 |    16096      7 |      659 |      430
129.07/129.17	c  128s |      14 |   166707 |    76652 |    16096      8 |      659 |      430
131.17/131.20	c  130s |      14 |   168343 |    77752 |    16096      8 |      659 |      430
133.37/133.42	c  133s |      14 |   169768 |    78852 |    16096      8 |      659 |      430
135.38/135.47	c  135s |      14 |   170838 |    79752 |    16096      8 |      659 |      430
137.67/137.71	c  137s |      14 |   171900 |    80652 |    16096      8 |      659 |      430
139.97/140.02	c  139s |      14 |   172995 |    81552 |    16096      8 |      659 |      430
142.07/142.14	c  141s |      14 |   173818 |    82252 |    16096      8 |      659 |      430
144.18/144.21	c  143s |      14 |   174483 |    82852 |    16096      8 |      659 |      430
146.17/146.22	c  145s |      14 |   175338 |    83552 |    16096      8 |      659 |      430
148.27/148.30	c  148s |      14 |   176180 |    84252 |    16096      8 |      659 |      430
150.37/150.42	c  150s |      14 |   177043 |    84952 |    16096      8 |      659 |      430
152.47/152.56	c  152s |      14 |   177877 |    85652 |    16096      8 |      659 |      430
154.67/154.73	c  154s |      14 |   178533 |    86252 |    16096      8 |      659 |      430
156.87/156.90	c  156s |      14 |   179212 |    86852 |    16096      9 |      659 |      430
158.96/159.04	c  158s |      14 |   179984 |    87552 |    17706      9 |      659 |      430
159.16/159.27	c  159s |      15 |   180074 |    87632 |    17706      9 |      659 |      430
161.26/161.34	c  161s |      15 |   188904 |    90032 |    17706      9 |      659 |      430
163.36/163.47	c  163s |      15 |   190140 |    91132 |    17706      9 |      659 |      430
165.46/165.53	c  165s |      15 |   192148 |    92532 |    17706      9 |      659 |      430
167.46/167.56	c  167s |      15 |   195965 |    94332 |    17706      9 |      659 |      430
169.56/169.60	c  169s |      15 |   197989 |    95832 |    17706      9 |      659 |      430
171.57/171.61	c  171s |      15 |   200039 |    97332 |    17706      9 |      659 |      430
173.66/173.70	c  173s |      15 |   201288 |    98332 |    17706     10 |      659 |      430
175.76/175.83	c  175s |      15 |   202725 |    99532 |    17706     10 |      659 |      430
177.76/177.86	c  177s |      15 |   203943 |   100532 |    17706     10 |      659 |      430
179.96/180.03	c  179s |      15 |   205121 |   101532 |    17706     10 |      659 |      430
182.06/182.13	c  181s |      15 |   206132 |   102432 |    17706     10 |      659 |      430
184.06/184.18	c  183s |      15 |   207360 |   103432 |    17706     10 |      659 |      430
186.26/186.38	c  186s |      15 |   208603 |   104432 |    17706     10 |      659 |      430
188.36/188.43	c  188s |      15 |   209672 |   105332 |    17706     10 |      659 |      430
190.46/190.59	c  190s |      15 |   210655 |   106132 |    17706     10 |      659 |      430
192.66/192.73	c  192s |      15 |   211483 |   106832 |    17706     10 |      659 |      430
194.86/194.97	c  194s |      15 |   212291 |   107532 |    17706     10 |      659 |      430
196.96/197.09	c  196s |      15 |   213416 |   108332 |    17706     11 |      659 |      430
199.16/199.25	c  198s |      15 |   214673 |   109432 |    17706     11 |      659 |      430
201.27/201.32	c  201s |      15 |   215919 |   110432 |    17706     11 |      659 |      430
203.26/203.37	c  203s |      15 |   217056 |   111332 |    17706     11 |      659 |      430
205.36/205.40	c  205s |      15 |   218138 |   112232 |    17706     11 |      659 |      430
207.46/207.55	c  207s |      15 |   219215 |   113132 |    17706     11 |      659 |      430
209.56/209.62	c  209s |      15 |   220261 |   114032 |    17706     11 |      659 |      430
211.66/211.70	c  211s |      15 |   221203 |   114832 |    17706     11 |      659 |      430
213.66/213.70	c  213s |      15 |   222064 |   115532 |    17706     11 |      659 |      430
215.86/215.92	c  215s |      15 |   223095 |   116432 |    17706     11 |      659 |      430
218.06/218.12	c  217s |      15 |   224115 |   117232 |    17706     11 |      659 |      430
220.26/220.36	c  220s |      15 |   224945 |   117932 |    17706     11 |      659 |      430
222.46/222.56	c  222s |      15 |   225639 |   118532 |    17706     12 |      659 |      430
224.56/224.69	c  224s |      15 |   226585 |   119332 |    17706     12 |      659 |      430
226.76/226.83	c  226s |      15 |   227497 |   120132 |    17706     12 |      659 |      430
228.96/229.03	c  228s |      15 |   228535 |   121032 |    17706     12 |      659 |      430
231.15/231.20	c  230s |      15 |   229431 |   121832 |    17706     12 |      659 |      430
233.16/233.26	c  233s |      15 |   230279 |   122532 |    17706     12 |      659 |      430
235.36/235.42	c  235s |      15 |   231222 |   123332 |    17706     12 |      659 |      430
237.35/237.43	c  237s |      15 |   232166 |   124132 |    17706     12 |      659 |      430
239.55/239.66	c  239s |      15 |   233097 |   124932 |    17706     12 |      659 |      430
241.75/241.83	c  241s |      15 |   234012 |   125732 |    17706     12 |      659 |      430
243.95/244.08	c  243s |      15 |   234790 |   126432 |    17706     12 |      659 |      430
246.25/246.37	c  246s |      15 |   235561 |   127132 |    17706     12 |      659 |      430
248.35/248.40	c  248s |      15 |   236241 |   127732 |    17706     12 |      659 |      430
250.55/250.63	c  250s |      15 |   236908 |   128332 |    17706     12 |      659 |      430
252.75/252.83	c  252s |      15 |   237723 |   129032 |    17706     13 |      659 |      430
254.85/254.93	c  254s |      15 |   238545 |   129732 |    17706     13 |      659 |      430
257.05/257.14	c  256s |      15 |   239633 |   130632 |    17706     13 |      659 |      430
259.15/259.20	c  258s |      15 |   240712 |   131532 |    19477     13 |      659 |      430
259.15/259.24	c  258s |      16 |   240734 |   131552 |    19477     13 |      659 |      430
261.25/261.37	c  261s |      16 |   248359 |   133552 |    19477     13 |      659 |      430
263.45/263.58	c  263s |      16 |   249802 |   134752 |    19477     13 |      659 |      430
265.55/265.68	c  265s |      16 |   251367 |   136052 |    19477     13 |      659 |      430
267.75/267.84	c  267s |      16 |   256297 |   137752 |    19477     13 |      659 |      430
269.85/269.95	c  269s |      16 |   258028 |   139252 |    19477     13 |      659 |      430
271.85/271.97	c  271s |      16 |   259444 |   140452 |    19477     13 |      659 |      430
273.96/274.08	c  273s |      16 |   260573 |   141452 |    19477     14 |      659 |      430
276.16/276.25	c  275s |      16 |   261947 |   142652 |    19477     14 |      659 |      430
278.15/278.29	c  278s |      16 |   263639 |   143952 |    19477     14 |      659 |      430
280.35/280.41	c  280s |      16 |   265580 |   145452 |    19477     14 |      659 |      430
282.45/282.50	c  282s |      16 |   266996 |   146652 |    19477     14 |      659 |      430
284.55/284.69	c  284s |      16 |   268476 |   147852 |    19477     14 |      659 |      430
286.85/286.97	c  286s |      16 |   269657 |   148852 |    19477     14 |      659 |      430
289.15/289.23	c  288s |      16 |   270701 |   149752 |    19477     14 |      659 |      430
291.35/291.42	c  291s |      16 |   271600 |   150552 |    19477     14 |      659 |      430
293.45/293.50	c  293s |      16 |   272434 |   151252 |    19477     14 |      659 |      430
295.65/295.79	c  295s |      16 |   273226 |   151952 |    19477     14 |      659 |      430
297.94/298.08	c  297s |      16 |   274057 |   152652 |    19477     15 |      659 |      430
300.25/300.37	c  300s |      16 |   274952 |   153452 |    19477     15 |      659 |      430
302.24/302.37	c  302s |      16 |   275918 |   154252 |    19477     15 |      659 |      430
304.44/304.55	c  304s |      16 |   276995 |   155152 |    19477     15 |      659 |      430
306.64/306.74	c  306s |      16 |   277946 |   155952 |    19477     15 |      659 |      430
308.74/308.80	c  308s |      16 |   278881 |   156752 |    19477     15 |      659 |      430
311.04/311.11	c  310s |      16 |   279841 |   157552 |    19477     15 |      659 |      430
313.14/313.26	c  313s |      16 |   280816 |   158352 |    19477     15 |      659 |      430
315.24/315.30	c  315s |      16 |   281619 |   159052 |    19477     15 |      659 |      430
317.24/317.31	c  317s |      16 |   282418 |   159752 |    19477     15 |      659 |      430
319.44/319.52	c  319s |      16 |   283357 |   160552 |    19477     15 |      659 |      430
321.54/321.66	c  321s |      16 |   284163 |   161252 |    19477     15 |      659 |      430
323.64/323.72	c  323s |      16 |   284841 |   161852 |    19477     15 |      659 |      430
325.74/325.86	c  325s |      16 |   285682 |   162552 |    19477     15 |      659 |      430
327.84/327.94	c  327s |      16 |   286364 |   163152 |    19477     15 |      659 |      430
330.14/330.21	c  329s |      16 |   287052 |   163752 |    19477     15 |      659 |      430
332.14/332.29	c  332s |      16 |   287966 |   164352 |    19477     16 |      659 |      430
334.24/334.36	c  334s |      16 |   291553 |   166152 |    19477     16 |      659 |      430
336.34/336.40	c  336s |      16 |   299795 |   168452 |    19477     16 |      659 |      430
338.34/338.48	c  338s |      16 |   303600 |   170252 |    19477     16 |      659 |      430
340.44/340.50	c  340s |      16 |   305357 |   171552 |    19477     16 |      659 |      430
342.43/342.53	c  342s |      16 |   306759 |   172752 |    19477     16 |      659 |      430
344.43/344.54	c  344s |      16 |   308135 |   173852 |    19477     16 |      659 |      430
346.44/346.56	c  346s |      16 |   309255 |   174752 |    19477     16 |      659 |      430
348.43/348.56	c  348s |      16 |   310314 |   175552 |    19477     17 |      659 |      430
350.63/350.73	c  350s |      16 |   311508 |   176552 |    19477     17 |      659 |      430
352.73/352.89	c  352s |      16 |   312746 |   177552 |    19477     17 |      659 |      430
354.84/355.00	c  354s |      16 |   313687 |   178352 |    19477     17 |      659 |      430
357.04/357.14	c  356s |      16 |   314648 |   179152 |    19477     17 |      659 |      430
359.14/359.29	c  359s |      16 |   315593 |   179952 |    19477     17 |      659 |      430
361.34/361.46	c  361s |      16 |   316548 |   180752 |    19477     17 |      659 |      430
363.64/363.76	c  363s |      16 |   317509 |   181552 |    19477     17 |      659 |      430
365.94/366.00	c  365s |      16 |   318316 |   182252 |    19477     17 |      659 |      430
367.94/368.01	c  367s |      16 |   319134 |   182952 |    19477     17 |      659 |      430
370.04/370.11	c  369s |      16 |   319964 |   183652 |    19477     17 |      659 |      430
372.33/372.41	c  372s |      16 |   320802 |   184352 |    19477     17 |      659 |      430
374.33/374.47	c  374s |      16 |   321471 |   184952 |    19477     17 |      659 |      430
376.63/376.70	c  376s |      16 |   322158 |   185552 |    19477     17 |      659 |      430
378.93/379.04	c  378s |      16 |   322829 |   186152 |    19477     17 |      659 |      430
381.03/381.14	c  380s |      16 |   323427 |   186652 |    19477     18 |      659 |      430
383.13/383.29	c  383s |      16 |   324361 |   187452 |    19477     18 |      659 |      430
385.33/385.47	c  385s |      16 |   325165 |   188152 |    19477     18 |      659 |      430
387.53/387.60	c  387s |      16 |   326094 |   188852 |    19477     18 |      659 |      430
389.52/389.66	c  389s |      16 |   327094 |   189652 |    19477     18 |      659 |      430
391.72/391.85	c  391s |      16 |   328042 |   190452 |    19477     18 |      659 |      430
394.02/394.14	c  393s |      16 |   328839 |   191152 |    19477     18 |      659 |      430
396.22/396.35	c  396s |      16 |   329653 |   191852 |    19477     18 |      659 |      430
398.52/398.63	c  398s |      16 |   330642 |   192652 |    19477     18 |      659 |      430
400.52/400.63	c  400s |      16 |   331490 |   193352 |    19477     18 |      659 |      430
402.52/402.65	c  402s |      16 |   332185 |   193952 |    19477     18 |      659 |      430
404.62/404.70	c  404s |      16 |   333033 |   194652 |    19477     18 |      659 |      430
406.81/406.96	c  406s |      16 |   333807 |   195352 |    19477     18 |      659 |      430
408.91/409.08	c  408s |      16 |   334654 |   196052 |    19477     18 |      659 |      430
411.01/411.13	c  410s |      16 |   335342 |   196652 |    21425     18 |      659 |      430
413.21/413.30	c  413s |      17 |   336281 |   197432 |    21425     18 |      659 |      430
415.21/415.37	c  415s |      17 |   341277 |   198532 |    21425     19 |      659 |      430
417.21/417.39	c  417s |      17 |   342688 |   199632 |    21425     19 |      659 |      430
419.41/419.50	c  419s |      17 |   343859 |   200632 |    21425     19 |      659 |      430
421.51/421.62	c  421s |      17 |   344848 |   201532 |    21425     19 |      659 |      430
423.61/423.71	c  423s |      17 |   345860 |   202432 |    21425     19 |      659 |      430
425.62/425.80	c  425s |      17 |   346834 |   203232 |    21425     19 |      659 |      430
427.92/428.05	c  427s |      17 |   347873 |   204132 |    21425     19 |      659 |      430
430.21/430.32	c  430s |      17 |   348764 |   204932 |    21425     19 |      659 |      430
432.22/432.38	c  432s |      17 |   349581 |   205632 |    21425     19 |      659 |      430
434.31/434.47	c  434s |      17 |   350341 |   206332 |    21425     19 |      659 |      430
436.51/436.61	c  436s |      17 |   351229 |   207132 |    21425     19 |      659 |      430
438.51/438.67	c  438s |      17 |   351969 |   207832 |    21425     19 |      659 |      430
440.61/440.80	c  440s |      17 |   352722 |   208532 |    21425     19 |      659 |      430
442.90/443.01	c  442s |      17 |   353521 |   209232 |    21425     19 |      659 |      430
445.10/445.27	c  445s |      17 |   354273 |   209932 |    21425     19 |      659 |      430
447.30/447.40	c  447s |      17 |   354899 |   210532 |    21425     19 |      659 |      430
449.50/449.67	c  449s |      17 |   355408 |   211032 |    21425     20 |      659 |      430
451.70/451.83	c  451s |      17 |   356036 |   211632 |    21425     20 |      659 |      430
453.69/453.85	c  453s |      17 |   356685 |   212232 |    21425     20 |      659 |      430
455.89/456.08	c  455s |      17 |   357314 |   212832 |    21425     20 |      659 |      430
458.20/458.37	c  458s |      17 |   357935 |   213432 |    21425     20 |      659 |      430
460.40/460.59	c  460s |      17 |   358463 |   213932 |    21425     20 |      659 |      430
462.80/462.93	c  462s |      17 |   359129 |   214532 |    21425     20 |      659 |      430
465.10/465.20	c  464s |      17 |   359749 |   215132 |    21425     20 |      659 |      430
467.40/467.55	c  467s |      17 |   360385 |   215732 |    21425     20 |      659 |      430
469.80/469.92	c  469s |      17 |   361028 |   216332 |    21425     20 |      659 |      430
471.80/471.94	c  471s |      17 |   361558 |   216832 |    21425     20 |      659 |      430
474.19/474.31	c  474s |      17 |   362073 |   217332 |    21425     20 |      659 |      430
476.30/476.46	c  476s |      17 |   362484 |   217732 |    21425     20 |      659 |      430
478.29/478.47	c  478s |      17 |   362893 |   218132 |    21425     20 |      659 |      430
480.69/480.83	c  480s |      17 |   363421 |   218632 |    21425     20 |      659 |      430
482.99/483.16	c  482s |      17 |   363968 |   219132 |    21425     20 |      659 |      430
485.29/485.46	c  485s |      17 |   364508 |   219632 |    21425     20 |      659 |      430
487.49/487.69	c  487s |      17 |   365031 |   220132 |    21425     20 |      659 |      430
489.88/490.09	c  489s |      17 |   365559 |   220632 |    21425     20 |      659 |      430
492.18/492.37	c  492s |      17 |   366077 |   221132 |    21425     20 |      659 |      430
494.28/494.45	c  494s |      17 |   366597 |   221632 |    21425     20 |      659 |      430
496.28/496.45	c  496s |      17 |   367017 |   222032 |    21425     20 |      659 |      430
498.68/498.87	c  498s |      17 |   367536 |   222532 |    21425     20 |      659 |      430
500.88/501.05	c  500s |      17 |   368073 |   223032 |    21425     20 |      659 |      430
502.98/503.14	c  502s |      17 |   368387 |   223332 |    21425     21 |      659 |      430
505.18/505.30	c  505s |      17 |   368930 |   223832 |    21425     21 |      659 |      430
507.58/507.76	c  507s |      17 |   369460 |   224332 |    21425     21 |      659 |      430
509.78/509.96	c  509s |      17 |   369980 |   224832 |    21425     21 |      659 |      430
512.08/512.24	c  511s |      17 |   370500 |   225332 |    21425     21 |      659 |      430
514.09/514.27	c  514s |      17 |   370908 |   225732 |    21425     21 |      659 |      430
516.49/516.68	c  516s |      17 |   371440 |   226232 |    21425     21 |      659 |      430
518.79/518.98	c  518s |      17 |   371971 |   226732 |    21425     21 |      659 |      430
520.88/521.04	c  520s |      17 |   372384 |   227132 |    21425     21 |      659 |      430
523.08/523.25	c  522s |      17 |   372798 |   227532 |    21425     21 |      659 |      430
525.08/525.29	c  525s |      17 |   373205 |   227932 |    21425     21 |      659 |      430
527.18/527.35	c  527s |      17 |   373643 |   228332 |    21425     21 |      659 |      430
529.38/529.52	c  529s |      17 |   374078 |   228732 |    21425     21 |      659 |      430
531.47/531.65	c  531s |      17 |   374490 |   229132 |    21425     21 |      659 |      430
533.57/533.77	c  533s |      17 |   374907 |   229532 |    21425     21 |      659 |      430
535.68/535.85	c  535s |      17 |   375319 |   229932 |    21425     21 |      659 |      430
537.88/538.05	c  537s |      17 |   375733 |   230332 |    21425     21 |      659 |      430
539.98/540.15	c  539s |      17 |   376160 |   230732 |    21425     21 |      659 |      430
542.07/542.25	c  541s |      17 |   376576 |   231132 |    21425     21 |      659 |      430
544.37/544.57	c  544s |      17 |   376996 |   231532 |    21425     21 |      659 |      430
546.57/546.78	c  546s |      17 |   377411 |   231932 |    21425     21 |      659 |      430
548.96/549.16	c  548s |      17 |   377823 |   232332 |    21425     21 |      659 |      430
551.26/551.42	c  551s |      17 |   378228 |   232732 |    21425     21 |      659 |      430
553.76/553.93	c  553s |      17 |   378748 |   233232 |    21425     21 |      659 |      430
555.76/555.93	c  555s |      17 |   379157 |   233632 |    21425     21 |      659 |      430
557.76/557.99	c  557s |      17 |   379580 |   234032 |    21425     21 |      659 |      430
559.87/560.03	c  559s |      17 |   379999 |   234432 |    21425     21 |      659 |      430
561.97/562.19	c  561s |      17 |   380404 |   234832 |    21425     21 |      659 |      430
564.06/564.24	c  563s |      17 |   380827 |   235232 |    21425     21 |      659 |      430
566.76/566.98	c  566s |      17 |   381249 |   235632 |    21425     22 |      659 |      430
569.06/569.24	c  568s |      17 |   381770 |   236132 |    21425     22 |      659 |      430
571.26/571.47	c  571s |      17 |   382284 |   236632 |    21425     22 |      659 |      430
573.56/573.77	c  573s |      17 |   382814 |   237132 |    21425     22 |      659 |      430
575.96/576.18	c  575s |      17 |   383325 |   237632 |    21425     22 |      659 |      430
578.06/578.23	c  577s |      17 |   383742 |   238032 |    21425     22 |      659 |      430
580.06/580.23	c  579s |      17 |   384152 |   238432 |    21425     22 |      659 |      430
582.06/582.27	c  582s |      17 |   384577 |   238832 |    21425     22 |      659 |      430
584.16/584.37	c  584s |      17 |   384885 |   239132 |    21425     22 |      659 |      430
586.27/586.46	c  586s |      17 |   385409 |   239632 |    21425     22 |      659 |      430
588.66/588.84	c  588s |      17 |   385955 |   240132 |    21425     22 |      659 |      430
590.67/590.84	c  590s |      17 |   386383 |   240532 |    21425     22 |      659 |      430
592.66/592.89	c  592s |      17 |   386804 |   240932 |    21425     22 |      659 |      430
595.16/595.38	c  595s |      17 |   387330 |   241432 |    21425     22 |      659 |      430
597.46/597.64	c  597s |      17 |   387859 |   241932 |    21425     22 |      659 |      430
599.76/599.95	c  599s |      17 |   388520 |   242532 |    21425     22 |      659 |      430
602.16/602.35	c  602s |      17 |   389180 |   243132 |    21425     22 |      659 |      430
604.26/604.40	c  604s |      17 |   389712 |   243632 |    21425     22 |      659 |      430
606.26/606.50	c  606s |      17 |   390265 |   244132 |    21425     22 |      659 |      430
608.86/609.02	c  608s |      17 |   390812 |   244632 |    21425     22 |      659 |      430
611.16/611.34	c  611s |      17 |   391346 |   245132 |    21425     22 |      659 |      430
613.36/613.59	c  613s |      17 |   391875 |   245632 |    21425     22 |      659 |      430
615.66/615.81	c  615s |      17 |   392420 |   246132 |    21425     22 |      659 |      430
618.16/618.36	c  618s |      17 |   392952 |   246632 |    21425     22 |      659 |      430
620.65/620.80	c  620s |      17 |   393475 |   247132 |    21425     22 |      659 |      430
623.05/623.21	c  622s |      17 |   394013 |   247632 |    21425     22 |      659 |      430
625.25/625.40	c  625s |      17 |   394443 |   248032 |    21425     23 |      659 |      430
627.35/627.53	c  627s |      17 |   395007 |   248532 |    21425     23 |      659 |      430
629.35/629.53	c  629s |      17 |   395537 |   249032 |    21425     23 |      659 |      430
631.45/631.63	c  631s |      17 |   396064 |   249532 |    21425     23 |      659 |      430
633.85/634.01	c  633s |      17 |   396582 |   250032 |    21425     23 |      659 |      430
635.95/636.18	c  635s |      17 |   397116 |   250532 |    21425     23 |      659 |      430
638.05/638.25	c  637s |      17 |   397650 |   251032 |    21425     23 |      659 |      430
640.55/640.78	c  640s |      17 |   398181 |   251532 |    21425     23 |      659 |      430
642.95/643.14	c  642s |      17 |   398820 |   252132 |    21425     23 |      659 |      430
644.95/645.18	c  644s |      17 |   399355 |   252632 |    21425     23 |      659 |      430
647.25/647.43	c  647s |      17 |   399892 |   253132 |    21425     23 |      659 |      430
649.44/649.60	c  649s |      17 |   400430 |   253632 |    21425     23 |      659 |      430
651.74/651.98	c  651s |      17 |   400940 |   254132 |    21425     23 |      659 |      430
653.84/654.00	c  653s |      17 |   401469 |   254632 |    21425     23 |      659 |      430
655.94/656.10	c  655s |      17 |   401996 |   255132 |    21425     23 |      659 |      430
658.25/658.45	c  658s |      17 |   402526 |   255632 |    21425     23 |      659 |      430
660.25/660.46	c  660s |      17 |   402942 |   256032 |    21425     23 |      659 |      430
662.45/662.61	c  662s |      17 |   403364 |   256432 |    21425     23 |      659 |      430
664.55/664.73	c  664s |      17 |   403789 |   256832 |    21425     23 |      659 |      430
667.05/667.23	c  666s |      17 |   404316 |   257332 |    21425     23 |      659 |      430
669.15/669.38	c  669s |      17 |   404738 |   257732 |    21425     23 |      659 |      430
671.65/671.80	c  671s |      17 |   405277 |   258232 |    21425     23 |      659 |      430
673.65/673.88	c  673s |      17 |   405705 |   258632 |    21425     23 |      659 |      430
675.75/675.97	c  675s |      17 |   406120 |   259032 |    21425     23 |      659 |      430
677.94/678.17	c  677s |      17 |   406548 |   259432 |    21425     23 |      659 |      430
680.04/680.25	c  679s |      17 |   406973 |   259832 |    21425     23 |      659 |      430
682.34/682.50	c  682s |      17 |   407279 |   260132 |    21425     24 |      659 |      430
684.44/684.67	c  684s |      17 |   407797 |   260632 |    21425     24 |      659 |      430
686.74/686.96	c  686s |      17 |   408336 |   261132 |    21425     24 |      659 |      430
689.14/689.35	c  689s |      17 |   408969 |   261732 |    21425     24 |      659 |      430
691.34/691.53	c  691s |      17 |   409493 |   262232 |    21425     24 |      659 |      430
693.64/693.89	c  693s |      17 |   410013 |   262732 |    21425     24 |      659 |      430
696.15/696.32	c  696s |      17 |   410538 |   263232 |    21425     24 |      659 |      430
698.55/698.71	c  698s |      17 |   411080 |   263732 |    21425     24 |      659 |      430
700.55/700.76	c  700s |      17 |   411494 |   264132 |    21425     24 |      659 |      430
703.04/703.21	c  702s |      17 |   412021 |   264632 |    21425     24 |      659 |      430
705.44/705.61	c  705s |      17 |   412550 |   265132 |    21425     24 |      659 |      430
707.94/708.14	c  707s |      17 |   413076 |   265632 |    21425     24 |      659 |      430
710.14/710.40	c  710s |      17 |   413504 |   266032 |    21425     24 |      659 |      430
712.43/712.60	c  712s |      17 |   413924 |   266432 |    21425     24 |      659 |      430
714.84/715.05	c  714s |      17 |   414344 |   266832 |    21425     24 |      659 |      430
717.04/717.27	c  717s |      17 |   414762 |   267232 |    21425     24 |      659 |      430
719.24/719.43	c  719s |      17 |   415189 |   267632 |    21425     24 |      659 |      430
721.54/721.76	c  721s |      17 |   415725 |   268132 |    21425     24 |      659 |      430
723.74/723.98	c  723s |      17 |   416271 |   268632 |    21425     24 |      659 |      430
725.93/726.11	c  725s |      17 |   416816 |   269132 |    21425     24 |      659 |      430
728.23/728.46	c  728s |      17 |   417344 |   269632 |    21425     24 |      659 |      430
730.72/730.90	c  730s |      17 |   417905 |   270132 |    21425     24 |      659 |      430
732.72/732.99	c  732s |      17 |   418326 |   270532 |    21425     24 |      659 |      430
734.92/735.13	c  734s |      17 |   418735 |   270932 |    21425     24 |      659 |      430
737.12/737.35	c  737s |      17 |   419160 |   271332 |    21425     24 |      659 |      430
739.32/739.54	c  739s |      17 |   419591 |   271732 |    21425     24 |      659 |      430
742.22/742.47	c  742s |      17 |   420024 |   272132 |    21425     25 |      659 |      430
744.32/744.58	c  744s |      17 |   420557 |   272632 |    21425     25 |      659 |      430
746.82/747.02	c  746s |      17 |   421072 |   273132 |    21425     25 |      659 |      430
749.03/749.28	c  749s |      17 |   421605 |   273632 |    21425     25 |      659 |      430
751.13/751.31	c  751s |      17 |   422048 |   274032 |    21425     25 |      659 |      430
753.12/753.39	c  753s |      17 |   422600 |   274532 |    21425     25 |      659 |      430
755.53/755.79	c  755s |      17 |   423141 |   275032 |    21425     25 |      659 |      430
757.62/757.81	c  757s |      17 |   423566 |   275432 |    21425     25 |      659 |      430
759.92/760.15	c  759s |      17 |   424083 |   275932 |    21425     25 |      659 |      430
762.01/762.20	c  761s |      17 |   424499 |   276332 |    21425     25 |      659 |      430
764.01/764.27	c  764s |      17 |   424913 |   276732 |    21425     25 |      659 |      430
766.11/766.34	c  766s |      17 |   425332 |   277132 |    21425     25 |      659 |      430
768.11/768.39	c  768s |      17 |   425764 |   277532 |    21425     25 |      659 |      430
770.61/770.82	c  770s |      17 |   426299 |   278032 |    21425     25 |      659 |      430
772.70/772.90	c  772s |      17 |   426733 |   278432 |    21425     25 |      659 |      430
774.80/775.03	c  774s |      17 |   427154 |   278832 |    21425     25 |      659 |      430
777.20/777.49	c  777s |      17 |   427556 |   279232 |    21425     25 |      659 |      430
779.60/779.88	c  779s |      17 |   427979 |   279632 |    21425     25 |      659 |      430
781.90/782.14	c  781s |      17 |   428397 |   280032 |    21425     25 |      659 |      430
784.39/784.60	c  784s |      17 |   428813 |   280432 |    21425     25 |      659 |      430
786.89/787.12	c  786s |      17 |   429237 |   280832 |    21425     25 |      659 |      430
789.39/789.66	c  789s |      17 |   429647 |   281232 |    21425     25 |      659 |      430
791.49/791.73	c  791s |      17 |   429952 |   281532 |    21425     25 |      659 |      430
794.00/794.27	c  794s |      17 |   430373 |   281932 |    21425     25 |      659 |      430
796.39/796.60	c  796s |      17 |   430793 |   282332 |    21425     25 |      659 |      430
798.40/798.69	c  798s |      17 |   431210 |   282732 |    21425     25 |      659 |      430
800.60/800.83	c  800s |      17 |   431635 |   283132 |    21425     25 |      659 |      430
802.79/803.07	c  802s |      17 |   432042 |   283532 |    21425     25 |      659 |      430
804.88/805.14	c  804s |      17 |   432485 |   283932 |    21425     25 |      659 |      430
807.78/808.07	c  807s |      17 |   432888 |   284332 |    21425     26 |      659 |      430
810.08/810.37	c  810s |      17 |   433421 |   284832 |    21425     26 |      659 |      430
812.48/812.77	c  812s |      17 |   433926 |   285332 |    21425     26 |      659 |      430
814.78/815.03	c  814s |      17 |   434467 |   285832 |    21425     26 |      659 |      430
817.08/817.37	c  817s |      17 |   434990 |   286332 |    21425     26 |      659 |      430
819.18/819.42	c  819s |      17 |   435396 |   286732 |    21425     26 |      659 |      430
821.38/821.62	c  821s |      17 |   435975 |   287232 |    21425     26 |      659 |      430
823.47/823.75	c  823s |      17 |   436517 |   287732 |    21425     26 |      659 |      430
825.87/826.12	c  825s |      17 |   437062 |   288232 |    21425     26 |      659 |      430
827.97/828.20	c  827s |      17 |   437484 |   288632 |    21425     26 |      659 |      430
830.37/830.66	c  830s |      17 |   438014 |   289132 |    21425     26 |      659 |      430
832.76/833.04	c  832s |      17 |   438554 |   289632 |    21425     26 |      659 |      430
835.16/835.44	c  835s |      17 |   439073 |   290132 |    21425     26 |      659 |      430
837.26/837.59	c  837s |      17 |   439493 |   290532 |    21425     26 |      659 |      430
839.46/839.75	c  839s |      17 |   439913 |   290932 |    21425     26 |      659 |      430
841.65/841.94	c  841s |      17 |   440342 |   291332 |    21425     26 |      659 |      430
843.96/844.25	c  843s |      17 |   440761 |   291732 |    21425     26 |      659 |      430
846.16/846.41	c  846s |      17 |   441180 |   292132 |    21425     26 |      659 |      430
848.66/848.92	c  848s |      17 |   441706 |   292632 |    21425     26 |      659 |      430
850.86/851.18	c  850s |      17 |   442139 |   293032 |    21425     26 |      659 |      430
853.15/853.40	c  853s |      17 |   442557 |   293432 |    21425     26 |      659 |      430
855.25/855.50	c  855s |      17 |   442868 |   293732 |    21425     26 |      659 |      430
857.45/857.80	c  857s |      17 |   443282 |   294132 |    21425     26 |      659 |      430
859.65/859.92	c  859s |      17 |   443703 |   294532 |    23568     26 |      659 |      430
861.84/862.19	c  861s |      17 |   444129 |   294932 |    23568     26 |      659 |      430
864.35/864.62	c  864s |      17 |   444561 |   295332 |    23568     26 |      659 |      430
866.44/866.74	c  866s |      17 |   444967 |   295732 |    23568     26 |      659 |      430
868.64/868.96	c  868s |      17 |   445376 |   296132 |    23568     26 |      659 |      430
869.44/869.73	c  869s |      18 |   445507 |   296252 |    23568     26 |      659 |      430
871.44/871.78	c  871s |      18 |   446966 |   296852 |    23568     27 |      659 |      430
873.43/873.78	c  873s |      18 |   455450 |   298952 |    23568     27 |      659 |      430
875.63/875.92	c  875s |      18 |   458284 |   300352 |    23568     27 |      659 |      430
877.73/878.05	c  877s |      18 |   460094 |   301552 |    23568     27 |      659 |      430
879.84/880.11	c  879s |      18 |   461308 |   302452 |    23568     27 |      659 |      430
882.03/882.34	c  882s |      18 |   462337 |   303352 |    23568     27 |      659 |      430
884.33/884.61	c  884s |      18 |   463131 |   304052 |    23568     27 |      659 |      430
886.43/886.71	c  886s |      18 |   464698 |   305052 |    23568     27 |      659 |      430
888.53/888.85	c  888s |      18 |   465893 |   305952 |    23568     27 |      659 |      430
890.52/890.85	c  890s |      18 |   467493 |   306952 |    23568     27 |      659 |      430
892.72/893.06	c  892s |      18 |   468470 |   307752 |    23568     27 |      659 |      430
894.92/895.23	c  894s |      18 |   469319 |   308452 |    23568     27 |      659 |      430
897.12/897.41	c  897s |      18 |   470704 |   309452 |    23568     27 |      659 |      430
899.52/899.84	c  899s |      18 |   471559 |   310152 |    23568     27 |      659 |      430
901.51/901.85	c  901s |      18 |   472256 |   310752 |    23568     27 |      659 |      430
903.61/903.94	c  903s |      18 |   472923 |   311352 |    23568     28 |      659 |      430
905.61/905.99	c  905s |      18 |   473943 |   312152 |    23568     28 |      659 |      430
907.82/908.17	c  907s |      18 |   474750 |   312852 |    23568     28 |      659 |      430
910.02/910.32	c  910s |      18 |   475591 |   313552 |    23568     28 |      659 |      430
912.11/912.43	c  912s |      18 |   476439 |   314252 |    23568     28 |      659 |      430
914.11/914.44	c  914s |      18 |   477254 |   314952 |    23568     28 |      659 |      430
916.21/916.56	c  916s |      18 |   478028 |   315652 |    23568     28 |      659 |      430
918.61/918.90	c  918s |      18 |   478574 |   316152 |    23568     28 |      659 |      430
920.81/921.11	c  920s |      18 |   479243 |   316752 |    23568     28 |      659 |      430
922.90/923.29	c  923s |      18 |   479654 |   317152 |    23568     28 |      659 |      430
925.10/925.49	c  925s |      18 |   480315 |   317752 |    23568     28 |      659 |      430
927.30/927.69	c  927s |      18 |   480981 |   318352 |    23568     28 |      659 |      430
929.60/929.93	c  929s |      18 |   481659 |   318952 |    23568     28 |      659 |      430
931.89/932.27	c  932s |      18 |   482467 |   319652 |    23568     28 |      659 |      430
933.99/934.33	c  934s |      18 |   483021 |   320152 |    23568     28 |      659 |      430
936.19/936.54	c  936s |      18 |   483575 |   320652 |    23568     28 |      659 |      430
938.19/938.54	c  938s |      18 |   484013 |   321052 |    23568     28 |      659 |      430
940.20/940.56	c  940s |      18 |   484463 |   321452 |    23568     28 |      659 |      430
942.39/942.75	c  942s |      18 |   484793 |   321752 |    23568     28 |      659 |      430
944.49/944.83	c  944s |      18 |   485389 |   322252 |    23568     28 |      659 |      430
946.58/946.99	c  946s |      18 |   486085 |   322852 |    23568     28 |      659 |      430
948.88/949.22	c  948s |      18 |   486632 |   323352 |    23568     28 |      659 |      430
951.38/951.79	c  951s |      18 |   487195 |   323852 |    23568     28 |      659 |      430
953.58/953.93	c  953s |      18 |   487623 |   324252 |    23568     28 |      659 |      430
955.58/955.96	c  955s |      18 |   487956 |   324552 |    23568     29 |      659 |      430
957.78/958.14	c  957s |      18 |   488613 |   325152 |    23568     29 |      659 |      430
959.78/960.19	c  959s |      18 |   489184 |   325652 |    23568     29 |      659 |      430
961.87/962.24	c  961s |      18 |   489948 |   326252 |    23568     29 |      659 |      430
964.07/964.41	c  964s |      18 |   490629 |   326852 |    23568     29 |      659 |      430
966.07/966.45	c  966s |      18 |   491280 |   327452 |    23568     29 |      659 |      430
968.27/968.65	c  968s |      18 |   491943 |   328052 |    23568     29 |      659 |      430
970.57/970.94	c  970s |      18 |   492891 |   328752 |    23568     29 |      659 |      430
972.86/973.27	c  973s |      18 |   493605 |   329352 |    23568     29 |      659 |      430
974.96/975.39	c  975s |      18 |   494171 |   329852 |    23568     29 |      659 |      430
977.26/977.67	c  977s |      18 |   494774 |   330352 |    23568     29 |      659 |      430
979.46/979.83	c  979s |      18 |   495456 |   330952 |    23568     29 |      659 |      430
981.85/982.20	c  981s |      18 |   496126 |   331552 |    23568     29 |      659 |      430
984.16/984.54	c  984s |      18 |   496783 |   332152 |    23568     29 |      659 |      430
986.36/986.80	c  986s |      18 |   497481 |   332752 |    23568     29 |      659 |      430
988.45/988.83	c  988s |      18 |   498057 |   333252 |    23568     29 |      659 |      430
990.65/991.05	c  990s |      18 |   498614 |   333752 |    23568     29 |      659 |      430
992.64/993.07	c  992s |      18 |   499092 |   334152 |    23568     29 |      659 |      430
995.16/995.51	c  995s |      18 |   499643 |   334652 |    23568     29 |      659 |      430
997.65/998.01	c  997s |      18 |   500186 |   335152 |    23568     29 |      659 |      430
999.75/1000.13	c  999s |      18 |   500794 |   335652 |    23568     29 |      659 |      430
1002.04/1002.49	c 1002s |      18 |   501261 |   336052 |    23568     29 |      659 |      430
1005.05/1005.41	c 1005s |      18 |   501585 |   336352 |    23568     29 |      659 |      430
1007.25/1007.67	c 1007s |      18 |   501799 |   336552 |    23568     29 |      659 |      430
1009.45/1009.85	c 1009s |      18 |   502261 |   336952 |    23568     29 |      659 |      430
1011.74/1012.12	c 1011s |      18 |   502722 |   337352 |    23568     29 |      659 |      430
1013.73/1014.16	c 1013s |      18 |   503043 |   337652 |    23568     29 |      659 |      430
1015.83/1016.24	c 1015s |      18 |   503349 |   337952 |    23568     29 |      659 |      430
1018.03/1018.47	c 1018s |      18 |   503688 |   338252 |    23568     30 |      659 |      430
1020.44/1020.83	c 1020s |      18 |   504121 |   338652 |    23568     30 |      659 |      430
1022.52/1022.95	c 1022s |      18 |   504675 |   339152 |    23568     30 |      659 |      430
1024.83/1025.25	c 1024s |      18 |   505106 |   339552 |    23568     30 |      659 |      430
1027.13/1027.54	c 1027s |      18 |   505643 |   340052 |    23568     30 |      659 |      430
1029.12/1029.56	c 1029s |      18 |   506073 |   340452 |    23568     30 |      659 |      430
1031.52/1031.97	c 1031s |      18 |   506744 |   341052 |    23568     30 |      659 |      430
1034.22/1034.69	c 1034s |      18 |   507477 |   341652 |    23568     30 |      659 |      430
1036.42/1036.84	c 1036s |      18 |   507950 |   342052 |    23568     30 |      659 |      430
1038.52/1038.94	c 1038s |      18 |   508435 |   342452 |    23568     30 |      659 |      430
1040.71/1041.19	c 1040s |      18 |   508885 |   342852 |    23568     30 |      659 |      430
1042.91/1043.31	c 1043s |      18 |   509662 |   343452 |    23568     30 |      659 |      430
1045.61/1046.01	c 1045s |      18 |   510452 |   344052 |    23568     30 |      659 |      430
1048.02/1048.46	c 1048s |      18 |   511193 |   344652 |    23568     30 |      659 |      430
1050.31/1050.74	c 1050s |      18 |   511672 |   345052 |    23568     30 |      659 |      430
1052.32/1052.77	c 1052s |      18 |   512260 |   345552 |    23568     30 |      659 |      430
1054.62/1055.07	c 1054s |      18 |   512804 |   346052 |    23568     30 |      659 |      430
1056.82/1057.25	c 1056s |      18 |   513233 |   346452 |    23568     30 |      659 |      430
1059.21/1059.63	c 1059s |      18 |   513779 |   346952 |    23568     30 |      659 |      430
1061.61/1062.05	c 1061s |      18 |   514326 |   347452 |    23568     30 |      659 |      430
1064.22/1064.68	c 1064s |      18 |   514779 |   347852 |    23568     30 |      659 |      430
1066.32/1066.70	c 1066s |      18 |   515114 |   348152 |    23568     30 |      659 |      430
1068.42/1068.89	c 1068s |      18 |   515683 |   348652 |    23568     30 |      659 |      430
1070.52/1070.91	c 1070s |      18 |   516013 |   348952 |    23568     30 |      659 |      430
1073.22/1073.67	c 1073s |      18 |   516340 |   349252 |    23568     30 |      659 |      430
1075.32/1075.70	c 1075s |      18 |   516665 |   349552 |    23568     30 |      659 |      430
1077.42/1077.86	c 1077s |      18 |   517235 |   350052 |    23568     30 |      659 |      430
1079.52/1079.99	c 1079s |      18 |   517805 |   350552 |    23568     30 |      659 |      430
1081.72/1082.15	c 1081s |      18 |   518293 |   350952 |    23568     30 |      659 |      430
1084.02/1084.45	c 1084s |      18 |   518634 |   351252 |    23568     31 |      659 |      430
1086.21/1086.63	c 1086s |      18 |   519195 |   351752 |    23568     31 |      659 |      430
1088.31/1088.79	c 1088s |      18 |   519627 |   352152 |    23568     31 |      659 |      430
1090.92/1091.34	c 1091s |      18 |   520260 |   352752 |    23568     31 |      659 |      430
1093.21/1093.64	c 1093s |      18 |   520815 |   353252 |    23568     31 |      659 |      430
1095.32/1095.77	c 1095s |      18 |   521234 |   353652 |    23568     31 |      659 |      430
1098.01/1098.44	c 1098s |      18 |   521795 |   354152 |    23568     31 |      659 |      430
1100.31/1100.71	c 1100s |      18 |   522260 |   354552 |    23568     31 |      659 |      430
1102.81/1103.27	c 1103s |      18 |   522706 |   354952 |    23568     31 |      659 |      430
1105.12/1105.58	c 1105s |      18 |   523155 |   355352 |    23568     31 |      659 |      430
1107.71/1108.15	c 1107s |      18 |   523598 |   355752 |    23568     31 |      659 |      430
1110.01/1110.42	c 1110s |      18 |   523937 |   356052 |    23568     31 |      659 |      430
1112.41/1112.87	c 1112s |      18 |   524484 |   356552 |    23568     31 |      659 |      430
1114.81/1115.22	c 1114s |      18 |   525032 |   357052 |    23568     31 |      659 |      430
1117.11/1117.57	c 1117s |      18 |   525582 |   357552 |    23568     31 |      659 |      430
1119.91/1120.36	c 1120s |      18 |   526061 |   357952 |    23568     31 |      659 |      430
1122.31/1122.71	c 1122s |      18 |   526384 |   358252 |    23568     31 |      659 |      430
1124.51/1124.97	c 1124s |      18 |   526833 |   358652 |    23568     31 |      659 |      430
1126.80/1127.24	c 1126s |      18 |   527298 |   359052 |    23568     31 |      659 |      430
1129.60/1130.05	c 1129s |      18 |   527745 |   359452 |    23568     31 |      659 |      430
1132.40/1132.88	c 1132s |      18 |   528204 |   359852 |    23568     31 |      659 |      430
1135.20/1135.61	c 1135s |      18 |   528650 |   360252 |    23568     31 |      659 |      430
1137.50/1137.97	c 1137s |      18 |   528988 |   360552 |    23568     31 |      659 |      430
1139.70/1140.12	c 1139s |      18 |   529323 |   360852 |    23568     31 |      659 |      430
1142.00/1142.44	c 1142s |      18 |   529647 |   361152 |    23568     31 |      659 |      430
1144.40/1144.83	c 1144s |      18 |   529980 |   361452 |    23568     31 |      659 |      430
1146.80/1147.24	c 1146s |      18 |   530338 |   361752 |    23568     31 |      659 |      430
1149.00/1149.47	c 1149s |      18 |   530683 |   362052 |    23568     31 |      659 |      430
1151.50/1151.94	c 1151s |      18 |   531010 |   362352 |    23568     31 |      659 |      430
1153.51/1153.98	c 1153s |      18 |   531223 |   362552 |    23568     31 |      659 |      430
1155.90/1156.35	c 1156s |      18 |   531566 |   362852 |    23568     31 |      659 |      430
1158.70/1159.11	c 1158s |      18 |   531882 |   363152 |    23568     31 |      659 |      430
1160.80/1161.28	c 1161s |      18 |   532311 |   363552 |    23568     31 |      659 |      430
1163.00/1163.44	c 1163s |      18 |   532760 |   363952 |    23568     31 |      659 |      430
1165.60/1166.04	c 1165s |      18 |   533082 |   364252 |    23568     31 |      659 |      430
1167.70/1168.17	c 1167s |      18 |   533408 |   364552 |    23568     31 |      659 |      430
1170.10/1170.54	c 1170s |      18 |   533755 |   364852 |    23568     32 |      659 |      430
1172.39/1172.83	c 1172s |      18 |   534290 |   365352 |    23568     32 |      659 |      430
1174.50/1174.90	c 1174s |      18 |   534711 |   365752 |    23568     32 |      659 |      430
1176.49/1176.93	c 1176s |      18 |   535159 |   366152 |    23568     32 |      659 |      430
1178.90/1179.39	c 1179s |      18 |   535690 |   366652 |    23568     32 |      659 |      430
1181.49/1181.96	c 1181s |      18 |   536116 |   367052 |    23568     32 |      659 |      430
1183.69/1184.17	c 1183s |      18 |   536535 |   367452 |    23568     32 |      659 |      430
1186.10/1186.59	c 1186s |      18 |   536958 |   367852 |    23568     32 |      659 |      430
1188.40/1188.85	c 1188s |      18 |   537509 |   368352 |    23568     32 |      659 |      430
1190.91/1191.32	c 1191s |      18 |   538057 |   368852 |    23568     32 |      659 |      430
1193.00/1193.41	c 1193s |      18 |   538599 |   369352 |    23568     32 |      659 |      430
1195.00/1195.44	c 1195s |      18 |   539149 |   369852 |    23568     32 |      659 |      430
1197.30/1197.77	c 1197s |      18 |   539770 |   370352 |    23568     32 |      659 |      430
1199.60/1200.09	c 1199s |      18 |   540494 |   370952 |    23568     32 |      659 |      430
1201.70/1202.15	c 1201s |      18 |   541079 |   371452 |    23568     32 |      659 |      430
1203.80/1204.24	c 1203s |      18 |   541655 |   371952 |    23568     32 |      659 |      430
1206.00/1206.40	c 1206s |      18 |   542208 |   372452 |    23568     32 |      659 |      430
1208.20/1208.67	c 1208s |      18 |   542640 |   372852 |    23568     32 |      659 |      430
1210.50/1210.91	c 1210s |      18 |   543264 |   373352 |    23568     32 |      659 |      430
1212.69/1213.16	c 1212s |      18 |   543830 |   373852 |    23568     32 |      659 |      430
1215.29/1215.75	c 1215s |      18 |   544398 |   374352 |    23568     32 |      659 |      430
1217.79/1218.21	c 1217s |      18 |   544834 |   374752 |    23568     32 |      659 |      430
1220.19/1220.64	c 1220s |      18 |   545276 |   375152 |    23568     32 |      659 |      430
1222.29/1222.74	c 1222s |      18 |   545716 |   375552 |    23568     32 |      659 |      430
1224.79/1225.25	c 1224s |      18 |   546246 |   376052 |    23568     32 |      659 |      430
1227.09/1227.54	c 1227s |      18 |   546688 |   376452 |    23568     32 |      659 |      430
1229.09/1229.59	c 1229s |      18 |   547193 |   376852 |    23568     32 |      659 |      430
1231.60/1232.01	c 1231s |      18 |   547800 |   377352 |    23568     32 |      659 |      430
1233.69/1234.19	c 1233s |      18 |   548265 |   377752 |    23568     32 |      659 |      430
1235.79/1236.21	c 1235s |      18 |   548736 |   378152 |    23568     33 |      659 |      430
1237.99/1238.48	c 1238s |      18 |   549497 |   378852 |    23568     33 |      659 |      430
1240.39/1240.80	c 1240s |      18 |   550300 |   379552 |    23568     33 |      659 |      430
1242.79/1243.20	c 1242s |      18 |   550887 |   380052 |    23568     33 |      659 |      430
1244.89/1245.34	c 1245s |      18 |   551428 |   380552 |    23568     33 |      659 |      430
1246.99/1247.47	c 1247s |      18 |   551967 |   381052 |    23568     33 |      659 |      430
1249.19/1249.62	c 1249s |      18 |   552537 |   381552 |    23568     33 |      659 |      430
1251.58/1252.07	c 1251s |      18 |   553069 |   382052 |    23568     33 |      659 |      430
1253.88/1254.37	c 1254s |      18 |   553614 |   382552 |    23568     33 |      659 |      430
1256.28/1256.71	c 1256s |      18 |   554175 |   383052 |    23568     33 |      659 |      430
1258.68/1259.14	c 1258s |      18 |   554713 |   383552 |    23568     33 |      659 |      430
1261.08/1261.51	c 1261s |      18 |   555288 |   384052 |    23568     33 |      659 |      430
1263.38/1263.84	c 1263s |      18 |   555842 |   384552 |    23568     33 |      659 |      430
1265.69/1266.14	c 1265s |      18 |   556406 |   385052 |    23568     33 |      659 |      430
1267.68/1268.16	c 1267s |      18 |   556860 |   385452 |    23568     33 |      659 |      430
1269.88/1270.31	c 1270s |      18 |   557399 |   385952 |    23568     33 |      659 |      430
1271.88/1272.37	c 1272s |      18 |   557836 |   386352 |    23568     33 |      659 |      430
1273.98/1274.45	c 1274s |      18 |   558269 |   386752 |    23568     33 |      659 |      430
1276.28/1276.77	c 1276s |      18 |   558811 |   387252 |    23568     33 |      659 |      430
1278.38/1278.86	c 1278s |      18 |   559230 |   387652 |    23568     33 |      659 |      430
1280.68/1281.13	c 1280s |      18 |   559657 |   388052 |    23568     33 |      659 |      430
1283.08/1283.56	c 1283s |      18 |   560099 |   388452 |    23568     33 |      659 |      430
1285.68/1286.16	c 1285s |      18 |   560525 |   388852 |    23568     33 |      659 |      430
1287.88/1288.39	c 1288s |      18 |   560948 |   389252 |    23568     33 |      659 |      430
1289.98/1290.48	c 1290s |      18 |   561376 |   389652 |    23568     33 |      659 |      430
1292.18/1292.64	c 1292s |      18 |   561802 |   390052 |    23568     33 |      659 |      430
1294.18/1294.70	c 1294s |      18 |   562122 |   390352 |    23568     33 |      659 |      430
1296.48/1296.92	c 1296s |      18 |   562544 |   390752 |    23568     33 |      659 |      430
1298.88/1299.37	c 1299s |      18 |   562977 |   391152 |    23568     33 |      659 |      430
1301.17/1301.66	c 1301s |      18 |   563416 |   391552 |    23568     34 |      659 |      430
1303.47/1303.97	c 1303s |      18 |   564055 |   392152 |    23568     34 |      659 |      430
1305.68/1306.11	c 1305s |      18 |   564600 |   392652 |    23568     34 |      659 |      430
1307.78/1308.22	c 1307s |      18 |   565121 |   393152 |    23568     34 |      659 |      430
1309.98/1310.49	c 1310s |      18 |   565651 |   393652 |    23568     34 |      659 |      430
1312.28/1312.77	c 1312s |      18 |   566206 |   394152 |    23568     34 |      659 |      430
1314.68/1315.12	c 1314s |      18 |   566747 |   394652 |    23568     34 |      659 |      430
1317.08/1317.58	c 1317s |      18 |   567311 |   395152 |    23568     34 |      659 |      430
1319.48/1319.93	c 1319s |      18 |   567846 |   395652 |    23568     34 |      659 |      430
1321.78/1322.23	c 1321s |      18 |   568402 |   396152 |    23568     34 |      659 |      430
1323.87/1324.33	c 1324s |      18 |   568849 |   396552 |    23568     34 |      659 |      430
1326.28/1326.76	c 1326s |      18 |   569422 |   397052 |    23568     34 |      659 |      430
1328.48/1328.97	c 1328s |      18 |   569976 |   397552 |    23568     34 |      659 |      430
1330.68/1331.13	c 1330s |      18 |   570406 |   397952 |    23568     34 |      659 |      430
1332.78/1333.27	c 1333s |      18 |   570846 |   398352 |    23568     34 |      659 |      430
1335.08/1335.54	c 1335s |      18 |   571284 |   398752 |    23568     34 |      659 |      430
1337.37/1337.83	c 1337s |      18 |   571725 |   399152 |    23568     34 |      659 |      430
1339.57/1340.00	c 1339s |      18 |   572148 |   399552 |    23568     34 |      659 |      430
1341.58/1342.08	c 1341s |      18 |   572603 |   399952 |    23568     34 |      659 |      430
1343.78/1344.29	c 1344s |      18 |   572914 |   400252 |    23568     34 |      659 |      430
1346.57/1347.01	c 1346s |      18 |   573346 |   400652 |    23568     34 |      659 |      430
1348.67/1349.16	c 1348s |      18 |   573771 |   401052 |    23568     34 |      659 |      430
1350.97/1351.49	c 1351s |      18 |   574201 |   401452 |    23568     34 |      659 |      430
1353.17/1353.69	c 1353s |      18 |   574525 |   401752 |    23568     34 |      659 |      430
1355.37/1355.80	c 1355s |      18 |   574958 |   402152 |    23568     34 |      659 |      430
1357.87/1358.40	c 1358s |      18 |   575376 |   402552 |    23568     34 |      659 |      430
1360.07/1360.50	c 1360s |      18 |   575705 |   402852 |    23568     34 |      659 |      430
1362.57/1363.03	c 1362s |      18 |   576120 |   403252 |    23568     34 |      659 |      430
1364.87/1365.33	c 1365s |      18 |   576535 |   403652 |    23568     34 |      659 |      430
1367.37/1367.86	c 1367s |      18 |   576956 |   404052 |    23568     34 |      659 |      430
1369.47/1369.90	c 1369s |      18 |   577275 |   404352 |    23568     34 |      659 |      430
1372.17/1372.63	c 1372s |      18 |   577605 |   404652 |    23568     35 |      659 |      430
1374.37/1374.83	c 1374s |      18 |   578050 |   405052 |    23568     35 |      659 |      430
1376.67/1377.14	c 1376s |      18 |   578596 |   405552 |    23568     35 |      659 |      430
1378.87/1379.33	c 1379s |      18 |   579027 |   405952 |    23568     35 |      659 |      430
1381.18/1381.65	c 1381s |      18 |   579434 |   406352 |    23568     35 |      659 |      430
1383.17/1383.69	c 1383s |      18 |   579869 |   406752 |    23568     35 |      659 |      430
1385.47/1385.91	c 1385s |      18 |   580412 |   407252 |    23568     35 |      659 |      430
1387.67/1388.17	c 1387s |      18 |   580848 |   407652 |    23568     35 |      659 |      430
1389.87/1390.37	c 1390s |      18 |   581279 |   408052 |    23568     35 |      659 |      430
1391.97/1392.44	c 1392s |      18 |   581704 |   408452 |    23568     35 |      659 |      430
1394.17/1394.66	c 1394s |      18 |   582135 |   408852 |    23568     35 |      659 |      430
1396.47/1396.97	c 1396s |      18 |   582563 |   409252 |    23568     35 |      659 |      430
1398.77/1399.27	c 1399s |      18 |   582983 |   409652 |    23568     35 |      659 |      430
1401.46/1401.97	c 1401s |      18 |   583510 |   410152 |    23568     35 |      659 |      430
1403.56/1404.07	c 1403s |      18 |   583944 |   410552 |    23568     35 |      659 |      430
1405.96/1406.46	c 1406s |      18 |   584357 |   410952 |    23568     35 |      659 |      430
1408.26/1408.77	c 1408s |      18 |   584667 |   411252 |    23568     35 |      659 |      430
1410.66/1411.12	c 1410s |      18 |   585098 |   411652 |    23568     35 |      659 |      430
1412.86/1413.38	c 1413s |      18 |   585545 |   412052 |    23568     35 |      659 |      430
1415.36/1415.83	c 1415s |      18 |   586085 |   412552 |    23568     35 |      659 |      430
1417.36/1417.84	c 1417s |      18 |   586511 |   412952 |    23568     35 |      659 |      430
1419.36/1419.90	c 1419s |      18 |   586943 |   413352 |    23568     35 |      659 |      430
1421.66/1422.15	c 1421s |      18 |   587379 |   413752 |    23568     35 |      659 |      430
1423.96/1424.43	c 1424s |      18 |   587806 |   414152 |    23568     35 |      659 |      430
1426.26/1426.72	c 1426s |      18 |   588308 |   414552 |    23568     35 |      659 |      430
1428.35/1428.85	c 1428s |      18 |   588772 |   414952 |    23568     35 |      659 |      430
1430.66/1431.14	c 1430s |      18 |   589228 |   415352 |    23568     35 |      659 |      430
1432.76/1433.28	c 1433s |      18 |   589668 |   415752 |    23568     35 |      659 |      430
1435.07/1435.50	c 1435s |      18 |   590092 |   416152 |    23568     35 |      659 |      430
1437.46/1437.95	c 1437s |      18 |   590663 |   416652 |    23568     35 |      659 |      430
1440.26/1440.74	c 1440s |      18 |   591260 |   417152 |    23568     35 |      659 |      430
1442.36/1442.82	c 1442s |      18 |   591723 |   417552 |    23568     35 |      659 |      430
1444.56/1445.05	c 1444s |      18 |   592064 |   417852 |    23568     36 |      659 |      430
1446.56/1447.08	c 1446s |      18 |   592640 |   418352 |    23568     36 |      659 |      430
1448.66/1449.10	c 1448s |      18 |   593077 |   418752 |    23568     36 |      659 |      430
1451.16/1451.62	c 1451s |      18 |   593647 |   419252 |    23568     36 |      659 |      430
1453.16/1453.68	c 1453s |      18 |   594569 |   419852 |    23568     36 |      659 |      430
1455.26/1455.77	c 1455s |      18 |   595145 |   420352 |    23568     36 |      659 |      430
1457.46/1457.91	c 1457s |      18 |   595693 |   420852 |    23568     36 |      659 |      430
1459.66/1460.13	c 1459s |      18 |   596367 |   421452 |    23568     36 |      659 |      430
1461.86/1462.34	c 1462s |      18 |   597073 |   422052 |    23568     36 |      659 |      430
1463.96/1464.45	c 1464s |      18 |   597642 |   422552 |    23568     36 |      659 |      430
1466.26/1466.77	c 1466s |      18 |   598336 |   423152 |    23568     36 |      659 |      430
1468.45/1468.99	c 1468s |      18 |   598906 |   423652 |    23568     36 |      659 |      430
1470.85/1471.36	c 1471s |      18 |   599466 |   424152 |    23568     36 |      659 |      430
1472.95/1473.41	c 1473s |      18 |   599902 |   424552 |    23568     36 |      659 |      430
1475.05/1475.57	c 1475s |      18 |   600347 |   424952 |    23568     36 |      659 |      430
1477.45/1477.96	c 1477s |      18 |   600773 |   425352 |    23568     36 |      659 |      430
1479.65/1480.10	c 1479s |      18 |   601200 |   425752 |    23568     36 |      659 |      430
1482.05/1482.51	c 1482s |      18 |   601653 |   426152 |    23568     36 |      659 |      430
1484.56/1485.01	c 1484s |      18 |   602241 |   426652 |    23568     36 |      659 |      430
1487.15/1487.67	c 1487s |      18 |   602778 |   427152 |    23568     36 |      659 |      430
1489.65/1490.11	c 1489s |      18 |   603337 |   427652 |    23568     36 |      659 |      430
1492.35/1492.84	c 1492s |      18 |   603895 |   428152 |    23568     36 |      659 |      430
1494.75/1495.27	c 1495s |      18 |   604484 |   428652 |    23568     36 |      659 |      430
1497.35/1497.89	c 1497s |      18 |   605027 |   429152 |    23568     36 |      659 |      430
1499.85/1500.32	c 1500s |      18 |   605452 |   429552 |    23568     36 |      659 |      430
1502.45/1502.94	c 1502s |      18 |   605777 |   429852 |    23568     36 |      659 |      430
1504.55/1505.06	c 1504s |      18 |   606248 |   430252 |    23568     36 |      659 |      430
1507.25/1507.73	c 1507s |      18 |   606682 |   430652 |    23568     36 |      659 |      430
1509.45/1509.99	c 1509s |      18 |   607539 |   431152 |    23568     37 |      659 |      430
1511.75/1512.26	c 1512s |      18 |   608527 |   431952 |    23568     37 |      659 |      430
1513.85/1514.37	c 1514s |      18 |   609228 |   432552 |    23568     37 |      659 |      430
1515.95/1516.46	c 1516s |      18 |   609861 |   433152 |    23568     37 |      659 |      430
1518.25/1518.76	c 1518s |      18 |   610667 |   433852 |    23568     37 |      659 |      430
1520.35/1520.88	c 1520s |      18 |   611351 |   434452 |    23568     37 |      659 |      430
1522.44/1522.91	c 1522s |      18 |   612065 |   435052 |    23568     37 |      659 |      430
1524.64/1525.12	c 1524s |      18 |   612736 |   435652 |    23568     37 |      659 |      430
1527.04/1527.51	c 1527s |      18 |   613376 |   436252 |    23568     37 |      659 |      430
1529.34/1529.80	c 1529s |      18 |   614057 |   436852 |    23568     37 |      659 |      430
1531.34/1531.87	c 1531s |      18 |   614615 |   437352 |    23568     37 |      659 |      430
1533.64/1534.14	c 1533s |      18 |   615162 |   437852 |    23568     37 |      659 |      430
1535.94/1536.40	c 1536s |      18 |   615695 |   438352 |    23568     37 |      659 |      430
1538.14/1538.62	c 1538s |      18 |   616248 |   438852 |    23568     37 |      659 |      430
1540.24/1540.79	c 1540s |      18 |   616788 |   439352 |    23568     37 |      659 |      430
1542.54/1543.01	c 1542s |      18 |   617327 |   439852 |    23568     37 |      659 |      430
1544.74/1545.28	c 1545s |      18 |   617879 |   440352 |    23568     37 |      659 |      430
1547.04/1547.53	c 1547s |      18 |   618415 |   440852 |    23568     37 |      659 |      430
1549.34/1549.85	c 1549s |      18 |   618964 |   441352 |    25925     37 |      659 |      430
1551.75/1552.21	c 1551s |      18 |   619504 |   441852 |    25925     37 |      659 |      430
1554.14/1554.69	c 1554s |      18 |   620037 |   442352 |    25925     37 |      659 |      430
1556.34/1556.83	c 1556s |      18 |   620479 |   442752 |    25925     37 |      659 |      430
1558.74/1559.29	c 1559s |      18 |   621078 |   443252 |    25925     37 |      659 |      430
1561.14/1561.65	c 1561s |      18 |   621668 |   443752 |    25925     37 |      659 |      430
1563.24/1563.73	c 1563s |      18 |   622108 |   444152 |    25925     37 |      659 |      430
1565.04/1565.57	c 1565s |      19 |   622466 |   444482 |    25925     37 |      659 |      430
1567.04/1567.58	c 1567s |      19 |   626185 |   445482 |    25925     38 |      659 |      430
1569.24/1569.73	c 1569s |      19 |   627672 |   446582 |    25925     38 |      659 |      430
1571.24/1571.74	c 1571s |      19 |   629678 |   447982 |    25925     38 |      659 |      430
1573.34/1573.87	c 1573s |      19 |   631297 |   449182 |    25925     38 |      659 |      430
1575.34/1575.88	c 1575s |      19 |   632976 |   450382 |    25925     38 |      659 |      430
1577.54/1578.02	c 1577s |      19 |   633904 |   451082 |    25925     38 |      659 |      430
1579.64/1580.15	c 1579s |      19 |   634689 |   451682 |    25925     38 |      659 |      430
1581.73/1582.28	c 1582s |      19 |   635731 |   452482 |    25925     38 |      659 |      430
1583.83/1584.36	c 1584s |      19 |   637287 |   453582 |    25925     38 |      659 |      430
1585.84/1586.38	c 1586s |      19 |   638685 |   454682 |    25925     38 |      659 |      430
1587.94/1588.41	c 1588s |      19 |   639933 |   455682 |    25925     38 |      659 |      430
1590.03/1590.57	c 1590s |      19 |   640941 |   456482 |    25925     38 |      659 |      430
1592.13/1592.60	c 1592s |      19 |   641677 |   457082 |    25925     38 |      659 |      430
1594.13/1594.67	c 1594s |      19 |   642510 |   457782 |    25925     38 |      659 |      430
1596.43/1596.95	c 1596s |      19 |   643510 |   458582 |    25925     38 |      659 |      430
1598.73/1599.26	c 1598s |      19 |   644401 |   459282 |    25925     38 |      659 |      430
1600.73/1601.26	c 1601s |      19 |   645168 |   459882 |    25925     38 |      659 |      430
1603.44/1603.96	c 1603s |      19 |   645889 |   460482 |    25925     39 |      659 |      430
1605.43/1605.96	c 1605s |      19 |   646658 |   461082 |    25925     39 |      659 |      430
1607.53/1608.09	c 1607s |      19 |   647602 |   461682 |    25925     39 |      659 |      430
1609.73/1610.25	c 1609s |      19 |   649858 |   462982 |    25925     39 |      659 |      430
1611.93/1612.44	c 1612s |      19 |   651324 |   463982 |    25925     39 |      659 |      430
1614.03/1614.56	c 1614s |      19 |   652594 |   464882 |    25925     39 |      659 |      430
1616.23/1616.70	c 1616s |      19 |   653761 |   465782 |    25925     39 |      659 |      430
1618.34/1618.89	c 1618s |      19 |   654728 |   466582 |    25925     39 |      659 |      430
1620.53/1621.04	c 1620s |      19 |   655950 |   467482 |    25925     39 |      659 |      430
1622.73/1623.23	c 1622s |      19 |   656943 |   468282 |    25925     39 |      659 |      430
1624.83/1625.31	c 1625s |      19 |   657813 |   468982 |    25925     39 |      659 |      430
1626.93/1627.40	c 1627s |      19 |   658669 |   469682 |    25925     39 |      659 |      430
1629.13/1629.66	c 1629s |      19 |   659508 |   470382 |    25925     39 |      659 |      430
1631.23/1631.75	c 1631s |      19 |   660382 |   471082 |    25925     39 |      659 |      430
1633.33/1633.87	c 1633s |      19 |   661309 |   471782 |    25925     39 |      659 |      430
1636.13/1636.64	c 1636s |      19 |   661884 |   472282 |    25925     39 |      659 |      430
1638.54/1639.02	c 1638s |      19 |   662346 |   472682 |    25925     39 |      659 |      430
1640.63/1641.19	c 1640s |      19 |   662998 |   473182 |    25925     39 |      659 |      430
1642.94/1643.47	c 1643s |      19 |   664033 |   473882 |    25925     39 |      659 |      430
1645.03/1645.58	c 1645s |      19 |   664780 |   474482 |    25925     39 |      659 |      430
1647.44/1647.96	c 1647s |      19 |   665294 |   474882 |    25925     40 |      659 |      430
1649.73/1650.26	c 1650s |      19 |   666139 |   475582 |    25925     40 |      659 |      430
1651.83/1652.37	c 1652s |      19 |   666716 |   476082 |    25925     40 |      659 |      430
1654.03/1654.51	c 1654s |      19 |   667170 |   476482 |    25925     40 |      659 |      430
1656.33/1656.87	c 1656s |      19 |   667759 |   476982 |    25925     40 |      659 |      430
1658.72/1659.26	c 1659s |      19 |   668317 |   477482 |    25925     40 |      659 |      430
1660.83/1661.30	c 1661s |      19 |   669159 |   478082 |    25925     40 |      659 |      430
1663.12/1663.65	c 1663s |      19 |   670256 |   478882 |    25925     40 |      659 |      430
1665.22/1665.78	c 1665s |      19 |   671121 |   479582 |    25925     40 |      659 |      430
1667.52/1668.06	c 1667s |      19 |   671981 |   480282 |    25925     40 |      659 |      430
1669.82/1670.30	c 1670s |      19 |   672822 |   480982 |    25925     40 |      659 |      430
1672.02/1672.51	c 1672s |      19 |   673683 |   481682 |    25925     40 |      659 |      430
1674.12/1674.63	c 1674s |      19 |   674252 |   482182 |    25925     40 |      659 |      430
1676.12/1676.63	c 1676s |      19 |   674992 |   482782 |    25925     40 |      659 |      430
1678.12/1678.65	c 1678s |      19 |   675614 |   483282 |    25925     40 |      659 |      430
1680.42/1680.97	c 1680s |      19 |   676251 |   483782 |    25925     40 |      659 |      430
1682.82/1683.38	c 1683s |      19 |   676870 |   484282 |    25925     40 |      659 |      430
1684.92/1685.41	c 1685s |      19 |   677345 |   484682 |    25925     40 |      659 |      430
1687.12/1687.65	c 1687s |      19 |   677957 |   485182 |    25925     40 |      659 |      430
1689.52/1690.02	c 1689s |      19 |   678672 |   485782 |    25925     40 |      659 |      430
1691.72/1692.24	c 1691s |      19 |   679279 |   486282 |    25925     40 |      659 |      430
1694.02/1694.51	c 1694s |      19 |   679904 |   486782 |    25925     40 |      659 |      430
1696.52/1697.00	c 1696s |      19 |   680505 |   487282 |    25925     40 |      659 |      430
1698.82/1699.32	c 1699s |      19 |   681130 |   487782 |    25925     40 |      659 |      430
1701.12/1701.62	c 1701s |      19 |   681865 |   488382 |    25925     40 |      659 |      430
1703.22/1703.76	c 1703s |      19 |   682471 |   488882 |    25925     40 |      659 |      430
1705.22/1705.76	c 1705s |      19 |   683110 |   489382 |    25925     40 |      659 |      430
1707.42/1707.95	c 1707s |      19 |   683464 |   489682 |    25925     41 |      659 |      430
1709.52/1710.09	c 1709s |      19 |   684179 |   490282 |    25925     41 |      659 |      430
1711.62/1712.14	c 1711s |      19 |   684930 |   490882 |    25925     41 |      659 |      430
1713.62/1714.19	c 1713s |      19 |   685543 |   491382 |    25925     41 |      659 |      430
1716.02/1716.54	c 1716s |      19 |   686120 |   491882 |    25925     41 |      659 |      430
1718.12/1718.69	c 1718s |      19 |   686885 |   492482 |    25925     41 |      659 |      430
1720.52/1721.03	c 1720s |      19 |   687479 |   492982 |    25925     41 |      659 |      430
1722.82/1723.35	c 1723s |      19 |   688137 |   493482 |    25925     41 |      659 |      430
1725.12/1725.69	c 1725s |      19 |   688769 |   493982 |    25925     41 |      659 |      430
1727.72/1728.21	c 1727s |      19 |   689339 |   494482 |    25925     41 |      659 |      430
1729.71/1730.21	c 1729s |      19 |   689696 |   494782 |    25925     41 |      659 |      430
1732.12/1732.61	c 1732s |      19 |   690406 |   495382 |    25925     41 |      659 |      430
1734.11/1734.70	c 1734s |      19 |   690746 |   495682 |    25925     41 |      659 |      430
1736.31/1736.89	c 1736s |      19 |   691379 |   496182 |    25925     41 |      659 |      430
1738.61/1739.12	c 1738s |      19 |   691976 |   496682 |    25925     41 |      659 |      430
1741.11/1741.66	c 1741s |      19 |   692550 |   497182 |    25925     41 |      659 |      430
1743.31/1743.88	c 1743s |      19 |   693027 |   497582 |    25925     41 |      659 |      430
1745.81/1746.36	c 1746s |      19 |   693630 |   498082 |    25925     41 |      659 |      430
1748.01/1748.53	c 1748s |      19 |   694241 |   498582 |    25925     41 |      659 |      430
1750.11/1750.64	c 1750s |      19 |   694725 |   498982 |    25925     41 |      659 |      430
1752.51/1753.07	c 1752s |      19 |   695178 |   499382 |    25925     41 |      659 |      430
1754.91/1755.41	c 1755s |      19 |   695751 |   499882 |    25925     41 |      659 |      430
1756.91/1757.45	c 1757s |      19 |   696234 |   500282 |    25925     41 |      659 |      430
1759.41/1759.92	c 1759s |      19 |   696720 |   500682 |    25925     41 |      659 |      430
1761.91/1762.42	c 1762s |      19 |   697291 |   501182 |    25925     41 |      659 |      430
1764.02/1764.58	c 1764s |      19 |   697751 |   501582 |    25925     41 |      659 |      430
1766.61/1767.12	c 1766s |      19 |   698330 |   502082 |    25925     41 |      659 |      430
1768.91/1769.43	c 1769s |      19 |   698815 |   502482 |    25925     41 |      659 |      430
1771.21/1771.77	c 1771s |      19 |   699291 |   502882 |    25925     41 |      659 |      430
1773.21/1773.79	c 1773s |      19 |   699779 |   503282 |    25925     41 |      659 |      430
1775.61/1776.19	c 1775s |      19 |   700217 |   503682 |    25925     41 |      659 |      430
1778.11/1778.65	c 1778s |      19 |   700796 |   504182 |    25925     41 |      659 |      430
1780.21/1780.76	c 1780s |      19 |   701159 |   504482 |    25925     42 |      659 |      430
1782.41/1782.96	c 1782s |      19 |   701626 |   504882 |    25925     42 |      659 |      430
1784.71/1785.24	c 1784s |      19 |   702099 |   505282 |    25925     42 |      659 |      430
1786.91/1787.44	c 1787s |      19 |   702680 |   505782 |    25925     42 |      659 |      430
1789.41/1789.91	c 1789s |      19 |   703541 |   506382 |    25925     42 |      659 |      430
1791.51/1792.06	c 1791s |      19 |   705018 |   507382 |    25925     42 |      659 |      430
1793.61/1794.15	c 1793s |      19 |   706524 |   508482 |    25925     42 |      659 |      430
1795.81/1796.39	c 1796s |      19 |   707904 |   509482 |    25925     42 |      659 |      430
1798.01/1798.56	c 1798s |      19 |   709002 |   510282 |    25925     42 |      659 |      430

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.18 2.16 2.17 3/179 23469
/proc/meminfo: memFree=29622980/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=653756 CPUtime=0 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 2424 0 0 0 0 0 0 0 20 0 4 0 29009645 669446144 3297 33554432000 4194304 16246674 140734531943920 140734531943344 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 163951 3304 441 2943 0 160845 0
[pid=23469/tid=23470] ppid=23466 vsize=670140 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 686223360 3361 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=675260 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 691466240 3379 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=679356 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 695660544 3395 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.18 2.16 2.17 3/179 23469
/proc/meminfo: memFree=29622980/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1220164 CPUtime=0.08 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 28272 0 0 0 5 3 0 0 20 0 4 0 29009645 1249447936 29082 33554432000 4194304 16246674 140734531943920 140734531943232 4220491 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 305041 29082 801 2943 0 301935 0
[pid=23469/tid=23470] ppid=23466 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1249447936 29082 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1249447936 29082 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1249447936 29082 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200616 s]
/proc/loadavg: 2.18 2.16 2.17 3/179 23469
/proc/meminfo: memFree=29622980/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 48479 0 0 0 12 7 0 0 20 0 4 0 29009645 1332285440 49289 33554432000 4194304 16246674 140734531943920 140734531943232 8220808 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 325265 49289 842 2943 0 322159 0
[pid=23469/tid=23470] ppid=23466 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1332285440 49289 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1332285440 49289 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1332285440 49289 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.30054 s]
/proc/loadavg: 2.18 2.16 2.17 3/179 23469
/proc/meminfo: memFree=29622980/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 49861 0 0 0 22 7 0 0 20 0 4 0 29009645 1332285440 50671 33554432000 4194304 16246674 140734531943920 140734531925824 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 325265 50676 882 2943 0 322159 0
[pid=23469/tid=23470] ppid=23466 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1332285440 50679 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1332285440 50681 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1332285440 50683 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700428 s]
/proc/loadavg: 2.18 2.16 2.17 3/179 23469
/proc/meminfo: memFree=29622980/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 99613 0 0 0 57 12 0 0 20 0 4 0 29009645 1332285440 100423 33554432000 4194304 16246674 140734531943920 140734531925824 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 325265 100426 882 2943 0 322159 0
[pid=23469/tid=23470] ppid=23466 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1332285440 100428 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1332285440 100431 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1332285440 100435 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50042 s]
/proc/loadavg: 2.18 2.16 2.17 3/183 23473
/proc/meminfo: memFree=29021800/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 200134 0 0 0 125 24 0 0 20 0 4 0 29009645 1332285440 200944 33554432000 4194304 16246674 140734531943920 140734531925824 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 325265 200947 882 2943 0 322159 0
[pid=23469/tid=23470] ppid=23466 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1332285440 200949 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1332285440 200951 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1332285440 200953 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10043 s]
/proc/loadavg: 2.16 2.16 2.17 3/183 23473
/proc/meminfo: memFree=28699508/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1312324 CPUtime=3.09 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 253262 0 0 0 278 31 0 0 20 0 4 0 29009645 1343819776 254072 33554432000 4194304 16246674 140734531943920 140734531925824 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 328081 254079 888 2943 0 324975 0
[pid=23469/tid=23470] ppid=23466 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1343819776 254087 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1343819776 254096 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1343819776 254105 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30044 s]
/proc/loadavg: 2.16 2.16 2.17 3/183 23473
/proc/meminfo: memFree=28543592/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1312324 CPUtime=6.28 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 269265 0 0 0 595 33 0 0 20 0 4 0 29009645 1343819776 270075 33554432000 4194304 16246674 140734531943920 140734531925824 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 328081 270075 891 2943 0 324975 0
[pid=23469/tid=23470] ppid=23466 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1343819776 270075 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1343819776 270075 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1343819776 270075 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.14 2.16 2.17 3/183 23473
/proc/meminfo: memFree=28543484/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1312324 CPUtime=12.68 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 269265 0 0 0 1235 33 0 0 20 0 4 0 29009645 1343819776 270075 33554432000 4194304 16246674 140734531943920 140734531925824 12875570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 328081 270075 891 2943 0 324975 0
[pid=23469/tid=23470] ppid=23466 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1343819776 270075 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1343819776 270075 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1343819776 270075 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.19 2.17 2.17 3/183 23473
/proc/meminfo: memFree=28544000/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1312324 CPUtime=25.49 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 269267 0 0 0 2515 34 0 0 20 0 4 0 29009645 1343819776 270077 33554432000 4194304 16246674 140734531943920 140734531925824 12483583 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 328081 270077 892 2943 0 324975 0
[pid=23469/tid=23470] ppid=23466 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1343819776 270077 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1343819776 270077 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1343819776 270077 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1006 s]
/proc/loadavg: 2.27 2.18 2.18 4/183 23473
/proc/meminfo: memFree=28543848/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1312324 CPUtime=51.09 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 269268 0 0 0 5075 34 0 0 20 0 4 0 29009645 1343819776 270078 33554432000 4194304 16246674 140734531943920 140734531943096 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 328081 270078 892 2943 0 324975 0
[pid=23469/tid=23470] ppid=23466 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1343819776 270078 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1343819776 270078 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1343819776 270078 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.28 2.20 2.18 3/184 23477
/proc/meminfo: memFree=28542708/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1313348 CPUtime=102.28 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 269428 0 0 0 10194 34 0 0 20 0 4 0 29009645 1344868352 270238 33554432000 4194304 16246674 140734531943920 140734531925824 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 328337 270238 892 2943 0 325231 0
[pid=23469/tid=23470] ppid=23466 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1344868352 270238 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1344868352 270238 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1344868352 270238 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1346116

[startup+1362.3 s]
/proc/loadavg: 2.12 2.16 2.16 3/183 23580
/proc/meminfo: memFree=28520168/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1346116 CPUtime=1361.87 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 278022 0 0 0 136136 51 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 140734531925824 5600804 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 336529 278529 892 2943 0 333423 0
[pid=23469/tid=23470] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1346116

[startup+1422.3 s]
/proc/loadavg: 2.08 2.14 2.16 3/183 23581
/proc/meminfo: memFree=28520188/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1346116 CPUtime=1421.86 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 278022 0 0 0 142134 52 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 140734531925824 5676365 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 336529 278529 892 2943 0 333423 0
[pid=23469/tid=23470] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1346116

[startup+1482.3 s]
/proc/loadavg: 2.12 2.14 2.16 3/183 23582
/proc/meminfo: memFree=28491100/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1346116 CPUtime=1481.85 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 278022 0 0 0 148132 53 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 140734531925824 5712756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 336529 278529 892 2943 0 333423 0
[pid=23469/tid=23470] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1346116

[startup+1542.31 s]
/proc/loadavg: 2.10 2.13 2.15 3/183 23584
/proc/meminfo: memFree=28491080/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1346116 CPUtime=1541.85 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 278022 0 0 0 154131 54 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 140734531925824 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 336529 278529 892 2943 0 333423 0
[pid=23469/tid=23470] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1346116

[startup+1602.3 s]
/proc/loadavg: 2.08 2.12 2.14 3/183 23585
/proc/meminfo: memFree=28490884/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1346116 CPUtime=1601.83 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 278022 0 0 0 160129 54 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 140734531925824 13808416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 336529 278529 892 2943 0 333423 0
[pid=23469/tid=23470] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1346116

[startup+1662.3 s]
/proc/loadavg: 2.19 2.14 2.15 3/183 23586
/proc/meminfo: memFree=28491056/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1346116 CPUtime=1661.82 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 278022 0 0 0 166127 55 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 140734531925824 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 336529 278529 892 2943 0 333423 0
[pid=23469/tid=23470] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1346116

[startup+1722.3 s]
/proc/loadavg: 2.22 2.16 2.15 4/183 23587
/proc/meminfo: memFree=28491160/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1346116 CPUtime=1721.82 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 278022 0 0 0 172126 56 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 140734531925824 5711900 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 336529 278529 892 2943 0 333423 0
[pid=23469/tid=23470] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1346116

[startup+1782.3 s]
/proc/loadavg: 2.20 2.17 2.16 3/183 23636
/proc/meminfo: memFree=28529368/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1346116 CPUtime=1781.81 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 278022 0 0 0 178124 57 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 140734531925824 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 336529 278529 892 2943 0 333423 0
[pid=23469/tid=23470] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1346116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.23 2.17 2.16 3/183 23636
/proc/meminfo: memFree=28529532/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1346116 CPUtime=1800.01 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 278022 0 0 0 179944 57 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 140734531925824 12460012 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 336529 278529 892 2943 0 333423 0
[pid=23469/tid=23470] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1346116

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

[startup+1800.5 s]
/proc/loadavg: 2.23 2.17 2.16 3/183 23636
/proc/meminfo: memFree=28529532/32872528 swapFree=1085692/1157232
[pid=23469] ppid=23466 vsize=1346116 CPUtime=1800.01 cores=1,3,5,7
/proc/23469/stat : 23469 (toysat) R 23466 23469 21062 0 -1 4202496 278022 0 0 0 179944 57 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 140734531925824 12460012 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23469/statm: 336529 278529 892 2943 0 333423 0
[pid=23469/tid=23470] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23470/stat : 23470 (toysat) S 23466 23469 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659847904496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23469/tid=23471] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23471/stat : 23471 (toysat) S 23466 23469 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659837414640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23469/tid=23472] ppid=23466 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23469/task/23472/stat : 23472 (toysat) S 23466 23469 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29009645 1378422784 278529 33554432000 4194304 16246674 140734531943920 139659719994544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1346116

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.44
CPU system time (s): 0.572912
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1346116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.572912
maximum resident set size= 1114116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278022
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= 321
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.864 second user time and 16.2935 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 18:48:20
IDJOB=4117029
IDBENCH=109544
IDSOLVER=2542
FILE ID=node114/4117029-1466959700
RUNJOBID= node114-1466944456-21079
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

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

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

MD5SUM BENCH= 2a6069c06e2a32eae387bc35cb99c2fe
RANDOM SEED=1335478085

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:        29623896 kB
Buffers:           29404 kB
Cached:           220596 kB
SwapCached:        38928 kB
Active:          1161572 kB
Inactive:         223720 kB
Active(anon):    1099804 kB
Inactive(anon):    37756 kB
Active(file):      61768 kB
Inactive(file):   185964 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061380 kB
Dirty:             16708 kB
Writeback:             0 kB
AnonPages:       2362844 kB
Mapped:            10728 kB
Shmem:                 0 kB
Slab:             566976 kB
SReclaimable:      11084 kB
SUnreclaim:       555892 kB
KernelStack:        1520 kB
PageTables:         8896 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2401780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    716800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

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