Trace number 4107950

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12058_4-sat.opb
MD5SUMda4c22aa3836e09c7cdc382a7b6da5de
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables35332
Total number of constraints122962
Number of constraints which are clauses122382
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints580
Minimum length of a constraint1
Maximum length of a constraint120
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 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 709
Number of bits of the biggest sum of numbers10
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-19T00:51:06+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-4107950-1466290266.opb"]
0.00/0.01	c use --random-gen="3975801855 1397764483 3213660664 1375922633 1824638831 1452329848 2611789206 2673937390 2726297965 1928930363 1694575323 1667702736 3369515054 3258893331 1716063882 1599929544 3849699496 3225942791 4273344180 2353096327 604834178 544551855 3529582139 1806589329 2522162239 1862472146 3132375336 3257282867 3211454241 4021877881 2997503330 1270802896 3137433121 4272584518 2735474691 946316974 186455648 1819801576 333974670 522338476 2213757207 4009573135 3933963201 2397409746 1423546503 1891336589 1332921988 2547922806 913851911 1242183509 2431503205 4281097263 1288768168 68997234 3590356697 1199892931 2748091979 2771761254 3765408033 2126078667 2463025768 215345926 2701360324 3290186214 1825146808 2225619087 445068207 2192639297 513901901 71186425 1933153920 3694332453 3156730204 3162783678 1947639069 2198973751 747497007 2785258516 4101552462 1309209073 4225295856 2391857648 1017430678 3049046748 1642053027 4143625003 1897604092 46831548 65022474 3318215923 2172476594 3741019191 3819529343 3590040939 686587315 3059022579 1723948418 773310484 1668622159 30247797 958657329 2947311036 1213413001 1662801116 1728361204 3456079276 4098266214 1595915624 4019529252 3984415378 1574085939 148865115 848400677 3438766501 1177617997 1165181222 3397638790 3797695420 1088329982 2859599902 1343939858 3322592375 2289558881 1778818140 1538529068 3533104976 2829144431 3362234919 2910370047 1174922156 360554746 2707752703 2424328983 1970495313 2604118140 2976857084 1429151926 4153487692 1060494395 920239204 332427809 1534755108 3633656192 2498762243 4072577242 2944979122 2082997616 251142641 705034609 714436697 286884187 1333285924 1970931936 2535678739 916908625 877128137 1091789543 1239605570 928907516 1628006867 587876115 340700465 847056753 2262310608 3848789862 2508662581 2074491535 2436767214 2288091003 1085402221 1688133046 2246506973 834673957 354319118 2934062366 2851416762 59669443 721696407 865627931 2684399550 1683249975 4175091521 2938665430 3692112241 416379888 3978170295 2944856422 1211101946 1584053636 3243285295 1257673044 2485817187 1496174765 1270949733 1871087666 3769031856 3647525906 2805922673 3861479278 1536348637 4082980758 464642386 1185029582 3393803113 2454382540 2821377736 3107358785 4170473863 2334742195 1373406060 4231494765 1832842110 344838156 2974359256 1905230885 3770917188 3026489175 3175125129 1681642293 2739760742 4041815419 2450706792 3984560029 795996541 448133666 2598938205 2138059542 2905909924 2028387606 1412878935 3853806510 15484491 2062762105 1321441528 2476809164 3164831719 3556271817 215873404 3191620278 1720504700 2745976733 1341039870 4057330190 3669741731 2839689104 1351173595 1203985457 3559627463 1892761202 338522610 2857469363 2949842708 3379313515 1258317345 2663701875 3334735200 255 362436" option to reproduce the execution
0.69/0.76	c #vars 35332
0.69/0.76	c #constraints 122962
1.98/2.09	c Solving starts ...
1.98/2.09	c ============================[ Search Statistics ]============================
1.98/2.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.98/2.09	c       |         |          |          |    Limit     GC | Var      | Constra 
1.98/2.09	c =============================================================================
1.98/2.09	c  0.0s |       0 |        0 |        0 |    35694      0 |    19337 |        0
2.29/2.34	c  0.2s |       1 |      188 |      100 |    35694      0 |    19337 |    24949
2.48/2.55	c  0.5s |       2 |      397 |      250 |    39264      0 |    19337 |    24949
2.99/3.06	c  1.0s |       3 |      995 |      475 |    43191      0 |    19337 |    24949
3.69/3.75	c  1.7s |       4 |     1514 |      813 |    47511      0 |    19337 |    24949
4.40/4.41	c  2.3s |       5 |     2265 |     1320 |    52263      0 |    19337 |    24949
5.39/5.46	c  3.4s |       6 |     3459 |     2081 |    63240      0 |    19337 |    24949
7.49/7.55	c  5.5s |       7 |     5221 |     3223 |    69564      0 |    19339 |    24957
9.59/9.69	c  7.6s |       7 |     7191 |     4723 |    69564      0 |    19339 |    24957
10.00/10.01	c  7.9s |       8 |     7459 |     4936 |    76521      0 |    19339 |    24957
12.10/12.16	c 10.1s |       8 |     9445 |     6336 |    76521      0 |    19339 |    24957
13.89/13.91	c 11.8s |       9 |    10972 |     7506 |    84174      0 |    19339 |    24957
15.99/16.05	c 14.0s |       9 |    12279 |     8606 |    84174      0 |    19339 |    24957
18.09/18.12	c 16.0s |       9 |    13735 |     9806 |    84174      0 |    19339 |    24957
20.09/20.19	c 18.1s |       9 |    14901 |    10806 |    84174      0 |    19339 |    24957
21.29/21.32	c 19.2s |      10 |    15559 |    11361 |    92592      0 |    19339 |    24957
23.39/23.47	c 21.4s |      10 |    17434 |    12661 |    92592      0 |    19339 |    24957
25.59/25.62	c 23.5s |      10 |    19146 |    13961 |    92592      0 |    19339 |    24957
27.78/27.81	c 25.7s |      10 |    20620 |    15161 |    92592      0 |    19339 |    24957
29.98/30.04	c 27.9s |      10 |    22214 |    16361 |    92592      0 |    19339 |    24957
31.48/31.56	c 29.5s |      11 |    23200 |    17144 |   101852      0 |    19339 |    24957
33.48/33.59	c 31.5s |      11 |    24430 |    18044 |   101852      0 |    19339 |    24957
35.58/35.64	c 33.6s |      11 |    25522 |    18944 |   101852      0 |    19339 |    24957
37.68/37.75	c 35.7s |      11 |    27144 |    20144 |   101852      0 |    19339 |    24957
39.78/39.85	c 37.8s |      11 |    28648 |    21344 |   101852      0 |    19339 |    24957
41.89/41.97	c 39.9s |      11 |    30270 |    22544 |   101852      0 |    19339 |    24957
44.09/44.10	c 42.0s |      11 |    32004 |    23744 |   101852      0 |    19339 |    24957
46.08/46.11	c 44.0s |      11 |    33476 |    24844 |   101852      0 |    19339 |    24957
47.78/47.80	c 45.7s |      12 |    34743 |    25819 |   112038      0 |    19339 |    24957
49.98/50.03	c 47.9s |      12 |    36073 |    26819 |   112038      0 |    19339 |    24957
51.98/52.06	c 50.0s |      12 |    37531 |    27919 |   112038      0 |    19339 |    24957
54.08/54.12	c 52.0s |      12 |    39173 |    29219 |   112038      0 |    19339 |    24957
56.09/56.17	c 54.1s |      12 |    40825 |    30519 |   112038      0 |    19339 |    24957
58.18/58.20	c 56.1s |      12 |    42646 |    31919 |   112038      0 |    19339 |    24957
60.28/60.36	c 58.3s |      12 |    44564 |    33419 |   112038      0 |    19339 |    24957
62.38/62.42	c 60.3s |      12 |    46124 |    34619 |   112038      0 |    19339 |    24957
64.38/64.44	c 62.4s |      12 |    47550 |    35719 |   112038      0 |    19339 |    24957
66.48/66.55	c 64.5s |      12 |    48945 |    36819 |   112038      0 |    19339 |    24957
68.48/68.55	c 66.5s |      12 |    50241 |    37819 |   112038      0 |    19339 |    24957
70.39/70.42	c 68.3s |      13 |    51495 |    38832 |   123242      0 |    19339 |    24957
72.38/72.48	c 70.4s |      13 |    53188 |    39932 |   123242      0 |    19339 |    24957
74.48/74.56	c 72.5s |      13 |    54534 |    40932 |   123242      0 |    19339 |    24957
76.68/76.72	c 74.6s |      13 |    55893 |    41932 |   123242      0 |    19339 |    24957
78.78/78.85	c 76.8s |      13 |    57035 |    42832 |   123242      0 |    19339 |    24957
80.98/81.03	c 78.9s |      13 |    58319 |    43832 |   123242      0 |    19339 |    24957
83.18/83.24	c 81.2s |      13 |    59619 |    44832 |   123242      0 |    19339 |    24957
85.38/85.45	c 83.4s |      13 |    60763 |    45732 |   123242      0 |    19339 |    24957
87.48/87.51	c 85.4s |      13 |    61943 |    46632 |   123242      0 |    19339 |    24957
89.48/89.56	c 87.5s |      13 |    63132 |    47532 |   123242      0 |    19339 |    24957
91.68/91.70	c 89.6s |      13 |    64454 |    48532 |   123242      0 |    19339 |    24957
93.77/93.89	c 91.8s |      13 |    65620 |    49432 |   123242      0 |    19339 |    24957
95.97/96.03	c 93.9s |      13 |    66623 |    50232 |   123242      0 |    19339 |    24957
98.07/98.16	c 96.1s |      13 |    67771 |    51132 |   123242      0 |    19339 |    24957
100.18/100.27	c 98.2s |      13 |    68894 |    52032 |   123242      0 |    19339 |    24957
102.28/102.35	c  100s |      13 |    69880 |    52832 |   123242      0 |    19339 |    24957
104.37/104.48	c  102s |      13 |    71033 |    53732 |   123242      0 |    19339 |    24957
106.47/106.59	c  104s |      13 |    71996 |    54532 |   123242      0 |    19339 |    24957
108.77/108.80	c  106s |      13 |    73036 |    55332 |   123242      0 |    19339 |    24957
110.77/110.83	c  108s |      13 |    73896 |    56032 |   123242      0 |    19339 |    24957
112.97/113.05	c  110s |      13 |    74734 |    56732 |   123242      0 |    19339 |    24957
115.17/115.20	c  113s |      13 |    75552 |    57432 |   123242      0 |    19339 |    24957
117.27/117.39	c  115s |      13 |    76440 |    58132 |   135567      0 |    19339 |    24957
118.07/118.13	c  116s |      14 |    76722 |    58352 |   135567      0 |    19339 |    24957
120.17/120.21	c  118s |      14 |    77495 |    58952 |   135567      0 |    19339 |    24957
122.37/122.42	c  120s |      14 |    78545 |    59752 |   135567      0 |    19339 |    24957
124.67/124.71	c  122s |      14 |    79550 |    60552 |   135567      0 |    19339 |    24957
126.77/126.89	c  124s |      14 |    80987 |    61652 |   135567      0 |    19339 |    24957
128.87/128.91	c  126s |      14 |    82230 |    62652 |   135567      0 |    19339 |    24957
130.88/130.91	c  128s |      14 |    83208 |    63452 |   135567      0 |    19339 |    24957
132.97/133.06	c  130s |      14 |    84194 |    64252 |   135567      0 |    19339 |    24957
134.97/135.09	c  133s |      14 |    85054 |    64952 |   135567      0 |    19339 |    24957
136.97/137.10	c  135s |      14 |    85893 |    65652 |   135567      0 |    19339 |    24957
139.27/139.36	c  137s |      14 |    87064 |    66552 |   135567      0 |    19339 |    24957
141.57/141.69	c  139s |      14 |    87970 |    67252 |   135567      0 |    19339 |    24957
143.87/143.93	c  141s |      14 |    88797 |    67952 |   135567      0 |    19339 |    24957
145.97/146.05	c  143s |      14 |    89521 |    68552 |   135567      0 |    19339 |    24957
148.07/148.14	c  146s |      14 |    90381 |    69252 |   135567      0 |    19339 |    24957
150.27/150.37	c  148s |      14 |    91375 |    70052 |   135567      0 |    19339 |    24957
152.46/152.54	c  150s |      14 |    92342 |    70852 |   135567      0 |    19339 |    24957
154.46/154.57	c  152s |      14 |    93304 |    71652 |   135567      0 |    19339 |    24957
156.66/156.73	c  154s |      14 |    94138 |    72352 |   135567      0 |    19339 |    24957
158.96/159.00	c  156s |      14 |    95002 |    73052 |   135567      0 |    19339 |    24957
161.06/161.13	c  159s |      14 |    95856 |    73752 |   135567      0 |    19339 |    24957
163.36/163.42	c  161s |      14 |    96662 |    74452 |   135567      0 |    19339 |    24957
165.56/165.64	c  163s |      14 |    97414 |    75052 |   135567      0 |    19339 |    24957
167.76/167.85	c  165s |      14 |    98184 |    75652 |   135567      0 |    19339 |    24957
169.86/169.97	c  167s |      14 |    98884 |    76252 |   135567      0 |    19339 |    24957
172.16/172.22	c  170s |      14 |    99635 |    76852 |   135567      0 |    19339 |    24957
174.26/174.31	c  172s |      14 |   100213 |    77352 |   135567      0 |    19339 |    24957
176.46/176.54	c  174s |      14 |   100938 |    77952 |   135567      0 |    19339 |    24957
178.76/178.86	c  176s |      14 |   101762 |    78652 |   135567      0 |    19339 |    24957
180.76/180.87	c  178s |      14 |   102460 |    79252 |   135567      0 |    19339 |    24957
182.96/183.09	c  180s |      14 |   103170 |    79852 |   135567      0 |    19339 |    24957
185.06/185.10	c  183s |      14 |   103904 |    80452 |   135567      0 |    19339 |    24957
187.16/187.24	c  185s |      14 |   104748 |    81052 |   135567      0 |    19339 |    24957
189.46/189.51	c  187s |      14 |   105514 |    81652 |   135567      0 |    19339 |    24957
191.56/191.65	c  189s |      14 |   106289 |    82252 |   135567      0 |    19339 |    24957
193.76/193.82	c  191s |      14 |   107077 |    82852 |   135567      0 |    19339 |    24957
195.77/195.89	c  193s |      14 |   107677 |    83352 |   135567      0 |    19339 |    24957
197.96/198.06	c  195s |      14 |   108355 |    83852 |   135567      0 |    19339 |    24957
200.26/200.31	c  198s |      14 |   109086 |    84452 |   135567      0 |    19339 |    24957
202.26/202.34	c  200s |      14 |   109819 |    85052 |   135567      0 |    19339 |    24957
204.46/204.52	c  202s |      14 |   110564 |    85652 |   135567      0 |    19339 |    24957
206.46/206.55	c  204s |      14 |   111412 |    86352 |   135567      0 |    19339 |    24957
208.46/208.59	c  206s |      14 |   112279 |    87052 |   149124      0 |    19339 |    24957
210.36/210.46	c  208s |      15 |   112993 |    87632 |   149124      0 |    19339 |    24957
212.66/212.77	c  210s |      15 |   113638 |    88132 |   149124      0 |    19339 |    24957
214.76/214.81	c  212s |      15 |   114338 |    88732 |   149124      0 |    19339 |    24957
216.76/216.83	c  214s |      15 |   115065 |    89332 |   149124      0 |    19339 |    24957
218.86/218.91	c  216s |      15 |   116178 |    90132 |   149124      0 |    19339 |    24957
220.85/220.97	c  218s |      15 |   117308 |    91032 |   149124      0 |    19339 |    24957
223.15/223.23	c  221s |      15 |   118443 |    91932 |   149124      0 |    19339 |    24957
225.15/225.23	c  223s |      15 |   119426 |    92732 |   149124      0 |    19339 |    24957
227.35/227.41	c  225s |      15 |   120558 |    93632 |   149124      0 |    19339 |    24957
229.45/229.59	c  227s |      15 |   121575 |    94432 |   149124      0 |    19339 |    24957
231.65/231.79	c  229s |      15 |   122636 |    95232 |   149124      0 |    19339 |    24957
233.75/233.83	c  231s |      15 |   123645 |    96032 |   149124      0 |    19339 |    24957
235.75/235.85	c  233s |      15 |   124678 |    96832 |   149124      0 |    19339 |    24957
237.75/237.86	c  235s |      15 |   125617 |    97532 |   149124      0 |    19339 |    24957
239.76/239.86	c  237s |      15 |   126602 |    98332 |   149124      0 |    19339 |    24957
241.85/241.97	c  239s |      15 |   127493 |    99032 |   149124      0 |    19339 |    24957
244.05/244.10	c  242s |      15 |   128511 |    99832 |   149124      0 |    19339 |    24957
246.15/246.24	c  244s |      15 |   129484 |   100532 |   149124      0 |    19339 |    24957
248.35/248.47	c  246s |      15 |   130477 |   101332 |   149124      0 |    19339 |    24957
250.45/250.56	c  248s |      15 |   131603 |   102232 |   149124      0 |    19339 |    24957
252.75/252.82	c  250s |      15 |   132673 |   103032 |   149124      0 |    19339 |    24957
254.95/255.00	c  252s |      15 |   133858 |   103932 |   149124      0 |    19339 |    24957
256.95/257.05	c  254s |      15 |   135090 |   104832 |   149124      0 |    19339 |    24957
259.05/259.12	c  257s |      15 |   136312 |   105732 |   149124      0 |    19339 |    24957
261.05/261.16	c  259s |      15 |   137497 |   106632 |   149124      0 |    19339 |    24957
263.15/263.30	c  261s |      15 |   138605 |   107532 |   149124      0 |    19339 |    24957
265.25/265.33	c  263s |      15 |   139626 |   108332 |   149124      0 |    19339 |    24957
267.45/267.56	c  265s |      15 |   140904 |   109332 |   149124      0 |    19339 |    24957
269.45/269.57	c  267s |      15 |   141985 |   110132 |   149124      0 |    19339 |    24957
271.55/271.62	c  269s |      15 |   142906 |   110832 |   149124      0 |    19339 |    24957
273.75/273.83	c  271s |      15 |   143769 |   111532 |   149124      0 |    19339 |    24957
276.05/276.15	c  274s |      15 |   144615 |   112232 |   149124      0 |    19339 |    24957
278.15/278.29	c  276s |      15 |   145512 |   112932 |   149124      0 |    19339 |    24957
280.25/280.37	c  278s |      15 |   146416 |   113632 |   149124      0 |    19339 |    24957
282.54/282.64	c  280s |      15 |   147261 |   114332 |   149124      0 |    19339 |    24957
284.74/284.86	c  282s |      15 |   148109 |   115032 |   149124      0 |    19339 |    24957
286.94/287.04	c  284s |      15 |   149027 |   115732 |   149124      0 |    19339 |    24957
289.14/289.28	c  287s |      15 |   149962 |   116432 |   149124      0 |    19339 |    24957
291.24/291.38	c  289s |      15 |   150731 |   117032 |   149124      0 |    19339 |    24957
293.44/293.50	c  291s |      15 |   151646 |   117732 |   149124      0 |    19339 |    24957
295.44/295.58	c  293s |      15 |   152479 |   118332 |   149124      0 |    19339 |    24957
297.74/297.81	c  295s |      15 |   153218 |   118932 |   149124      0 |    19339 |    24957
299.74/299.86	c  297s |      15 |   153854 |   119432 |   149124      0 |    19339 |    24957
301.84/301.92	c  299s |      15 |   154693 |   120032 |   149124      0 |    19339 |    24957
304.03/304.15	c  302s |      15 |   155618 |   120732 |   149124      0 |    19339 |    24957
306.33/306.46	c  304s |      15 |   156554 |   121432 |   149124      0 |    19339 |    24957
308.53/308.69	c  306s |      15 |   157458 |   122132 |   149124      0 |    19339 |    24957
310.63/310.70	c  308s |      15 |   158178 |   122732 |   149124      0 |    19339 |    24957
312.93/313.05	c  310s |      15 |   159118 |   123432 |   149124      0 |    19339 |    24957
315.13/315.27	c  313s |      15 |   159860 |   124032 |   149124      0 |    19339 |    24957
317.33/317.45	c  315s |      15 |   160741 |   124732 |   149124      0 |    19339 |    24957
319.43/319.57	c  317s |      15 |   161764 |   125532 |   149124      0 |    19339 |    24957
321.63/321.77	c  319s |      15 |   162764 |   126332 |   149124      0 |    19339 |    24957
323.72/323.88	c  321s |      15 |   163676 |   127032 |   149124      0 |    19339 |    24957
325.92/326.08	c  323s |      15 |   164417 |   127632 |   149124      0 |    19339 |    24957
328.22/328.30	c  326s |      15 |   165287 |   128332 |   149124      0 |    19339 |    24957
330.52/330.62	c  328s |      15 |   166179 |   129032 |   149124      0 |    19339 |    24957
332.72/332.80	c  330s |      15 |   166898 |   129632 |   149124      0 |    19339 |    24957
334.82/334.97	c  332s |      15 |   167655 |   130232 |   149124      0 |    19339 |    24957
336.92/337.09	c  335s |      15 |   168432 |   130832 |   164037      0 |    19339 |    24957
339.12/339.21	c  337s |      15 |   169351 |   131532 |   164037      0 |    19339 |    24957
339.22/339.31	c  337s |      16 |   169373 |   131552 |   164037      0 |    19339 |    24957
341.42/341.53	c  339s |      16 |   170044 |   132052 |   164037      0 |    19339 |    24957
343.51/343.65	c  341s |      16 |   170868 |   132752 |   164037      0 |    19339 |    24957
345.51/345.68	c  343s |      16 |   171595 |   133352 |   164037      0 |    19339 |    24957
347.62/347.74	c  345s |      16 |   172312 |   133952 |   164037      0 |    19339 |    24957
349.91/350.01	c  347s |      16 |   173213 |   134652 |   164037      0 |    19339 |    24957
351.92/352.07	c  349s |      16 |   174263 |   135352 |   164037      0 |    19339 |    24957
354.01/354.16	c  352s |      16 |   175163 |   136052 |   164037      0 |    19339 |    24957
356.21/356.36	c  354s |      16 |   176036 |   136752 |   164037      0 |    19339 |    24957
358.41/358.51	c  356s |      16 |   176864 |   137452 |   164037      0 |    19339 |    24957
360.61/360.70	c  358s |      16 |   177854 |   138252 |   164037      0 |    19339 |    24957
362.80/362.95	c  360s |      16 |   178711 |   138952 |   164037      0 |    19339 |    24957
365.00/365.14	c  363s |      16 |   179599 |   139652 |   164037      0 |    19339 |    24957
367.31/367.48	c  365s |      16 |   180438 |   140352 |   164037      0 |    19339 |    24957
369.51/369.70	c  367s |      16 |   181280 |   141052 |   164037      0 |    19339 |    24957
371.81/371.92	c  369s |      16 |   181972 |   141652 |   164037      0 |    19339 |    24957
374.10/374.22	c  372s |      16 |   182796 |   142352 |   164037      0 |    19339 |    24957
376.40/376.57	c  374s |      16 |   183549 |   142952 |   164037      0 |    19339 |    24957
378.60/378.74	c  376s |      16 |   184299 |   143552 |   164037      0 |    19339 |    24957
380.90/381.02	c  378s |      16 |   185019 |   144152 |   164037      0 |    19339 |    24957
383.00/383.11	c  381s |      16 |   185591 |   144652 |   164037      0 |    19339 |    24957
385.20/385.30	c  383s |      16 |   186324 |   145252 |   164037      0 |    19339 |    24957
387.30/387.46	c  385s |      16 |   187044 |   145852 |   164037      0 |    19339 |    24957
389.70/389.87	c  387s |      16 |   187874 |   146552 |   164037      0 |    19339 |    24957
391.80/391.97	c  389s |      16 |   188464 |   147052 |   164037      0 |    19339 |    24957
394.20/394.30	c  392s |      16 |   189223 |   147652 |   164037      0 |    19339 |    24957
396.50/396.61	c  394s |      16 |   189959 |   148252 |   164037      0 |    19339 |    24957
398.80/398.96	c  396s |      16 |   190553 |   148752 |   164037      0 |    19339 |    24957
401.20/401.36	c  399s |      16 |   191160 |   149252 |   164037      0 |    19339 |    24957
403.19/403.39	c  401s |      16 |   191776 |   149752 |   164037      0 |    19339 |    24957
405.29/405.43	c  403s |      16 |   192404 |   150252 |   164037      0 |    19339 |    24957
407.39/407.50	c  405s |      16 |   193040 |   150752 |   164037      0 |    19339 |    24957
409.69/409.83	c  407s |      16 |   193825 |   151352 |   164037      0 |    19339 |    24957
412.09/412.27	c  410s |      16 |   194576 |   151952 |   164037      0 |    19339 |    24957
414.29/414.49	c  412s |      16 |   195174 |   152452 |   164037      0 |    19339 |    24957
416.68/416.83	c  414s |      16 |   195842 |   152952 |   164037      0 |    19339 |    24957
418.68/418.87	c  416s |      16 |   196359 |   153352 |   164037      0 |    19339 |    24957
420.78/420.92	c  418s |      16 |   196947 |   153852 |   164037      0 |    19339 |    24957
423.18/423.39	c  421s |      16 |   197557 |   154352 |   164037      0 |    19339 |    24957
425.59/425.72	c  423s |      16 |   198151 |   154852 |   164037      0 |    19339 |    24957
427.89/428.01	c  425s |      16 |   198708 |   155352 |   164037      0 |    19339 |    24957
430.28/430.46	c  428s |      16 |   199293 |   155852 |   164037      0 |    19339 |    24957
432.57/432.77	c  430s |      16 |   199906 |   156352 |   164037      0 |    19339 |    24957
435.07/435.20	c  433s |      16 |   200635 |   156952 |   164037      0 |    19339 |    24957
437.47/437.63	c  435s |      16 |   201269 |   157452 |   164037      0 |    19339 |    24957
439.57/439.73	c  437s |      16 |   201727 |   157852 |   164037      0 |    19339 |    24957
441.77/441.96	c  439s |      16 |   202314 |   158352 |   164037      0 |    19339 |    24957
444.08/444.20	c  442s |      16 |   202919 |   158852 |   164037      0 |    19339 |    24957
446.18/446.39	c  444s |      16 |   203516 |   159352 |   164037      0 |    19339 |    24957
448.58/448.79	c  446s |      16 |   204128 |   159852 |   164037      0 |    19339 |    24957
451.08/451.25	c  449s |      16 |   204735 |   160352 |   164037      0 |    19339 |    24957
453.27/453.45	c  451s |      16 |   205281 |   160752 |   164037      0 |    19339 |    24957
455.38/455.51	c  453s |      16 |   205767 |   161152 |   164037      0 |    19339 |    24957
457.97/458.11	c  456s |      16 |   206389 |   161652 |   164037      0 |    19339 |    24957
460.37/460.51	c  458s |      16 |   207009 |   162152 |   164037      0 |    19339 |    24957
462.37/462.56	c  460s |      16 |   207500 |   162552 |   164037      0 |    19339 |    24957
464.77/464.91	c  462s |      16 |   208070 |   163052 |   164037      0 |    19339 |    24957
467.17/467.39	c  465s |      16 |   208685 |   163552 |   164037      0 |    19339 |    24957
469.77/469.90	c  467s |      16 |   209272 |   164052 |   164037      0 |    19339 |    24957
472.17/472.38	c  470s |      16 |   209897 |   164552 |   164037      0 |    19339 |    24957
474.56/474.71	c  472s |      16 |   210536 |   165052 |   164037      0 |    19339 |    24957
476.66/476.83	c  474s |      16 |   211038 |   165452 |   164037      0 |    19339 |    24957
479.16/479.38	c  477s |      16 |   211626 |   165952 |   164037      0 |    19339 |    24957
481.36/481.52	c  479s |      16 |   212089 |   166352 |   164037      0 |    19339 |    24957
483.66/483.88	c  481s |      16 |   212714 |   166852 |   164037      0 |    19339 |    24957
485.76/485.91	c  483s |      16 |   213199 |   167252 |   164037      0 |    19339 |    24957
488.27/488.42	c  486s |      16 |   213778 |   167752 |   164037      0 |    19339 |    24957
490.36/490.57	c  488s |      16 |   214264 |   168152 |   164037      0 |    19339 |    24957
492.66/492.85	c  490s |      16 |   214869 |   168652 |   164037      0 |    19339 |    24957
495.06/495.22	c  493s |      16 |   215485 |   169152 |   164037      0 |    19339 |    24957
497.36/497.52	c  495s |      16 |   216151 |   169652 |   164037      0 |    19339 |    24957
499.46/499.62	c  497s |      16 |   216673 |   170052 |   164037      0 |    19339 |    24957
501.56/501.77	c  499s |      16 |   217158 |   170452 |   164037      0 |    19339 |    24957
503.95/504.13	c  502s |      16 |   217619 |   170852 |   164037      0 |    19339 |    24957
506.25/506.43	c  504s |      16 |   218060 |   171252 |   164037      0 |    19339 |    24957
508.45/508.63	c  506s |      16 |   218555 |   171652 |   164037      0 |    19339 |    24957
510.45/510.68	c  508s |      16 |   219007 |   172052 |   164037      0 |    19339 |    24957
512.65/512.90	c  510s |      16 |   219599 |   172552 |   164037      0 |    19339 |    24957
515.15/515.38	c  513s |      16 |   220209 |   173052 |   164037      0 |    19339 |    24957
517.65/517.82	c  515s |      16 |   220821 |   173552 |   164037      0 |    19339 |    24957
519.95/520.11	c  518s |      16 |   221434 |   174052 |   164037      0 |    19339 |    24957
522.14/522.33	c  520s |      16 |   221923 |   174452 |   164037      0 |    19339 |    24957
524.34/524.58	c  522s |      16 |   222406 |   174852 |   164037      0 |    19339 |    24957
526.94/527.12	c  525s |      16 |   222897 |   175252 |   164037      0 |    19339 |    24957
529.14/529.35	c  527s |      16 |   223358 |   175652 |   164037      0 |    19339 |    24957
531.14/531.39	c  529s |      16 |   223852 |   176052 |   164037      0 |    19339 |    24957
533.23/533.44	c  531s |      16 |   224334 |   176452 |   164037      0 |    19339 |    24957
535.23/535.48	c  533s |      16 |   224809 |   176852 |   164037      0 |    19339 |    24957
537.53/537.75	c  535s |      16 |   225269 |   177252 |   164037      0 |    19339 |    24957
539.63/539.83	c  537s |      16 |   225756 |   177652 |   164037      0 |    19339 |    24957
541.93/542.19	c  540s |      16 |   226337 |   178152 |   164037      0 |    19339 |    24957
544.03/544.25	c  542s |      16 |   226845 |   178552 |   164037      0 |    19339 |    24957
546.53/546.76	c  544s |      16 |   227419 |   179052 |   164037      0 |    19339 |    24957
548.63/548.87	c  546s |      16 |   227874 |   179452 |   164037      0 |    19339 |    24957
550.93/551.20	c  549s |      16 |   228349 |   179852 |   164037      0 |    19339 |    24957
553.13/553.32	c  551s |      16 |   228860 |   180252 |   164037      0 |    19339 |    24957
555.22/555.40	c  553s |      16 |   229365 |   180652 |   164037      0 |    19339 |    24957
557.53/557.72	c  555s |      16 |   230018 |   181152 |   164037      0 |    19339 |    24957
559.83/560.02	c  557s |      16 |   230513 |   181552 |   164037      0 |    19339 |    24957
562.03/562.26	c  560s |      16 |   230988 |   181952 |   164037      0 |    19339 |    24957
564.52/564.71	c  562s |      16 |   231479 |   182352 |   164037      0 |    19339 |    24957
566.62/566.84	c  564s |      16 |   231962 |   182752 |   164037      0 |    19339 |    24957
568.82/569.06	c  566s |      16 |   232433 |   183152 |   164037      0 |    19339 |    24957
571.02/571.28	c  569s |      16 |   232916 |   183552 |   164037      0 |    19339 |    24957
573.21/573.49	c  571s |      16 |   233412 |   183952 |   164037      0 |    19339 |    24957
575.81/576.00	c  573s |      16 |   233894 |   184352 |   164037      0 |    19339 |    24957
577.91/578.19	c  576s |      16 |   234396 |   184752 |   164037      0 |    19339 |    24957
580.01/580.27	c  578s |      16 |   234937 |   185152 |   164037      0 |    19339 |    24957
582.41/582.68	c  580s |      16 |   235579 |   185652 |   164037      0 |    19339 |    24957
584.81/585.07	c  582s |      16 |   236224 |   186152 |   164037      0 |    19339 |    24957
587.41/587.61	c  585s |      16 |   236863 |   186652 |   164037      0 |    19339 |    24957
589.51/589.79	c  587s |      16 |   237397 |   187052 |   164037      0 |    19339 |    24957
591.71/591.95	c  589s |      16 |   237885 |   187452 |   164037      0 |    19339 |    24957
594.10/594.30	c  592s |      16 |   238513 |   187952 |   164037      0 |    19339 |    24957
596.20/596.42	c  594s |      16 |   239096 |   188452 |   164037      0 |    19339 |    24957
598.21/598.42	c  596s |      16 |   239613 |   188852 |   164037      0 |    19339 |    24957
600.20/600.47	c  598s |      16 |   240091 |   189252 |   164037      0 |    19339 |    24957
602.40/602.69	c  600s |      16 |   240587 |   189652 |   164037      0 |    19339 |    24957
604.50/604.72	c  602s |      16 |   240973 |   189952 |   164037      0 |    19339 |    24957
606.90/607.11	c  605s |      16 |   241515 |   190352 |   164037      0 |    19339 |    24957
609.40/609.65	c  607s |      16 |   242015 |   190752 |   164037      0 |    19339 |    24957
611.60/611.89	c  609s |      16 |   242517 |   191152 |   164037      0 |    19339 |    24957
614.09/614.31	c  612s |      16 |   243161 |   191652 |   164037      0 |    19339 |    24957
616.49/616.70	c  614s |      16 |   243746 |   192152 |   164037      0 |    19339 |    24957
618.59/618.84	c  616s |      16 |   244224 |   192552 |   164037      0 |    19339 |    24957
621.09/621.34	c  619s |      16 |   244758 |   192952 |   164037      0 |    19339 |    24957
623.49/623.70	c  621s |      16 |   245280 |   193352 |   164037      0 |    19339 |    24957
625.69/625.92	c  623s |      16 |   245800 |   193752 |   164037      0 |    19339 |    24957
627.99/628.21	c  626s |      16 |   246326 |   194152 |   164037      0 |    19339 |    24957
630.59/630.84	c  628s |      16 |   246809 |   194552 |   164037      0 |    19339 |    24957
633.08/633.35	c  631s |      16 |   247280 |   194952 |   164037      0 |    19339 |    24957
635.69/635.95	c  633s |      16 |   247772 |   195352 |   164037      0 |    19339 |    24957
637.68/637.99	c  635s |      16 |   248107 |   195652 |   164037      0 |    19339 |    24957
640.28/640.51	c  638s |      16 |   248566 |   196052 |   164037      0 |    19339 |    24957
642.58/642.84	c  640s |      16 |   249060 |   196452 |   180441      0 |    19339 |    24957
644.88/645.16	c  643s |      16 |   249566 |   196852 |   180441      0 |    19339 |    24957
647.28/647.50	c  645s |      16 |   250094 |   197252 |   180441      0 |    19339 |    24957
648.38/648.66	c  646s |      17 |   250317 |   197432 |   180441      0 |    19339 |    24957
650.68/650.90	c  648s |      17 |   250604 |   197632 |   180441      0 |    19339 |    24957
652.67/652.93	c  650s |      17 |   251077 |   198032 |   180441      0 |    19339 |    24957
654.77/655.09	c  652s |      17 |   251716 |   198532 |   180441      0 |    19339 |    24957
656.97/657.29	c  655s |      17 |   252322 |   199032 |   180441      0 |    19339 |    24957
659.17/659.44	c  657s |      17 |   252938 |   199532 |   180441      0 |    19339 |    24957
661.37/661.67	c  659s |      17 |   253551 |   200032 |   180441      0 |    19339 |    24957
663.77/664.05	c  661s |      17 |   254141 |   200532 |   180441      0 |    19339 |    24957
666.17/666.43	c  664s |      17 |   254733 |   201032 |   180441      0 |    19339 |    24957
668.17/668.45	c  666s |      17 |   255319 |   201532 |   180441      0 |    19339 |    24957
670.57/670.84	c  668s |      17 |   255912 |   202032 |   180441      0 |    19339 |    24957
672.57/672.85	c  670s |      17 |   256556 |   202532 |   180441      0 |    19339 |    24957
674.77/675.05	c  672s |      17 |   257175 |   203032 |   180441      0 |    19339 |    24957
676.77/677.06	c  674s |      17 |   257805 |   203532 |   180441      0 |    19339 |    24957
678.97/679.20	c  677s |      17 |   258414 |   204032 |   180441      0 |    19339 |    24957
680.97/681.27	c  679s |      17 |   259119 |   204632 |   180441      0 |    19339 |    24957
683.06/683.36	c  681s |      17 |   259731 |   205132 |   180441      0 |    19339 |    24957
685.36/685.62	c  683s |      17 |   260345 |   205632 |   180441      0 |    19339 |    24957
687.37/687.65	c  685s |      17 |   260994 |   206132 |   180441      0 |    19339 |    24957
689.36/689.67	c  687s |      17 |   261233 |   206332 |   180441      1 |    19339 |    24957
691.56/691.86	c  689s |      17 |   262064 |   207032 |   180441      1 |    19339 |    24957
693.65/693.91	c  691s |      17 |   262909 |   207732 |   180441      1 |    19339 |    24957
695.75/696.09	c  693s |      17 |   263489 |   208232 |   180441      1 |    19339 |    24957
697.95/698.27	c  696s |      17 |   264339 |   208932 |   180441      1 |    19339 |    24957
700.05/700.38	c  698s |      17 |   265068 |   209532 |   180441      1 |    19339 |    24957
702.15/702.43	c  700s |      17 |   265876 |   210232 |   180441      1 |    19339 |    24957
704.24/704.55	c  702s |      17 |   266604 |   210832 |   180441      1 |    19339 |    24957
706.54/706.82	c  704s |      17 |   267311 |   211432 |   180441      1 |    19339 |    24957
708.84/709.10	c  707s |      17 |   268020 |   212032 |   180441      1 |    19339 |    24957
711.04/711.33	c  709s |      17 |   268714 |   212632 |   180441      1 |    19339 |    24957
713.34/713.62	c  711s |      17 |   269404 |   213232 |   180441      1 |    19339 |    24957
715.54/715.84	c  713s |      17 |   270081 |   213832 |   180441      1 |    19339 |    24957
717.74/718.08	c  715s |      17 |   270765 |   214432 |   180441      1 |    19339 |    24957
720.14/720.48	c  718s |      17 |   271446 |   215032 |   180441      1 |    19339 |    24957
722.24/722.55	c  720s |      17 |   272051 |   215532 |   180441      1 |    19339 |    24957
724.44/724.72	c  722s |      17 |   272614 |   216032 |   180441      1 |    19339 |    24957
726.74/727.01	c  724s |      17 |   273373 |   216632 |   180441      1 |    19339 |    24957
728.74/729.04	c  726s |      17 |   273962 |   217132 |   180441      1 |    19339 |    24957
730.74/731.08	c  728s |      17 |   274534 |   217632 |   180441      1 |    19339 |    24957
732.83/733.16	c  731s |      17 |   275279 |   218232 |   180441      1 |    19339 |    24957
735.13/735.47	c  733s |      17 |   275979 |   218832 |   180441      1 |    19339 |    24957
737.53/737.87	c  735s |      17 |   276667 |   219432 |   180441      1 |    19339 |    24957
739.83/740.16	c  738s |      17 |   277251 |   219932 |   180441      1 |    19339 |    24957
742.03/742.32	c  740s |      17 |   277841 |   220432 |   180441      1 |    19339 |    24957
744.03/744.36	c  742s |      17 |   278399 |   220932 |   180441      1 |    19339 |    24957
746.13/746.46	c  744s |      17 |   278950 |   221432 |   180441      1 |    19339 |    24957
748.23/748.54	c  746s |      17 |   279536 |   221932 |   180441      1 |    19339 |    24957
750.62/750.92	c  748s |      17 |   280210 |   222532 |   180441      1 |    19339 |    24957
752.63/752.92	c  750s |      17 |   280778 |   223032 |   180441      1 |    19339 |    24957
754.83/755.12	c  753s |      17 |   281342 |   223532 |   180441      1 |    19339 |    24957
757.33/757.64	c  755s |      17 |   281913 |   224032 |   180441      1 |    19339 |    24957
759.43/759.74	c  757s |      17 |   282391 |   224432 |   180441      1 |    19339 |    24957
761.93/762.27	c  760s |      17 |   283024 |   224932 |   180441      1 |    19339 |    24957
764.13/764.40	c  762s |      17 |   283506 |   225332 |   180441      1 |    19339 |    24957
766.43/766.75	c  764s |      17 |   284072 |   225832 |   180441      1 |    19339 |    24957
768.52/768.89	c  766s |      17 |   284675 |   226332 |   180441      1 |    19339 |    24957
771.02/771.32	c  769s |      17 |   285256 |   226832 |   180441      1 |    19339 |    24957
773.32/773.69	c  771s |      17 |   285949 |   227432 |   180441      1 |    19339 |    24957
775.62/775.94	c  773s |      17 |   286517 |   227932 |   180441      1 |    19339 |    24957
777.82/778.19	c  776s |      17 |   287086 |   228432 |   180441      1 |    19339 |    24957
780.22/780.52	c  778s |      17 |   287672 |   228932 |   180441      1 |    19339 |    24957
782.32/782.68	c  780s |      17 |   288246 |   229432 |   180441      1 |    19339 |    24957
784.41/784.71	c  782s |      17 |   288830 |   229932 |   180441      1 |    19339 |    24957
786.41/786.73	c  784s |      17 |   289434 |   230432 |   180441      1 |    19339 |    24957
788.61/788.96	c  786s |      17 |   290021 |   230932 |   180441      1 |    19339 |    24957
790.81/791.13	c  789s |      17 |   290625 |   231432 |   180441      1 |    19339 |    24957
792.92/793.25	c  791s |      17 |   291092 |   231832 |   180441      1 |    19339 |    24957
795.12/795.45	c  793s |      17 |   291703 |   232332 |   180441      1 |    19339 |    24957
797.41/797.74	c  795s |      17 |   292356 |   232832 |   180441      1 |    19339 |    24957
799.61/799.98	c  797s |      17 |   292952 |   233332 |   180441      1 |    19339 |    24957
802.21/802.54	c  800s |      17 |   293521 |   233832 |   180441      1 |    19339 |    24957
804.21/804.54	c  802s |      17 |   293988 |   234232 |   180441      1 |    19339 |    24957
806.41/806.72	c  804s |      17 |   294440 |   234632 |   180441      1 |    19339 |    24957
808.61/808.90	c  806s |      17 |   294933 |   235032 |   180441      1 |    19339 |    24957
810.61/810.91	c  808s |      17 |   295414 |   235432 |   180441      1 |    19339 |    24957
812.61/812.95	c  810s |      17 |   295891 |   235832 |   180441      1 |    19339 |    24957
815.00/815.39	c  813s |      17 |   296518 |   236332 |   180441      1 |    19339 |    24957
817.20/817.55	c  815s |      17 |   297008 |   236732 |   180441      1 |    19339 |    24957
819.70/820.03	c  817s |      17 |   297468 |   237132 |   180441      1 |    19339 |    24957
821.80/822.12	c  820s |      17 |   297945 |   237532 |   180441      1 |    19339 |    24957
824.00/824.39	c  822s |      17 |   298558 |   238032 |   180441      1 |    19339 |    24957
826.10/826.46	c  824s |      17 |   299016 |   238432 |   180441      1 |    19339 |    24957
828.50/828.83	c  826s |      17 |   299584 |   238932 |   180441      1 |    19339 |    24957
830.80/831.17	c  829s |      17 |   300045 |   239332 |   180441      1 |    19339 |    24957
832.89/833.21	c  831s |      17 |   300532 |   239732 |   180441      1 |    19339 |    24957
835.39/835.71	c  833s |      17 |   301096 |   240232 |   180441      1 |    19339 |    24957
837.69/838.03	c  835s |      17 |   301672 |   240732 |   180441      1 |    19339 |    24957
839.79/840.18	c  838s |      17 |   302128 |   241132 |   180441      1 |    19339 |    24957
841.89/842.20	c  840s |      17 |   302591 |   241532 |   180441      1 |    19339 |    24957
844.19/844.51	c  842s |      17 |   303149 |   242032 |   180441      1 |    19339 |    24957
846.70/847.05	c  844s |      17 |   303714 |   242532 |   180441      1 |    19339 |    24957
848.79/849.17	c  847s |      17 |   304179 |   242932 |   180441      1 |    19339 |    24957
850.89/851.26	c  849s |      17 |   304651 |   243332 |   180441      1 |    19339 |    24957
852.98/853.37	c  851s |      17 |   305108 |   243732 |   180441      1 |    19339 |    24957
855.08/855.41	c  853s |      17 |   305552 |   244132 |   180441      1 |    19339 |    24957
857.38/857.76	c  855s |      17 |   306020 |   244532 |   180441      1 |    19339 |    24957
859.78/860.18	c  858s |      17 |   306489 |   244932 |   180441      1 |    19339 |    24957
861.98/862.30	c  860s |      17 |   306973 |   245332 |   180441      1 |    19339 |    24957
863.97/864.39	c  862s |      17 |   307428 |   245732 |   180441      1 |    19339 |    24957
866.17/866.56	c  864s |      17 |   307907 |   246132 |   180441      1 |    19339 |    24957
868.47/868.86	c  866s |      17 |   308497 |   246632 |   180441      1 |    19339 |    24957
870.88/871.28	c  869s |      17 |   309053 |   247132 |   180441      1 |    19339 |    24957
873.27/873.67	c  871s |      17 |   309647 |   247632 |   180441      1 |    19339 |    24957
875.57/875.99	c  873s |      17 |   310215 |   248132 |   180441      1 |    19339 |    24957
877.77/878.13	c  876s |      17 |   310815 |   248632 |   180441      1 |    19339 |    24957
880.17/880.51	c  878s |      17 |   311301 |   249032 |   180441      1 |    19339 |    24957
882.27/882.66	c  880s |      17 |   311766 |   249432 |   180441      1 |    19339 |    24957
884.66/885.04	c  882s |      17 |   312227 |   249832 |   180441      1 |    19339 |    24957
887.16/887.59	c  885s |      17 |   312722 |   250232 |   180441      1 |    19339 |    24957
889.46/889.85	c  887s |      17 |   313197 |   250632 |   180441      1 |    19339 |    24957
891.66/892.08	c  889s |      17 |   313661 |   251032 |   180441      1 |    19339 |    24957
893.96/894.33	c  892s |      17 |   314142 |   251432 |   180441      1 |    19339 |    24957
896.26/896.63	c  894s |      17 |   314590 |   251832 |   180441      1 |    19339 |    24957
898.55/898.99	c  896s |      17 |   315066 |   252232 |   180441      1 |    19339 |    24957
901.05/901.40	c  899s |      17 |   315531 |   252632 |   180441      1 |    19339 |    24957
903.55/903.90	c  901s |      17 |   315981 |   253032 |   180441      1 |    19339 |    24957
905.85/906.25	c  904s |      17 |   316449 |   253432 |   180441      1 |    19339 |    24957
908.35/908.70	c  906s |      17 |   316920 |   253832 |   180441      1 |    19339 |    24957
910.35/910.77	c  908s |      17 |   317283 |   254132 |   180441      1 |    19339 |    24957
912.45/912.87	c  910s |      17 |   317770 |   254532 |   180441      1 |    19339 |    24957
914.74/915.19	c  913s |      17 |   318267 |   254932 |   180441      1 |    19339 |    24957
917.24/917.68	c  915s |      17 |   318754 |   255332 |   180441      1 |    19339 |    24957
919.74/920.14	c  918s |      17 |   319218 |   255732 |   180441      1 |    19339 |    24957
922.04/922.44	c  920s |      17 |   319785 |   256232 |   180441      1 |    19339 |    24957
924.34/924.75	c  922s |      17 |   320250 |   256632 |   180441      1 |    19339 |    24957
926.34/926.76	c  924s |      17 |   320746 |   257032 |   180441      1 |    19339 |    24957
928.54/928.98	c  926s |      17 |   321251 |   257432 |   180441      1 |    19339 |    24957
930.93/931.34	c  929s |      17 |   321828 |   257932 |   180441      1 |    19339 |    24957
933.03/933.43	c  931s |      17 |   322328 |   258332 |   180441      1 |    19339 |    24957
935.23/935.67	c  933s |      17 |   322803 |   258732 |   180441      1 |    19339 |    24957
937.43/937.88	c  935s |      17 |   323321 |   259132 |   180441      1 |    19339 |    24957
939.63/940.09	c  937s |      17 |   323819 |   259532 |   180441      1 |    19339 |    24957
942.03/942.47	c  940s |      17 |   324309 |   259932 |   180441      1 |    19339 |    24957
944.42/944.90	c  942s |      17 |   324813 |   260332 |   180441      1 |    19339 |    24957
946.73/947.11	c  945s |      17 |   325302 |   260732 |   180441      1 |    19339 |    24957
949.22/949.63	c  947s |      17 |   325904 |   261232 |   180441      1 |    19339 |    24957
951.32/951.75	c  949s |      17 |   326375 |   261632 |   180441      1 |    19339 |    24957
953.82/954.27	c  952s |      17 |   326840 |   262032 |   180441      1 |    19339 |    24957
956.12/956.57	c  954s |      17 |   327310 |   262432 |   180441      1 |    19339 |    24957
958.52/958.96	c  956s |      17 |   327750 |   262832 |   180441      1 |    19339 |    24957
960.72/961.17	c  959s |      17 |   328211 |   263232 |   180441      1 |    19339 |    24957
963.02/963.42	c  961s |      17 |   328677 |   263632 |   180441      1 |    19339 |    24957
965.22/965.68	c  963s |      17 |   329164 |   264032 |   180441      1 |    19339 |    24957
967.63/968.00	c  965s |      17 |   329637 |   264432 |   180441      1 |    19339 |    24957
970.02/970.47	c  968s |      17 |   330089 |   264832 |   180441      1 |    19339 |    24957
972.42/972.85	c  970s |      17 |   330553 |   265232 |   180441      1 |    19339 |    24957
974.82/975.25	c  973s |      17 |   331036 |   265632 |   180441      1 |    19339 |    24957
977.22/977.60	c  975s |      17 |   331491 |   266032 |   180441      1 |    19339 |    24957
979.42/979.83	c  977s |      17 |   331981 |   266432 |   180441      1 |    19339 |    24957
981.82/982.20	c  980s |      17 |   332450 |   266832 |   180441      1 |    19339 |    24957
984.23/984.64	c  982s |      17 |   333033 |   267332 |   180441      1 |    19339 |    24957
986.52/986.91	c  984s |      17 |   333500 |   267732 |   180441      1 |    19339 |    24957
988.92/989.30	c  987s |      17 |   333972 |   268132 |   180441      1 |    19339 |    24957
991.32/991.77	c  989s |      17 |   334455 |   268532 |   180441      1 |    19339 |    24957
993.42/993.84	c  991s |      17 |   334830 |   268832 |   180441      1 |    19339 |    24957
995.52/995.93	c  993s |      17 |   335174 |   269132 |   180441      1 |    19339 |    24957
997.62/998.09	c  995s |      17 |   335531 |   269432 |   180441      1 |    19339 |    24957
1000.12/1000.59	c  998s |      17 |   336002 |   269832 |   180441      1 |    19339 |    24957
1002.82/1003.28	c 1001s |      17 |   336476 |   270232 |   180441      1 |    19339 |    24957
1005.32/1005.73	c 1003s |      17 |   336827 |   270532 |   180441      1 |    19339 |    24957
1007.41/1007.83	c 1005s |      17 |   337182 |   270832 |   180441      1 |    19339 |    24957
1009.52/1009.92	c 1007s |      17 |   337546 |   271132 |   180441      1 |    19339 |    24957
1011.91/1012.30	c 1010s |      17 |   337875 |   271432 |   180441      1 |    19339 |    24957
1014.01/1014.43	c 1012s |      17 |   338261 |   271732 |   180441      1 |    19339 |    24957
1016.71/1017.11	c 1015s |      17 |   338755 |   272132 |   180441      1 |    19339 |    24957
1018.91/1019.38	c 1017s |      17 |   339107 |   272432 |   180441      1 |    19339 |    24957
1021.01/1021.44	c 1019s |      17 |   339480 |   272732 |   180441      1 |    19339 |    24957
1023.21/1023.68	c 1021s |      17 |   339883 |   273032 |   180441      1 |    19339 |    24957
1025.51/1025.92	c 1023s |      17 |   340243 |   273332 |   180441      1 |    19339 |    24957
1027.71/1028.10	c 1026s |      17 |   340622 |   273632 |   180441      1 |    19339 |    24957
1029.71/1030.12	c 1028s |      17 |   340979 |   273932 |   180441      1 |    19339 |    24957
1032.11/1032.56	c 1030s |      17 |   341337 |   274232 |   180441      1 |    19339 |    24957
1034.51/1034.91	c 1032s |      17 |   341670 |   274532 |   180441      1 |    19339 |    24957
1036.61/1037.07	c 1034s |      17 |   342029 |   274832 |   180441      1 |    19339 |    24957
1039.01/1039.48	c 1037s |      17 |   342349 |   275132 |   180441      1 |    19339 |    24957
1041.21/1041.65	c 1039s |      17 |   342712 |   275432 |   180441      1 |    19339 |    24957
1043.31/1043.78	c 1041s |      17 |   343060 |   275732 |   180441      1 |    19339 |    24957
1045.61/1046.04	c 1043s |      17 |   343404 |   276032 |   180441      1 |    19339 |    24957
1047.92/1048.34	c 1046s |      17 |   343767 |   276332 |   180441      1 |    19339 |    24957
1050.31/1050.78	c 1048s |      17 |   344109 |   276632 |   180441      1 |    19339 |    24957
1052.71/1053.18	c 1051s |      17 |   344450 |   276932 |   180441      1 |    19339 |    24957
1055.01/1055.46	c 1053s |      17 |   344784 |   277232 |   180441      1 |    19339 |    24957
1057.41/1057.83	c 1055s |      17 |   345137 |   277532 |   180441      1 |    19339 |    24957
1059.61/1060.04	c 1057s |      17 |   345489 |   277832 |   180441      1 |    19339 |    24957
1061.81/1062.27	c 1060s |      17 |   345846 |   278132 |   180441      1 |    19339 |    24957
1064.21/1064.65	c 1062s |      17 |   346193 |   278432 |   180441      1 |    19339 |    24957
1066.61/1067.02	c 1064s |      17 |   346541 |   278732 |   180441      1 |    19339 |    24957
1069.01/1069.40	c 1067s |      17 |   346905 |   279032 |   180441      1 |    19339 |    24957
1071.51/1071.92	c 1069s |      17 |   347234 |   279332 |   180441      1 |    19339 |    24957
1073.80/1074.26	c 1072s |      17 |   347596 |   279632 |   180441      1 |    19339 |    24957
1076.10/1076.58	c 1074s |      17 |   347935 |   279932 |   180441      1 |    19339 |    24957
1078.40/1078.87	c 1076s |      17 |   348270 |   280232 |   180441      1 |    19339 |    24957
1080.60/1081.00	c 1078s |      17 |   348605 |   280532 |   180441      1 |    19339 |    24957
1082.80/1083.24	c 1081s |      17 |   348948 |   280832 |   180441      1 |    19339 |    24957
1085.41/1085.83	c 1083s |      17 |   349431 |   281232 |   180441      1 |    19339 |    24957
1087.90/1088.30	c 1086s |      17 |   349783 |   281532 |   180441      1 |    19339 |    24957
1090.20/1090.67	c 1088s |      17 |   350124 |   281832 |   180441      1 |    19339 |    24957
1092.30/1092.77	c 1090s |      17 |   350463 |   282132 |   180441      1 |    19339 |    24957
1094.50/1094.96	c 1092s |      17 |   350849 |   282432 |   180441      1 |    19339 |    24957
1096.60/1097.03	c 1094s |      17 |   351222 |   282732 |   180441      1 |    19339 |    24957
1098.70/1099.19	c 1097s |      17 |   351586 |   283032 |   180441      1 |    19339 |    24957
1100.81/1101.28	c 1099s |      17 |   351941 |   283332 |   180441      1 |    19339 |    24957
1103.20/1103.62	c 1101s |      17 |   352290 |   283632 |   180441      1 |    19339 |    24957
1105.21/1105.69	c 1103s |      17 |   352644 |   283932 |   180441      1 |    19339 |    24957
1107.41/1107.81	c 1105s |      17 |   352993 |   284232 |   180441      1 |    19339 |    24957
1109.61/1110.08	c 1107s |      17 |   353340 |   284532 |   180441      1 |    19339 |    24957
1112.20/1112.65	c 1110s |      17 |   353681 |   284832 |   180441      1 |    19339 |    24957
1114.90/1115.31	c 1113s |      17 |   354179 |   285232 |   180441      1 |    19339 |    24957
1117.10/1117.50	c 1115s |      17 |   354520 |   285532 |   180441      1 |    19339 |    24957
1119.30/1119.70	c 1117s |      17 |   354899 |   285832 |   180441      1 |    19339 |    24957
1121.70/1122.11	c 1120s |      17 |   355348 |   286232 |   180441      1 |    19339 |    24957
1123.80/1124.24	c 1122s |      17 |   355673 |   286532 |   180441      1 |    19339 |    24957
1126.20/1126.61	c 1124s |      17 |   356024 |   286832 |   180441      1 |    19339 |    24957
1128.60/1129.06	c 1126s |      17 |   356363 |   287132 |   180441      1 |    19339 |    24957
1131.00/1131.41	c 1129s |      17 |   356705 |   287432 |   180441      1 |    19339 |    24957
1133.49/1133.96	c 1131s |      17 |   357044 |   287732 |   180441      1 |    19339 |    24957
1135.69/1136.16	c 1134s |      17 |   357383 |   288032 |   180441      1 |    19339 |    24957
1137.99/1138.46	c 1136s |      17 |   357712 |   288332 |   180441      1 |    19339 |    24957
1140.49/1140.93	c 1138s |      17 |   358059 |   288632 |   180441      1 |    19339 |    24957
1142.89/1143.36	c 1141s |      17 |   358381 |   288932 |   180441      1 |    19339 |    24957
1145.80/1146.25	c 1144s |      17 |   358745 |   289232 |   180441      1 |    19339 |    24957
1148.19/1148.67	c 1146s |      17 |   359116 |   289532 |   180441      1 |    19339 |    24957
1150.69/1151.18	c 1149s |      17 |   359465 |   289832 |   180441      1 |    19339 |    24957
1153.09/1153.58	c 1151s |      17 |   359812 |   290132 |   180441      1 |    19339 |    24957
1155.99/1156.43	c 1154s |      17 |   360173 |   290432 |   180441      1 |    19339 |    24957
1158.59/1159.03	c 1156s |      17 |   360503 |   290732 |   180441      1 |    19339 |    24957
1160.69/1161.14	c 1159s |      17 |   360865 |   291032 |   180441      1 |    19339 |    24957
1163.29/1163.70	c 1161s |      17 |   361205 |   291332 |   180441      1 |    19339 |    24957
1165.70/1166.19	c 1164s |      17 |   361542 |   291632 |   180441      1 |    19339 |    24957
1167.99/1168.45	c 1166s |      17 |   362407 |   292232 |   180441      1 |    19339 |    24957
1170.10/1170.59	c 1168s |      17 |   363318 |   292832 |   180441      1 |    19339 |    24957
1172.30/1172.72	c 1170s |      17 |   364204 |   293532 |   180441      1 |    19339 |    24957
1174.40/1174.90	c 1172s |      17 |   365263 |   294332 |   198486      1 |    19339 |    24957
1176.49/1176.91	c 1174s |      17 |   366193 |   295032 |   198486      1 |    19339 |    24957
1178.59/1179.02	c 1176s |      17 |   366919 |   295632 |   198486      1 |    19339 |    24957
1180.69/1181.10	c 1179s |      17 |   367690 |   296232 |   198486      1 |    19339 |    24957
1180.69/1181.17	c 1179s |      18 |   367712 |   296252 |   198486      1 |    19339 |    24957
1182.89/1183.31	c 1181s |      18 |   368271 |   296652 |   198486      1 |    19339 |    24957
1184.89/1185.34	c 1183s |      18 |   369305 |   297452 |   198486      1 |    19339 |    24957
1187.49/1187.96	c 1185s |      18 |   369902 |   297852 |   198486      1 |    19339 |    24957
1190.19/1190.64	c 1188s |      18 |   370318 |   298152 |   198486      1 |    19339 |    24957
1192.39/1192.88	c 1190s |      18 |   370738 |   298452 |   198486      1 |    19339 |    24957
1194.69/1195.14	c 1193s |      18 |   371145 |   298752 |   198486      1 |    19339 |    24957
1197.19/1197.63	c 1195s |      18 |   371678 |   299152 |   198486      1 |    19339 |    24957
1199.59/1200.06	c 1197s |      18 |   372188 |   299552 |   198486      1 |    19339 |    24957
1202.00/1202.43	c 1200s |      18 |   372697 |   299952 |   198486      1 |    19339 |    24957
1204.59/1205.05	c 1202s |      18 |   373194 |   300352 |   198486      1 |    19339 |    24957
1207.09/1207.54	c 1205s |      18 |   373544 |   300652 |   198486      1 |    19339 |    24957
1209.39/1209.81	c 1207s |      18 |   373891 |   300952 |   198486      1 |    19339 |    24957
1211.59/1212.02	c 1209s |      18 |   374265 |   301252 |   198486      1 |    19339 |    24957
1213.59/1214.10	c 1212s |      18 |   374630 |   301552 |   198486      1 |    19339 |    24957
1215.99/1216.45	c 1214s |      18 |   375130 |   301952 |   198486      1 |    19339 |    24957
1217.99/1218.46	c 1216s |      18 |   375506 |   302252 |   198486      1 |    19339 |    24957
1220.19/1220.67	c 1218s |      18 |   375867 |   302552 |   198486      1 |    19339 |    24957
1222.29/1222.79	c 1220s |      18 |   376240 |   302852 |   198486      1 |    19339 |    24957
1224.38/1224.83	c 1222s |      18 |   376592 |   303152 |   198486      1 |    19339 |    24957
1226.48/1226.95	c 1224s |      18 |   376951 |   303452 |   198486      1 |    19339 |    24957
1229.08/1229.53	c 1227s |      18 |   377464 |   303852 |   198486      1 |    19339 |    24957
1231.69/1232.11	c 1230s |      18 |   377931 |   304252 |   198486      1 |    19339 |    24957
1233.89/1234.34	c 1232s |      18 |   378287 |   304552 |   198486      1 |    19339 |    24957
1236.28/1236.71	c 1234s |      18 |   378639 |   304852 |   198486      1 |    19339 |    24957
1238.58/1239.04	c 1236s |      18 |   378996 |   305152 |   198486      1 |    19339 |    24957
1241.28/1241.78	c 1239s |      18 |   379325 |   305452 |   198486      1 |    19339 |    24957
1243.98/1244.49	c 1242s |      18 |   379673 |   305752 |   198486      1 |    19339 |    24957
1246.08/1246.59	c 1244s |      18 |   380112 |   306052 |   198486      1 |    19339 |    24957
1248.38/1248.81	c 1246s |      18 |   380496 |   306352 |   198486      1 |    19339 |    24957
1250.78/1251.20	c 1249s |      18 |   380866 |   306652 |   198486      1 |    19339 |    24957
1252.88/1253.33	c 1251s |      18 |   381240 |   306952 |   198486      1 |    19339 |    24957
1255.18/1255.60	c 1253s |      18 |   381604 |   307252 |   198486      1 |    19339 |    24957
1257.38/1257.90	c 1255s |      18 |   382012 |   307552 |   198486      1 |    19339 |    24957
1260.19/1260.61	c 1258s |      18 |   382352 |   307852 |   198486      1 |    19339 |    24957
1262.58/1263.00	c 1260s |      18 |   382734 |   308152 |   198486      1 |    19339 |    24957
1264.59/1265.09	c 1262s |      18 |   383116 |   308452 |   198486      1 |    19339 |    24957
1266.68/1267.20	c 1265s |      18 |   383533 |   308752 |   198486      1 |    19339 |    24957
1269.09/1269.59	c 1267s |      18 |   383896 |   309052 |   198486      1 |    19339 |    24957
1271.78/1272.20	c 1270s |      18 |   384249 |   309352 |   198486      1 |    19339 |    24957
1274.08/1274.55	c 1272s |      18 |   384620 |   309652 |   198486      1 |    19339 |    24957
1276.58/1277.06	c 1274s |      18 |   385034 |   309952 |   198486      1 |    19339 |    24957
1279.38/1279.80	c 1277s |      18 |   385524 |   310352 |   198486      1 |    19339 |    24957
1281.58/1282.02	c 1279s |      18 |   385886 |   310652 |   198486      1 |    19339 |    24957
1284.08/1284.57	c 1282s |      18 |   386267 |   310952 |   198486      1 |    19339 |    24957
1286.58/1287.09	c 1285s |      18 |   386658 |   311252 |   198486      1 |    19339 |    24957
1289.18/1289.67	c 1287s |      18 |   386998 |   311552 |   198486      1 |    19339 |    24957
1291.87/1292.30	c 1290s |      18 |   387363 |   311852 |   198486      1 |    19339 |    24957
1294.28/1294.71	c 1292s |      18 |   387738 |   312152 |   198486      1 |    19339 |    24957
1296.67/1297.19	c 1295s |      18 |   388087 |   312452 |   198486      1 |    19339 |    24957
1299.27/1299.79	c 1297s |      18 |   388458 |   312752 |   198486      1 |    19339 |    24957
1302.08/1302.51	c 1300s |      18 |   388844 |   313052 |   198486      1 |    19339 |    24957
1304.18/1304.65	c 1302s |      18 |   389262 |   313352 |   198486      1 |    19339 |    24957
1306.57/1307.07	c 1304s |      18 |   389638 |   313652 |   198486      1 |    19339 |    24957
1309.27/1309.73	c 1307s |      18 |   389992 |   313952 |   198486      1 |    19339 |    24957
1311.77/1312.27	c 1310s |      18 |   390382 |   314252 |   198486      1 |    19339 |    24957
1314.37/1314.83	c 1312s |      18 |   390727 |   314552 |   198486      1 |    19339 |    24957
1317.07/1317.53	c 1315s |      18 |   391075 |   314852 |   198486      1 |    19339 |    24957
1319.47/1319.95	c 1317s |      18 |   391415 |   315152 |   198486      1 |    19339 |    24957
1322.17/1322.64	c 1320s |      18 |   391787 |   315452 |   198486      1 |    19339 |    24957
1324.87/1325.31	c 1323s |      18 |   392113 |   315752 |   198486      1 |    19339 |    24957
1327.57/1328.02	c 1325s |      18 |   392481 |   316052 |   198486      1 |    19339 |    24957
1329.87/1330.35	c 1328s |      18 |   392856 |   316352 |   198486      1 |    19339 |    24957
1332.17/1332.67	c 1330s |      18 |   393237 |   316652 |   198486      1 |    19339 |    24957
1334.77/1335.25	c 1333s |      18 |   393610 |   316952 |   198486      1 |    19339 |    24957
1337.67/1338.12	c 1336s |      18 |   393984 |   317252 |   198486      1 |    19339 |    24957
1340.37/1340.82	c 1338s |      18 |   394319 |   317552 |   198486      1 |    19339 |    24957
1342.47/1342.96	c 1340s |      18 |   394555 |   317752 |   198486      1 |    19339 |    24957
1345.17/1345.63	c 1343s |      18 |   394899 |   318052 |   198486      1 |    19339 |    24957
1347.77/1348.26	c 1346s |      18 |   395254 |   318352 |   198486      1 |    19339 |    24957
1350.27/1350.72	c 1348s |      18 |   395618 |   318652 |   198486      1 |    19339 |    24957
1352.87/1353.33	c 1351s |      18 |   395993 |   318952 |   198486      1 |    19339 |    24957
1355.66/1356.17	c 1354s |      18 |   396331 |   319252 |   198486      1 |    19339 |    24957
1358.26/1358.77	c 1356s |      18 |   396665 |   319552 |   198486      1 |    19339 |    24957
1360.96/1361.42	c 1359s |      18 |   397043 |   319852 |   198486      1 |    19339 |    24957
1363.46/1363.99	c 1361s |      18 |   397390 |   320152 |   198486      1 |    19339 |    24957
1365.96/1366.47	c 1364s |      18 |   397777 |   320452 |   198486      1 |    19339 |    24957
1368.16/1368.69	c 1366s |      18 |   398113 |   320752 |   198486      1 |    19339 |    24957
1370.66/1371.11	c 1369s |      18 |   398466 |   321052 |   198486      1 |    19339 |    24957
1373.57/1374.02	c 1371s |      18 |   398816 |   321352 |   198486      1 |    19339 |    24957
1376.46/1376.90	c 1374s |      18 |   399181 |   321652 |   198486      1 |    19339 |    24957
1379.36/1379.81	c 1377s |      18 |   399534 |   321952 |   198486      1 |    19339 |    24957
1382.16/1382.66	c 1380s |      18 |   399904 |   322252 |   198486      1 |    19339 |    24957
1385.26/1385.72	c 1383s |      18 |   400267 |   322552 |   198486      1 |    19339 |    24957
1388.26/1388.79	c 1386s |      18 |   400654 |   322852 |   198486      1 |    19339 |    24957
1391.17/1391.65	c 1389s |      18 |   401027 |   323152 |   198486      1 |    19339 |    24957
1393.96/1394.48	c 1392s |      18 |   401386 |   323452 |   198486      1 |    19339 |    24957
1396.46/1396.96	c 1394s |      18 |   401744 |   323752 |   198486      1 |    19339 |    24957
1399.16/1399.68	c 1397s |      18 |   402128 |   324052 |   198486      1 |    19339 |    24957
1401.86/1402.30	c 1400s |      18 |   402468 |   324352 |   198486      1 |    19339 |    24957
1404.56/1405.05	c 1402s |      18 |   402823 |   324652 |   198486      1 |    19339 |    24957
1407.16/1407.68	c 1405s |      18 |   403187 |   324952 |   198486      1 |    19339 |    24957
1409.76/1410.24	c 1408s |      18 |   403539 |   325252 |   198486      1 |    19339 |    24957
1412.66/1413.13	c 1411s |      18 |   403890 |   325552 |   198486      1 |    19339 |    24957
1415.56/1416.06	c 1413s |      18 |   404243 |   325852 |   198486      1 |    19339 |    24957
1418.16/1418.68	c 1416s |      18 |   404578 |   326152 |   198486      1 |    19339 |    24957
1421.06/1421.59	c 1419s |      18 |   404912 |   326452 |   198486      1 |    19339 |    24957
1424.06/1424.52	c 1422s |      18 |   405255 |   326752 |   198486      1 |    19339 |    24957
1426.05/1426.57	c 1424s |      18 |   405481 |   326952 |   198486      1 |    19339 |    24957
1428.05/1428.57	c 1426s |      18 |   405707 |   327152 |   198486      1 |    19339 |    24957
1430.15/1430.65	c 1428s |      18 |   405931 |   327352 |   198486      1 |    19339 |    24957
1432.35/1432.82	c 1430s |      18 |   406162 |   327552 |   198486      1 |    19339 |    24957
1435.25/1435.78	c 1433s |      18 |   406504 |   327852 |   198486      1 |    19339 |    24957
1437.85/1438.37	c 1436s |      18 |   406866 |   328152 |   198486      1 |    19339 |    24957
1440.45/1441.00	c 1438s |      18 |   407252 |   328452 |   198486      1 |    19339 |    24957
1443.05/1443.57	c 1441s |      18 |   407617 |   328752 |   198486      1 |    19339 |    24957
1445.35/1445.85	c 1443s |      18 |   408006 |   329052 |   198486      1 |    19339 |    24957
1447.75/1448.25	c 1446s |      18 |   408361 |   329352 |   198486      1 |    19339 |    24957
1450.15/1450.61	c 1448s |      18 |   408721 |   329652 |   198486      1 |    19339 |    24957
1452.45/1452.97	c 1450s |      18 |   409075 |   329952 |   198486      1 |    19339 |    24957
1455.05/1455.52	c 1453s |      18 |   409419 |   330252 |   198486      1 |    19339 |    24957
1457.75/1458.27	c 1456s |      18 |   409761 |   330552 |   198486      1 |    19339 |    24957
1460.65/1461.12	c 1459s |      18 |   410129 |   330852 |   198486      1 |    19339 |    24957
1463.35/1463.81	c 1461s |      18 |   410492 |   331152 |   198486      1 |    19339 |    24957
1466.25/1466.78	c 1464s |      18 |   410851 |   331452 |   198486      1 |    19339 |    24957
1468.45/1468.94	c 1466s |      18 |   411089 |   331652 |   198486      1 |    19339 |    24957
1470.45/1470.99	c 1468s |      18 |   411376 |   331852 |   198486      1 |    19339 |    24957
1473.25/1473.70	c 1471s |      18 |   411756 |   332152 |   198486      1 |    19339 |    24957
1476.05/1476.51	c 1474s |      18 |   412103 |   332452 |   198486      1 |    19339 |    24957
1479.05/1479.54	c 1477s |      18 |   412473 |   332752 |   198486      1 |    19339 |    24957
1481.74/1482.23	c 1480s |      18 |   412836 |   333052 |   198486      1 |    19339 |    24957
1483.74/1484.29	c 1482s |      18 |   413085 |   333252 |   198486      1 |    19339 |    24957
1486.34/1486.83	c 1484s |      18 |   413504 |   333552 |   198486      1 |    19339 |    24957
1488.84/1489.34	c 1487s |      18 |   413865 |   333852 |   198486      1 |    19339 |    24957
1490.84/1491.38	c 1489s |      18 |   414127 |   334052 |   198486      1 |    19339 |    24957
1493.74/1494.21	c 1492s |      18 |   414487 |   334352 |   198486      1 |    19339 |    24957
1499.54/1500.06	c 1497s |      18 |   414885 |   334652 |   198486      2 |    19339 |    24957
1502.25/1502.78	c 1500s |      18 |   415300 |   334952 |   198486      2 |    19339 |    24957
1504.74/1505.23	c 1503s |      18 |   415816 |   335352 |   198486      2 |    19339 |    24957
1506.94/1507.44	c 1505s |      18 |   416198 |   335652 |   198486      2 |    19339 |    24957
1509.04/1509.57	c 1507s |      18 |   416461 |   335852 |   198486      2 |    19339 |    24957
1511.14/1511.60	c 1509s |      18 |   416689 |   336052 |   198486      2 |    19339 |    24957
1513.64/1514.19	c 1512s |      18 |   417031 |   336352 |   198486      2 |    19339 |    24957
1515.94/1516.47	c 1514s |      18 |   417399 |   336652 |   198486      2 |    19339 |    24957
1518.54/1519.05	c 1516s |      18 |   417744 |   336952 |   198486      2 |    19339 |    24957
1520.84/1521.36	c 1519s |      18 |   418076 |   337252 |   198486      2 |    19339 |    24957
1523.04/1523.60	c 1521s |      18 |   418436 |   337552 |   198486      2 |    19339 |    24957
1525.54/1526.07	c 1523s |      18 |   418801 |   337852 |   198486      2 |    19339 |    24957
1527.94/1528.45	c 1526s |      18 |   419157 |   338152 |   198486      2 |    19339 |    24957
1530.44/1530.96	c 1528s |      18 |   419503 |   338452 |   198486      2 |    19339 |    24957
1532.74/1533.25	c 1531s |      18 |   419872 |   338752 |   198486      2 |    19339 |    24957
1534.84/1535.36	c 1533s |      18 |   420224 |   339052 |   198486      2 |    19339 |    24957
1537.04/1537.56	c 1535s |      18 |   420568 |   339352 |   198486      2 |    19339 |    24957
1539.44/1539.94	c 1537s |      18 |   420905 |   339652 |   198486      2 |    19339 |    24957
1541.84/1542.33	c 1540s |      18 |   421257 |   339952 |   198486      2 |    19339 |    24957
1543.94/1544.47	c 1542s |      18 |   421616 |   340252 |   198486      2 |    19339 |    24957
1546.33/1546.84	c 1544s |      18 |   421958 |   340552 |   198486      2 |    19339 |    24957
1548.73/1549.29	c 1547s |      18 |   422287 |   340852 |   198486      2 |    19339 |    24957
1551.13/1551.67	c 1549s |      18 |   422634 |   341152 |   198486      2 |    19339 |    24957
1553.73/1554.22	c 1552s |      18 |   422997 |   341452 |   198486      2 |    19339 |    24957
1556.14/1556.68	c 1554s |      18 |   423343 |   341752 |   198486      2 |    19339 |    24957
1558.34/1558.89	c 1556s |      18 |   423687 |   342052 |   198486      2 |    19339 |    24957
1560.73/1561.21	c 1559s |      18 |   424049 |   342352 |   198486      2 |    19339 |    24957
1563.13/1563.62	c 1561s |      18 |   424393 |   342652 |   198486      2 |    19339 |    24957
1565.53/1566.04	c 1563s |      18 |   424775 |   342952 |   198486      2 |    19339 |    24957
1567.93/1568.49	c 1566s |      18 |   425121 |   343252 |   198486      2 |    19339 |    24957
1570.44/1570.92	c 1568s |      18 |   425363 |   343452 |   198486      2 |    19339 |    24957
1572.73/1573.20	c 1571s |      18 |   425731 |   343752 |   198486      2 |    19339 |    24957
1574.84/1575.34	c 1573s |      18 |   426086 |   344052 |   198486      2 |    19339 |    24957
1577.13/1577.62	c 1575s |      18 |   426452 |   344352 |   198486      2 |    19339 |    24957
1579.33/1579.81	c 1577s |      18 |   426792 |   344652 |   198486      2 |    19339 |    24957
1581.53/1582.08	c 1579s |      18 |   427130 |   344952 |   198486      2 |    19339 |    24957
1584.13/1584.60	c 1582s |      18 |   427500 |   345252 |   198486      2 |    19339 |    24957
1586.53/1587.04	c 1584s |      18 |   427861 |   345552 |   198486      2 |    19339 |    24957
1588.93/1589.47	c 1587s |      18 |   428241 |   345852 |   198486      2 |    19339 |    24957
1591.33/1591.84	c 1589s |      18 |   428623 |   346152 |   198486      2 |    19339 |    24957
1593.93/1594.49	c 1592s |      18 |   428980 |   346452 |   198486      2 |    19339 |    24957
1596.53/1597.08	c 1594s |      18 |   429325 |   346752 |   198486      2 |    19339 |    24957
1599.23/1599.70	c 1597s |      18 |   429677 |   347052 |   198486      2 |    19339 |    24957
1601.93/1602.40	c 1600s |      18 |   430044 |   347352 |   198486      2 |    19339 |    24957
1604.53/1605.01	c 1602s |      18 |   430392 |   347652 |   198486      2 |    19339 |    24957
1606.52/1607.02	c 1604s |      18 |   430614 |   347852 |   198486      2 |    19339 |    24957
1609.02/1609.51	c 1607s |      18 |   430954 |   348152 |   198486      2 |    19339 |    24957
1611.62/1612.16	c 1610s |      18 |   431287 |   348452 |   198486      2 |    19339 |    24957
1614.22/1614.74	c 1612s |      18 |   431664 |   348752 |   198486      2 |    19339 |    24957
1616.82/1617.37	c 1615s |      18 |   432018 |   349052 |   198486      2 |    19339 |    24957
1619.62/1620.13	c 1618s |      18 |   432346 |   349352 |   198486      2 |    19339 |    24957
1622.22/1622.75	c 1620s |      18 |   432705 |   349652 |   198486      2 |    19339 |    24957
1624.92/1625.42	c 1623s |      18 |   433081 |   349952 |   198486      2 |    19339 |    24957
1627.53/1628.09	c 1625s |      18 |   433427 |   350252 |   198486      2 |    19339 |    24957
1630.42/1630.96	c 1628s |      18 |   433775 |   350552 |   198486      2 |    19339 |    24957
1633.13/1633.62	c 1631s |      18 |   434123 |   350852 |   198486      2 |    19339 |    24957
1636.02/1636.52	c 1634s |      18 |   434446 |   351152 |   198486      2 |    19339 |    24957
1638.82/1639.32	c 1637s |      18 |   434802 |   351452 |   198486      2 |    19339 |    24957
1641.42/1641.92	c 1639s |      18 |   435138 |   351752 |   198486      2 |    19339 |    24957
1643.92/1644.50	c 1642s |      18 |   435497 |   352052 |   198486      2 |    19339 |    24957
1646.72/1647.28	c 1645s |      18 |   435869 |   352352 |   198486      2 |    19339 |    24957
1649.53/1650.09	c 1648s |      18 |   436230 |   352652 |   198486      2 |    19339 |    24957
1652.12/1652.65	c 1650s |      18 |   436601 |   352952 |   198486      2 |    19339 |    24957
1654.72/1655.29	c 1653s |      18 |   436941 |   353252 |   198486      2 |    19339 |    24957
1657.52/1658.08	c 1655s |      18 |   437328 |   353552 |   198486      2 |    19339 |    24957
1660.42/1660.97	c 1658s |      18 |   437696 |   353852 |   198486      2 |    19339 |    24957
1662.72/1663.25	c 1661s |      18 |   438046 |   354152 |   198486      2 |    19339 |    24957
1665.42/1665.92	c 1663s |      18 |   438441 |   354452 |   198486      2 |    19339 |    24957
1667.92/1668.40	c 1666s |      18 |   438818 |   354752 |   198486      2 |    19339 |    24957
1670.22/1670.75	c 1668s |      18 |   439180 |   355052 |   198486      2 |    19339 |    24957
1672.72/1673.26	c 1671s |      18 |   439529 |   355352 |   198486      2 |    19339 |    24957
1675.21/1675.78	c 1673s |      18 |   439867 |   355652 |   198486      2 |    19339 |    24957
1677.41/1677.96	c 1675s |      18 |   440260 |   355952 |   198486      2 |    19339 |    24957
1679.71/1680.20	c 1678s |      18 |   440603 |   356252 |   198486      2 |    19339 |    24957
1682.21/1682.71	c 1680s |      18 |   440980 |   356552 |   198486      2 |    19339 |    24957
1684.61/1685.19	c 1683s |      18 |   441326 |   356852 |   198486      2 |    19339 |    24957
1686.81/1687.32	c 1685s |      18 |   441691 |   357152 |   198486      2 |    19339 |    24957
1689.22/1689.71	c 1687s |      18 |   442057 |   357452 |   198486      2 |    19339 |    24957
1691.42/1691.96	c 1689s |      18 |   442427 |   357752 |   198486      2 |    19339 |    24957
1693.71/1694.23	c 1692s |      18 |   442772 |   358052 |   198486      2 |    19339 |    24957
1696.21/1696.75	c 1694s |      18 |   443121 |   358352 |   198486      2 |    19339 |    24957
1698.51/1699.01	c 1696s |      18 |   443479 |   358652 |   198486      2 |    19339 |    24957
1700.81/1701.38	c 1699s |      18 |   443816 |   358952 |   198486      2 |    19339 |    24957
1703.21/1703.78	c 1701s |      18 |   444168 |   359252 |   198486      2 |    19339 |    24957
1705.31/1705.89	c 1703s |      18 |   444529 |   359552 |   198486      2 |    19339 |    24957
1707.71/1708.22	c 1706s |      18 |   444876 |   359852 |   198486      2 |    19339 |    24957
1710.21/1710.77	c 1708s |      18 |   445230 |   360152 |   198486      2 |    19339 |    24957
1712.81/1713.33	c 1711s |      18 |   445584 |   360452 |   198486      2 |    19339 |    24957
1715.01/1715.58	c 1713s |      18 |   445956 |   360752 |   198486      2 |    19339 |    24957
1717.41/1717.95	c 1715s |      18 |   446321 |   361052 |   198486      2 |    19339 |    24957
1719.91/1720.47	c 1718s |      18 |   446686 |   361352 |   198486      2 |    19339 |    24957
1722.51/1723.08	c 1720s |      18 |   447048 |   361652 |   198486      2 |    19339 |    24957
1725.21/1725.78	c 1723s |      18 |   447439 |   361952 |   198486      2 |    19339 |    24957
1728.91/1729.43	c 1727s |      18 |   447860 |   362252 |   198486      2 |    19339 |    24957
1731.60/1732.17	c 1730s |      18 |   448227 |   362552 |   198486      2 |    19339 |    24957
1734.00/1734.57	c 1732s |      18 |   448592 |   362852 |   198486      2 |    19339 |    24957
1736.51/1737.04	c 1734s |      18 |   448974 |   363152 |   198486      2 |    19339 |    24957
1739.10/1739.68	c 1737s |      18 |   449343 |   363452 |   198486      2 |    19339 |    24957
1741.10/1741.68	c 1739s |      18 |   449600 |   363652 |   198486      2 |    19339 |    24957
1743.80/1744.32	c 1742s |      18 |   449967 |   363952 |   198486      2 |    19339 |    24957
1746.31/1746.85	c 1744s |      18 |   450334 |   364252 |   198486      2 |    19339 |    24957
1749.10/1749.69	c 1747s |      18 |   450706 |   364552 |   198486      2 |    19339 |    24957
1751.40/1751.95	c 1749s |      18 |   451079 |   364852 |   198486      2 |    19339 |    24957
1753.90/1754.47	c 1752s |      18 |   451417 |   365152 |   198486      2 |    19339 |    24957
1756.50/1757.08	c 1754s |      18 |   451791 |   365452 |   198486      2 |    19339 |    24957
1758.60/1759.19	c 1757s |      18 |   452154 |   365752 |   198486      2 |    19339 |    24957
1761.20/1761.70	c 1759s |      18 |   452528 |   366052 |   198486      2 |    19339 |    24957
1763.90/1764.43	c 1762s |      18 |   452873 |   366352 |   198486      2 |    19339 |    24957
1766.30/1766.88	c 1764s |      18 |   453249 |   366652 |   198486      2 |    19339 |    24957
1768.80/1769.32	c 1767s |      18 |   453593 |   366952 |   198486      2 |    19339 |    24957
1771.30/1771.81	c 1769s |      18 |   453929 |   367252 |   198486      2 |    19339 |    24957
1773.90/1774.46	c 1772s |      18 |   454285 |   367552 |   198486      2 |    19339 |    24957
1776.10/1776.68	c 1774s |      18 |   454606 |   367852 |   198486      2 |    19339 |    24957
1778.39/1778.95	c 1776s |      18 |   454963 |   368152 |   198486      2 |    19339 |    24957
1781.19/1781.72	c 1779s |      18 |   455328 |   368452 |   198486      2 |    19339 |    24957
1783.89/1784.44	c 1782s |      18 |   455684 |   368752 |   198486      2 |    19339 |    24957
1786.69/1787.24	c 1785s |      18 |   456023 |   369052 |   198486      2 |    19339 |    24957
1789.30/1789.84	c 1787s |      18 |   456393 |   369352 |   198486      2 |    19339 |    24957
1791.99/1792.55	c 1790s |      18 |   456744 |   369652 |   198486      2 |    19339 |    24957
1794.80/1795.38	c 1793s |      18 |   457074 |   369952 |   198486      2 |    19339 |    24957
1797.59/1798.12	c 1796s |      18 |   457413 |   370252 |   198486      2 |    19339 |    24957

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

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.28 2.27 3/179 30085
/proc/meminfo: memFree=29027968/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=681404 CPUtime=0 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 2535 0 0 0 0 0 0 0 20 0 4 0 31072320 697757696 2895 33554432000 4194304 16246674 140735263710880 140735263710304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 171119 2904 441 2943 0 168013 0
[pid=30085/tid=30086] ppid=30082 vsize=698812 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 715583488 2961 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=702908 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 719777792 2976 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=707004 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31072320 723972096 2994 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.23 2.28 2.27 3/179 30085
/proc/meminfo: memFree=29027968/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 27391 0 0 0 5 4 0 0 20 0 4 0 31072320 1333334016 27690 33554432000 4194304 16246674 140735263710880 140735263710192 7367789 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 325521 27703 802 2943 0 322415 0
[pid=30085/tid=30086] ppid=30082 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1333334016 27714 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1333334016 27725 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1333334016 27736 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200536 s]
/proc/loadavg: 2.23 2.28 2.27 3/179 30085
/proc/meminfo: memFree=29027968/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 47440 0 0 0 12 7 0 0 20 0 4 0 31072320 1344868352 48249 33554432000 4194304 16246674 140735263710880 140735263710192 7368110 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 328337 48249 802 2943 0 325231 0
[pid=30085/tid=30086] ppid=30082 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1344868352 48249 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1344868352 48249 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1344868352 48249 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300554 s]
/proc/loadavg: 2.23 2.28 2.27 3/179 30085
/proc/meminfo: memFree=29027968/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 57004 0 0 0 21 8 0 0 20 0 4 0 31072320 1344868352 57813 33554432000 4194304 16246674 140735263710880 140735263710192 7929054 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 328337 57813 802 2943 0 325231 0
[pid=30085/tid=30086] ppid=30082 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1344868352 57813 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1344868352 57813 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1344868352 57813 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700407 s]
/proc/loadavg: 2.23 2.28 2.27 3/179 30085
/proc/meminfo: memFree=29027968/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 65665 0 0 0 60 9 0 0 20 0 4 0 31072320 1344868352 66474 33554432000 4194304 16246674 140735263710880 140735263708672 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 328337 66474 803 2943 0 325231 0
[pid=30085/tid=30086] ppid=30082 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1344868352 66474 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1344868352 66474 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1344868352 66474 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50038 s]
/proc/loadavg: 2.23 2.28 2.27 3/183 30089
/proc/meminfo: memFree=28651568/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1315396 CPUtime=1.49 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 162604 0 0 0 127 22 0 0 20 0 4 0 31072320 1346965504 163414 33554432000 4194304 16246674 140735263710880 140735263692800 5831697 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 328849 163423 841 2943 0 325743 0
[pid=30085/tid=30086] ppid=30082 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1346965504 163428 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1346965504 163434 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1346965504 163439 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.10039 s]
/proc/loadavg: 2.23 2.28 2.27 3/183 30089
/proc/meminfo: memFree=28139696/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1322564 CPUtime=3.09 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 240847 0 0 0 276 33 0 0 20 0 4 0 31072320 1354305536 241656 33554432000 4194304 16246674 140735263710880 140735263692800 5582293 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 330641 241657 886 2943 0 327535 0
[pid=30085/tid=30086] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1354305536 241657 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1354305536 241658 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1354305536 241659 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1322564

