Trace number 4115861

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round22-8.opb
MD5SUM7225bc437b4b6d2af87fbfdb39edf3bc
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark593.848
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-26T13:19:27+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4115861-1466939967.opb"]
0.00/0.01	c use --random-gen="1866212334 2813656722 2110108034 4040776534 806430350 611159325 1650187592 4243821636 2511085821 661599660 3448307139 1364953638 4184869608 2607393251 3806609894 2733203513 253534459 3213733068 2739109627 4266953866 4201591332 734398737 1869849933 1288078188 2352421393 4016791787 2874727253 1630264451 3526833933 1640347291 2564370849 4022458879 3038496565 2792721018 2355446833 97936460 3297041094 1764282274 995050353 2763960693 3673515667 3444281634 3070261167 3105197396 1324916167 3229143762 1537081764 2323312026 1629877881 2184231342 3110641570 3757509477 3061228468 1230423311 2173096344 346513267 1790563013 3717708937 4279855804 2818801259 1047625200 3732610401 2720950762 38576287 624519391 1035484428 714240352 3856505357 565306876 3810984438 2930935598 3301552241 3644036253 2616506499 2788036642 4039037308 4130512038 258272743 159256602 4017657775 1776283197 846191625 1711236829 3597405620 26921772 499841688 2615585749 1162882528 3829293967 1326371011 2817860477 2594146846 4256882061 1243814045 3240566558 237953997 2371924234 1199129933 55550736 4110011074 3021180619 1002367993 3231603133 3642337380 561230272 3339977595 961682555 3575983205 4104394377 3049031731 3232354936 1353361342 1394306078 1626062739 2616235474 1771761977 3742891754 1112660156 4095765023 1570927155 4076848731 257570488 1998098031 3624475266 1033723490 1299082256 2238832091 4050131531 3996616534 19654360 1798068216 1841889326 2571528026 3609801329 3676228946 4030827077 3602677507 2676663489 3836007385 3686277249 1570997024 1907363805 1847018536 3775900793 2001216974 2880768206 4176284106 3777505190 4105465928 2116505676 3263428494 1000925106 3345516305 3396876632 3128198854 908551826 3430132088 3071505338 980992455 3025457010 2337295423 1009266568 611380905 2205794946 2130838634 1050586943 167397507 3510741901 3779484580 1486224533 1395092555 2866327368 3652224049 1028444000 3478108779 3947543138 3578332904 1302143056 3177797051 127983063 3732854452 1068918875 1248015912 3921147361 3943083551 3694375385 4256709094 3859537541 1625387655 3501710997 618736955 3190258299 2425726093 3037212708 376722185 1638401400 2224692488 1978267527 148696163 3032779759 2572415997 4074409345 316680945 1771998619 2476849888 24946983 3154456966 1246807073 85989398 4263321491 1507598332 2922471704 2788576114 1397515175 1886428227 2805222249 2124214689 3974505710 3541332766 474296398 4283227799 732177176 3073671399 653007947 302432391 1724220159 2743093869 3369733595 3282382432 3421904279 37294812 818650814 3127110194 3564460598 1130263795 4243293391 1681802646 3246976456 631192319 3977479616 1172083160 4149798201 2940567580 1314912913 839545479 1636371053 1688641418 2429764231 3170343200 597222200 1387143497 2316206852 3268731324 3048628642 3003292565 2325464262 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8672
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      624 |        0
0.29/0.33	c  0.1s |       1 |      585 |      100 |     4234      0 |      625 |      316
0.39/0.44	c  0.2s |       2 |     2748 |      250 |     4658      0 |      625 |      316
0.59/0.61	c  0.4s |       3 |     4175 |      475 |     5124      0 |      625 |      316
0.79/0.87	c  0.6s |       4 |     7273 |      813 |     5637      0 |      626 |      316
1.39/1.47	c  1.2s |       5 |     8783 |     1320 |     6201      0 |      626 |      316
2.09/2.17	c  1.9s |       6 |    12585 |     2081 |     7505      0 |      626 |      316
2.79/2.86	c  2.6s |       7 |    19121 |     3223 |     8256      0 |      626 |      316
4.19/4.27	c  4.0s |       8 |    24731 |     4936 |     9082      0 |      626 |      316
6.29/6.33	c  6.1s |       8 |    29571 |     6836 |     9082      0 |      626 |      316
6.89/6.96	c  6.7s |       9 |    30940 |     7506 |     9991      0 |      626 |      316
8.99/9.06	c  8.8s |       9 |    39607 |     9606 |     9991      0 |      626 |      316
11.00/11.09	c 10.8s |       9 |    41844 |    11106 |     9991      0 |      626 |      316
11.39/11.48	c 11.2s |      10 |    42133 |    11361 |    10991      0 |      626 |      316
13.49/13.52	c 13.3s |      10 |    54801 |    13861 |    10991      1 |      626 |      316
15.50/15.57	c 15.3s |      10 |    56950 |    15261 |    10991      1 |      626 |      316
17.60/17.65	c 17.4s |      10 |    59396 |    16861 |    10991      1 |      626 |      316
18.09/18.12	c 17.9s |      11 |    59730 |    17144 |    12091      1 |      626 |      316
20.19/20.20	c 20.0s |      11 |    65093 |    19344 |    12091      1 |      626 |      316
22.19/22.22	c 22.0s |      11 |    68137 |    20944 |    12091      1 |      626 |      316
24.20/24.23	c 24.0s |      11 |    70001 |    22244 |    12091      2 |      626 |      316
26.19/26.27	c 26.0s |      11 |    71305 |    23344 |    12091      2 |      626 |      316
28.39/28.40	c 28.1s |      11 |    73486 |    24744 |    12091      2 |      626 |      316
30.29/30.35	c 30.1s |      12 |    74948 |    25819 |    13301      2 |      626 |      316
32.39/32.49	c 32.2s |      12 |    79322 |    27519 |    13301      2 |      626 |      316
34.59/34.65	c 34.4s |      12 |    80860 |    28819 |    13301      2 |      626 |      316
36.69/36.73	c 36.5s |      12 |    82082 |    29919 |    13301      2 |      626 |      316
38.69/38.77	c 38.5s |      12 |    83159 |    30919 |    13301      3 |      626 |      316
40.70/40.79	c 40.5s |      12 |    84256 |    31919 |    13301      3 |      626 |      316
42.90/42.96	c 42.7s |      12 |    85456 |    33019 |    13301      3 |      626 |      316
44.98/45.00	c 44.7s |      12 |    86453 |    33919 |    13301      3 |      626 |      316
46.98/47.05	c 46.8s |      12 |    87431 |    34819 |    13301      3 |      626 |      316
49.28/49.31	c 49.1s |      12 |    88539 |    35819 |    13301      3 |      626 |      316
51.48/51.50	c 51.3s |      12 |    89539 |    36719 |    13301      3 |      626 |      316
53.58/53.62	c 53.4s |      12 |    90281 |    37419 |    13301      3 |      626 |      316
55.68/55.79	c 55.5s |      12 |    91130 |    38219 |    13301      3 |      626 |      316
57.19/57.25	c 57.0s |      13 |    91820 |    38832 |    14632      3 |      626 |      316
59.18/59.28	c 59.0s |      13 |    98503 |    40732 |    14632      4 |      626 |      316
61.28/61.30	c 61.0s |      13 |   108323 |    43332 |    14632      4 |      626 |      316
63.28/63.30	c 63.1s |      13 |   111052 |    44932 |    14632      4 |      626 |      316
65.28/65.33	c 65.1s |      13 |   113024 |    46232 |    14632      4 |      626 |      316
67.28/67.37	c 67.1s |      13 |   115153 |    47632 |    14632      4 |      626 |      316
69.39/69.44	c 69.2s |      13 |   116650 |    48732 |    14632      5 |      626 |      316
71.38/71.48	c 71.2s |      13 |   117917 |    49732 |    14632      5 |      626 |      316
73.58/73.67	c 73.4s |      13 |   119162 |    50732 |    14632      5 |      626 |      316
75.68/75.73	c 75.5s |      13 |   120252 |    51632 |    14632      5 |      626 |      316
77.88/77.99	c 77.7s |      13 |   121172 |    52432 |    14632      5 |      626 |      316
80.08/80.15	c 79.9s |      13 |   122145 |    53232 |    14632      5 |      626 |      316
82.18/82.26	c 82.0s |      13 |   123257 |    54132 |    14632      5 |      626 |      316
84.38/84.48	c 84.2s |      13 |   124202 |    54932 |    14632      5 |      626 |      316
86.48/86.55	c 86.3s |      13 |   124990 |    55632 |    14632      5 |      626 |      316
88.68/88.70	c 88.4s |      13 |   126444 |    56632 |    14632      5 |      626 |      316
90.68/90.71	c 90.5s |      13 |   127536 |    57432 |    14632      6 |      626 |      316
92.48/92.57	c 92.3s |      14 |   128662 |    58352 |    16096      6 |      626 |      316
94.48/94.59	c 94.3s |      14 |   135593 |    60052 |    16096      6 |      626 |      316
96.58/96.60	c 96.3s |      14 |   137104 |    61452 |    16096      6 |      626 |      316
98.58/98.67	c 98.4s |      14 |   138524 |    62752 |    16096      6 |      626 |      316
100.68/100.77	c  100s |      14 |   139729 |    63852 |    16096      6 |      626 |      316
102.78/102.85	c  102s |      14 |   140811 |    64852 |    16096      6 |      626 |      316
104.98/105.03	c  104s |      14 |   141879 |    65852 |    16096      6 |      626 |      316
107.07/107.14	c  106s |      14 |   142938 |    66852 |    16096      6 |      626 |      316
109.07/109.18	c  108s |      14 |   144657 |    67852 |    16096      7 |      626 |      316
111.08/111.20	c  110s |      14 |   146257 |    69052 |    16096      7 |      626 |      316
113.17/113.25	c  112s |      14 |   147478 |    70052 |    16096      7 |      626 |      316
115.17/115.25	c  115s |      14 |   148613 |    71052 |    16096      7 |      626 |      316
117.27/117.30	c  117s |      14 |   149681 |    71952 |    16096      7 |      626 |      316
119.37/119.43	c  119s |      14 |   150763 |    72852 |    16096      7 |      626 |      316
121.57/121.62	c  121s |      14 |   151781 |    73652 |    16096      7 |      626 |      316
123.67/123.74	c  123s |      14 |   152914 |    74552 |    16096      7 |      626 |      316
125.77/125.89	c  125s |      14 |   154042 |    75452 |    16096      7 |      626 |      316
127.97/128.07	c  127s |      14 |   154992 |    76252 |    16096      7 |      626 |      316
130.27/130.31	c  130s |      14 |   155977 |    77052 |    16096      8 |      626 |      316
132.47/132.52	c  132s |      14 |   157194 |    78052 |    16096      8 |      626 |      316
134.57/134.66	c  134s |      14 |   158281 |    78952 |    16096      8 |      626 |      316
136.67/136.75	c  136s |      14 |   159869 |    79952 |    16096      8 |      626 |      316
138.87/138.92	c  138s |      14 |   160960 |    80952 |    16096      8 |      626 |      316
140.97/141.01	c  140s |      14 |   162352 |    82052 |    16096      8 |      626 |      316
142.98/143.03	c  142s |      14 |   164477 |    83252 |    16096      8 |      626 |      316
145.18/145.30	c  145s |      14 |   165666 |    84252 |    16096      8 |      626 |      316
147.38/147.41	c  147s |      14 |   171981 |    86252 |    16096      9 |      626 |      316
148.37/148.50	c  148s |      15 |   177377 |    87632 |    17706      9 |      626 |      316
150.46/150.58	c  150s |      15 |   190561 |    90232 |    17706      9 |      626 |      316
152.56/152.68	c  152s |      15 |   194649 |    92132 |    17706      9 |      626 |      316
154.66/154.76	c  154s |      15 |   196854 |    93732 |    17706      9 |      626 |      316
156.86/156.93	c  156s |      15 |   198626 |    95132 |    17706      9 |      626 |      316
158.86/158.95	c  158s |      15 |   199745 |    96132 |    17706      9 |      626 |      316
160.96/161.06	c  160s |      15 |   201112 |    97232 |    17706      9 |      626 |      316
163.16/163.27	c  163s |      15 |   202195 |    98132 |    17706     10 |      626 |      316
165.36/165.43	c  165s |      15 |   203373 |    99132 |    17706     10 |      626 |      316
167.46/167.57	c  167s |      15 |   204252 |    99932 |    17706     10 |      626 |      316
169.66/169.71	c  169s |      15 |   205259 |   100832 |    17706     10 |      626 |      316
171.76/171.87	c  171s |      15 |   206286 |   101732 |    17706     10 |      626 |      316
174.06/174.12	c  173s |      15 |   207248 |   102532 |    17706     10 |      626 |      316
176.16/176.25	c  175s |      15 |   208059 |   103232 |    17706     10 |      626 |      316
178.27/178.33	c  178s |      15 |   208974 |   104032 |    17706     10 |      626 |      316
180.48/180.60	c  180s |      15 |   209914 |   104832 |    17706     10 |      626 |      316
182.77/182.80	c  182s |      15 |   210570 |   105432 |    17706     10 |      626 |      316
184.88/184.95	c  184s |      15 |   211397 |   106132 |    17706     10 |      626 |      316
187.08/187.17	c  186s |      15 |   212586 |   107032 |    17706     10 |      626 |      316
189.57/189.69	c  189s |      15 |   213498 |   107832 |    17706     11 |      626 |      316
191.76/191.88	c  191s |      15 |   214746 |   108832 |    17706     11 |      626 |      316
193.86/193.94	c  193s |      15 |   215692 |   109632 |    17706     11 |      626 |      316
195.87/195.95	c  195s |      15 |   216645 |   110432 |    17706     11 |      626 |      316
198.16/198.20	c  197s |      15 |   217575 |   111232 |    17706     11 |      626 |      316
200.17/200.25	c  199s |      15 |   218475 |   112032 |    17706     11 |      626 |      316
202.26/202.40	c  202s |      15 |   219375 |   112832 |    17706     11 |      626 |      316
204.36/204.43	c  204s |      15 |   220153 |   113532 |    17706     11 |      626 |      316
206.56/206.67	c  206s |      15 |   220945 |   114232 |    17706     11 |      626 |      316
208.86/208.92	c  208s |      15 |   221741 |   114932 |    17706     11 |      626 |      316
211.06/211.14	c  210s |      15 |   222571 |   115632 |    17706     11 |      626 |      316
213.16/213.28	c  213s |      15 |   223373 |   116332 |    17706     11 |      626 |      316
215.46/215.58	c  215s |      15 |   224164 |   117032 |    17706     11 |      626 |      316
217.66/217.73	c  217s |      15 |   224969 |   117732 |    17706     11 |      626 |      316
219.66/219.76	c  219s |      15 |   225568 |   118232 |    17706     12 |      626 |      316
221.86/221.90	c  221s |      15 |   226484 |   119032 |    17706     12 |      626 |      316
223.96/224.06	c  223s |      15 |   227379 |   119832 |    17706     12 |      626 |      316
226.16/226.25	c  226s |      15 |   228286 |   120632 |    17706     12 |      626 |      316
228.36/228.46	c  228s |      15 |   229181 |   121432 |    17706     12 |      626 |      316
230.46/230.58	c  230s |      15 |   229971 |   122132 |    17706     12 |      626 |      316
232.46/232.59	c  232s |      15 |   230759 |   122832 |    17706     12 |      626 |      316
234.66/234.74	c  234s |      15 |   231551 |   123532 |    17706     12 |      626 |      316
236.86/236.90	c  236s |      15 |   232237 |   124132 |    17706     12 |      626 |      316
238.85/238.92	c  238s |      15 |   232915 |   124732 |    17706     12 |      626 |      316
241.05/241.11	c  240s |      15 |   233782 |   125432 |    17706     12 |      626 |      316
243.06/243.16	c  242s |      15 |   234499 |   126032 |    17706     12 |      626 |      316
245.26/245.39	c  245s |      15 |   235274 |   126732 |    17706     12 |      626 |      316
247.35/247.40	c  247s |      15 |   235969 |   127332 |    17706     12 |      626 |      316
249.55/249.64	c  249s |      15 |   236759 |   128032 |    17706     12 |      626 |      316
251.55/251.67	c  251s |      15 |   237457 |   128632 |    17706     12 |      626 |      316
253.75/253.86	c  253s |      15 |   238039 |   129132 |    17706     13 |      626 |      316
255.85/255.95	c  255s |      15 |   238962 |   129932 |    17706     13 |      626 |      316
258.05/258.12	c  257s |      15 |   239846 |   130732 |    19477     13 |      626 |      316
260.25/260.35	c  260s |      15 |   240772 |   131532 |    19477     13 |      626 |      316
260.35/260.41	c  260s |      16 |   240794 |   131552 |    19477     13 |      626 |      316
262.45/262.53	c  262s |      16 |   243925 |   133352 |    19477     13 |      626 |      316
264.45/264.54	c  264s |      16 |   245524 |   134852 |    19477     13 |      626 |      316
266.45/266.54	c  266s |      16 |   246819 |   136052 |    19477     13 |      626 |      316
268.46/268.56	c  268s |      16 |   249384 |   137752 |    19477     13 |      626 |      316
270.56/270.63	c  270s |      16 |   250874 |   139152 |    19477     13 |      626 |      316
272.65/272.75	c  272s |      16 |   252242 |   140452 |    19477     13 |      626 |      316
274.65/274.79	c  274s |      16 |   253176 |   141352 |    19477     14 |      626 |      316
276.85/276.97	c  276s |      16 |   254436 |   142552 |    19477     14 |      626 |      316
278.95/279.03	c  278s |      16 |   255610 |   143652 |    19477     14 |      626 |      316
281.05/281.16	c  280s |      16 |   256776 |   144752 |    19477     14 |      626 |      316
283.25/283.30	c  283s |      16 |   257835 |   145752 |    19477     14 |      626 |      316
285.45/285.50	c  285s |      16 |   259013 |   146852 |    19477     14 |      626 |      316
287.55/287.66	c  287s |      16 |   260052 |   147852 |    19477     14 |      626 |      316
289.65/289.79	c  289s |      16 |   260986 |   148752 |    19477     14 |      626 |      316
291.95/292.00	c  291s |      16 |   261938 |   149652 |    19477     14 |      626 |      316
294.05/294.15	c  293s |      16 |   262758 |   150452 |    19477     14 |      626 |      316
296.25/296.30	c  296s |      16 |   263607 |   151252 |    19477     14 |      626 |      316
298.44/298.56	c  298s |      16 |   264436 |   152052 |    19477     14 |      626 |      316
300.54/300.62	c  300s |      16 |   265155 |   152752 |    19477     15 |      626 |      316
302.64/302.75	c  302s |      16 |   266089 |   153652 |    19477     15 |      626 |      316
304.75/304.88	c  304s |      16 |   267704 |   155052 |    19477     15 |      626 |      316
306.85/306.93	c  306s |      16 |   269340 |   156352 |    19477     15 |      626 |      316
308.84/308.93	c  308s |      16 |   270813 |   157552 |    19477     15 |      626 |      316
310.94/311.03	c  310s |      16 |   272208 |   158652 |    19477     15 |      626 |      316
313.04/313.13	c  312s |      16 |   273404 |   159652 |    19477     15 |      626 |      316
315.14/315.28	c  315s |      16 |   274659 |   160652 |    19477     15 |      626 |      316
317.24/317.34	c  317s |      16 |   275792 |   161552 |    19477     15 |      626 |      316
319.24/319.37	c  319s |      16 |   276775 |   162352 |    19477     15 |      626 |      316
321.34/321.42	c  321s |      16 |   277614 |   163052 |    19477     15 |      626 |      316
323.54/323.62	c  323s |      16 |   278134 |   163552 |    19477     16 |      626 |      316
325.74/325.82	c  325s |      16 |   278899 |   164252 |    19477     16 |      626 |      316
327.94/328.00	c  327s |      16 |   279977 |   165152 |    19477     16 |      626 |      316
329.84/330.00	c  329s |      16 |   280911 |   165952 |    19477     16 |      626 |      316
331.94/332.03	c  331s |      16 |   281816 |   166752 |    19477     16 |      626 |      316
334.04/334.10	c  333s |      16 |   282910 |   167652 |    19477     16 |      626 |      316
336.04/336.18	c  335s |      16 |   284016 |   168552 |    19477     16 |      626 |      316
338.14/338.23	c  337s |      16 |   284987 |   169352 |    19477     16 |      626 |      316
340.14/340.24	c  339s |      16 |   285959 |   170152 |    19477     16 |      626 |      316
342.15/342.26	c  342s |      16 |   286937 |   170952 |    19477     16 |      626 |      316
344.25/344.39	c  344s |      16 |   287878 |   171752 |    19477     16 |      626 |      316
346.34/346.47	c  346s |      16 |   289114 |   172652 |    19477     16 |      626 |      316
348.44/348.51	c  348s |      16 |   290086 |   173552 |    19477     16 |      626 |      316
350.64/350.74	c  350s |      16 |   291100 |   174452 |    19477     16 |      626 |      316
352.84/352.93	c  352s |      16 |   291842 |   175152 |    19477     17 |      626 |      316
354.93/355.00	c  354s |      16 |   292826 |   176052 |    19477     17 |      626 |      316
357.03/357.10	c  356s |      16 |   293668 |   176852 |    19477     17 |      626 |      316
359.03/359.15	c  358s |      16 |   294691 |   177752 |    19477     17 |      626 |      316
361.13/361.26	c  361s |      16 |   295730 |   178652 |    19477     17 |      626 |      316
363.33/363.45	c  363s |      16 |   296712 |   179552 |    19477     17 |      626 |      316
365.43/365.55	c  365s |      16 |   298875 |   181052 |    19477     17 |      626 |      316
367.44/367.56	c  367s |      16 |   300229 |   182252 |    19477     17 |      626 |      316
369.64/369.72	c  369s |      16 |   301412 |   183352 |    19477     17 |      626 |      316
371.63/371.75	c  371s |      16 |   302492 |   184352 |    19477     17 |      626 |      316
373.63/373.79	c  373s |      16 |   303618 |   185352 |    19477     17 |      626 |      316
375.83/375.98	c  375s |      16 |   304494 |   186152 |    19477     18 |      626 |      316
378.03/378.12	c  377s |      16 |   305690 |   187252 |    19477     18 |      626 |      316
380.03/380.13	c  379s |      16 |   306790 |   188252 |    19477     18 |      626 |      316
382.13/382.29	c  382s |      16 |   307877 |   189252 |    19477     18 |      626 |      316
384.23/384.31	c  384s |      16 |   309252 |   190252 |    19477     18 |      626 |      316
386.24/386.33	c  386s |      16 |   310309 |   191152 |    19477     18 |      626 |      316
388.44/388.52	c  388s |      16 |   311570 |   192152 |    19477     18 |      626 |      316
390.54/390.65	c  390s |      16 |   315299 |   193452 |    19477     18 |      626 |      316
392.64/392.77	c  392s |      16 |   317495 |   194752 |    19477     18 |      626 |      316
394.84/394.95	c  394s |      16 |   318650 |   195752 |    19477     18 |      626 |      316
397.04/397.11	c  396s |      16 |   319532 |   196552 |    21425     18 |      626 |      316
399.24/399.31	c  399s |      16 |   320405 |   197352 |    21425     18 |      626 |      316
399.43/399.52	c  399s |      17 |   320489 |   197432 |    21425     18 |      626 |      316
401.44/401.56	c  401s |      17 |   328180 |   199032 |    21425     19 |      626 |      316
403.53/403.65	c  403s |      17 |   332890 |   201032 |    21425     19 |      626 |      316
405.53/405.68	c  405s |      17 |   334906 |   202432 |    21425     19 |      626 |      316
407.63/407.78	c  407s |      17 |   336312 |   203532 |    21425     19 |      626 |      316
409.73/409.85	c  409s |      17 |   338489 |   204732 |    21425     19 |      626 |      316
411.83/411.94	c  411s |      17 |   340328 |   206032 |    21425     19 |      626 |      316
413.93/414.07	c  413s |      17 |   341471 |   206932 |    21425     19 |      626 |      316
416.13/416.25	c  415s |      17 |   343269 |   208132 |    21425     19 |      626 |      316
418.23/418.38	c  418s |      17 |   344426 |   209032 |    21425     19 |      626 |      316
420.24/420.39	c  420s |      17 |   345685 |   209932 |    21425     19 |      626 |      316
422.34/422.49	c  422s |      17 |   346637 |   210732 |    21425     19 |      626 |      316
424.43/424.55	c  424s |      17 |   347430 |   211332 |    21425     20 |      626 |      316
426.53/426.69	c  426s |      17 |   348427 |   212132 |    21425     20 |      626 |      316
428.83/428.95	c  428s |      17 |   349396 |   212932 |    21425     20 |      626 |      316
431.03/431.20	c  430s |      17 |   350252 |   213632 |    21425     20 |      626 |      316
433.53/433.62	c  433s |      17 |   351038 |   214332 |    21425     20 |      626 |      316
435.72/435.80	c  435s |      17 |   352051 |   215132 |    21425     20 |      626 |      316
437.73/437.90	c  437s |      17 |   352789 |   215732 |    21425     20 |      626 |      316
439.93/440.04	c  439s |      17 |   353494 |   216332 |    21425     20 |      626 |      316
442.23/442.38	c  442s |      17 |   354332 |   217032 |    21425     20 |      626 |      316
444.43/444.55	c  444s |      17 |   355012 |   217632 |    21425     20 |      626 |      316
446.63/446.78	c  446s |      17 |   355710 |   218232 |    21425     20 |      626 |      316
448.83/448.96	c  448s |      17 |   356450 |   218832 |    21425     20 |      626 |      316
451.03/451.11	c  450s |      17 |   357178 |   219432 |    21425     20 |      626 |      316
453.32/453.47	c  453s |      17 |   357976 |   220132 |    21425     20 |      626 |      316
455.62/455.77	c  455s |      17 |   358739 |   220732 |    21425     20 |      626 |      316
457.72/457.81	c  457s |      17 |   359368 |   221232 |    21425     20 |      626 |      316
460.02/460.10	c  459s |      17 |   360197 |   221832 |    21425     20 |      626 |      316
462.32/462.48	c  462s |      17 |   360778 |   222332 |    21425     20 |      626 |      316
464.72/464.84	c  464s |      17 |   361340 |   222832 |    21425     20 |      626 |      316
466.82/466.92	c  466s |      17 |   361810 |   223232 |    21425     21 |      626 |      316
468.82/468.98	c  468s |      17 |   362361 |   223732 |    21425     21 |      626 |      316
470.92/471.09	c  470s |      17 |   363074 |   224332 |    21425     21 |      626 |      316
473.22/473.35	c  473s |      17 |   363779 |   224932 |    21425     21 |      626 |      316
475.31/475.43	c  475s |      17 |   364358 |   225432 |    21425     21 |      626 |      316
477.32/477.43	c  477s |      17 |   364949 |   225932 |    21425     21 |      626 |      316
479.31/479.49	c  479s |      17 |   365540 |   226432 |    21425     21 |      626 |      316
481.72/481.87	c  481s |      17 |   366264 |   227032 |    21425     21 |      626 |      316
484.11/484.24	c  483s |      17 |   366825 |   227532 |    21425     21 |      626 |      316
486.31/486.42	c  486s |      17 |   367386 |   228032 |    21425     21 |      626 |      316
488.42/488.51	c  488s |      17 |   368008 |   228532 |    21425     21 |      626 |      316
490.62/490.73	c  490s |      17 |   368585 |   229032 |    21425     21 |      626 |      316
492.91/493.04	c  492s |      17 |   369271 |   229632 |    21425     21 |      626 |      316
495.21/495.35	c  495s |      17 |   369981 |   230232 |    21425     21 |      626 |      316
497.41/497.57	c  497s |      17 |   370535 |   230732 |    21425     21 |      626 |      316
499.61/499.74	c  499s |      17 |   371159 |   231232 |    21425     21 |      626 |      316
501.91/502.01	c  501s |      17 |   371744 |   231732 |    21425     21 |      626 |      316
504.11/504.25	c  504s |      17 |   372324 |   232232 |    21425     21 |      626 |      316
506.41/506.50	c  506s |      17 |   372871 |   232732 |    21425     21 |      626 |      316
508.70/508.85	c  508s |      17 |   373457 |   233232 |    21425     21 |      626 |      316
511.20/511.34	c  511s |      17 |   374024 |   233732 |    21425     21 |      626 |      316
513.30/513.42	c  513s |      17 |   374464 |   234132 |    21425     21 |      626 |      316
515.81/515.94	c  515s |      17 |   375015 |   234632 |    21425     21 |      626 |      316
517.90/518.03	c  517s |      17 |   375460 |   235032 |    21425     21 |      626 |      316
520.10/520.21	c  519s |      17 |   375773 |   235332 |    21425     22 |      626 |      316
522.41/522.59	c  522s |      17 |   376298 |   235832 |    21425     22 |      626 |      316
524.61/524.78	c  524s |      17 |   376868 |   236332 |    21425     22 |      626 |      316
526.81/526.98	c  526s |      17 |   377562 |   236932 |    21425     22 |      626 |      316
529.01/529.12	c  528s |      17 |   378382 |   237532 |    21425     22 |      626 |      316
531.10/531.21	c  530s |      17 |   379117 |   238132 |    21425     22 |      626 |      316
533.29/533.43	c  533s |      17 |   379959 |   238832 |    21425     22 |      626 |      316
535.39/535.57	c  535s |      17 |   380731 |   239432 |    21425     22 |      626 |      316
537.59/537.70	c  537s |      17 |   381504 |   240032 |    21425     22 |      626 |      316
539.59/539.73	c  539s |      17 |   382267 |   240632 |    21425     22 |      626 |      316
541.79/541.95	c  541s |      17 |   382974 |   241232 |    21425     22 |      626 |      316
543.79/543.97	c  543s |      17 |   383556 |   241732 |    21425     22 |      626 |      316
545.79/545.98	c  545s |      17 |   384121 |   242232 |    21425     22 |      626 |      316
548.09/548.24	c  547s |      17 |   384668 |   242732 |    21425     22 |      626 |      316
550.39/550.52	c  550s |      17 |   385227 |   243232 |    21425     22 |      626 |      316
552.39/552.54	c  552s |      17 |   385652 |   243632 |    21425     22 |      626 |      316
554.40/554.56	c  554s |      17 |   386119 |   244032 |    21425     22 |      626 |      316
556.60/556.72	c  556s |      17 |   386706 |   244532 |    21425     22 |      626 |      316
558.99/559.19	c  558s |      17 |   387266 |   245032 |    21425     22 |      626 |      316
561.09/561.28	c  561s |      17 |   387858 |   245532 |    21425     22 |      626 |      316
563.20/563.33	c  563s |      17 |   388414 |   246032 |    21425     22 |      626 |      316
565.30/565.48	c  565s |      17 |   388986 |   246532 |    21425     22 |      626 |      316
567.60/567.72	c  567s |      17 |   389543 |   247032 |    21425     22 |      626 |      316
569.99/570.12	c  569s |      17 |   390109 |   247532 |    21425     22 |      626 |      316
572.29/572.44	c  572s |      17 |   390548 |   247932 |    21425     23 |      626 |      316
574.38/574.55	c  574s |      17 |   391249 |   248532 |    21425     23 |      626 |      316
576.58/576.79	c  576s |      17 |   391949 |   249132 |    21425     23 |      626 |      316
578.68/578.87	c  578s |      17 |   392494 |   249632 |    21425     23 |      626 |      316
580.69/580.90	c  580s |      17 |   393059 |   250132 |    21425     23 |      626 |      316
582.78/582.91	c  582s |      17 |   393630 |   250632 |    21425     23 |      626 |      316
584.78/584.98	c  584s |      17 |   394209 |   251132 |    21425     23 |      626 |      316
587.08/587.20	c  586s |      17 |   394755 |   251632 |    21425     23 |      626 |      316
589.28/589.43	c  589s |      17 |   395314 |   252132 |    21425     23 |      626 |      316
591.57/591.80	c  591s |      17 |   395879 |   252632 |    21425     23 |      626 |      316
593.77/593.90	c  593s |      17 |   396307 |   253032 |    21425     23 |      626 |      316
595.77/595.90	c  595s |      17 |   396751 |   253432 |    21425     23 |      626 |      316
598.17/598.38	c  598s |      17 |   397296 |   253932 |    21425     23 |      626 |      316
600.27/600.44	c  600s |      17 |   397740 |   254332 |    21425     23 |      626 |      316
602.57/602.77	c  602s |      17 |   398301 |   254832 |    21425     23 |      626 |      316
604.98/605.15	c  604s |      17 |   398873 |   255332 |    21425     23 |      626 |      316
607.08/607.28	c  607s |      17 |   399304 |   255732 |    21425     23 |      626 |      316
609.07/609.29	c  609s |      17 |   399748 |   256132 |    21425     23 |      626 |      316
611.17/611.38	c  611s |      17 |   400170 |   256532 |    21425     23 |      626 |      316
613.36/613.59	c  613s |      17 |   400610 |   256932 |    21425     23 |      626 |      316
615.87/616.10	c  615s |      17 |   401154 |   257432 |    21425     23 |      626 |      316
618.17/618.34	c  618s |      17 |   401586 |   257832 |    21425     23 |      626 |      316
620.66/620.80	c  620s |      17 |   402163 |   258332 |    21425     23 |      626 |      316
623.16/623.31	c  623s |      17 |   402713 |   258832 |    21425     23 |      626 |      316
625.56/625.71	c  625s |      17 |   403277 |   259332 |    21425     23 |      626 |      316
628.26/628.45	c  628s |      17 |   403723 |   259732 |    21425     24 |      626 |      316
630.56/630.73	c  630s |      17 |   404278 |   260232 |    21425     24 |      626 |      316
632.55/632.77	c  632s |      17 |   404851 |   260732 |    21425     24 |      626 |      316
634.85/635.00	c  634s |      17 |   405421 |   261232 |    21425     24 |      626 |      316
636.86/637.01	c  636s |      17 |   405983 |   261732 |    21425     24 |      626 |      316
639.07/639.29	c  639s |      17 |   406518 |   262232 |    21425     24 |      626 |      316
641.17/641.40	c  641s |      17 |   407079 |   262732 |    21425     24 |      626 |      316
643.36/643.56	c  643s |      17 |   407629 |   263232 |    21425     24 |      626 |      316
645.45/645.70	c  645s |      17 |   408204 |   263732 |    21425     24 |      626 |      316
647.76/647.92	c  647s |      17 |   408781 |   264232 |    21425     24 |      626 |      316
650.15/650.32	c  650s |      17 |   409328 |   264732 |    21425     24 |      626 |      316
652.26/652.46	c  652s |      17 |   409809 |   265132 |    21425     24 |      626 |      316
654.55/654.77	c  654s |      17 |   410362 |   265632 |    21425     24 |      626 |      316
656.85/657.09	c  656s |      17 |   410920 |   266132 |    21425     24 |      626 |      316
659.05/659.21	c  658s |      17 |   411359 |   266532 |    21425     24 |      626 |      316
661.45/661.64	c  661s |      17 |   411939 |   267032 |    21425     24 |      626 |      316
663.75/663.96	c  663s |      17 |   412500 |   267532 |    21425     24 |      626 |      316
665.75/665.98	c  665s |      17 |   412938 |   267932 |    21425     24 |      626 |      316
667.95/668.14	c  667s |      17 |   413377 |   268332 |    21425     24 |      626 |      316
669.95/670.16	c  669s |      17 |   413812 |   268732 |    21425     24 |      626 |      316
672.14/672.36	c  672s |      17 |   414233 |   269132 |    21425     24 |      626 |      316
674.44/674.63	c  674s |      17 |   414675 |   269532 |    21425     24 |      626 |      316
676.94/677.16	c  676s |      17 |   415248 |   270032 |    21425     24 |      626 |      316
679.24/679.46	c  679s |      17 |   415683 |   270432 |    21425     24 |      626 |      316
681.34/681.53	c  681s |      17 |   416281 |   270932 |    21425     24 |      626 |      316
683.44/683.66	c  683s |      17 |   416994 |   271532 |    21425     24 |      626 |      316
685.54/685.71	c  685s |      17 |   417609 |   272032 |    21425     24 |      626 |      316
687.54/687.78	c  687s |      17 |   418061 |   272432 |    21425     25 |      626 |      316
689.94/690.10	c  689s |      17 |   418893 |   273132 |    21425     25 |      626 |      316
691.94/692.17	c  691s |      17 |   419773 |   273832 |    21425     25 |      626 |      316
694.04/694.28	c  694s |      17 |   420684 |   274532 |    21425     25 |      626 |      316
696.14/696.32	c  696s |      17 |   421603 |   275232 |    21425     25 |      626 |      316
698.23/698.40	c  698s |      17 |   422466 |   275932 |    21425     25 |      626 |      316
700.43/700.70	c  700s |      17 |   423294 |   276632 |    21425     25 |      626 |      316
702.63/702.81	c  702s |      17 |   424125 |   277332 |    21425     25 |      626 |      316
704.63/704.87	c  704s |      17 |   424804 |   277932 |    21425     25 |      626 |      316
706.83/707.02	c  706s |      17 |   425486 |   278532 |    21425     25 |      626 |      316
708.83/709.06	c  708s |      17 |   426170 |   279132 |    21425     25 |      626 |      316
711.13/711.34	c  711s |      17 |   426878 |   279732 |    21425     25 |      626 |      316
713.43/713.69	c  713s |      17 |   427552 |   280332 |    21425     25 |      626 |      316
715.63/715.81	c  715s |      17 |   428140 |   280832 |    21425     25 |      626 |      316
718.03/718.22	c  717s |      17 |   428825 |   281432 |    21425     25 |      626 |      316
720.23/720.47	c  720s |      17 |   429373 |   281932 |    21425     25 |      626 |      316
722.64/722.89	c  722s |      17 |   429911 |   282432 |    21425     25 |      626 |      316
724.93/725.20	c  724s |      17 |   430454 |   282932 |    21425     25 |      626 |      316
727.13/727.38	c  727s |      17 |   431023 |   283432 |    21425     25 |      626 |      316
729.43/729.66	c  729s |      17 |   431588 |   283932 |    21425     25 |      626 |      316
731.73/731.96	c  731s |      17 |   432038 |   284332 |    21425     26 |      626 |      316
734.12/734.33	c  734s |      17 |   432705 |   284932 |    21425     26 |      626 |      316
736.22/736.44	c  736s |      17 |   433249 |   285432 |    21425     26 |      626 |      316
738.32/738.51	c  738s |      17 |   434276 |   286132 |    21425     26 |      626 |      316
740.52/740.73	c  740s |      17 |   435760 |   287132 |    21425     26 |      626 |      316
742.62/742.88	c  742s |      17 |   436735 |   287932 |    21425     26 |      626 |      316
744.81/745.09	c  744s |      17 |   437636 |   288732 |    21425     26 |      626 |      316
747.11/747.31	c  747s |      17 |   438491 |   289432 |    21425     26 |      626 |      316
749.31/749.57	c  749s |      17 |   439295 |   290132 |    21425     26 |      626 |      316
751.41/751.65	c  751s |      17 |   439871 |   290632 |    21425     26 |      626 |      316
753.61/753.84	c  753s |      17 |   440666 |   291332 |    21425     26 |      626 |      316
756.02/756.20	c  755s |      17 |   441473 |   292032 |    21425     26 |      626 |      316
758.22/758.41	c  758s |      17 |   442134 |   292632 |    21425     26 |      626 |      316
760.41/760.66	c  760s |      17 |   442938 |   293232 |    21425     26 |      626 |      316
762.61/762.83	c  762s |      17 |   443912 |   293932 |    21425     26 |      626 |      316
764.71/764.95	c  764s |      17 |   444658 |   294532 |    23568     26 |      626 |      316
767.11/767.31	c  767s |      17 |   445406 |   295132 |    23568     26 |      626 |      316
769.32/769.65	c  769s |      17 |   446133 |   295732 |    23568     26 |      626 |      316
771.71/771.93	c  771s |      17 |   446700 |   296232 |    23568     26 |      626 |      316
771.81/772.03	c  771s |      18 |   446723 |   296252 |    23568     26 |      626 |      316
771.93/774.05	c  773s |      18 |   452671 |   297352 |    23568     27 |      626 |      316
771.93/776.16	c  775s |      18 |   454928 |   299152 |    23568     27 |      626 |      316
771.93/778.35	c  778s |      18 |   456566 |   300552 |    23568     27 |      626 |      316
771.93/780.36	c  780s |      18 |   457881 |   301652 |    23568     27 |      626 |      316
781.61/782.38	c  782s |      18 |   459289 |   302852 |    23568     27 |      626 |      316
784.32/784.55	c  784s |      18 |   460516 |   303952 |    23568     27 |      626 |      316
786.42/786.63	c  786s |      18 |   461536 |   304852 |    23568     27 |      626 |      316
788.51/788.72	c  788s |      18 |   462730 |   305852 |    23568     27 |      626 |      316
790.00/790.91	c  790s |      18 |   463931 |   306852 |    23568     27 |      626 |      316
792.72/792.98	c  792s |      18 |   465119 |   307852 |    23568     27 |      626 |      316
794.76/795.13	c  794s |      18 |   466133 |   308752 |    23568     27 |      626 |      316
796.92/797.18	c  796s |      18 |   467034 |   309552 |    23568     27 |      626 |      316
799.00/799.37	c  799s |      18 |   467926 |   310352 |    23568     27 |      626 |      316
800.43/801.79	c  801s |      18 |   468714 |   311052 |    23568     28 |      626 |      316
803.60/803.88	c  803s |      18 |   469591 |   311852 |    23568     28 |      626 |      316
805.69/805.97	c  805s |      18 |   470539 |   312652 |    23568     28 |      626 |      316
807.39/808.19	c  807s |      18 |   471482 |   313452 |    23568     28 |      626 |      316
808.52/810.32	c  810s |      18 |   472544 |   314352 |    23568     28 |      626 |      316
808.52/812.36	c  812s |      18 |   473502 |   315152 |    23568     28 |      626 |      316
814.09/814.37	c  814s |      18 |   474274 |   315852 |    23568     28 |      626 |      316
815.13/816.38	c  816s |      18 |   475034 |   316552 |    23568     28 |      626 |      316
816.19/818.52	c  818s |      18 |   475820 |   317252 |    23568     28 |      626 |      316
819.81/820.55	c  820s |      18 |   476458 |   317852 |    23568     28 |      626 |      316
819.81/822.63	c  822s |      18 |   477114 |   318452 |    23568     28 |      626 |      316
824.53/824.81	c  824s |      18 |   477932 |   319152 |    23568     28 |      626 |      316
824.53/826.98	c  826s |      18 |   478693 |   319852 |    23568     28 |      626 |      316
828.35/829.07	c  828s |      18 |   479367 |   320452 |    23568     28 |      626 |      316
830.99/831.35	c  831s |      18 |   480159 |   321152 |    23568     28 |      626 |      316
832.00/833.35	c  833s |      18 |   480860 |   321752 |    23568     28 |      626 |      316
832.00/835.40	c  835s |      18 |   481527 |   322352 |    23568     28 |      626 |      316
836.79/837.65	c  837s |      18 |   482326 |   323052 |    23568     28 |      626 |      316
836.79/839.91	c  839s |      18 |   482972 |   323652 |    23568     28 |      626 |      316
836.79/841.96	c  841s |      18 |   483540 |   324152 |    23568     28 |      626 |      316
843.33/844.23	c  843s |      18 |   484104 |   324652 |    23568     29 |      626 |      316
846.01/846.30	c  846s |      18 |   485027 |   325452 |    23568     29 |      626 |      316
847.88/848.33	c  848s |      18 |   485894 |   326252 |    23568     29 |      626 |      316
850.28/850.61	c  850s |      18 |   486780 |   327052 |    23568     29 |      626 |      316
852.39/852.63	c  852s |      18 |   487572 |   327752 |    23568     29 |      626 |      316
854.33/854.67	c  854s |      18 |   488236 |   328352 |    23568     29 |      626 |      316
855.67/856.84	c  856s |      18 |   489008 |   329052 |    23568     29 |      626 |      316
858.13/859.10	c  858s |      18 |   489882 |   329852 |    23568     29 |      626 |      316
859.14/861.27	c  861s |      18 |   490647 |   330552 |    23568     29 |      626 |      316
862.72/863.43	c  863s |      18 |   491462 |   331252 |    23568     29 |      626 |      316
864.11/865.61	c  865s |      18 |   492262 |   331952 |    23568     29 |      626 |      316
867.32/867.85	c  867s |      18 |   493035 |   332652 |    23568     29 |      626 |      316
867.32/870.05	c  869s |      18 |   493867 |   333352 |    23568     29 |      626 |      316
871.58/872.18	c  871s |      18 |   494656 |   334052 |    23568     29 |      626 |      316
874.12/874.41	c  874s |      18 |   495462 |   334752 |    23568     29 |      626 |      316
876.10/876.66	c  876s |      18 |   496252 |   335452 |    23568     29 |      626 |      316
878.48/878.77	c  878s |      18 |   496936 |   336052 |    23568     29 |      626 |      316
879.55/880.83	c  880s |      18 |   497616 |   336652 |    23568     29 |      626 |      316
879.55/882.91	c  882s |      18 |   498282 |   337252 |    23568     29 |      626 |      316
879.55/885.09	c  884s |      18 |   498932 |   337852 |    23568     29 |      626 |      316
886.30/887.17	c  886s |      18 |   499470 |   338352 |    23568     30 |      626 |      316
888.60/889.42	c  889s |      18 |   500333 |   339152 |    23568     30 |      626 |      316
890.74/891.45	c  891s |      18 |   501111 |   339852 |    23568     30 |      626 |      316
892.98/893.50	c  893s |      18 |   501874 |   340552 |    23568     30 |      626 |      316
894.65/895.80	c  895s |      18 |   502636 |   341252 |    23568     30 |      626 |      316
894.65/897.84	c  897s |      18 |   503417 |   341952 |    23568     30 |      626 |      316
894.65/900.09	c  899s |      18 |   504312 |   342752 |    23568     30 |      626 |      316
894.65/902.27	c  902s |      18 |   505066 |   343452 |    23568     30 |      626 |      316
894.65/904.49	c  904s |      18 |   505820 |   344152 |    23568     30 |      626 |      316
906.24/906.63	c  906s |      18 |   506467 |   344752 |    23568     30 |      626 |      316
907.44/908.73	c  908s |      18 |   507118 |   345352 |    23568     30 |      626 |      316
910.56/911.10	c  910s |      18 |   507761 |   345952 |    23568     30 |      626 |      316
912.16/913.18	c  912s |      18 |   508444 |   346552 |    23568     30 |      626 |      316
914.48/915.41	c  915s |      18 |   509222 |   347252 |    23568     30 |      626 |      316
917.27/917.69	c  917s |      18 |   510029 |   347952 |    23568     30 |      626 |      316
919.73/920.09	c  919s |      18 |   510706 |   348552 |    23568     30 |      626 |      316
919.73/922.36	c  922s |      18 |   511395 |   349152 |    23568     30 |      626 |      316
919.73/924.63	c  924s |      18 |   512061 |   349752 |    23568     30 |      626 |      316
925.55/926.88	c  926s |      18 |   512721 |   350352 |    23568     30 |      626 |      316
928.33/928.96	c  928s |      18 |   513257 |   350852 |    23568     30 |      626 |      316
930.89/931.23	c  930s |      18 |   513910 |   351452 |    23568     30 |      626 |      316
931.99/933.32	c  933s |      18 |   514463 |   351952 |    23568     31 |      626 |      316
933.75/935.52	c  935s |      18 |   515530 |   352852 |    23568     31 |      626 |      316
935.71/937.74	c  937s |      18 |   516520 |   353752 |    23568     31 |      626 |      316
938.87/939.78	c  939s |      18 |   517411 |   354552 |    23568     31 |      626 |      316
938.87/941.89	c  941s |      18 |   518178 |   355252 |    23568     31 |      626 |      316
938.87/943.95	c  943s |      18 |   518932 |   355952 |    23568     31 |      626 |      316
944.75/946.02	c  945s |      18 |   519697 |   356652 |    23568     31 |      626 |      316
944.75/948.23	c  947s |      18 |   520454 |   357352 |    23568     31 |      626 |      316
950.11/950.46	c  950s |      18 |   521225 |   358052 |    23568     31 |      626 |      316
950.30/952.50	c  952s |      18 |   521870 |   358652 |    23568     31 |      626 |      316
950.30/954.55	c  954s |      18 |   522539 |   359252 |    23568     31 |      626 |      316
950.30/956.78	c  956s |      18 |   523181 |   359852 |    23568     31 |      626 |      316
950.30/959.03	c  958s |      18 |   523870 |   360452 |    23568     31 |      626 |      316
950.30/961.15	c  960s |      18 |   524544 |   361052 |    23568     31 |      626 |      316
950.30/963.28	c  963s |      18 |   525222 |   361652 |    23568     31 |      626 |      316
963.09/965.32	c  965s |      18 |   525887 |   362252 |    23568     31 |      626 |      316
963.09/967.48	c  967s |      18 |   526559 |   362852 |    23568     31 |      626 |      316
969.10/969.77	c  969s |      18 |   527224 |   363452 |    23568     31 |      626 |      316
969.10/972.04	c  971s |      18 |   527899 |   364052 |    23568     31 |      626 |      316
974.02/974.38	c  974s |      18 |   528573 |   364652 |    23568     31 |      626 |      316
975.94/976.38	c  976s |      18 |   528998 |   365052 |    23568     32 |      626 |      316
977.76/978.67	c  978s |      18 |   529903 |   365852 |    23568     32 |      626 |      316
979.68/980.91	c  980s |      18 |   530812 |   366652 |    23568     32 |      626 |      316
982.42/983.09	c  982s |      18 |   531714 |   367452 |    23568     32 |      626 |      316
984.84/985.29	c  985s |      18 |   532505 |   368152 |    23568     32 |      626 |      316
984.84/987.32	c  987s |      18 |   533296 |   368852 |    23568     32 |      626 |      316
984.84/989.33	c  989s |      18 |   534099 |   369552 |    23568     32 |      626 |      316
984.84/991.65	c  991s |      18 |   534869 |   370252 |    23568     32 |      626 |      316
992.39/993.95	c  993s |      18 |   535655 |   370952 |    23568     32 |      626 |      316
995.55/996.03	c  995s |      18 |   536306 |   371552 |    23568     32 |      626 |      316
997.62/998.07	c  997s |      18 |   536969 |   372152 |    23568     32 |      626 |      316
998.93/1000.34	c 1000s |      18 |   537644 |   372752 |    23568     32 |      626 |      316
1000.87/1002.66	c 1002s |      18 |   538296 |   373352 |    23568     32 |      626 |      316
1004.45/1004.95	c 1004s |      18 |   538956 |   373952 |    23568     32 |      626 |      316
1006.56/1007.23	c 1006s |      18 |   539652 |   374552 |    23568     32 |      626 |      316
1009.16/1009.54	c 1009s |      18 |   540340 |   375152 |    23568     32 |      626 |      316
1009.25/1011.72	c 1011s |      18 |   540860 |   375652 |    23568     32 |      626 |      316
1011.96/1014.05	c 1013s |      18 |   541526 |   376252 |    23568     32 |      626 |      316
1014.88/1016.20	c 1015s |      18 |   542065 |   376752 |    23568     32 |      626 |      316
1014.88/1018.38	c 1018s |      18 |   542601 |   377252 |    23568     32 |      626 |      316
1014.88/1020.75	c 1020s |      18 |   543156 |   377752 |    23568     32 |      626 |      316
1021.03/1023.10	c 1022s |      18 |   543701 |   378252 |    23568     32 |      626 |      316
1023.57/1025.17	c 1024s |      18 |   544136 |   378652 |    23568     33 |      626 |      316
1023.57/1027.26	c 1027s |      18 |   544958 |   379352 |    23568     33 |      626 |      316
1023.57/1029.32	c 1029s |      18 |   545875 |   380152 |    23568     33 |      626 |      316
1023.57/1031.44	c 1031s |      18 |   546664 |   380852 |    23568     33 |      626 |      316
1023.57/1033.63	c 1033s |      18 |   547441 |   381552 |    23568     33 |      626 |      316
1035.28/1035.77	c 1035s |      18 |   548095 |   382152 |    23568     33 |      626 |      316
1037.13/1038.02	c 1037s |      18 |   548735 |   382752 |    23568     33 |      626 |      316
1038.04/1040.22	c 1039s |      18 |   549384 |   383352 |    23568     33 |      626 |      316
1041.76/1042.31	c 1042s |      18 |   549936 |   383852 |    23568     33 |      626 |      316
1043.56/1044.66	c 1044s |      18 |   550601 |   384452 |    23568     33 |      626 |      316
1044.30/1046.78	c 1046s |      18 |   551260 |   385052 |    23568     33 |      626 |      316
1048.02/1049.01	c 1048s |      18 |   551943 |   385652 |    23568     33 |      626 |      316
1048.02/1051.20	c 1050s |      18 |   552600 |   386252 |    23568     33 |      626 |      316
1048.02/1053.63	c 1053s |      18 |   553251 |   386852 |    23568     33 |      626 |      316
1048.02/1055.76	c 1055s |      18 |   553788 |   387352 |    23568     33 |      626 |      316
1056.32/1057.84	c 1057s |      18 |   554335 |   387852 |    23568     33 |      626 |      316
1057.53/1060.02	c 1059s |      18 |   554879 |   388352 |    23568     33 |      626 |      316
1057.53/1062.38	c 1062s |      18 |   555558 |   388952 |    23568     33 |      626 |      316
1062.15/1064.53	c 1064s |      18 |   556095 |   389452 |    23568     33 |      626 |      316
1066.22/1066.67	c 1066s |      18 |   556650 |   389952 |    23568     33 |      626 |      316
1068.41/1068.84	c 1068s |      18 |   557205 |   390452 |    23568     33 |      626 |      316
1070.72/1071.14	c 1070s |      18 |   557734 |   390952 |    23568     33 |      626 |      316
1073.02/1073.41	c 1073s |      18 |   558286 |   391452 |    23568     33 |      626 |      316
1075.12/1075.59	c 1075s |      18 |   558716 |   391852 |    23568     34 |      626 |      316
1077.51/1077.99	c 1077s |      18 |   559506 |   392552 |    23568     34 |      626 |      316
1079.81/1080.20	c 1079s |      18 |   560252 |   393252 |    23568     34 |      626 |      316
1081.91/1082.33	c 1082s |      18 |   561009 |   393952 |    23568     34 |      626 |      316
1084.11/1084.57	c 1084s |      18 |   561674 |   394552 |    23568     34 |      626 |      316
1086.31/1086.78	c 1086s |      18 |   562293 |   395152 |    23568     34 |      626 |      316
1088.50/1088.97	c 1088s |      18 |   562949 |   395752 |    23568     34 |      626 |      316
1090.70/1091.19	c 1090s |      18 |   563592 |   396352 |    23568     34 |      626 |      316
1093.00/1093.44	c 1093s |      18 |   564247 |   396952 |    23568     34 |      626 |      316
1095.01/1095.49	c 1095s |      18 |   565065 |   397652 |    23568     34 |      626 |      316
1097.11/1097.59	c 1097s |      18 |   565723 |   398252 |    23568     34 |      626 |      316
1099.30/1099.80	c 1099s |      18 |   566532 |   398952 |    23568     34 |      626 |      316
1101.39/1101.85	c 1101s |      18 |   567199 |   399552 |    23568     34 |      626 |      316
1103.59/1104.05	c 1103s |      18 |   568031 |   400252 |    23568     34 |      626 |      316
1105.79/1106.29	c 1106s |      18 |   568836 |   400952 |    23568     34 |      626 |      316
1107.89/1108.31	c 1108s |      18 |   569488 |   401552 |    23568     34 |      626 |      316
1110.09/1110.53	c 1110s |      18 |   570167 |   402152 |    23568     34 |      626 |      316
1112.38/1112.90	c 1112s |      18 |   570818 |   402752 |    23568     34 |      626 |      316
1114.58/1115.02	c 1114s |      18 |   571365 |   403252 |    23568     34 |      626 |      316
1116.58/1117.06	c 1116s |      18 |   571934 |   403752 |    23568     34 |      626 |      316
1118.98/1119.44	c 1119s |      18 |   572485 |   404252 |    23568     34 |      626 |      316
1121.18/1121.65	c 1121s |      18 |   573037 |   404752 |    23568     34 |      626 |      316
1123.49/1123.92	c 1123s |      18 |   573472 |   405152 |    23568     35 |      626 |      316
1125.48/1125.97	c 1125s |      18 |   574120 |   405752 |    23568     35 |      626 |      316
1127.68/1128.11	c 1127s |      18 |   574763 |   406352 |    23568     35 |      626 |      316
1129.78/1130.20	c 1129s |      18 |   575426 |   406952 |    23568     35 |      626 |      316
1131.88/1132.36	c 1132s |      18 |   576230 |   407652 |    23568     35 |      626 |      316
1134.08/1134.55	c 1134s |      18 |   576998 |   408352 |    23568     35 |      626 |      316
1136.28/1136.71	c 1136s |      18 |   577775 |   409052 |    23568     35 |      626 |      316
1138.68/1139.10	c 1138s |      18 |   578531 |   409752 |    23568     35 |      626 |      316
1140.88/1141.33	c 1141s |      18 |   579169 |   410352 |    23568     35 |      626 |      316
1143.18/1143.68	c 1143s |      18 |   579804 |   410952 |    23568     35 |      626 |      316
1145.38/1145.85	c 1145s |      18 |   580450 |   411552 |    23568     35 |      626 |      316
1147.48/1147.97	c 1147s |      18 |   581098 |   412152 |    23568     35 |      626 |      316
1149.48/1149.98	c 1149s |      18 |   581641 |   412652 |    23568     35 |      626 |      316
1151.67/1152.15	c 1151s |      18 |   582287 |   413252 |    23568     35 |      626 |      316
1153.97/1154.47	c 1154s |      18 |   582952 |   413852 |    23568     35 |      626 |      316
1156.17/1156.66	c 1156s |      18 |   583599 |   414452 |    23568     35 |      626 |      316
1158.27/1158.72	c 1158s |      18 |   584138 |   414952 |    23568     35 |      626 |      316
1160.47/1160.98	c 1160s |      18 |   584805 |   415552 |    23568     35 |      626 |      316
1162.67/1163.19	c 1162s |      18 |   585341 |   416052 |    23568     35 |      626 |      316
1164.77/1165.27	c 1165s |      18 |   585874 |   416552 |    23568     35 |      626 |      316
1167.27/1167.72	c 1167s |      18 |   586430 |   417052 |    23568     35 |      626 |      316
1169.37/1169.82	c 1169s |      18 |   587003 |   417552 |    23568     35 |      626 |      316
1171.37/1171.88	c 1171s |      18 |   587586 |   418052 |    23568     35 |      626 |      316
1174.28/1174.71	c 1174s |      18 |   588261 |   418652 |    23568     36 |      626 |      316
1176.39/1176.89	c 1176s |      18 |   589035 |   419352 |    23568     36 |      626 |      316
1178.59/1179.08	c 1178s |      18 |   589805 |   420052 |    23568     36 |      626 |      316
1180.78/1181.21	c 1180s |      18 |   590467 |   420652 |    23568     36 |      626 |      316
1182.88/1183.34	c 1183s |      18 |   591124 |   421252 |    23568     36 |      626 |      316
1184.97/1185.44	c 1185s |      18 |   591771 |   421852 |    23568     36 |      626 |      316
1187.17/1187.66	c 1187s |      18 |   592419 |   422452 |    23568     36 |      626 |      316
1189.27/1189.75	c 1189s |      18 |   593090 |   423052 |    23568     36 |      626 |      316
1191.57/1192.00	c 1191s |      18 |   593742 |   423652 |    23568     36 |      626 |      316
1193.67/1194.11	c 1193s |      18 |   594418 |   424252 |    23568     36 |      626 |      316
1195.87/1196.36	c 1196s |      18 |   595067 |   424852 |    23568     36 |      626 |      316
1198.17/1198.66	c 1198s |      18 |   595710 |   425452 |    23568     36 |      626 |      316
1200.37/1200.87	c 1200s |      18 |   596236 |   425952 |    23568     36 |      626 |      316
1202.57/1203.05	c 1202s |      18 |   596786 |   426452 |    23568     36 |      626 |      316
1204.88/1205.37	c 1205s |      18 |   597317 |   426952 |    23568     36 |      626 |      316
1207.08/1207.51	c 1207s |      18 |   597859 |   427452 |    23568     36 |      626 |      316
1209.17/1209.65	c 1209s |      18 |   598392 |   427952 |    23568     36 |      626 |      316
1211.58/1212.08	c 1211s |      18 |   599038 |   428552 |    23568     36 |      626 |      316
1214.07/1214.50	c 1214s |      18 |   599570 |   429052 |    23568     36 |      626 |      316
1216.27/1216.77	c 1216s |      18 |   600114 |   429552 |    23568     36 |      626 |      316
1218.67/1219.11	c 1218s |      18 |   600671 |   430052 |    23568     36 |      626 |      316
1220.77/1221.23	c 1220s |      18 |   601227 |   430552 |    23568     36 |      626 |      316
1222.77/1223.28	c 1223s |      18 |   601776 |   431052 |    23568     36 |      626 |      316
1224.86/1225.30	c 1225s |      18 |   602320 |   431552 |    23568     36 |      626 |      316
1227.36/1227.81	c 1227s |      18 |   602868 |   432052 |    23568     37 |      626 |      316
1229.46/1229.92	c 1229s |      18 |   603518 |   432652 |    23568     37 |      626 |      316
1231.46/1231.94	c 1231s |      18 |   604179 |   433252 |    23568     37 |      626 |      316
1233.57/1234.03	c 1233s |      18 |   604817 |   433852 |    23568     37 |      626 |      316
1235.86/1236.37	c 1236s |      18 |   605586 |   434552 |    23568     37 |      626 |      316
1238.06/1238.59	c 1238s |      18 |   606224 |   435152 |    23568     37 |      626 |      316
1240.26/1240.76	c 1240s |      18 |   606873 |   435752 |    23568     37 |      626 |      316
1242.56/1243.03	c 1242s |      18 |   607512 |   436352 |    23568     37 |      626 |      316
1244.57/1245.04	c 1244s |      18 |   608044 |   436852 |    23568     37 |      626 |      316
1246.86/1247.37	c 1247s |      18 |   608697 |   437452 |    23568     37 |      626 |      316
1249.16/1249.64	c 1249s |      18 |   609353 |   438052 |    23568     37 |      626 |      316
1251.36/1251.80	c 1251s |      18 |   609890 |   438552 |    23568     37 |      626 |      316
1253.56/1254.02	c 1253s |      18 |   610423 |   439052 |    23568     37 |      626 |      316
1255.66/1256.16	c 1255s |      18 |   610960 |   439552 |    23568     37 |      626 |      316
1257.86/1258.39	c 1258s |      18 |   611483 |   440052 |    23568     37 |      626 |      316
1260.06/1260.53	c 1260s |      18 |   612038 |   440552 |    23568     37 |      626 |      316
1262.36/1262.80	c 1262s |      18 |   612596 |   441052 |    23568     37 |      626 |      316
1264.66/1265.15	c 1264s |      18 |   613119 |   441552 |    25925     37 |      626 |      316
1266.96/1267.45	c 1267s |      18 |   613645 |   442052 |    25925     37 |      626 |      316
1269.06/1269.51	c 1269s |      18 |   614079 |   442452 |    25925     37 |      626 |      316
1271.05/1271.57	c 1271s |      18 |   614492 |   442852 |    25925     37 |      626 |      316
1273.25/1273.75	c 1273s |      18 |   615034 |   443352 |    25925     37 |      626 |      316
1275.36/1275.82	c 1275s |      18 |   615567 |   443852 |    25925     37 |      626 |      316
1277.56/1278.03	c 1277s |      18 |   616102 |   444352 |    25925     37 |      626 |      316
1278.15/1278.67	c 1278s |      19 |   616242 |   444482 |    25925     37 |      626 |      316
1280.25/1280.70	c 1280s |      19 |   623693 |   446182 |    25925     37 |      626 |      316
1282.25/1282.79	c 1282s |      19 |   627799 |   447582 |    25925     38 |      626 |      316
1284.35/1284.87	c 1284s |      19 |   631494 |   449482 |    25925     38 |      626 |      316
1286.45/1286.91	c 1286s |      19 |   633192 |   450582 |    25925     38 |      626 |      316
1288.46/1288.92	c 1288s |      19 |   634112 |   451382 |    25925     38 |      626 |      316
1290.55/1291.01	c 1290s |      19 |   635299 |   452382 |    25925     38 |      626 |      316
1292.65/1293.17	c 1292s |      19 |   636288 |   453282 |    25925     38 |      626 |      316
1294.85/1295.39	c 1295s |      19 |   637261 |   454182 |    25925     38 |      626 |      316
1297.26/1297.75	c 1297s |      19 |   638131 |   454982 |    25925     38 |      626 |      316
1299.35/1299.90	c 1299s |      19 |   638876 |   455682 |    25925     38 |      626 |      316
1301.45/1301.91	c 1301s |      19 |   639503 |   456282 |    25925     38 |      626 |      316
1303.45/1303.93	c 1303s |      19 |   640152 |   456882 |    25925     38 |      626 |      316
1305.55/1306.07	c 1305s |      19 |   640781 |   457482 |    25925     38 |      626 |      316
1307.75/1308.23	c 1307s |      19 |   641600 |   458182 |    25925     38 |      626 |      316
1309.85/1310.31	c 1310s |      19 |   642138 |   458682 |    25925     38 |      626 |      316
1311.85/1312.38	c 1312s |      19 |   642655 |   459182 |    25925     38 |      626 |      316
1314.25/1314.73	c 1314s |      19 |   643283 |   459782 |    25925     38 |      626 |      316
1316.35/1316.83	c 1316s |      19 |   643820 |   460282 |    25925     38 |      626 |      316
1318.35/1318.87	c 1318s |      19 |   644351 |   460782 |    25925     38 |      626 |      316
1320.36/1320.89	c 1320s |      19 |   644994 |   461382 |    25925     38 |      626 |      316
1322.95/1323.49	c 1323s |      19 |   645644 |   461982 |    25925     39 |      626 |      316
1325.35/1325.80	c 1325s |      19 |   646298 |   462582 |    25925     39 |      626 |      316
1327.55/1328.03	c 1327s |      19 |   646937 |   463182 |    25925     39 |      626 |      316
1329.95/1330.40	c 1330s |      19 |   647577 |   463782 |    25925     39 |      626 |      316
1331.95/1332.47	c 1332s |      19 |   648120 |   464282 |    25925     39 |      626 |      316
1334.45/1334.92	c 1334s |      19 |   648782 |   464882 |    25925     39 |      626 |      316
1336.54/1337.09	c 1336s |      19 |   649316 |   465382 |    25925     39 |      626 |      316
1338.94/1339.47	c 1339s |      19 |   649965 |   465982 |    25925     39 |      626 |      316
1341.25/1341.74	c 1341s |      19 |   650498 |   466482 |    25925     39 |      626 |      316
1343.34/1343.83	c 1343s |      19 |   651024 |   466982 |    25925     39 |      626 |      316
1345.54/1346.08	c 1345s |      19 |   651547 |   467482 |    25925     39 |      626 |      316
1347.95/1348.44	c 1348s |      19 |   652072 |   467982 |    25925     39 |      626 |      316
1350.34/1350.84	c 1350s |      19 |   652585 |   468482 |    25925     39 |      626 |      316
1352.74/1353.27	c 1353s |      19 |   653117 |   468982 |    25925     39 |      626 |      316
1355.24/1355.72	c 1355s |      19 |   653672 |   469482 |    25925     39 |      626 |      316
1357.34/1357.88	c 1357s |      19 |   654092 |   469882 |    25925     39 |      626 |      316
1359.54/1360.01	c 1359s |      19 |   654514 |   470282 |    25925     39 |      626 |      316
1361.54/1362.04	c 1361s |      19 |   654933 |   470682 |    25925     39 |      626 |      316
1363.64/1364.16	c 1363s |      19 |   655353 |   471082 |    25925     39 |      626 |      316
1365.94/1366.42	c 1366s |      19 |   655759 |   471482 |    25925     39 |      626 |      316
1368.04/1368.59	c 1368s |      19 |   656169 |   471882 |    25925     39 |      626 |      316
1370.14/1370.67	c 1370s |      19 |   656598 |   472282 |    25925     39 |      626 |      316
1372.44/1372.95	c 1372s |      19 |   657006 |   472682 |    25925     39 |      626 |      316
1374.74/1375.25	c 1374s |      19 |   657436 |   473082 |    25925     39 |      626 |      316
1377.04/1377.54	c 1377s |      19 |   657845 |   473482 |    25925     39 |      626 |      316
1379.14/1379.63	c 1379s |      19 |   658263 |   473882 |    25925     39 |      626 |      316
1381.44/1381.90	c 1381s |      19 |   658691 |   474282 |    25925     39 |      626 |      316
1383.74/1384.23	c 1383s |      19 |   659111 |   474682 |    25925     39 |      626 |      316
1386.14/1386.60	c 1386s |      19 |   659533 |   475082 |    25925     39 |      626 |      316
1388.43/1388.98	c 1388s |      19 |   659949 |   475482 |    25925     39 |      626 |      316
1390.74/1391.29	c 1391s |      19 |   660366 |   475882 |    25925     39 |      626 |      316
1393.34/1393.81	c 1393s |      19 |   660893 |   476382 |    25925     39 |      626 |      316
1395.64/1396.19	c 1395s |      19 |   661216 |   476682 |    25925     40 |      626 |      316
1398.04/1398.53	c 1398s |      19 |   661749 |   477182 |    25925     40 |      626 |      316
1400.24/1400.74	c 1400s |      19 |   662266 |   477682 |    25925     40 |      626 |      316
1402.44/1402.97	c 1402s |      19 |   662802 |   478182 |    25925     40 |      626 |      316
1404.84/1405.39	c 1405s |      19 |   663351 |   478682 |    25925     40 |      626 |      316
1406.94/1407.48	c 1407s |      19 |   664229 |   479282 |    25925     40 |      626 |      316
1409.14/1409.66	c 1409s |      19 |   664923 |   479882 |    25925     40 |      626 |      316
1411.24/1411.72	c 1411s |      19 |   665539 |   480382 |    25925     40 |      626 |      316
1413.54/1414.06	c 1413s |      19 |   666127 |   480882 |    25925     40 |      626 |      316
1415.74/1416.20	c 1415s |      19 |   666619 |   481282 |    25925     40 |      626 |      316
1417.74/1418.25	c 1417s |      19 |   667189 |   481782 |    25925     40 |      626 |      316
1420.04/1420.56	c 1420s |      19 |   667718 |   482282 |    25925     40 |      626 |      316
1422.34/1422.85	c 1422s |      19 |   668258 |   482782 |    25925     40 |      626 |      316
1424.34/1424.87	c 1424s |      19 |   668957 |   483382 |    25925     40 |      626 |      316
1426.44/1426.91	c 1426s |      19 |   669523 |   483882 |    25925     40 |      626 |      316
1428.54/1429.08	c 1428s |      19 |   670075 |   484382 |    25925     40 |      626 |      316
1430.74/1431.25	c 1431s |      19 |   670651 |   484882 |    25925     40 |      626 |      316
1432.84/1433.39	c 1433s |      19 |   671079 |   485282 |    25925     40 |      626 |      316
1434.93/1435.49	c 1435s |      19 |   671519 |   485682 |    25925     40 |      626 |      316
1437.04/1437.57	c 1437s |      19 |   672136 |   486182 |    25925     40 |      626 |      316
1439.43/1439.93	c 1439s |      19 |   672757 |   486682 |    25925     40 |      626 |      316
1441.73/1442.20	c 1441s |      19 |   673292 |   487182 |    25925     40 |      626 |      316
1443.93/1444.41	c 1444s |      19 |   673897 |   487682 |    25925     40 |      626 |      316
1445.93/1446.46	c 1446s |      19 |   675298 |   488482 |    25925     40 |      626 |      316
1448.23/1448.70	c 1448s |      19 |   676388 |   489182 |    25925     40 |      626 |      316
1450.33/1450.83	c 1450s |      19 |   677074 |   489682 |    25925     40 |      626 |      316
1452.73/1453.23	c 1452s |      19 |   677689 |   490182 |    25925     40 |      626 |      316
1454.83/1455.34	c 1455s |      19 |   678425 |   490782 |    25925     40 |      626 |      316
1457.13/1457.65	c 1457s |      19 |   678876 |   491182 |    25925     41 |      626 |      316
1459.43/1459.96	c 1459s |      19 |   679437 |   491682 |    25925     41 |      626 |      316
1461.43/1461.99	c 1461s |      19 |   680325 |   492382 |    25925     41 |      626 |      316
1463.53/1464.06	c 1463s |      19 |   681142 |   493082 |    25925     41 |      626 |      316
1465.64/1466.18	c 1465s |      19 |   681863 |   493682 |    25925     41 |      626 |      316
1468.03/1468.58	c 1468s |      19 |   682528 |   494282 |    25925     41 |      626 |      316
1470.23/1470.79	c 1470s |      19 |   683360 |   494982 |    25925     41 |      626 |      316
1472.63/1473.14	c 1472s |      19 |   684230 |   495682 |    25925     41 |      626 |      316
1474.73/1475.25	c 1474s |      19 |   684796 |   496182 |    25925     41 |      626 |      316
1476.73/1477.26	c 1477s |      19 |   685644 |   496782 |    25925     41 |      626 |      316
1478.93/1479.48	c 1479s |      19 |   686820 |   497582 |    25925     41 |      626 |      316
1481.13/1481.66	c 1481s |      19 |   687926 |   498282 |    25925     41 |      626 |      316
1483.24/1483.72	c 1483s |      19 |   688720 |   498882 |    25925     41 |      626 |      316
1485.34/1485.83	c 1485s |      19 |   689338 |   499382 |    25925     41 |      626 |      316
1487.33/1487.88	c 1487s |      19 |   689835 |   499782 |    25925     41 |      626 |      316
1489.63/1490.19	c 1489s |      19 |   690464 |   500282 |    25925     41 |      626 |      316
1491.94/1492.44	c 1492s |      19 |   691095 |   500782 |    25925     41 |      626 |      316
1493.92/1494.45	c 1494s |      19 |   692096 |   501482 |    25925     41 |      626 |      316
1496.12/1496.62	c 1496s |      19 |   693024 |   502182 |    25925     41 |      626 |      316
1498.12/1498.64	c 1498s |      19 |   693786 |   502782 |    25925     41 |      626 |      316
1500.42/1500.94	c 1500s |      19 |   694573 |   503482 |    25925     41 |      626 |      316
1502.42/1502.98	c 1502s |      19 |   695110 |   503982 |    25925     41 |      626 |      316
1504.52/1505.06	c 1504s |      19 |   695663 |   504482 |    25925     41 |      626 |      316
1506.72/1507.23	c 1506s |      19 |   696210 |   504982 |    25925     41 |      626 |      316
1509.42/1509.98	c 1509s |      19 |   696780 |   505482 |    25925     42 |      626 |      316
1511.52/1512.01	c 1511s |      19 |   697424 |   506082 |    25925     42 |      626 |      316
1513.72/1514.24	c 1513s |      19 |   698225 |   506782 |    25925     42 |      626 |      316
1515.92/1516.46	c 1516s |      19 |   698875 |   507382 |    25925     42 |      626 |      316
1517.92/1518.49	c 1518s |      19 |   699469 |   507882 |    25925     42 |      626 |      316
1520.02/1520.50	c 1520s |      19 |   700261 |   508482 |    25925     42 |      626 |      316
1522.22/1522.74	c 1522s |      19 |   700805 |   508882 |    25925     42 |      626 |      316
1524.71/1525.23	c 1524s |      19 |   701467 |   509382 |    25925     42 |      626 |      316
1526.82/1527.33	c 1527s |      19 |   701830 |   509682 |    25925     42 |      626 |      316
1529.22/1529.77	c 1529s |      19 |   702383 |   510182 |    25925     42 |      626 |      316
1531.63/1532.15	c 1531s |      19 |   702838 |   510582 |    25925     42 |      626 |      316
1533.83/1534.33	c 1534s |      19 |   703333 |   510982 |    25925     42 |      626 |      316
1536.22/1536.77	c 1536s |      19 |   703924 |   511482 |    25925     42 |      626 |      316
1538.23/1538.79	c 1538s |      19 |   704271 |   511782 |    25925     42 |      626 |      316
1540.62/1541.11	c 1540s |      19 |   704594 |   512082 |    25925     42 |      626 |      316
1542.92/1543.42	c 1543s |      19 |   705040 |   512482 |    25925     42 |      626 |      316
1545.42/1545.92	c 1545s |      19 |   705489 |   512882 |    25925     42 |      626 |      316
1547.72/1548.22	c 1547s |      19 |   705958 |   513282 |    25925     42 |      626 |      316
1549.82/1550.38	c 1550s |      19 |   706397 |   513682 |    25925     42 |      626 |      316
1552.22/1552.76	c 1552s |      19 |   706738 |   513982 |    25925     42 |      626 |      316
1555.11/1555.66	c 1555s |      19 |   707167 |   514382 |    25925     42 |      626 |      316
1557.41/1557.95	c 1557s |      19 |   707650 |   514782 |    25925     42 |      626 |      316
1559.51/1560.07	c 1559s |      19 |   708218 |   515282 |    25925     42 |      626 |      316
1562.11/1562.62	c 1562s |      19 |   708550 |   515582 |    25925     42 |      626 |      316
1564.52/1565.10	c 1564s |      19 |   708878 |   515882 |    25925     42 |      626 |      316
1567.01/1567.51	c 1567s |      19 |   709207 |   516182 |    25925     42 |      626 |      316
1569.31/1569.88	c 1569s |      19 |   709522 |   516482 |    25925     42 |      626 |      316
1572.11/1572.62	c 1572s |      19 |   709984 |   516882 |    25925     42 |      626 |      316
1574.11/1574.65	c 1574s |      19 |   710326 |   517182 |    25925     42 |      626 |      316
1576.21/1576.77	c 1576s |      19 |   710771 |   517582 |    25925     42 |      626 |      316
1578.71/1579.29	c 1579s |      19 |   711123 |   517882 |    25925     42 |      626 |      316
1581.12/1581.62	c 1581s |      19 |   711612 |   518282 |    25925     42 |      626 |      316
1583.50/1584.01	c 1583s |      19 |   711941 |   518582 |    25925     42 |      626 |      316
1585.70/1586.20	c 1585s |      19 |   712274 |   518882 |    25925     42 |      626 |      316
1587.72/1588.29	c 1588s |      19 |   712501 |   519082 |    25925     42 |      626 |      316
1590.21/1590.78	c 1590s |      19 |   712834 |   519382 |    25925     42 |      626 |      316
1592.31/1592.80	c 1592s |      19 |   713185 |   519682 |    25925     42 |      626 |      316
1595.21/1595.80	c 1595s |      19 |   713531 |   519982 |    25925     43 |      626 |      316
1597.81/1598.38	c 1598s |      19 |   713976 |   520382 |    25925     43 |      626 |      316
1600.51/1601.04	c 1600s |      19 |   714418 |   520782 |    25925     43 |      626 |      316
1602.61/1603.18	c 1602s |      19 |   714742 |   521082 |    25925     43 |      626 |      316
1605.22/1605.76	c 1605s |      19 |   715191 |   521482 |    25925     43 |      626 |      316
1607.81/1608.35	c 1608s |      19 |   715639 |   521882 |    25925     43 |      626 |      316
1609.91/1610.42	c 1610s |      19 |   715965 |   522182 |    25925     43 |      626 |      316
1612.31/1612.84	c 1612s |      19 |   716563 |   522682 |    25925     43 |      626 |      316
1614.81/1615.37	c 1615s |      19 |   717111 |   523182 |    25925     43 |      626 |      316
1616.91/1617.42	c 1617s |      19 |   717555 |   523582 |    25925     43 |      626 |      316
1618.90/1619.50	c 1619s |      19 |   717991 |   523982 |    25925     43 |      626 |      316
1621.50/1622.01	c 1621s |      19 |   718548 |   524482 |    25925     43 |      626 |      316
1623.91/1624.42	c 1624s |      19 |   719007 |   524882 |    25925     43 |      626 |      316
1626.40/1626.97	c 1626s |      19 |   719449 |   525282 |    25925     43 |      626 |      316
1628.80/1629.31	c 1629s |      19 |   719904 |   525682 |    25925     43 |      626 |      316
1631.40/1631.93	c 1631s |      19 |   720346 |   526082 |    25925     43 |      626 |      316
1633.91/1634.47	c 1634s |      19 |   720795 |   526482 |    25925     43 |      626 |      316
1636.01/1636.57	c 1636s |      19 |   721234 |   526882 |    25925     43 |      626 |      316
1638.40/1638.96	c 1638s |      19 |   721663 |   527282 |    25925     43 |      626 |      316
1641.10/1641.61	c 1641s |      19 |   722105 |   527682 |    25925     43 |      626 |      316
1643.10/1643.63	c 1643s |      19 |   722415 |   527982 |    25925     43 |      626 |      316
1645.19/1645.74	c 1645s |      19 |   722726 |   528282 |    25925     43 |      626 |      316
1647.59/1648.13	c 1647s |      19 |   723177 |   528682 |    25925     43 |      626 |      316
1649.79/1650.36	c 1650s |      19 |   723494 |   528982 |    25925     43 |      626 |      316
1651.89/1652.44	c 1652s |      19 |   723832 |   529282 |    25925     43 |      626 |      316
1654.09/1654.64	c 1654s |      19 |   724332 |   529682 |    25925     43 |      626 |      316
1657.19/1657.78	c 1657s |      19 |   724666 |   529982 |    25925     43 |      626 |      316
1659.20/1659.78	c 1659s |      19 |   725013 |   530282 |    25925     43 |      626 |      316
1661.79/1662.30	c 1662s |      19 |   725346 |   530582 |    25925     43 |      626 |      316
1663.79/1664.36	c 1664s |      19 |   725563 |   530782 |    25925     43 |      626 |      316
1666.20/1666.73	c 1666s |      19 |   725878 |   531082 |    25925     43 |      626 |      316
1668.30/1668.88	c 1668s |      19 |   726209 |   531382 |    25925     43 |      626 |      316
1670.60/1671.14	c 1670s |      19 |   726550 |   531682 |    25925     43 |      626 |      316
1673.20/1673.76	c 1673s |      19 |   726886 |   531982 |    25925     43 |      626 |      316
1676.50/1677.00	c 1676s |      19 |   727359 |   532382 |    25925     43 |      626 |      316
1679.09/1679.61	c 1679s |      19 |   727687 |   532682 |    25925     43 |      626 |      316
1681.89/1682.46	c 1682s |      19 |   728028 |   532982 |    25925     43 |      626 |      316
1684.09/1684.60	c 1684s |      19 |   728247 |   533182 |    25925     43 |      626 |      316
1686.09/1686.66	c 1686s |      19 |   728456 |   533382 |    25925     43 |      626 |      316
1688.19/1688.73	c 1688s |      19 |   728684 |   533582 |    25925     43 |      626 |      316
1690.69/1691.24	c 1690s |      19 |   728908 |   533782 |    25925     43 |      626 |      316
1692.79/1693.32	c 1693s |      19 |   729146 |   533982 |    25925     43 |      626 |      316
1695.29/1695.80	c 1695s |      19 |   729479 |   534282 |    25925     43 |      626 |      316
1697.79/1698.36	c 1698s |      19 |   729685 |   534482 |    25925     44 |      626 |      316
1699.80/1700.37	c 1700s |      19 |   730025 |   534782 |    25925     44 |      626 |      316
1702.00/1702.51	c 1702s |      19 |   730353 |   535082 |    25925     44 |      626 |      316
1704.39/1704.93	c 1704s |      19 |   730685 |   535382 |    25925     44 |      626 |      316
1706.58/1707.14	c 1706s |      19 |   731004 |   535682 |    25925     44 |      626 |      316
1708.98/1709.57	c 1709s |      19 |   731438 |   536082 |    25925     44 |      626 |      316
1711.28/1711.87	c 1711s |      19 |   732196 |   536682 |    25925     44 |      626 |      316
1713.38/1713.99	c 1713s |      19 |   733343 |   537482 |    25925     44 |      626 |      316
1715.48/1716.08	c 1715s |      19 |   734225 |   538182 |    25925     44 |      626 |      316
1717.68/1718.20	c 1717s |      19 |   735029 |   538882 |    25925     44 |      626 |      316
1719.79/1720.37	c 1720s |      19 |   735680 |   539482 |    25925     44 |      626 |      316
1721.99/1722.58	c 1722s |      19 |   736527 |   540182 |    25925     44 |      626 |      316
1724.29/1724.84	c 1724s |      19 |   737203 |   540782 |    25925     44 |      626 |      316
1726.39/1726.94	c 1726s |      19 |   738016 |   541382 |    25925     44 |      626 |      316
1728.69/1729.27	c 1729s |      19 |   738769 |   541982 |    25925     44 |      626 |      316
1730.79/1731.32	c 1731s |      19 |   739329 |   542482 |    25925     44 |      626 |      316
1732.99/1733.56	c 1733s |      19 |   739883 |   542982 |    25925     44 |      626 |      316
1735.29/1735.85	c 1735s |      19 |   740869 |   543682 |    25925     44 |      626 |      316
1737.79/1738.32	c 1738s |      19 |   741822 |   544382 |    25925     44 |      626 |      316
1739.79/1740.35	c 1740s |      19 |   745230 |   545182 |    25925     44 |      626 |      316
1741.79/1742.36	c 1742s |      19 |   752905 |   546782 |    25925     44 |      626 |      316
1743.90/1744.44	c 1744s |      19 |   754767 |   547882 |    25925     44 |      626 |      316
1746.69/1747.26	c 1747s |      19 |   755801 |   548682 |    25925     45 |      626 |      316
1748.79/1749.36	c 1749s |      19 |   756799 |   549482 |    25925     45 |      626 |      316
1750.88/1751.48	c 1751s |      19 |   757993 |   550382 |    25925     45 |      626 |      316
1752.98/1753.50	c 1753s |      19 |   758862 |   551082 |    25925     45 |      626 |      316
1755.18/1755.75	c 1755s |      19 |   759838 |   551882 |    25925     45 |      626 |      316
1757.38/1757.93	c 1757s |      19 |   760722 |   552582 |    25925     45 |      626 |      316
1759.58/1760.14	c 1759s |      19 |   761565 |   553282 |    25925     45 |      626 |      316
1761.88/1762.45	c 1762s |      19 |   762418 |   553982 |    25925     45 |      626 |      316
1764.18/1764.73	c 1764s |      19 |   763254 |   554682 |    25925     45 |      626 |      316
1766.28/1766.87	c 1766s |      19 |   763952 |   555282 |    25925     45 |      626 |      316
1768.48/1769.09	c 1768s |      19 |   764653 |   555882 |    25925     45 |      626 |      316
1770.58/1771.13	c 1770s |      19 |   765217 |   556382 |    25925     45 |      626 |      316
1772.88/1773.42	c 1773s |      19 |   765888 |   556982 |    25925     45 |      626 |      316
1775.18/1775.74	c 1775s |      19 |   766587 |   557582 |    25925     45 |      626 |      316
1777.38/1777.98	c 1777s |      19 |   767278 |   558182 |    25925     45 |      626 |      316
1779.48/1780.02	c 1779s |      19 |   767853 |   558682 |    25925     45 |      626 |      316
1781.58/1782.16	c 1781s |      19 |   768553 |   559282 |    25925     45 |      626 |      316
1783.98/1784.51	c 1784s |      19 |   769244 |   559882 |    25925     45 |      626 |      316
1786.38/1786.90	c 1786s |      19 |   769926 |   560482 |    25925     45 |      626 |      316
1788.68/1789.21	c 1788s |      19 |   770654 |   561082 |    25925     45 |      626 |      316
1790.68/1791.24	c 1790s |      19 |   771247 |   561582 |    25925     45 |      626 |      316
1792.88/1793.47	c 1793s |      19 |   771813 |   562082 |    25925     45 |      626 |      316
1795.18/1795.73	c 1795s |      19 |   772407 |   562582 |    25925     45 |      626 |      316
1797.28/1797.88	c 1797s |      19 |   773031 |   563082 |    25925     45 |      626 |      316
1799.48/1800.03	c 1799s |      19 |   773638 |   563582 |    25925     46 |      626 |      316

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