[startup+6.3004 s]
/proc/loadavg: 2.21 2.27 2.27 3/183 30089
/proc/meminfo: memFree=27939628/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1322564 CPUtime=6.29 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 271320 0 0 0 592 37 0 0 20 0 4 0 31072320 1354305536 272129 33554432000 4194304 16246674 140735263710880 140735263692800 5677888 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 330641 272129 894 2943 0 327535 0
[pid=30085/tid=30086] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1354305536 272129 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1354305536 272129 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1354305536 272129 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1322564

[startup+12.7004 s]
/proc/loadavg: 2.27 2.28 2.27 4/183 30089
/proc/meminfo: memFree=27922516/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1322564 CPUtime=12.69 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 271320 0 0 0 1232 37 0 0 20 0 4 0 31072320 1354305536 272129 33554432000 4194304 16246674 140735263710880 140735263692800 12483341 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 330641 272129 894 2943 0 327535 0
[pid=30085/tid=30086] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1354305536 272129 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1354305536 272129 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1354305536 272129 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1322564

[startup+25.5005 s]
/proc/loadavg: 2.21 2.27 2.26 3/183 30089
/proc/meminfo: memFree=27867592/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1322564 CPUtime=25.49 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 271320 0 0 0 2512 37 0 0 20 0 4 0 31072320 1354305536 272129 33554432000 4194304 16246674 140735263710880 140735263692800 6021684 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 330641 272129 894 2943 0 327535 0
[pid=30085/tid=30086] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1354305536 272129 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1354305536 272129 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1354305536 272129 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1322564

[startup+51.1005 s]
/proc/loadavg: 2.14 2.25 2.26 3/183 30089
/proc/meminfo: memFree=27848096/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1322564 CPUtime=51.08 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 271321 0 0 0 5071 37 0 0 20 0 4 0 31072320 1354305536 272130 33554432000 4194304 16246674 140735263710880 140735263692800 5677884 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 330641 272130 894 2943 0 327535 0
[pid=30085/tid=30086] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1354305536 272130 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1354305536 272130 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1354305536 272130 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1322564

[startup+102.3 s]
/proc/loadavg: 2.18 2.24 2.25 4/183 30090
/proc/meminfo: memFree=27819492/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1322564 CPUtime=102.28 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 271321 0 0 0 10191 37 0 0 20 0 4 0 31072320 1354305536 272130 33554432000 4194304 16246674 140735263710880 140735263692800 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 330641 272130 894 2943 0 327535 0
[pid=30085/tid=30086] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1354305536 272130 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1354305536 272130 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1354305536 272130 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1322564


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

/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1373764

[startup+1302.3 s]
/proc/loadavg: 2.26 2.23 2.20 3/183 30926
/proc/meminfo: memFree=27957344/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1373764 CPUtime=1301.87 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 284475 0 0 0 130146 41 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140735263692800 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 343441 284932 894 2943 0 340335 0
[pid=30085/tid=30086] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1373764