pid=32595
running on 8 cores: 0-3,8-11

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.43 2.16 1.98 3/261 32598
/proc/meminfo: memFree=30897152/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1111484 CPUtime=0 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 4212 0 0 0 0 0 0 0 20 0 4 0 27034909 1138159616 5083 33554432000 4194304 16246674 140734631908304 140734631907728 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 278383 5093 441 2943 0 275277 0
[pid=32598/tid=32599] ppid=32595 vsize=1132988 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1160179712 5168 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1137084 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1164374016 5186 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1142204 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27034909 1169616896 5202 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 2.43 2.16 1.98 3/261 32598
/proc/meminfo: memFree=30897152/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1220164 CPUtime=0.09 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 28275 0 0 0 6 3 0 0 20 0 4 0 27034909 1249447936 29084 33554432000 4194304 16246674 140734631908304 140734631907616 4220897 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 305041 29084 801 2943 0 301935 0
[pid=32598/tid=32599] ppid=32595 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1249447936 29084 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1249447936 29084 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1249447936 29084 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200503 s]
/proc/loadavg: 2.43 2.16 1.98 3/261 32598
/proc/meminfo: memFree=30897152/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1301060 CPUtime=0.19 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 48482 0 0 0 13 6 0 0 20 0 4 0 27034909 1332285440 49291 33554432000 4194304 16246674 140734631908304 140734631907616 13966166 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 325265 49291 842 2943 0 322159 0
[pid=32598/tid=32599] ppid=32595 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1332285440 49291 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1332285440 49291 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1332285440 49291 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300472 s]
/proc/loadavg: 2.43 2.16 1.98 3/261 32598
/proc/meminfo: memFree=30897152/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1301060 CPUtime=0.29 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 50738 0 0 0 23 6 0 0 20 0 4 0 27034909 1332285440 51547 33554432000 4194304 16246674 140734631908304 140734631907616 6836566 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 325265 51553 882 2943 0 322159 0
[pid=32598/tid=32599] ppid=32595 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1332285440 51556 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1332285440 51560 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1332285440 51569 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700351 s]
/proc/loadavg: 2.43 2.16 1.98 3/261 32598
/proc/meminfo: memFree=30897152/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1301060 CPUtime=0.69 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 101914 0 0 0 55 14 0 0 20 0 4 0 27034909 1332285440 102723 33554432000 4194304 16246674 140734631908304 140734631890176 5531957 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 325265 102738 882 2943 0 322159 0
[pid=32598/tid=32599] ppid=32595 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1332285440 102746 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1332285440 102755 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1332285440 102758 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50039 s]
/proc/loadavg: 2.43 2.16 1.98 3/265 32602
/proc/meminfo: memFree=30280704/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1301060 CPUtime=1.49 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 216738 0 0 0 117 32 0 0 20 0 4 0 27034909 1332285440 217547 33554432000 4194304 16246674 140734631908304 140734631890176 5675357 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 325265 217551 882 2943 0 322159 0
[pid=32598/tid=32599] ppid=32595 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1332285440 217554 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1332285440 217558 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1332285440 217562 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10039 s]
/proc/loadavg: 2.43 2.16 1.98 3/265 32602
/proc/meminfo: memFree=29817680/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1312324 CPUtime=3.09 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 269262 0 0 0 270 39 0 0 20 0 4 0 27034909 1343819776 270071 33554432000 4194304 16246674 140734631908304 140734631890176 5712452 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 328081 270071 889 2943 0 324975 0
[pid=32598/tid=32599] ppid=32595 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1343819776 270071 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1343819776 270071 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1343819776 270071 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.3004 s]
/proc/loadavg: 2.40 2.15 1.98 3/265 32602
/proc/meminfo: memFree=29816776/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1312324 CPUtime=6.29 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 269267 0 0 0 590 39 0 0 20 0 4 0 27034909 1343819776 270076 33554432000 4194304 16246674 140734631908304 140734631890176 5523188 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 328081 270076 889 2943 0 324975 0
[pid=32598/tid=32599] ppid=32595 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1343819776 270076 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1343819776 270076 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1343819776 270076 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.37 2.15 1.98 3/265 32602
/proc/meminfo: memFree=29816808/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1312324 CPUtime=12.69 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 269269 0 0 0 1230 39 0 0 20 0 4 0 27034909 1343819776 270078 33554432000 4194304 16246674 140734631908304 140734631890176 5711784 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 328081 270078 891 2943 0 324975 0
[pid=32598/tid=32599] ppid=32595 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1343819776 270078 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1343819776 270078 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1343819776 270078 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.44 2.18 1.99 3/265 32602
/proc/meminfo: memFree=29816916/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1312324 CPUtime=25.49 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 269269 0 0 0 2510 39 0 0 20 0 4 0 27034909 1343819776 270078 33554432000 4194304 16246674 140734631908304 140734631890176 12415827 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 328081 270078 891 2943 0 324975 0
[pid=32598/tid=32599] ppid=32595 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1343819776 270078 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1343819776 270078 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1343819776 270078 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.36 2.18 2.00 3/266 32605
/proc/meminfo: memFree=29817284/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1312324 CPUtime=51.08 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 269271 0 0 0 5069 39 0 0 20 0 4 0 27034909 1343819776 270080 33554432000 4194304 16246674 140734631908304 140734631890176 6022920 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 328081 270080 892 2943 0 324975 0
[pid=32598/tid=32599] ppid=32595 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1343819776 270080 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1343819776 270080 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1343819776 270080 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.29 2.19 2.01 3/265 32606
/proc/meminfo: memFree=29800184/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1328708 CPUtime=102.29 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 273355 0 0 0 10189 40 0 0 20 0 4 0 27034909 1360596992 274164 33554432000 4194304 16246674 140734631908304 140734631890176 5711439 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 332177 274164 892 2943 0 329071 0
[pid=32598/tid=32599] ppid=32595 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1360596992 274164 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1360596992 274164 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1328708 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1360596992 274164 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1328708


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