[startup+1362.3 s]
/proc/loadavg: 2.34 2.25 2.21 4/182 30927
/proc/meminfo: memFree=27958500/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1373764 CPUtime=1361.86 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 284475 0 0 0 136145 41 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140735263692800 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 343441 284932 894 2943 0 340335 0
[pid=30085/tid=30086] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1373764

[startup+1422.3 s]
/proc/loadavg: 2.24 2.23 2.20 3/183 30929
/proc/meminfo: memFree=27957784/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1373764 CPUtime=1421.86 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 284475 0 0 0 142145 41 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140735263692800 12478356 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 343441 284932 894 2943 0 340335 0
[pid=30085/tid=30086] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1373764

[startup+1482.3 s]
/proc/loadavg: 2.21 2.23 2.20 3/183 30931
/proc/meminfo: memFree=27957564/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1373764 CPUtime=1481.84 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 284475 0 0 0 148143 41 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140735263692800 5523188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 343441 284932 894 2943 0 340335 0
[pid=30085/tid=30086] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1373764

[startup+1542.31 s]
/proc/loadavg: 2.19 2.22 2.19 4/183 30932
/proc/meminfo: memFree=27957708/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1373764 CPUtime=1541.84 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 284475 0 0 0 154143 41 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140735263710056 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 343441 284932 894 2943 0 340335 0
[pid=30085/tid=30086] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1373764