/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276649 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1338948

[startup+1302.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/265 32636
/proc/meminfo: memFree=29770320/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1338948 CPUtime=1301.85 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 276291 0 0 0 130137 48 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140734631890176 5822252 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 334737 276739 892 2943 0 331631 0
[pid=32598/tid=32599] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1338948

[startup+1362.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/266 32638
/proc/meminfo: memFree=29769652/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1338948 CPUtime=1361.84 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 276291 0 0 0 136136 48 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140734631890176 5712760 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 334737 276739 892 2943 0 331631 0
[pid=32598/tid=32599] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1338948

[startup+1422.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/264 32639
/proc/meminfo: memFree=29769884/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1338948 CPUtime=1421.84 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 276291 0 0 0 142135 49 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140734631890176 13759557 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 334737 276739 892 2943 0 331631 0
[pid=32598/tid=32599] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1338948

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/265 32641
/proc/meminfo: memFree=29769340/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1338948 CPUtime=1481.83 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 276291 0 0 0 148134 49 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140734631890176 5545796 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 334737 276739 892 2943 0 331631 0
[pid=32598/tid=32599] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1338948

[startup+1542.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/265 32691
/proc/meminfo: memFree=29792280/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1338948 CPUtime=1541.82 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 276291 0 0 0 154132 50 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140734631890176 5711688 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 334737 276739 892 2943 0 331631 0
[pid=32598/tid=32599] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1338948

[startup+1602.3 s]
/proc/loadavg: 2.11 2.06 2.06 3/265 32692
/proc/meminfo: memFree=29792268/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1338948 CPUtime=1601.81 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 276291 0 0 0 160130 51 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140734631890176 5722956 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 334737 276739 892 2943 0 331631 0
[pid=32598/tid=32599] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1338948

[startup+1662.3 s]
/proc/loadavg: 2.10 2.06 2.06 3/265 32693
/proc/meminfo: memFree=29779872/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1338948 CPUtime=1661.79 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 276291 0 0 0 166128 51 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140734631890176 5822604 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 334737 276739 892 2943 0 331631 0
[pid=32598/tid=32599] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1338948

[startup+1722.3 s]
/proc/loadavg: 2.11 2.06 2.06 3/265 32694
/proc/meminfo: memFree=29779256/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1338948 CPUtime=1721.8 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 276291 0 0 0 172127 53 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140734631890176 5712204 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 334737 276739 892 2943 0 331631 0
[pid=32598/tid=32599] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1338948

[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/265 32696
/proc/meminfo: memFree=29779148/32872528 swapFree=7556/7556
[pid=32598] ppid=32595 vsize=1338948 CPUtime=1781.78 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 276291 0 0 0 178125 53 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140734631890176 6021684 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 334737 276739 892 2943 0 331631 0
[pid=32598/tid=32599] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1338948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.03 2.05 2.05 3/265 32696
/proc/meminfo: memFree=29779320/32872528 swapFree=7560/7560
[pid=32598] ppid=32595 vsize=1338948 CPUtime=1800.08 cores=0-3,8-11
/proc/32598/stat : 32598 (toysat) R 32595 32598 32495 0 -1 4202496 276291 0 0 0 179955 53 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140734631890176 6012004 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/32598/statm: 334737 276739 892 2943 0 331631 0
[pid=32598/tid=32599] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32599/stat : 32599 (toysat) S 32595 32598 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631408094448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=32598/tid=32600] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32600/stat : 32600 (toysat) S 32595 32598 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631322111216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=32598/tid=32601] ppid=32595 vsize=1338948 CPUtime=0 cores=0-3,8-11
/proc/32598/task/32601/stat : 32601 (toysat) S 32595 32598 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27034909 1371082752 276739 33554432000 4194304 16246674 140734631908304 140631311637680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1338948

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.534918
maximum resident set size= 1106956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276291
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= 380
involuntary context switches= 1957

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64699 second user time and 8.79866 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 13:19:27
IDJOB=4115861
IDBENCH=109398
IDSOLVER=2542
FILE ID=node132/4115861-1466939967
RUNJOBID= node132-1466939688-32511
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= 7225bc437b4b6d2af87fbfdb39edf3bc
RANDOM SEED=194150191

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30896780 kB
Buffers:            3276 kB
Cached:           169324 kB
SwapCached:         1796 kB
Active:          1146892 kB
Inactive:         115380 kB
Active(anon):    1091112 kB
Inactive(anon):     1700 kB
Active(file):      55780 kB
Inactive(file):   113680 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098624 kB
Dirty:             16956 kB
Writeback:             8 kB
AnonPages:       1097624 kB
Mapped:            10812 kB
Shmem:                 0 kB
Slab:             569296 kB
SReclaimable:       9552 kB
SUnreclaim:       559744 kB
KernelStack:        2176 kB
PageTables:         6136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1240212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    415744 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= 71496 MiB
End job on node132 at 2016-06-26 13:49:28