[startup+1602.3 s]
/proc/loadavg: 2.29 2.23 2.20 3/183 30933
/proc/meminfo: memFree=27957496/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1373764 CPUtime=1601.83 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 284475 0 0 0 160142 41 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140735263692800 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 343441 284932 894 2943 0 340335 0
[pid=30085/tid=30086] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1373764

[startup+1662.3 s]
/proc/loadavg: 2.25 2.23 2.19 3/183 30934
/proc/meminfo: memFree=27957608/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1373764 CPUtime=1661.82 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 284475 0 0 0 166141 41 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140735263692800 5522913 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 343441 284932 894 2943 0 340335 0
[pid=30085/tid=30086] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1373764

[startup+1722.3 s]
/proc/loadavg: 2.35 2.26 2.20 4/183 30935
/proc/meminfo: memFree=27957728/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1373764 CPUtime=1721.81 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 284475 0 0 0 172140 41 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140735263692800 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 343441 284932 894 2943 0 340335 0
[pid=30085/tid=30086] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1373764

[startup+1782.3 s]
/proc/loadavg: 2.22 2.24 2.20 3/184 30940
/proc/meminfo: memFree=27957316/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1373764 CPUtime=1781.79 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 284475 0 0 0 178138 41 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140735263692800 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 343441 284932 894 2943 0 340335 0
[pid=30085/tid=30086] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1373764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.16 2.23 2.19 3/183 30940
/proc/meminfo: memFree=27957580/32872528 swapFree=1402776/1580604
[pid=30085] ppid=30082 vsize=1373764 CPUtime=1800.09 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 28125 0 -1 4202496 284475 0 0 0 179968 41 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140735263692800 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 343441 284932 894 2943 0 340335 0
[pid=30085/tid=30086] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324282281200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324271791344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1373764 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31072320 1406734336 284932 33554432000 4194304 16246674 140735263710880 140324261317808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1373764

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 30085 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.11
CPU user time (s): 1799.69
CPU system time (s): 0.416936
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 1373764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.416936
maximum resident set size= 1139728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284475
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= 387
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5873 second user time and 7.13991 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-19 00:51:06
IDJOB=4107950
IDBENCH=74310
IDSOLVER=2542
FILE ID=node139/4107950-1466290266
RUNJOBID= node139-1466274546-28141
PBS_JOBID= 19918239
Free space on /tmp= 71572 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12058_4-sat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107950-1466290266/watcher-4107950-1466290266 -o /tmp/evaluation-result-4107950-1466290266/solver-4107950-1466290266 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466274546-28141 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107950-1466290266.opb

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

MD5SUM BENCH= da4c22aa3836e09c7cdc382a7b6da5de
RANDOM SEED=1368544337

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29027968 kB
Buffers:          145840 kB
Cached:           181856 kB
SwapCached:         1832 kB
Active:          1290900 kB
Inactive:         226072 kB
Active(anon):    1189068 kB
Inactive(anon):     2540 kB
Active(file):     101832 kB
Inactive(file):   223532 kB
Unevictable:     1580604 kB
Mlocked:         1402776 kB
SwapTotal:      67108856 kB
SwapFree:       67099484 kB
Dirty:             20204 kB
Writeback:             0 kB
AnonPages:       2769016 kB
Mapped:            10828 kB
Shmem:                 0 kB
Slab:             610136 kB
SReclaimable:      54088 kB
SUnreclaim:       556048 kB
KernelStack:        1488 kB
PageTables:         9220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2910696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1058816 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= 71552 MiB
End job on node139 at 2016-06-19 01:21:07