Trace number 4119852

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.07 1800.53

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
MD5SUMa407d5c9af984cf5ee2a17aa7c76d55e
Bench CategoryOPT-SMALLINT-LIN (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 Function
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables
Total number of constraints
Number of constraints which are clauses
Number of constraints which are cardinality constraints (but not clauses)
Number of constraints which are nor clauses,nor cardinality constraints
Minimum length of a constraint
Maximum length of a constraint
Number of terms in the objective function
Biggest coefficient in the objective function
Number of bits for the biggest coefficient in the objective function
Sum of the numbers in the objective function
Number of bits of the sum of numbers in the objective function
Biggest number in a constraint
Number of bits of the biggest number in a constraint
Biggest sum of numbers in a constraint
Number of bits of the biggest sum of numbers
Number of products (including duplicates)
Sum of products size (including duplicates)
Number of different products
Sum of products size

Solver Data 

0.00/0.00	c 2016-06-30T11:32:33+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-4119852-1467279153.opb"]
0.00/0.01	c use --random-gen="3500276788 778999788 3236776985 2585636838 1826107715 2251536504 4015178279 763028661 2264453413 4216921233 2971138800 1029181215 400594424 490746614 1697196446 3930190510 2450594548 1626176394 47615718 2809881313 644325418 2887421581 2313099688 1314871622 1508993181 3367471262 4027741713 1488312574 1355928998 3242561307 931895190 3286360263 3334111385 1473063578 3493846085 3066860360 3821424854 643488190 4186069857 2504437180 1814193853 3269951230 182752852 2186610575 3235632614 2593503543 2245377954 2284775989 3060478980 3384695479 378134871 237183242 2234838844 2833901428 1521001215 2132184034 1925114471 199106759 4108901698 625496260 117575243 3257287061 4013431768 3838494759 3038817156 1371454239 3413221977 2277719577 790003398 303427568 2216964083 2872338123 3710206619 474691449 2256510987 1730553956 896326418 233511365 3685762755 2912746336 2337985666 550465938 880610744 4176531983 1780883818 4009475449 2104511653 2189231243 3714054093 2978197530 4009430420 1984210530 2081847842 2113132607 760680267 3946530493 2436673722 2751287306 2090401136 1842075813 61822177 2519168248 371429038 3316303615 387025595 4101257027 4182602097 1053323485 3841335435 1748156492 2673799622 822987017 1578496238 1263858271 404067818 3014782920 415889704 1085134203 4204243917 883044439 1676259167 711703709 4282896433 3960466658 3190227890 3576719370 2150299684 842671794 2576336258 1948378480 334806868 2504952601 1587628110 2597925233 1307328834 1106881410 3217929583 1545212490 1764005504 631029601 1920316771 3773305234 3089998721 1929770034 4104381460 1981126616 1203236209 2073832084 141067845 1258724665 2241263942 1903490318 491357867 28470777 1728412929 242859545 1872026337 1227415723 735455615 1995934625 1606988541 3474027832 2099958826 2285231203 880249811 3391636182 1150969507 2882417756 1963269195 4169723463 754457167 2415544219 3889635633 1193930880 2039176411 1862757952 240795696 1100498037 1170923662 2973329196 1684518699 2103220363 2640306650 3680973202 2489061272 2346912922 3171744044 3027773833 454162362 3411152780 690752651 1847785830 435090106 924015643 1744223026 2245827119 4171104667 809681794 1624738661 1488574289 1682703350 494444790 4099198835 3695463702 2146477416 4123496725 1612502154 2730113999 2532607772 2948186876 4076370326 1333844230 2849311197 2640440731 685110202 1913147784 577910507 3133885100 4261143925 3381994783 3409010649 4028577849 189289515 3140017331 388622746 2298475925 4252308373 966157972 1846565534 370945762 2228387516 589267398 3542083510 1910014191 268187107 3418160687 3658300167 299638295 2677503892 3352297003 4024312312 1950918280 523979713 1369862359 4036885588 147941143 2066315591 1203001385 3065065304 3355872490 761789348 1211663274 1907562671 332955145 3229986847 2042498227 255 362436" option to reproduce the execution
0.09/0.12	c #vars 11744
0.09/0.12	c #constraints 798
0.19/0.26	c BCD2: Hardening is enabled.
0.19/0.26	c BCD2: BiasedSearch is enabled.
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     4180      0 |       32 |        0
0.39/0.42	c  0.2s |       1 |      389 |      100 |     4180      0 |       32 |        1
0.69/0.75	c  0.5s |       2 |     1553 |      250 |     4598      0 |       32 |        1
1.19/1.29	c  1.0s |       3 |     3857 |      475 |     5058      0 |       32 |        1
1.99/2.04	c  1.8s |       4 |     7070 |      813 |     5564      0 |       32 |        1
2.79/2.84	c  2.6s |       5 |    10585 |     1320 |     6121      0 |       32 |        1
4.39/4.44	c  4.2s |       6 |    13878 |     2081 |     7408      0 |       32 |        1
6.60/6.64	c  6.4s |       6 |    16292 |     3181 |     7408      0 |       32 |        1
6.70/6.71	c  6.5s |       7 |    16332 |     3223 |     8149      0 |       32 |        1
8.80/8.85	c  8.6s |       7 |    19725 |     4323 |     8149      0 |       32 |        1
10.29/10.30	c 10.0s |       8 |    20783 |     4936 |     8964      0 |       32 |        1
12.39/12.48	c 12.2s |       8 |    22914 |     5936 |     8964      0 |       32 |        1
14.49/14.53	c 14.3s |       8 |    23880 |     6836 |     8964      0 |       32 |        1
16.19/16.26	c 16.0s |       9 |    24584 |     7506 |     9861      0 |       32 |        1
18.19/18.28	c 18.0s |       9 |    26675 |     8406 |     9861      0 |       32 |        1
20.29/20.36	c 20.1s |       9 |    27671 |     9306 |     9861      0 |       32 |        1
22.49/22.58	c 22.3s |       9 |    28708 |    10206 |     9861      0 |       32 |        1
24.69/24.70	c 24.4s |       9 |    29634 |    11006 |     9861      0 |       32 |        1
25.69/25.78	c 25.5s |      10 |    30044 |    11361 |    10848      0 |       32 |        1
27.89/27.94	c 27.7s |      10 |    32191 |    12261 |    10848      1 |       32 |        1
30.09/30.16	c 29.9s |      10 |    33232 |    13261 |    10848      1 |       32 |        1
32.09/32.17	c 31.9s |      10 |    34196 |    14161 |    10848      1 |       32 |        1
34.19/34.26	c 34.0s |      10 |    35150 |    15061 |    10848      1 |       32 |        1
36.39/36.47	c 36.2s |      10 |    36118 |    15961 |    10848      1 |       32 |        1
38.49/38.52	c 38.3s |      10 |    36882 |    16661 |    10848      1 |       32 |        1
39.69/39.74	c 39.5s |      11 |    37388 |    17144 |    11933      1 |       32 |        1
41.69/41.74	c 41.5s |      11 |    40216 |    18744 |    11933      1 |       32 |        1
43.79/43.86	c 43.6s |      11 |    42054 |    20444 |    11933      1 |       32 |        1
45.79/45.88	c 45.6s |      11 |    43458 |    21744 |    11933      1 |       32 |        1
47.88/48.00	c 47.7s |      11 |    44877 |    23044 |    11933      1 |       32 |        1
50.08/50.11	c 49.9s |      11 |    46279 |    24344 |    11933      1 |       32 |        1
52.08/52.19	c 51.9s |      11 |    47602 |    25544 |    11933      1 |       32 |        1
52.68/52.73	c 52.5s |      12 |    47902 |    25819 |    13127      1 |       32 |        1
54.68/54.75	c 54.5s |      12 |    50119 |    26819 |    13127      2 |       32 |        1
56.68/56.79	c 56.5s |      12 |    51493 |    28119 |    13127      2 |       32 |        1
58.98/59.03	c 58.8s |      12 |    52589 |    29119 |    13127      2 |       32 |        1
61.08/61.18	c 60.9s |      12 |    53585 |    30019 |    13127      2 |       32 |        1
63.18/63.22	c 63.0s |      12 |    54561 |    30919 |    13127      2 |       32 |        1
65.38/65.43	c 65.2s |      12 |    55530 |    31819 |    13127      2 |       32 |        1
67.48/67.50	c 67.2s |      12 |    56421 |    32619 |    13127      2 |       32 |        1
69.68/69.73	c 69.5s |      12 |    57345 |    33419 |    13127      2 |       32 |        1
71.78/71.84	c 71.6s |      12 |    58246 |    34219 |    13127      2 |       32 |        1
73.79/73.89	c 73.6s |      12 |    59016 |    34919 |    13127      2 |       32 |        1
76.18/76.20	c 75.9s |      12 |    59809 |    35619 |    13127      2 |       32 |        1
78.38/78.46	c 78.2s |      12 |    60620 |    36319 |    13127      2 |       32 |        1
80.58/80.62	c 80.4s |      12 |    61566 |    37119 |    13127      2 |       32 |        1
82.68/82.73	c 82.5s |      12 |    62341 |    37819 |    13127      2 |       32 |        1
84.79/84.86	c 84.6s |      12 |    63112 |    38519 |    13127      2 |       32 |        1
85.79/85.83	c 85.6s |      13 |    63466 |    38832 |    14440      2 |       32 |        1
87.78/87.85	c 87.6s |      13 |    66185 |    39532 |    14440      3 |       32 |        1
89.78/89.87	c 89.6s |      13 |    67024 |    40332 |    14440      3 |       32 |        1
91.88/91.93	c 91.7s |      13 |    68085 |    41332 |    14440      3 |       32 |        1
93.98/94.04	c 93.8s |      13 |    69304 |    42432 |    14440      3 |       32 |        1
96.08/96.10	c 95.8s |      13 |    70387 |    43432 |    14440      3 |       32 |        1
98.08/98.17	c 97.9s |      13 |    71487 |    44432 |    14440      3 |       32 |        1
100.28/100.37	c  100s |      13 |    72606 |    45432 |    14440      3 |       32 |        1
102.48/102.56	c  102s |      13 |    73718 |    46432 |    14440      3 |       32 |        1
104.58/104.67	c  104s |      13 |    74685 |    47332 |    14440      3 |       32 |        1
106.68/106.76	c  106s |      13 |    75655 |    48232 |    14440      3 |       32 |        1
108.78/108.87	c  108s |      13 |    76505 |    49032 |    14440      3 |       32 |        1
110.97/111.03	c  110s |      13 |    77371 |    49832 |    14440      3 |       32 |        1
113.17/113.24	c  112s |      13 |    78245 |    50632 |    14440      3 |       32 |        1
115.37/115.42	c  115s |      13 |    79226 |    51532 |    14440      3 |       32 |        1
117.57/117.62	c  117s |      13 |    79998 |    52232 |    14440      4 |       32 |        1
119.67/119.70	c  119s |      13 |    80862 |    53032 |    14440      4 |       32 |        1
121.67/121.74	c  121s |      13 |    81732 |    53832 |    14440      4 |       32 |        1
123.97/124.00	c  123s |      13 |    82606 |    54632 |    14440      4 |       32 |        1
125.97/126.03	c  125s |      13 |    83379 |    55332 |    14440      4 |       32 |        1
127.97/128.07	c  127s |      13 |    84129 |    56032 |    14440      4 |       32 |        1
130.07/130.10	c  129s |      13 |    84941 |    56732 |    14440      4 |       32 |        1
132.27/132.31	c  132s |      13 |    85761 |    57432 |    14440      4 |       32 |        1
134.28/134.38	c  134s |      13 |    86529 |    58132 |    15885      4 |       32 |        1
134.87/134.99	c  134s |      14 |    86781 |    58352 |    15885      4 |       32 |        1
137.07/137.16	c  136s |      14 |    90002 |    58752 |    15885      5 |       32 |        1
139.07/139.17	c  138s |      14 |    90742 |    59452 |    15885      5 |       32 |        1
141.37/141.40	c  141s |      14 |    91835 |    60452 |    15885      5 |       32 |        1
143.47/143.57	c  143s |      14 |    92593 |    61152 |    15885      5 |       32 |        1
145.67/145.72	c  145s |      14 |    93348 |    61852 |    15885      5 |       32 |        1
147.77/147.81	c  147s |      14 |    94190 |    62652 |    15885      5 |       32 |        1
150.07/150.10	c  149s |      14 |    95056 |    63452 |    15885      5 |       32 |        1
152.57/152.66	c  152s |      14 |    95797 |    64152 |    15885      5 |       32 |        1
154.77/154.84	c  154s |      14 |    96228 |    64552 |    15885      5 |       32 |        1
156.97/157.00	c  156s |      14 |    96659 |    64952 |    15885      5 |       32 |        1
159.17/159.22	c  158s |      14 |    97491 |    65752 |    15885      5 |       32 |        1
161.36/161.48	c  161s |      14 |    98232 |    66452 |    15885      5 |       32 |        1
163.76/163.80	c  163s |      14 |    98887 |    67052 |    15885      5 |       32 |        1
165.96/166.01	c  165s |      14 |    99753 |    67852 |    15885      5 |       32 |        1
168.06/168.13	c  167s |      14 |   100493 |    68552 |    15885      5 |       32 |        1
170.26/170.34	c  170s |      14 |   101237 |    69252 |    15885      5 |       32 |        1
172.67/172.71	c  172s |      14 |   101992 |    69952 |    15885      5 |       32 |        1
174.87/174.97	c  174s |      14 |   102621 |    70552 |    15885      5 |       32 |        1
176.96/177.01	c  176s |      14 |   103272 |    71152 |    15885      5 |       32 |        1
179.16/179.29	c  179s |      14 |   104016 |    71852 |    15885      5 |       32 |        1
181.57/181.63	c  181s |      14 |   104772 |    72552 |    15885      5 |       32 |        1
183.77/183.86	c  183s |      14 |   105528 |    73252 |    15885      5 |       32 |        1
185.97/186.09	c  185s |      14 |   106167 |    73852 |    15885      5 |       32 |        1
188.36/188.43	c  188s |      14 |   106789 |    74452 |    15885      5 |       32 |        1
190.66/190.77	c  190s |      14 |   107418 |    75052 |    15885      5 |       32 |        1
192.86/192.96	c  192s |      14 |   107937 |    75552 |    15885      5 |       32 |        1
195.56/195.62	c  195s |      14 |   108455 |    76052 |    15885      6 |       32 |        1
197.86/197.92	c  197s |      14 |   108869 |    76452 |    15885      6 |       32 |        1
199.86/199.94	c  199s |      14 |   109185 |    76752 |    15885      6 |       32 |        1
201.86/201.96	c  201s |      14 |   109915 |    77452 |    15885      6 |       32 |        1
204.06/204.17	c  203s |      14 |   110652 |    78152 |    15885      6 |       32 |        1
206.16/206.21	c  205s |      14 |   111280 |    78752 |    15885      6 |       32 |        1
208.36/208.42	c  208s |      14 |   112029 |    79452 |    15885      6 |       32 |        1
210.36/210.49	c  210s |      14 |   112690 |    80052 |    15885      6 |       32 |        1
212.46/212.54	c  212s |      14 |   113328 |    80652 |    15885      6 |       32 |        1
214.76/214.83	c  214s |      14 |   113965 |    81252 |    15885      6 |       32 |        1
217.06/217.17	c  216s |      14 |   114609 |    81852 |    15885      6 |       32 |        1
219.35/219.49	c  219s |      14 |   115265 |    82452 |    15885      6 |       32 |        1
221.45/221.51	c  221s |      14 |   115793 |    82952 |    15885      6 |       32 |        1
223.55/223.61	c  223s |      14 |   116334 |    83452 |    15885      6 |       32 |        1
225.56/225.62	c  225s |      14 |   116874 |    83952 |    15885      6 |       32 |        1
227.76/227.88	c  227s |      14 |   117505 |    84552 |    15885      6 |       32 |        1
229.75/229.88	c  229s |      14 |   118028 |    85052 |    15885      6 |       32 |        1
231.85/231.99	c  231s |      14 |   118773 |    85752 |    15885      6 |       32 |        1
234.15/234.27	c  234s |      14 |   119410 |    86352 |    15885      6 |       32 |        1
236.25/236.36	c  236s |      14 |   119936 |    86852 |    15885      6 |       32 |        1
238.55/238.63	c  238s |      14 |   120598 |    87452 |    17474      6 |       32 |        1
239.35/239.41	c  239s |      15 |   120782 |    87632 |    17474      6 |       32 |        1
241.35/241.45	c  241s |      15 |   124887 |    87932 |    17474      7 |       32 |        1
243.45/243.50	c  243s |      15 |   125947 |    88832 |    17474      7 |       32 |        1
245.45/245.54	c  245s |      15 |   126828 |    89632 |    17474      7 |       32 |        1
247.56/247.64	c  247s |      15 |   127811 |    90532 |    17474      7 |       32 |        1
249.76/249.82	c  249s |      15 |   128842 |    91432 |    17474      7 |       32 |        1
251.86/251.92	c  251s |      15 |   129878 |    92332 |    17474      7 |       32 |        1
253.95/254.05	c  253s |      15 |   130805 |    93132 |    17474      7 |       32 |        1
256.15/256.25	c  255s |      15 |   131704 |    93932 |    17474      7 |       32 |        1
258.45/258.57	c  258s |      15 |   132363 |    94532 |    17474      7 |       32 |        1
260.75/260.83	c  260s |      15 |   133011 |    95132 |    17474      7 |       32 |        1
262.95/263.06	c  262s |      15 |   133871 |    95932 |    17474      7 |       32 |        1
265.05/265.11	c  264s |      15 |   134648 |    96632 |    17474      7 |       32 |        1
267.14/267.24	c  266s |      15 |   135461 |    97332 |    17474      7 |       32 |        1
269.55/269.61	c  269s |      15 |   136244 |    98032 |    17474      7 |       32 |        1
271.75/271.81	c  271s |      15 |   137611 |    99132 |    17474      7 |       32 |        1
273.95/274.01	c  273s |      15 |   138594 |   100032 |    17474      7 |       32 |        1
276.44/276.50	c  276s |      15 |   139131 |   100532 |    17474      7 |       32 |        1
278.55/278.62	c  278s |      15 |   139589 |   100932 |    17474      7 |       32 |        1
280.75/280.81	c  280s |      15 |   140516 |   101732 |    17474      7 |       32 |        1
282.95/283.04	c  282s |      15 |   141464 |   102532 |    17474      7 |       32 |        1
285.35/285.41	c  285s |      15 |   142102 |   103132 |    17474      7 |       32 |        1
287.55/287.66	c  287s |      15 |   142640 |   103632 |    17474      7 |       32 |        1
289.75/289.82	c  289s |      15 |   142959 |   103932 |    17474      8 |       32 |        1
291.95/292.09	c  291s |      15 |   143520 |   104432 |    17474      8 |       32 |        1
294.25/294.36	c  294s |      15 |   144074 |   104932 |    17474      8 |       32 |        1
296.35/296.43	c  296s |      15 |   144418 |   105232 |    17474      8 |       32 |        1
298.35/298.47	c  298s |      15 |   144750 |   105532 |    17474      8 |       32 |        1
300.75/300.84	c  300s |      15 |   145199 |   105932 |    17474      8 |       32 |        1
302.85/302.99	c  302s |      15 |   145508 |   106232 |    17474      8 |       32 |        1
305.05/305.14	c  304s |      15 |   146044 |   106732 |    17474      8 |       32 |        1
307.15/307.21	c  306s |      15 |   146583 |   107232 |    17474      8 |       32 |        1
309.15/309.27	c  309s |      15 |   147110 |   107732 |    17474      8 |       32 |        1
311.35/311.45	c  311s |      15 |   147783 |   108332 |    17474      8 |       32 |        1
313.64/313.80	c  313s |      15 |   148461 |   108932 |    17474      8 |       32 |        1
315.75/315.83	c  315s |      15 |   149018 |   109432 |    17474      8 |       32 |        1
317.74/317.88	c  317s |      15 |   149676 |   110032 |    17474      8 |       32 |        1
320.05/320.13	c  319s |      15 |   150328 |   110632 |    17474      8 |       32 |        1
322.44/322.55	c  322s |      15 |   150960 |   111232 |    17474      8 |       32 |        1
324.84/324.93	c  324s |      15 |   151614 |   111832 |    17474      8 |       32 |        1
326.94/327.01	c  326s |      15 |   152163 |   112332 |    17474      8 |       32 |        1
329.24/329.34	c  329s |      15 |   152819 |   112932 |    17474      8 |       32 |        1
331.44/331.50	c  331s |      15 |   153387 |   113432 |    17474      8 |       32 |        1
333.74/333.80	c  333s |      15 |   153934 |   113932 |    17474      8 |       32 |        1
335.74/335.82	c  335s |      15 |   154374 |   114332 |    17474      8 |       32 |        1
338.04/338.13	c  337s |      15 |   154922 |   114832 |    17474      8 |       32 |        1
340.24/340.36	c  340s |      15 |   155562 |   115432 |    17474      8 |       32 |        1
342.53/342.63	c  342s |      15 |   156198 |   116032 |    17474      8 |       32 |        1
344.53/344.64	c  344s |      15 |   156739 |   116532 |    17474      8 |       32 |        1
346.63/346.70	c  346s |      15 |   157291 |   117032 |    17474      8 |       32 |        1
348.74/348.85	c  348s |      15 |   157824 |   117532 |    17474      8 |       32 |        1
353.44/353.57	c  353s |      15 |   158271 |   117932 |    17474      9 |       32 |        1
355.54/355.68	c  355s |      15 |   158707 |   118332 |    17474      9 |       32 |        1
357.84/357.95	c  357s |      15 |   159049 |   118632 |    17474      9 |       32 |        1
359.94/360.03	c  359s |      15 |   159579 |   119132 |    17474      9 |       32 |        1
362.03/362.15	c  361s |      15 |   160229 |   119732 |    17474      9 |       32 |        1
364.04/364.17	c  363s |      15 |   160768 |   120232 |    17474      9 |       32 |        1
366.24/366.38	c  366s |      15 |   161312 |   120732 |    17474      9 |       32 |        1
368.93/369.06	c  368s |      15 |   161850 |   121232 |    17474      9 |       32 |        1
371.13/371.27	c  371s |      15 |   162555 |   121832 |    17474      9 |       32 |        1
373.13/373.30	c  373s |      15 |   163296 |   122532 |    17474      9 |       32 |        1
375.43/375.54	c  375s |      15 |   164064 |   123232 |    17474      9 |       32 |        1
377.53/377.68	c  377s |      15 |   164700 |   123832 |    17474      9 |       32 |        1
379.83/379.93	c  379s |      15 |   165568 |   124532 |    17474      9 |       32 |        1
381.93/382.02	c  381s |      15 |   166258 |   125132 |    17474      9 |       32 |        1
384.03/384.12	c  383s |      15 |   166949 |   125732 |    17474      9 |       32 |        1
386.03/386.18	c  385s |      15 |   167689 |   126332 |    17474      9 |       32 |        1
388.33/388.43	c  388s |      15 |   168579 |   127032 |    17474      9 |       32 |        1
390.53/390.67	c  390s |      15 |   169419 |   127732 |    17474      9 |       32 |        1
392.74/392.82	c  392s |      15 |   170104 |   128332 |    17474      9 |       32 |        1
394.84/394.91	c  394s |      15 |   170577 |   128732 |    17474      9 |       32 |        1
396.93/397.07	c  396s |      15 |   171008 |   129132 |    17474      9 |       32 |        1
399.53/399.64	c  399s |      15 |   171442 |   129532 |    17474      9 |       32 |        1
401.83/401.95	c  401s |      15 |   171878 |   129932 |    17474      9 |       32 |        1
404.13/404.27	c  404s |      15 |   172318 |   130332 |    17474      9 |       32 |        1
406.43/406.50	c  406s |      15 |   172756 |   130732 |    19222      9 |       32 |        1
408.63/408.79	c  408s |      15 |   173177 |   131132 |    19222      9 |       32 |        1
411.23/411.31	c  411s |      15 |   173629 |   131532 |    19222      9 |       32 |        1
411.34/411.44	c  411s |      16 |   173646 |   131552 |    19222      9 |       32 |        1
413.54/413.70	c  413s |      16 |   177334 |   131752 |    19222     10 |       32 |        1
415.63/415.78	c  415s |      16 |   178351 |   132652 |    19222     10 |       32 |        1
417.94/418.03	c  417s |      16 |   179212 |   133452 |    19222     10 |       32 |        1
419.93/420.05	c  419s |      16 |   180205 |   134352 |    19222     10 |       32 |        1
422.03/422.11	c  421s |      16 |   180977 |   135052 |    19222     10 |       32 |        1
424.13/424.24	c  423s |      16 |   181599 |   135652 |    19222     10 |       32 |        1
426.13/426.26	c  425s |      16 |   182371 |   136352 |    19222     10 |       32 |        1
428.12/428.27	c  428s |      16 |   182998 |   136952 |    19222     10 |       32 |        1
430.22/430.32	c  430s |      16 |   183640 |   137552 |    19222     10 |       32 |        1
432.42/432.52	c  432s |      16 |   184380 |   138252 |    19222     10 |       32 |        1
434.72/434.88	c  434s |      16 |   185001 |   138852 |    19222     10 |       32 |        1
436.73/436.90	c  436s |      16 |   185658 |   139452 |    19222     10 |       32 |        1
438.93/439.07	c  438s |      16 |   186402 |   140152 |    19222     10 |       32 |        1
441.12/441.24	c  440s |      16 |   187176 |   140852 |    19222     10 |       32 |        1
443.43/443.50	c  443s |      16 |   187922 |   141552 |    19222     10 |       32 |        1
445.33/445.50	c  445s |      16 |   188549 |   142152 |    19222     10 |       32 |        1
447.52/447.63	c  447s |      16 |   189179 |   142752 |    19222     10 |       32 |        1
449.52/449.67	c  449s |      16 |   189941 |   143452 |    19222     10 |       32 |        1
451.72/451.81	c  451s |      16 |   190680 |   144152 |    19222     10 |       32 |        1
453.82/453.99	c  453s |      16 |   191406 |   144852 |    19222     10 |       32 |        1
456.02/456.18	c  455s |      16 |   192135 |   145552 |    19222     10 |       32 |        1
458.32/458.46	c  458s |      16 |   192880 |   146252 |    19222     10 |       32 |        1
460.42/460.56	c  460s |      16 |   193508 |   146852 |    19222     10 |       32 |        1
462.52/462.67	c  462s |      16 |   194131 |   147452 |    19222     10 |       32 |        1
465.62/465.77	c  465s |      16 |   194758 |   148052 |    19222     11 |       32 |        1
468.01/468.11	c  467s |      16 |   195379 |   148652 |    19222     11 |       32 |        1
470.01/470.12	c  469s |      16 |   195890 |   149152 |    19222     11 |       32 |        1
472.31/472.42	c  472s |      16 |   196415 |   149652 |    19222     11 |       32 |        1
474.91/475.00	c  474s |      16 |   196843 |   150052 |    19222     11 |       32 |        1
477.01/477.16	c  476s |      16 |   197362 |   150552 |    19222     11 |       32 |        1
479.41/479.54	c  479s |      16 |   197988 |   151152 |    19222     11 |       32 |        1
481.62/481.75	c  481s |      16 |   198522 |   151652 |    19222     11 |       32 |        1
484.03/484.14	c  483s |      16 |   198944 |   152052 |    19222     11 |       32 |        1
486.02/486.15	c  485s |      16 |   199476 |   152552 |    19222     11 |       32 |        1
488.02/488.19	c  487s |      16 |   200011 |   153052 |    19222     11 |       32 |        1
490.22/490.33	c  490s |      16 |   200532 |   153552 |    19222     11 |       32 |        1
492.32/492.40	c  492s |      16 |   201063 |   154052 |    19222     11 |       32 |        1
494.41/494.57	c  494s |      16 |   201603 |   154552 |    19222     11 |       32 |        1
496.81/496.92	c  496s |      16 |   202132 |   155052 |    19222     11 |       32 |        1
499.11/499.21	c  498s |      16 |   202777 |   155652 |    19222     11 |       32 |        1
501.11/501.24	c  500s |      16 |   203292 |   156152 |    19222     11 |       32 |        1
503.41/503.58	c  503s |      16 |   203925 |   156752 |    19222     11 |       32 |        1
505.81/505.95	c  505s |      16 |   204575 |   157352 |    19222     11 |       32 |        1
507.91/508.07	c  507s |      16 |   205100 |   157852 |    19222     11 |       32 |        1
510.21/510.37	c  510s |      16 |   205735 |   158452 |    19222     11 |       32 |        1
512.71/512.83	c  512s |      16 |   206383 |   159052 |    19222     11 |       32 |        1
514.72/514.84	c  514s |      16 |   206799 |   159452 |    19222     11 |       32 |        1
516.92/517.03	c  516s |      16 |   207331 |   159952 |    19222     11 |       32 |        1
519.22/519.33	c  519s |      16 |   207845 |   160452 |    19222     11 |       32 |        1
521.51/521.62	c  521s |      16 |   208391 |   160952 |    19222     11 |       32 |        1
523.91/524.03	c  523s |      16 |   208915 |   161452 |    19222     11 |       32 |        1
526.41/526.51	c  526s |      16 |   209431 |   161952 |    19222     11 |       32 |        1
528.51/528.63	c  528s |      16 |   209973 |   162452 |    19222     11 |       32 |        1
530.71/530.80	c  530s |      16 |   210599 |   163052 |    19222     11 |       32 |        1
533.61/533.77	c  533s |      16 |   210923 |   163352 |    19222     12 |       32 |        1
536.11/536.20	c  535s |      16 |   211345 |   163752 |    19222     12 |       32 |        1
538.60/538.79	c  538s |      16 |   211765 |   164152 |    19222     12 |       32 |        1
541.11/541.23	c  540s |      16 |   212184 |   164552 |    19222     12 |       32 |        1
543.20/543.40	c  543s |      16 |   212740 |   165052 |    19222     12 |       32 |        1
545.30/545.49	c  545s |      16 |   213381 |   165652 |    19222     12 |       32 |        1
547.71/547.84	c  547s |      16 |   214145 |   166352 |    19222     12 |       32 |        1
549.80/549.98	c  549s |      16 |   214802 |   166952 |    19222     12 |       32 |        1
552.00/552.10	c  551s |      16 |   215477 |   167552 |    19222     12 |       32 |        1
554.21/554.33	c  554s |      16 |   216151 |   168152 |    19222     12 |       32 |        1
556.31/556.41	c  556s |      16 |   216687 |   168652 |    19222     12 |       32 |        1
558.50/558.69	c  558s |      16 |   217255 |   169152 |    19222     12 |       32 |        1
560.80/560.92	c  560s |      16 |   217949 |   169752 |    19222     12 |       32 |        1
562.80/562.98	c  562s |      16 |   218472 |   170252 |    19222     12 |       32 |        1
564.90/565.09	c  564s |      16 |   219018 |   170752 |    19222     12 |       32 |        1
567.30/567.40	c  567s |      16 |   219709 |   171352 |    19222     12 |       32 |        1
569.71/569.81	c  569s |      16 |   220375 |   171952 |    19222     12 |       32 |        1
572.11/572.24	c  571s |      16 |   220922 |   172452 |    19222     12 |       32 |        1
574.21/574.37	c  574s |      16 |   221476 |   172952 |    19222     12 |       32 |        1
576.60/576.70	c  576s |      16 |   222040 |   173452 |    19222     12 |       32 |        1
578.90/579.09	c  578s |      16 |   222588 |   173952 |    19222     12 |       32 |        1
581.40/581.56	c  581s |      16 |   223125 |   174452 |    19222     12 |       32 |        1
583.60/583.71	c  583s |      16 |   223556 |   174852 |    19222     12 |       32 |        1
585.60/585.76	c  585s |      16 |   223978 |   175252 |    19222     12 |       32 |        1
587.70/587.83	c  587s |      16 |   224410 |   175652 |    19222     12 |       32 |        1
590.10/590.27	c  590s |      16 |   224960 |   176152 |    19222     12 |       32 |        1
592.20/592.34	c  592s |      16 |   225378 |   176552 |    19222     12 |       32 |        1
594.30/594.45	c  594s |      16 |   225794 |   176952 |    19222     12 |       32 |        1
596.50/596.68	c  596s |      16 |   226213 |   177352 |    19222     12 |       32 |        1
598.80/599.00	c  598s |      16 |   226632 |   177752 |    19222     12 |       32 |        1
601.20/601.37	c  601s |      16 |   227189 |   178252 |    19222     12 |       32 |        1
603.40/603.53	c  603s |      16 |   227509 |   178552 |    19222     13 |       32 |        1
605.60/605.72	c  605s |      16 |   228065 |   179052 |    19222     13 |       32 |        1
607.80/607.98	c  607s |      16 |   228601 |   179552 |    19222     13 |       32 |        1
610.20/610.37	c  610s |      16 |   229135 |   180052 |    19222     13 |       32 |        1
612.50/612.63	c  612s |      16 |   229664 |   180552 |    19222     13 |       32 |        1
614.50/614.64	c  614s |      16 |   230089 |   180952 |    19222     13 |       32 |        1
617.00/617.14	c  616s |      16 |   230660 |   181452 |    19222     13 |       32 |        1
619.49/619.60	c  619s |      16 |   231198 |   181952 |    19222     13 |       32 |        1
621.59/621.79	c  621s |      16 |   231607 |   182352 |    19222     13 |       32 |        1
623.99/624.14	c  623s |      16 |   232029 |   182752 |    19222     13 |       32 |        1
625.99/626.17	c  625s |      16 |   232468 |   183152 |    19222     13 |       32 |        1
628.19/628.33	c  628s |      16 |   232899 |   183552 |    19222     13 |       32 |        1
630.60/630.77	c  630s |      16 |   233311 |   183952 |    19222     13 |       32 |        1
632.69/632.82	c  632s |      16 |   233747 |   184352 |    19222     13 |       32 |        1
634.70/634.87	c  634s |      16 |   234180 |   184752 |    19222     13 |       32 |        1
636.69/636.87	c  636s |      16 |   234594 |   185152 |    19222     13 |       32 |        1
638.79/638.98	c  638s |      16 |   235028 |   185552 |    19222     13 |       32 |        1
641.09/641.24	c  640s |      16 |   235477 |   185952 |    19222     13 |       32 |        1
643.19/643.34	c  643s |      16 |   235895 |   186352 |    19222     13 |       32 |        1
645.60/645.75	c  645s |      16 |   236312 |   186752 |    19222     13 |       32 |        1
647.99/648.16	c  647s |      16 |   236763 |   187152 |    19222     13 |       32 |        1
650.29/650.49	c  650s |      16 |   237187 |   187552 |    19222     13 |       32 |        1
652.59/652.71	c  652s |      16 |   237608 |   187952 |    19222     13 |       32 |        1
654.69/654.87	c  654s |      16 |   238023 |   188352 |    19222     13 |       32 |        1
656.99/657.11	c  656s |      16 |   238466 |   188752 |    19222     13 |       32 |        1
659.59/659.79	c  659s |      16 |   238910 |   189152 |    19222     13 |       32 |        1
662.09/662.30	c  662s |      16 |   239323 |   189552 |    19222     13 |       32 |        1
664.79/664.90	c  664s |      16 |   239744 |   189952 |    19222     13 |       32 |        1
666.78/666.97	c  666s |      16 |   240059 |   190252 |    19222     13 |       32 |        1
668.79/668.97	c  668s |      16 |   240374 |   190552 |    19222     13 |       32 |        1
671.38/671.54	c  671s |      16 |   240806 |   190952 |    19222     13 |       32 |        1
673.38/673.55	c  673s |      16 |   241127 |   191252 |    19222     13 |       32 |        1
675.99/676.18	c  675s |      16 |   241545 |   191652 |    19222     13 |       32 |        1
678.70/678.89	c  678s |      16 |   241961 |   192052 |    19222     13 |       32 |        1
680.99/681.16	c  680s |      16 |   242271 |   192352 |    19222     13 |       32 |        1
683.00/683.18	c  682s |      16 |   242585 |   192652 |    19222     13 |       32 |        1
685.09/685.25	c  684s |      16 |   242917 |   192952 |    19222     13 |       32 |        1
687.29/687.40	c  687s |      16 |   243236 |   193252 |    19222     13 |       32 |        1
690.39/690.51	c  690s |      16 |   243554 |   193552 |    19222     14 |       32 |        1
692.69/692.88	c  692s |      16 |   243999 |   193952 |    19222     14 |       32 |        1
694.99/695.15	c  694s |      16 |   244330 |   194252 |    19222     14 |       32 |        1
697.29/697.46	c  697s |      16 |   244758 |   194652 |    19222     14 |       32 |        1
699.49/699.64	c  699s |      16 |   245180 |   195052 |    19222     14 |       32 |        1
701.69/701.86	c  701s |      16 |   245603 |   195452 |    19222     14 |       32 |        1
704.08/704.24	c  703s |      16 |   246020 |   195852 |    19222     14 |       32 |        1
706.38/706.55	c  706s |      16 |   246439 |   196252 |    21145     14 |       32 |        1
708.68/708.86	c  708s |      16 |   246860 |   196652 |    21145     14 |       32 |        1
711.48/711.65	c  711s |      16 |   247282 |   197052 |    21145     14 |       32 |        1
713.18/713.30	c  713s |      17 |   247687 |   197432 |    21145     14 |       32 |        1
715.28/715.46	c  715s |      17 |   251596 |   197532 |    21145     14 |       32 |        1
717.48/717.68	c  717s |      17 |   252432 |   198232 |    21145     14 |       32 |        1
719.48/719.68	c  719s |      17 |   253358 |   198932 |    21145     14 |       32 |        1
721.68/721.81	c  721s |      17 |   254337 |   199632 |    21145     14 |       32 |        1
724.08/724.26	c  724s |      17 |   254963 |   200132 |    21145     14 |       32 |        1
726.38/726.59	c  726s |      17 |   255787 |   200732 |    21145     14 |       32 |        1
728.78/728.91	c  728s |      17 |   256589 |   201332 |    21145     14 |       32 |        1
731.08/731.22	c  730s |      17 |   257481 |   202032 |    21145     14 |       32 |        1
733.08/733.25	c  732s |      17 |   258243 |   202632 |    21145     14 |       32 |        1
735.28/735.42	c  735s |      17 |   259050 |   203232 |    21145     14 |       32 |        1
737.27/737.47	c  737s |      17 |   259735 |   203732 |    21145     14 |       32 |        1
739.57/739.77	c  739s |      17 |   260562 |   204432 |    21145     14 |       32 |        1
741.57/741.78	c  741s |      17 |   261152 |   204932 |    21145     14 |       32 |        1
743.97/744.12	c  743s |      17 |   261928 |   205532 |    21145     14 |       32 |        1
745.97/746.19	c  745s |      17 |   262632 |   206032 |    21145     14 |       32 |        1
748.27/748.45	c  748s |      17 |   263448 |   206632 |    21145     14 |       32 |        1
750.58/750.73	c  750s |      17 |   264040 |   207132 |    21145     14 |       32 |        1
752.88/753.09	c  752s |      17 |   264762 |   207632 |    21145     14 |       32 |        1
754.97/755.16	c  754s |      17 |   265276 |   208032 |    21145     14 |       32 |        1
757.07/757.22	c  756s |      17 |   265736 |   208432 |    21145     14 |       32 |        1
759.47/759.63	c  759s |      17 |   266316 |   208932 |    21145     14 |       32 |        1
761.57/761.71	c  761s |      17 |   266791 |   209332 |    21145     14 |       32 |        1
763.97/764.18	c  763s |      17 |   267464 |   209832 |    21145     14 |       32 |        1
766.57/766.76	c  766s |      17 |   268170 |   210332 |    21145     14 |       32 |        1
769.06/769.22	c  768s |      17 |   268677 |   210732 |    21145     14 |       32 |        1
771.36/771.54	c  771s |      17 |   268919 |   210932 |    21145     15 |       32 |        1
773.76/773.95	c  773s |      17 |   269409 |   211332 |    21145     15 |       32 |        1
776.16/776.39	c  776s |      17 |   269889 |   211732 |    21145     15 |       32 |        1
778.66/778.89	c  778s |      17 |   270375 |   212132 |    21145     15 |       32 |        1
781.45/781.61	c  781s |      17 |   270830 |   212532 |    21145     15 |       32 |        1
784.06/784.29	c  784s |      17 |   271285 |   212932 |    21145     15 |       32 |        1
786.26/786.43	c  786s |      17 |   271620 |   213232 |    21145     15 |       32 |        1
788.25/788.49	c  788s |      17 |   271969 |   213532 |    21145     15 |       32 |        1
790.55/790.78	c  790s |      17 |   272304 |   213832 |    21145     15 |       32 |        1
793.06/793.24	c  792s |      17 |   272660 |   214132 |    21145     15 |       32 |        1
795.35/795.54	c  795s |      17 |   273027 |   214432 |    21145     15 |       32 |        1
797.35/797.57	c  797s |      17 |   273380 |   214732 |    21145     15 |       32 |        1
799.44/799.68	c  799s |      17 |   273854 |   215132 |    21145     15 |       32 |        1
801.75/801.98	c  801s |      17 |   274352 |   215532 |    21145     15 |       32 |        1
803.95/804.16	c  803s |      17 |   274858 |   215932 |    21145     15 |       32 |        1
806.44/806.67	c  806s |      17 |   275552 |   216432 |    21145     15 |       32 |        1
808.64/808.83	c  808s |      17 |   276023 |   216832 |    21145     15 |       32 |        1
810.94/811.17	c  810s |      17 |   276585 |   217232 |    21145     15 |       32 |        1
813.34/813.58	c  813s |      17 |   277028 |   217632 |    21145     15 |       32 |        1
815.84/816.07	c  815s |      17 |   277626 |   218132 |    21145     15 |       32 |        1
818.14/818.36	c  818s |      17 |   278120 |   218532 |    21145     15 |       32 |        1
820.44/820.68	c  820s |      17 |   278653 |   218932 |    21145     15 |       32 |        1
822.74/822.95	c  822s |      17 |   279118 |   219332 |    21145     15 |       32 |        1
825.03/825.26	c  824s |      17 |   279601 |   219732 |    21145     15 |       32 |        1
827.04/827.27	c  827s |      17 |   279921 |   220032 |    21145     15 |       32 |        1
829.53/829.74	c  829s |      17 |   280382 |   220432 |    21145     15 |       32 |        1
831.83/832.09	c  831s |      17 |   280854 |   220832 |    21145     15 |       32 |        1
834.23/834.40	c  834s |      17 |   281342 |   221232 |    21145     15 |       32 |        1
836.72/836.97	c  836s |      17 |   281785 |   221632 |    21145     15 |       32 |        1
839.32/839.51	c  839s |      17 |   282130 |   221932 |    21145     15 |       32 |        1
842.02/842.24	c  841s |      17 |   282496 |   222232 |    21145     15 |       32 |        1
844.33/844.54	c  844s |      17 |   282811 |   222532 |    21145     15 |       32 |        1
846.43/846.64	c  846s |      17 |   283149 |   222832 |    21145     15 |       32 |        1
848.83/849.09	c  848s |      17 |   283644 |   223232 |    21145     15 |       32 |        1
851.62/851.80	c  851s |      17 |   284077 |   223632 |    21145     15 |       32 |        1
853.62/853.89	c  853s |      17 |   284409 |   223932 |    21145     15 |       32 |        1
855.73/855.94	c  855s |      17 |   284766 |   224232 |    21145     15 |       32 |        1
857.83/858.04	c  857s |      17 |   285145 |   224532 |    21145     15 |       32 |        1
860.02/860.26	c  860s |      17 |   285466 |   224832 |    21145     15 |       32 |        1
862.71/862.98	c  862s |      17 |   285932 |   225232 |    21145     15 |       32 |        1
864.91/865.10	c  864s |      17 |   286659 |   225832 |    21145     15 |       32 |        1
866.91/867.18	c  866s |      17 |   287488 |   226532 |    21145     15 |       32 |        1
869.31/869.51	c  869s |      17 |   288224 |   227132 |    21145     15 |       32 |        1
871.41/871.69	c  871s |      17 |   288480 |   227332 |    21145     16 |       32 |        1
873.81/874.02	c  873s |      17 |   289140 |   227832 |    21145     16 |       32 |        1
876.01/876.29	c  876s |      17 |   289709 |   228332 |    21145     16 |       32 |        1
878.11/878.38	c  878s |      17 |   290305 |   228832 |    21145     16 |       32 |        1
880.31/880.51	c  880s |      17 |   290919 |   229332 |    21145     16 |       32 |        1
882.70/882.97	c  882s |      17 |   291664 |   229932 |    21145     16 |       32 |        1
884.90/885.18	c  884s |      17 |   292457 |   230532 |    21145     16 |       32 |        1
887.10/887.38	c  887s |      17 |   293078 |   231032 |    21145     16 |       32 |        1
889.30/889.54	c  889s |      17 |   293779 |   231632 |    21145     16 |       32 |        1
891.30/891.57	c  891s |      17 |   294372 |   232132 |    21145     16 |       32 |        1
893.50/893.70	c  893s |      17 |   294953 |   232632 |    21145     16 |       32 |        1
895.70/895.90	c  895s |      17 |   295587 |   233132 |    21145     16 |       32 |        1
897.80/898.05	c  897s |      17 |   296165 |   233632 |    21145     16 |       32 |        1
900.10/900.33	c  900s |      17 |   296767 |   234132 |    21145     16 |       32 |        1
902.60/902.82	c  902s |      17 |   297338 |   234632 |    21145     16 |       32 |        1
904.60/904.88	c  904s |      17 |   297835 |   235032 |    21145     16 |       32 |        1
907.59/907.84	c  907s |      17 |   298327 |   235432 |    21145     16 |       32 |        1
909.79/910.06	c  909s |      17 |   298909 |   235932 |    21145     16 |       32 |        1
912.19/912.48	c  912s |      17 |   299509 |   236432 |    21145     16 |       32 |        1
914.69/914.96	c  914s |      17 |   300162 |   236932 |    21145     16 |       32 |        1
916.89/917.10	c  916s |      17 |   300611 |   237332 |    21145     16 |       32 |        1
918.99/919.24	c  918s |      17 |   301120 |   237732 |    21145     16 |       32 |        1
920.99/921.25	c  920s |      17 |   301573 |   238132 |    21145     16 |       32 |        1
923.09/923.34	c  923s |      17 |   302058 |   238532 |    21145     16 |       32 |        1
925.19/925.46	c  925s |      17 |   302589 |   238932 |    21145     16 |       32 |        1
927.59/927.88	c  927s |      17 |   303205 |   239432 |    21145     16 |       32 |        1
930.09/930.34	c  930s |      17 |   303830 |   239932 |    21145     16 |       32 |        1
932.29/932.56	c  932s |      17 |   304370 |   240332 |    21145     16 |       32 |        1
935.49/935.77	c  935s |      17 |   304857 |   240732 |    21145     16 |       32 |        1
937.48/937.77	c  937s |      17 |   305066 |   240932 |    21145     16 |       32 |        1
939.48/939.78	c  939s |      17 |   305292 |   241132 |    21145     16 |       32 |        1
942.08/942.38	c  942s |      17 |   305653 |   241432 |    21145     16 |       32 |        1
944.58/944.82	c  944s |      17 |   306121 |   241832 |    21145     16 |       32 |        1
946.58/946.85	c  946s |      17 |   306468 |   242132 |    21145     16 |       32 |        1
948.68/948.90	c  948s |      17 |   306839 |   242432 |    21145     16 |       32 |        1
950.78/951.01	c  950s |      17 |   307200 |   242732 |    21145     16 |       32 |        1
952.88/953.14	c  952s |      17 |   307542 |   243032 |    21145     16 |       32 |        1
954.99/955.29	c  955s |      17 |   307860 |   243332 |    21145     16 |       32 |        1
958.59/958.83	c  958s |      17 |   308200 |   243632 |    21145     17 |       32 |        1
960.88/961.16	c  960s |      17 |   308646 |   244032 |    21145     17 |       32 |        1
962.98/963.27	c  963s |      17 |   309005 |   244332 |    21145     17 |       32 |        1
965.28/965.53	c  965s |      17 |   309433 |   244732 |    21145     17 |       32 |        1
967.48/967.70	c  967s |      17 |   309884 |   245132 |    21145     17 |       32 |        1
969.98/970.30	c  970s |      17 |   310346 |   245532 |    21145     17 |       32 |        1
972.07/972.38	c  972s |      17 |   310881 |   245932 |    21145     17 |       32 |        1
974.39/974.68	c  974s |      17 |   311367 |   246332 |    21145     17 |       32 |        1
976.78/977.07	c  976s |      17 |   311824 |   246732 |    21145     17 |       32 |        1
979.27/979.51	c  979s |      17 |   312307 |   247132 |    21145     17 |       32 |        1
981.47/981.74	c  981s |      17 |   312823 |   247532 |    21145     17 |       32 |        1
983.97/984.28	c  984s |      17 |   313273 |   247932 |    21145     17 |       32 |        1
986.27/986.53	c  986s |      17 |   313646 |   248232 |    21145     17 |       32 |        1
988.77/989.00	c  988s |      17 |   314211 |   248732 |    21145     17 |       32 |        1
990.97/991.26	c  991s |      17 |   314663 |   249132 |    21145     17 |       32 |        1
993.36/993.66	c  993s |      17 |   315292 |   249632 |    21145     17 |       32 |        1
995.46/995.72	c  995s |      17 |   315784 |   250032 |    21145     17 |       32 |        1
997.57/997.86	c  997s |      17 |   316334 |   250532 |    21145     17 |       32 |        1
999.67/999.98	c  999s |      17 |   317072 |   251132 |    21145     17 |       32 |        1
1001.97/1002.25	c 1001s |      17 |   317711 |   251732 |    21145     17 |       32 |        1
1004.17/1004.45	c 1004s |      17 |   318275 |   252232 |    21145     17 |       32 |        1
1006.37/1006.64	c 1006s |      17 |   318823 |   252732 |    21145     17 |       32 |        1
1008.66/1008.90	c 1008s |      17 |   319385 |   253232 |    21145     17 |       32 |        1
1010.96/1011.23	c 1010s |      17 |   319965 |   253732 |    21145     17 |       32 |        1
1012.97/1013.25	c 1012s |      17 |   320537 |   254232 |    21145     17 |       32 |        1
1015.17/1015.42	c 1015s |      17 |   321076 |   254732 |    21145     17 |       32 |        1
1017.37/1017.69	c 1017s |      17 |   321600 |   255232 |    21145     17 |       32 |        1
1019.57/1019.83	c 1019s |      17 |   322126 |   255732 |    21145     17 |       32 |        1
1021.96/1022.22	c 1021s |      17 |   322733 |   256232 |    21145     17 |       32 |        1
1023.97/1024.28	c 1024s |      17 |   323365 |   256732 |    21145     17 |       32 |        1
1026.26/1026.58	c 1026s |      17 |   323976 |   257232 |    21145     17 |       32 |        1
1028.76/1029.02	c 1028s |      17 |   324540 |   257732 |    21145     17 |       32 |        1
1030.76/1031.08	c 1030s |      17 |   325050 |   258132 |    21145     17 |       32 |        1
1033.16/1033.47	c 1033s |      17 |   325676 |   258632 |    21145     17 |       32 |        1
1035.25/1035.57	c 1035s |      17 |   326126 |   259032 |    21145     17 |       32 |        1
1037.35/1037.64	c 1037s |      17 |   326576 |   259432 |    21145     17 |       32 |        1
1039.45/1039.76	c 1039s |      17 |   327009 |   259832 |    21145     17 |       32 |        1
1042.25/1042.56	c 1042s |      17 |   327223 |   260032 |    21145     18 |       32 |        1
1044.35/1044.60	c 1044s |      17 |   327667 |   260432 |    21145     18 |       32 |        1
1046.65/1046.96	c 1046s |      17 |   328133 |   260832 |    21145     18 |       32 |        1
1048.75/1049.06	c 1048s |      17 |   328706 |   261332 |    21145     18 |       32 |        1
1051.05/1051.38	c 1051s |      17 |   329250 |   261832 |    21145     18 |       32 |        1
1054.35/1054.60	c 1054s |      17 |   329499 |   262032 |    21145     18 |       32 |        1
1056.45/1056.70	c 1056s |      17 |   330082 |   262532 |    21145     18 |       32 |        1
1058.45/1058.79	c 1058s |      17 |   330645 |   263032 |    21145     18 |       32 |        1
1060.85/1061.18	c 1060s |      17 |   331312 |   263632 |    21145     18 |       32 |        1
1063.15/1063.40	c 1063s |      17 |   331891 |   264132 |    21145     18 |       32 |        1
1065.25/1065.58	c 1065s |      17 |   332451 |   264632 |    21145     18 |       32 |        1
1067.54/1067.88	c 1067s |      17 |   333072 |   265132 |    21145     18 |       32 |        1
1069.84/1070.10	c 1069s |      17 |   333620 |   265632 |    21145     18 |       32 |        1
1071.84/1072.11	c 1071s |      17 |   334083 |   266032 |    21145     18 |       32 |        1
1073.84/1074.18	c 1073s |      17 |   334572 |   266432 |    21145     18 |       32 |        1
1076.15/1076.47	c 1076s |      17 |   335143 |   266932 |    21145     18 |       32 |        1
1078.34/1078.64	c 1078s |      17 |   335685 |   267432 |    21145     18 |       32 |        1
1080.64/1080.93	c 1080s |      17 |   336291 |   267932 |    21145     18 |       32 |        1
1082.94/1083.21	c 1082s |      17 |   336853 |   268432 |    21145     18 |       32 |        1
1084.94/1085.27	c 1085s |      17 |   337318 |   268832 |    21145     18 |       32 |        1
1087.44/1087.75	c 1087s |      17 |   337878 |   269332 |    21145     18 |       32 |        1
1089.44/1089.78	c 1089s |      17 |   338350 |   269732 |    21145     18 |       32 |        1
1091.94/1092.26	c 1092s |      17 |   338895 |   270232 |    21145     18 |       32 |        1
1094.24/1094.54	c 1094s |      17 |   339344 |   270632 |    21145     18 |       32 |        1
1096.34/1096.70	c 1096s |      17 |   339840 |   271032 |    21145     18 |       32 |        1
1098.74/1099.07	c 1098s |      17 |   340285 |   271432 |    21145     18 |       32 |        1
1101.13/1101.49	c 1101s |      17 |   340747 |   271832 |    21145     18 |       32 |        1
1103.33/1103.63	c 1103s |      17 |   341225 |   272232 |    21145     18 |       32 |        1
1105.53/1105.80	c 1105s |      17 |   341698 |   272632 |    21145     18 |       32 |        1
1107.73/1108.08	c 1107s |      17 |   342147 |   273032 |    21145     18 |       32 |        1
1110.13/1110.40	c 1110s |      17 |   342578 |   273432 |    21145     18 |       32 |        1
1112.43/1112.75	c 1112s |      17 |   343025 |   273832 |    21145     18 |       32 |        1
1114.53/1114.85	c 1114s |      17 |   343474 |   274232 |    21145     18 |       32 |        1
1116.73/1117.03	c 1116s |      17 |   343929 |   274632 |    21145     18 |       32 |        1
1118.73/1119.06	c 1118s |      17 |   344396 |   275032 |    21145     18 |       32 |        1
1120.92/1121.26	c 1121s |      17 |   344877 |   275432 |    21145     18 |       32 |        1
1123.02/1123.32	c 1123s |      17 |   345316 |   275832 |    21145     18 |       32 |        1
1126.62/1126.96	c 1126s |      17 |   345796 |   276232 |    21145     19 |       32 |        1
1129.12/1129.40	c 1129s |      17 |   346269 |   276632 |    21145     19 |       32 |        1
1131.12/1131.48	c 1131s |      17 |   346745 |   277032 |    21145     19 |       32 |        1
1133.22/1133.55	c 1133s |      17 |   347208 |   277432 |    21145     19 |       32 |        1
1135.22/1135.58	c 1135s |      17 |   347691 |   277832 |    21145     19 |       32 |        1
1137.52/1137.84	c 1137s |      17 |   348293 |   278332 |    21145     19 |       32 |        1
1139.82/1140.14	c 1139s |      17 |   348900 |   278832 |    21145     19 |       32 |        1
1142.22/1142.54	c 1142s |      17 |   349487 |   279332 |    21145     19 |       32 |        1
1144.42/1144.75	c 1144s |      17 |   349956 |   279732 |    21145     19 |       32 |        1
1146.71/1147.00	c 1146s |      17 |   350397 |   280132 |    21145     19 |       32 |        1
1148.91/1149.28	c 1149s |      17 |   350903 |   280532 |    21145     19 |       32 |        1
1151.11/1151.43	c 1151s |      17 |   351393 |   280932 |    21145     19 |       32 |        1
1153.52/1153.85	c 1153s |      17 |   351869 |   281332 |    21145     19 |       32 |        1
1155.82/1156.11	c 1155s |      17 |   352338 |   281732 |    21145     19 |       32 |        1
1158.21/1158.53	c 1158s |      17 |   352932 |   282232 |    21145     19 |       32 |        1
1160.61/1160.94	c 1160s |      17 |   353512 |   282732 |    21145     19 |       32 |        1
1162.61/1162.98	c 1162s |      17 |   353992 |   283132 |    21145     19 |       32 |        1
1164.81/1165.13	c 1164s |      17 |   354447 |   283532 |    21145     19 |       32 |        1
1166.82/1167.17	c 1166s |      17 |   354900 |   283932 |    21145     19 |       32 |        1
1168.91/1169.27	c 1169s |      17 |   355363 |   284332 |    21145     19 |       32 |        1
1170.91/1171.28	c 1171s |      17 |   355878 |   284732 |    21145     19 |       32 |        1
1173.11/1173.42	c 1173s |      17 |   356419 |   285132 |    21145     19 |       32 |        1
1175.30/1175.61	c 1175s |      17 |   356993 |   285532 |    21145     19 |       32 |        1
1177.60/1177.96	c 1177s |      17 |   357435 |   285932 |    21145     19 |       32 |        1
1179.90/1180.21	c 1179s |      17 |   357888 |   286332 |    21145     19 |       32 |        1
1182.31/1182.68	c 1182s |      17 |   358328 |   286732 |    21145     19 |       32 |        1
1184.80/1185.19	c 1184s |      17 |   358556 |   286932 |    21145     19 |       32 |        1
1187.30/1187.62	c 1187s |      17 |   359080 |   287432 |    21145     19 |       32 |        1
1189.70/1190.09	c 1189s |      17 |   359618 |   287832 |    21145     19 |       32 |        1
1191.89/1192.22	c 1191s |      17 |   360088 |   288232 |    21145     19 |       32 |        1
1194.09/1194.43	c 1194s |      17 |   360546 |   288632 |    21145     19 |       32 |        1
1196.60/1196.92	c 1196s |      17 |   361092 |   289032 |    21145     19 |       32 |        1
1198.99/1199.35	c 1199s |      17 |   361593 |   289432 |    21145     19 |       32 |        1
1201.19/1201.53	c 1201s |      17 |   362043 |   289832 |    21145     19 |       32 |        1
1203.39/1203.77	c 1203s |      17 |   362497 |   290232 |    21145     19 |       32 |        1
1205.69/1206.08	c 1205s |      17 |   362960 |   290632 |    21145     19 |       32 |        1
1208.09/1208.43	c 1208s |      17 |   363426 |   291032 |    21145     19 |       32 |        1
1210.49/1210.87	c 1210s |      17 |   363878 |   291432 |    21145     19 |       32 |        1
1212.59/1212.95	c 1212s |      17 |   364228 |   291732 |    21145     19 |       32 |        1
1214.69/1215.00	c 1214s |      17 |   364575 |   292032 |    21145     19 |       32 |        1
1217.19/1217.58	c 1217s |      17 |   365010 |   292432 |    21145     19 |       32 |        1
1219.99/1220.34	c 1220s |      17 |   365222 |   292632 |    21145     20 |       32 |        1
1222.49/1222.87	c 1222s |      17 |   365647 |   293032 |    21145     20 |       32 |        1
1224.58/1224.93	c 1224s |      17 |   365979 |   293332 |    21145     20 |       32 |        1
1227.08/1227.40	c 1227s |      17 |   366438 |   293732 |    21145     20 |       32 |        1
1229.48/1229.90	c 1229s |      17 |   366884 |   294132 |    21145     20 |       32 |        1
1231.97/1232.36	c 1232s |      17 |   367347 |   294532 |    23260     20 |       32 |        1
1234.38/1234.72	c 1234s |      17 |   367870 |   294932 |    23260     20 |       32 |        1
1236.58/1236.97	c 1236s |      17 |   368373 |   295332 |    23260     20 |       32 |        1
1238.98/1239.35	c 1239s |      17 |   368812 |   295732 |    23260     20 |       32 |        1
1241.38/1241.79	c 1241s |      17 |   369370 |   296232 |    23260     20 |       32 |        1
1241.48/1241.89	c 1241s |      18 |   369386 |   296252 |    23260     20 |       32 |        1
1243.79/1244.13	c 1243s |      18 |   374435 |   296752 |    23260     20 |       32 |        1
1245.78/1246.17	c 1245s |      18 |   375121 |   297352 |    23260     20 |       32 |        1
1248.08/1248.44	c 1248s |      18 |   375804 |   297952 |    23260     20 |       32 |        1
1250.18/1250.51	c 1250s |      18 |   376603 |   298652 |    23260     20 |       32 |        1
1252.28/1252.64	c 1252s |      18 |   377206 |   299152 |    23260     20 |       32 |        1
1254.38/1254.78	c 1254s |      18 |   377782 |   299652 |    23260     20 |       32 |        1
1256.78/1257.17	c 1256s |      18 |   378741 |   300352 |    23260     20 |       32 |        1
1259.07/1259.42	c 1259s |      18 |   379450 |   300952 |    23260     20 |       32 |        1
1261.27/1261.62	c 1261s |      18 |   380184 |   301552 |    23260     20 |       32 |        1
1263.58/1263.99	c 1263s |      18 |   380892 |   302152 |    23260     20 |       32 |        1
1265.67/1266.06	c 1265s |      18 |   381655 |   302752 |    23260     20 |       32 |        1
1267.87/1268.24	c 1267s |      18 |   382348 |   303352 |    23260     20 |       32 |        1
1270.18/1270.55	c 1270s |      18 |   383004 |   303952 |    23260     20 |       32 |        1
1272.27/1272.67	c 1272s |      18 |   383574 |   304452 |    23260     20 |       32 |        1
1274.27/1274.69	c 1274s |      18 |   384050 |   304852 |    23260     20 |       32 |        1
1276.37/1276.75	c 1276s |      18 |   384496 |   305252 |    23260     20 |       32 |        1
1278.76/1279.16	c 1278s |      18 |   385099 |   305752 |    23260     20 |       32 |        1
1281.06/1281.41	c 1281s |      18 |   385703 |   306252 |    23260     20 |       32 |        1
1283.06/1283.42	c 1283s |      18 |   386222 |   306652 |    23260     20 |       32 |        1
1285.36/1285.70	c 1285s |      18 |   386845 |   307152 |    23260     20 |       32 |        1
1287.36/1287.71	c 1287s |      18 |   387295 |   307552 |    23260     20 |       32 |        1
1289.36/1289.73	c 1289s |      18 |   387970 |   308052 |    23260     20 |       32 |        1
1291.56/1291.93	c 1291s |      18 |   388607 |   308552 |    23260     20 |       32 |        1
1293.56/1293.96	c 1293s |      18 |   389078 |   308952 |    23260     20 |       32 |        1
1295.66/1296.05	c 1295s |      18 |   389521 |   309352 |    23260     20 |       32 |        1
1298.16/1298.54	c 1298s |      18 |   390129 |   309852 |    23260     20 |       32 |        1
1300.46/1300.85	c 1300s |      18 |   390821 |   310352 |    23260     20 |       32 |        1
1302.76/1303.11	c 1302s |      18 |   391089 |   310552 |    23260     21 |       32 |        1
1304.86/1305.27	c 1305s |      18 |   391560 |   310952 |    23260     21 |       32 |        1
1306.96/1307.38	c 1307s |      18 |   392079 |   311352 |    23260     21 |       32 |        1
1309.16/1309.50	c 1309s |      18 |   392550 |   311752 |    23260     21 |       32 |        1
1311.15/1311.57	c 1311s |      18 |   393049 |   312152 |    23260     21 |       32 |        1
1313.55/1313.93	c 1313s |      18 |   393495 |   312552 |    23260     21 |       32 |        1
1315.85/1316.21	c 1315s |      18 |   393998 |   312952 |    23260     21 |       32 |        1
1318.25/1318.70	c 1318s |      18 |   394449 |   313352 |    23260     21 |       32 |        1
1320.35/1320.79	c 1320s |      18 |   394985 |   313752 |    23260     21 |       32 |        1
1322.85/1323.23	c 1322s |      18 |   395529 |   314252 |    23260     21 |       32 |        1
1324.95/1325.31	c 1325s |      18 |   395980 |   314652 |    23260     21 |       32 |        1
1327.15/1327.58	c 1327s |      18 |   396441 |   315052 |    23260     21 |       32 |        1
1329.24/1329.65	c 1329s |      18 |   396921 |   315452 |    23260     21 |       32 |        1
1331.34/1331.74	c 1331s |      18 |   397415 |   315852 |    23260     21 |       32 |        1
1333.34/1333.78	c 1333s |      18 |   397893 |   316252 |    23260     21 |       32 |        1
1335.84/1336.29	c 1336s |      18 |   398482 |   316752 |    23260     21 |       32 |        1
1338.35/1338.73	c 1338s |      18 |   399072 |   317252 |    23260     21 |       32 |        1
1340.55/1341.00	c 1340s |      18 |   399515 |   317652 |    23260     21 |       32 |        1
1342.64/1343.08	c 1342s |      18 |   399975 |   318052 |    23260     21 |       32 |        1
1345.05/1345.48	c 1345s |      18 |   400434 |   318452 |    23260     21 |       32 |        1
1347.34/1347.70	c 1347s |      18 |   400885 |   318852 |    23260     21 |       32 |        1
1349.64/1350.04	c 1349s |      18 |   401316 |   319252 |    23260     21 |       32 |        1
1351.94/1352.35	c 1352s |      18 |   401773 |   319652 |    23260     21 |       32 |        1
1354.04/1354.49	c 1354s |      18 |   402238 |   320052 |    23260     21 |       32 |        1
1356.23/1356.64	c 1356s |      18 |   402700 |   320452 |    23260     21 |       32 |        1
1358.43/1358.84	c 1358s |      18 |   403140 |   320852 |    23260     21 |       32 |        1
1360.83/1361.27	c 1361s |      18 |   403608 |   321252 |    23260     21 |       32 |        1
1363.04/1363.47	c 1363s |      18 |   404050 |   321652 |    23260     21 |       32 |        1
1365.53/1365.92	c 1365s |      18 |   404523 |   322052 |    23260     21 |       32 |        1
1367.73/1368.12	c 1367s |      18 |   405023 |   322452 |    23260     21 |       32 |        1
1369.83/1370.27	c 1370s |      18 |   405464 |   322852 |    23260     21 |       32 |        1
1372.13/1372.56	c 1372s |      18 |   406056 |   323352 |    23260     21 |       32 |        1
1374.63/1375.08	c 1374s |      18 |   406615 |   323852 |    23260     21 |       32 |        1
1376.73/1377.13	c 1376s |      18 |   407147 |   324252 |    23260     21 |       32 |        1
1379.22/1379.60	c 1379s |      18 |   407755 |   324752 |    23260     21 |       32 |        1
1381.33/1381.73	c 1381s |      18 |   408243 |   325152 |    23260     21 |       32 |        1
1383.53/1383.95	c 1383s |      18 |   408689 |   325552 |    23260     21 |       32 |        1
1386.13/1386.58	c 1386s |      18 |   409134 |   325952 |    23260     21 |       32 |        1
1388.63/1389.04	c 1388s |      18 |   409613 |   326352 |    23260     21 |       32 |        1
1391.14/1391.55	c 1391s |      18 |   410082 |   326752 |    23260     21 |       32 |        1
1393.44/1393.82	c 1393s |      18 |   410575 |   327152 |    23260     21 |       32 |        1
1395.83/1396.28	c 1396s |      18 |   411069 |   327552 |    23260     21 |       32 |        1
1398.43/1398.88	c 1398s |      18 |   411340 |   327752 |    23260     22 |       32 |        1
1400.73/1401.19	c 1400s |      18 |   411840 |   328152 |    23260     22 |       32 |        1
1403.33/1403.74	c 1403s |      18 |   412282 |   328552 |    23260     22 |       32 |        1
1405.53/1405.95	c 1405s |      18 |   412774 |   328952 |    23260     22 |       32 |        1
1408.23/1408.68	c 1408s |      18 |   413279 |   329352 |    23260     22 |       32 |        1
1410.33/1410.79	c 1410s |      18 |   413739 |   329752 |    23260     22 |       32 |        1
1412.73/1413.12	c 1412s |      18 |   414329 |   330252 |    23260     22 |       32 |        1
1415.12/1415.50	c 1415s |      18 |   414936 |   330752 |    23260     22 |       32 |        1
1417.53/1417.92	c 1417s |      18 |   415542 |   331252 |    23260     22 |       32 |        1
1419.83/1420.28	c 1420s |      18 |   416137 |   331752 |    23260     22 |       32 |        1
1422.03/1422.41	c 1422s |      18 |   416632 |   332152 |    23260     22 |       32 |        1
1424.42/1424.83	c 1424s |      18 |   417225 |   332652 |    23260     22 |       32 |        1
1426.92/1427.32	c 1427s |      18 |   417823 |   333152 |    23260     22 |       32 |        1
1428.92/1429.32	c 1429s |      18 |   418279 |   333552 |    23260     22 |       32 |        1
1431.02/1431.42	c 1431s |      18 |   418759 |   333952 |    23260     22 |       32 |        1
1433.32/1433.75	c 1433s |      18 |   419364 |   334452 |    23260     22 |       32 |        1
1435.42/1435.80	c 1435s |      18 |   419815 |   334852 |    23260     22 |       32 |        1
1437.42/1437.81	c 1437s |      18 |   420293 |   335252 |    23260     22 |       32 |        1
1439.42/1439.88	c 1439s |      18 |   420771 |   335652 |    23260     22 |       32 |        1
1441.52/1441.97	c 1441s |      18 |   421222 |   336052 |    23260     22 |       32 |        1
1443.92/1444.32	c 1444s |      18 |   421641 |   336452 |    23260     22 |       32 |        1
1446.02/1446.44	c 1446s |      18 |   422130 |   336852 |    23260     22 |       32 |        1
1448.21/1448.67	c 1448s |      18 |   422575 |   337252 |    23260     22 |       32 |        1
1450.21/1450.69	c 1450s |      18 |   423015 |   337652 |    23260     22 |       32 |        1
1452.41/1452.87	c 1452s |      18 |   423461 |   338052 |    23260     22 |       32 |        1
1454.71/1455.19	c 1454s |      18 |   423925 |   338452 |    23260     22 |       32 |        1
1457.01/1457.41	c 1457s |      18 |   424412 |   338852 |    23260     22 |       32 |        1
1459.31/1459.74	c 1459s |      18 |   424881 |   339252 |    23260     22 |       32 |        1
1461.71/1462.19	c 1461s |      18 |   425360 |   339652 |    23260     22 |       32 |        1
1464.01/1464.50	c 1464s |      18 |   425811 |   340052 |    23260     22 |       32 |        1
1466.42/1466.81	c 1466s |      18 |   426277 |   340452 |    23260     22 |       32 |        1
1468.61/1469.02	c 1468s |      18 |   426715 |   340852 |    23260     22 |       32 |        1
1470.71/1471.10	c 1470s |      18 |   427146 |   341252 |    23260     22 |       32 |        1
1473.11/1473.55	c 1473s |      18 |   427593 |   341652 |    23260     22 |       32 |        1
1475.21/1475.61	c 1475s |      18 |   427949 |   341952 |    23260     22 |       32 |        1
1477.71/1478.16	c 1477s |      18 |   428408 |   342352 |    23260     22 |       32 |        1
1479.71/1480.17	c 1479s |      18 |   428793 |   342652 |    23260     22 |       32 |        1
1481.70/1482.19	c 1481s |      18 |   429145 |   342952 |    23260     22 |       32 |        1
1484.21/1484.65	c 1484s |      18 |   429622 |   343352 |    23260     22 |       32 |        1
1486.70/1487.16	c 1486s |      18 |   430068 |   343752 |    23260     22 |       32 |        1
1489.20/1489.67	c 1489s |      18 |   430533 |   344152 |    23260     22 |       32 |        1
1491.60/1492.05	c 1491s |      18 |   430976 |   344552 |    23260     22 |       32 |        1
1495.00/1495.47	c 1495s |      18 |   431304 |   344852 |    23260     23 |       32 |        1
1497.30/1497.71	c 1497s |      18 |   431638 |   345152 |    23260     23 |       32 |        1
1499.50/1499.97	c 1499s |      18 |   432084 |   345552 |    23260     23 |       32 |        1
1501.69/1502.17	c 1501s |      18 |   432542 |   345952 |    23260     23 |       32 |        1
1504.20/1504.64	c 1504s |      18 |   432993 |   346352 |    23260     23 |       32 |        1
1506.80/1507.23	c 1506s |      18 |   433417 |   346752 |    23260     23 |       32 |        1
1508.91/1509.36	c 1509s |      18 |   433691 |   346952 |    23260     23 |       32 |        1
1511.29/1511.70	c 1511s |      18 |   433808 |   347052 |    23260     23 |       32 |        1
1513.50/1513.96	c 1513s |      18 |   434390 |   347552 |    23260     23 |       32 |        1
1515.80/1516.26	c 1515s |      18 |   435017 |   348052 |    23260     23 |       32 |        1
1518.20/1518.60	c 1518s |      18 |   435652 |   348552 |    23260     23 |       32 |        1
1520.50/1520.96	c 1520s |      18 |   436271 |   349052 |    23260     23 |       32 |        1
1523.00/1523.46	c 1523s |      18 |   436870 |   349552 |    23260     23 |       32 |        1
1525.20/1525.63	c 1525s |      18 |   437361 |   349952 |    23260     23 |       32 |        1
1527.29/1527.70	c 1527s |      18 |   437820 |   350352 |    23260     23 |       32 |        1
1529.39/1529.86	c 1529s |      18 |   438277 |   350752 |    23260     23 |       32 |        1
1531.79/1532.23	c 1531s |      18 |   438739 |   351152 |    23260     23 |       32 |        1
1533.99/1534.40	c 1534s |      18 |   439418 |   351652 |    23260     23 |       32 |        1
1536.30/1536.77	c 1536s |      18 |   439994 |   352152 |    23260     23 |       32 |        1
1538.79/1539.28	c 1539s |      18 |   440620 |   352652 |    23260     23 |       32 |        1
1540.89/1541.35	c 1541s |      18 |   441047 |   353052 |    23260     23 |       32 |        1
1543.00/1543.48	c 1543s |      18 |   441469 |   353452 |    23260     23 |       32 |        1
1545.29/1545.70	c 1545s |      18 |   441980 |   353852 |    23260     23 |       32 |        1
1547.58/1548.09	c 1547s |      18 |   442458 |   354252 |    23260     23 |       32 |        1
1549.98/1550.43	c 1550s |      18 |   442943 |   354652 |    23260     23 |       32 |        1
1551.98/1552.44	c 1552s |      18 |   443275 |   354952 |    23260     23 |       32 |        1
1554.48/1554.95	c 1554s |      18 |   443738 |   355352 |    23260     23 |       32 |        1
1556.98/1557.48	c 1557s |      18 |   444216 |   355752 |    23260     23 |       32 |        1
1559.39/1559.87	c 1559s |      18 |   444672 |   356152 |    23260     23 |       32 |        1
1561.69/1562.17	c 1561s |      18 |   445117 |   356552 |    23260     23 |       32 |        1
1564.08/1564.58	c 1564s |      18 |   445556 |   356952 |    23260     23 |       32 |        1
1566.49/1566.93	c 1566s |      18 |   446042 |   357352 |    23260     23 |       32 |        1
1569.08/1569.58	c 1569s |      18 |   446488 |   357752 |    23260     23 |       32 |        1
1571.18/1571.64	c 1571s |      18 |   446842 |   358052 |    23260     23 |       32 |        1
1573.58/1574.04	c 1573s |      18 |   447335 |   358452 |    23260     23 |       32 |        1
1575.89/1576.31	c 1576s |      18 |   447775 |   358852 |    23260     23 |       32 |        1
1578.38/1578.82	c 1578s |      18 |   448236 |   359252 |    23260     23 |       32 |        1
1580.77/1581.27	c 1581s |      18 |   448686 |   359652 |    23260     23 |       32 |        1
1583.07/1583.59	c 1583s |      18 |   449132 |   360052 |    23260     23 |       32 |        1
1585.48/1585.92	c 1585s |      18 |   449580 |   360452 |    23260     23 |       32 |        1
1587.98/1588.45	c 1588s |      18 |   450033 |   360852 |    23260     23 |       32 |        1
1590.47/1590.97	c 1590s |      18 |   450485 |   361252 |    23260     23 |       32 |        1
1592.68/1593.15	c 1592s |      18 |   450821 |   361552 |    23260     23 |       32 |        1
1594.77/1595.26	c 1594s |      18 |   451153 |   361852 |    23260     23 |       32 |        1
1597.47/1597.94	c 1597s |      18 |   451381 |   362052 |    23260     24 |       32 |        1
1599.87/1600.32	c 1600s |      18 |   451832 |   362452 |    23260     24 |       32 |        1
1601.97/1602.46	c 1602s |      18 |   452160 |   362752 |    23260     24 |       32 |        1
1604.67/1605.19	c 1604s |      18 |   452603 |   363152 |    23260     24 |       32 |        1
1606.87/1607.30	c 1607s |      18 |   453174 |   363652 |    23260     24 |       32 |        1
1609.27/1609.75	c 1609s |      18 |   453746 |   364152 |    23260     24 |       32 |        1
1611.57/1612.07	c 1611s |      18 |   454348 |   364652 |    23260     24 |       32 |        1
1614.17/1614.60	c 1614s |      18 |   454916 |   365152 |    23260     24 |       32 |        1
1616.17/1616.62	c 1616s |      18 |   455376 |   365552 |    23260     24 |       32 |        1
1618.57/1619.01	c 1618s |      18 |   455841 |   365952 |    23260     24 |       32 |        1
1620.77/1621.25	c 1620s |      18 |   456321 |   366352 |    23260     24 |       32 |        1
1622.97/1623.46	c 1623s |      18 |   456797 |   366752 |    23260     24 |       32 |        1
1625.17/1625.61	c 1625s |      18 |   457241 |   367152 |    23260     24 |       32 |        1
1627.57/1628.07	c 1627s |      18 |   457816 |   367652 |    23260     24 |       32 |        1
1629.87/1630.34	c 1630s |      18 |   458241 |   368052 |    23260     24 |       32 |        1
1632.27/1632.70	c 1632s |      18 |   458679 |   368452 |    23260     24 |       32 |        1
1634.36/1634.84	c 1634s |      18 |   459115 |   368852 |    23260     24 |       32 |        1
1636.67/1637.13	c 1636s |      18 |   459549 |   369252 |    23260     24 |       32 |        1
1639.17/1639.65	c 1639s |      18 |   459987 |   369652 |    23260     24 |       32 |        1
1641.47/1641.97	c 1641s |      18 |   460440 |   370052 |    23260     24 |       32 |        1
1643.47/1643.97	c 1643s |      18 |   460788 |   370352 |    23260     24 |       32 |        1
1646.07/1646.53	c 1646s |      18 |   461266 |   370752 |    23260     24 |       32 |        1
1648.17/1648.61	c 1648s |      18 |   461641 |   371052 |    23260     24 |       32 |        1
1650.17/1650.64	c 1650s |      18 |   461975 |   371352 |    23260     24 |       32 |        1
1652.36/1652.81	c 1652s |      18 |   462324 |   371652 |    23260     24 |       32 |        1
1654.56/1655.07	c 1654s |      18 |   462654 |   371952 |    23260     24 |       32 |        1
1656.76/1657.25	c 1656s |      18 |   462982 |   372252 |    23260     24 |       32 |        1
1658.85/1659.38	c 1659s |      18 |   463319 |   372552 |    23260     24 |       32 |        1
1661.46/1661.96	c 1661s |      18 |   463777 |   372952 |    23260     24 |       32 |        1
1663.97/1664.49	c 1664s |      18 |   464237 |   373352 |    23260     24 |       32 |        1
1666.66/1667.15	c 1666s |      18 |   464681 |   373752 |    23260     24 |       32 |        1
1668.76/1669.23	c 1668s |      18 |   465015 |   374052 |    23260     24 |       32 |        1
1671.25/1671.74	c 1671s |      18 |   465329 |   374352 |    23260     24 |       32 |        1
1673.45/1673.92	c 1673s |      18 |   465663 |   374652 |    23260     24 |       32 |        1
1675.65/1676.12	c 1675s |      18 |   465999 |   374952 |    23260     24 |       32 |        1
1677.65/1678.16	c 1677s |      18 |   466320 |   375252 |    23260     24 |       32 |        1
1680.26/1680.71	c 1680s |      18 |   466774 |   375652 |    23260     24 |       32 |        1
1682.86/1683.30	c 1683s |      18 |   467273 |   376052 |    23260     24 |       32 |        1
1684.96/1685.43	c 1685s |      18 |   467604 |   376352 |    23260     24 |       32 |        1
1687.06/1687.52	c 1687s |      18 |   467935 |   376652 |    23260     24 |       32 |        1
1689.16/1689.69	c 1689s |      18 |   468255 |   376952 |    23260     24 |       32 |        1
1691.56/1692.00	c 1691s |      18 |   468583 |   377252 |    23260     24 |       32 |        1
1693.85/1694.30	c 1694s |      18 |   469071 |   377652 |    23260     24 |       32 |        1
1696.25/1696.79	c 1696s |      18 |   469579 |   378052 |    23260     24 |       32 |        1
1698.35/1698.89	c 1698s |      18 |   469914 |   378352 |    23260     24 |       32 |        1
1702.45/1702.97	c 1702s |      18 |   470390 |   378752 |    23260     24 |       32 |        1
1706.35/1706.82	c 1706s |      18 |   470944 |   379152 |    23260     25 |       32 |        1
1708.45/1708.92	c 1708s |      18 |   471425 |   379552 |    23260     25 |       32 |        1
1710.95/1711.42	c 1711s |      18 |   472030 |   380052 |    23260     25 |       32 |        1
1712.94/1713.48	c 1713s |      18 |   472526 |   380452 |    23260     25 |       32 |        1
1715.94/1716.44	c 1716s |      18 |   473060 |   380852 |    23260     25 |       32 |        1
1718.45/1718.92	c 1718s |      18 |   473622 |   381352 |    23260     25 |       32 |        1
1720.54/1721.05	c 1720s |      18 |   474077 |   381752 |    23260     25 |       32 |        1
1722.84/1723.34	c 1723s |      18 |   474563 |   382152 |    23260     25 |       32 |        1
1725.05/1725.56	c 1725s |      18 |   475056 |   382552 |    23260     25 |       32 |        1
1727.44/1727.96	c 1727s |      18 |   475485 |   382952 |    23260     25 |       32 |        1
1729.64/1730.12	c 1729s |      18 |   475955 |   383352 |    23260     25 |       32 |        1
1731.94/1732.48	c 1732s |      18 |   476442 |   383752 |    23260     25 |       32 |        1
1734.25/1734.78	c 1734s |      18 |   476940 |   384152 |    23260     25 |       32 |        1
1736.64/1737.15	c 1736s |      18 |   477393 |   384552 |    23260     25 |       32 |        1
1739.04/1739.56	c 1739s |      18 |   477903 |   384952 |    23260     25 |       32 |        1
1741.24/1741.73	c 1741s |      18 |   478396 |   385352 |    23260     25 |       32 |        1
1743.45/1743.91	c 1743s |      18 |   478938 |   385852 |    23260     25 |       32 |        1
1745.55/1746.03	c 1745s |      18 |   479469 |   386352 |    23260     25 |       32 |        1
1747.75/1748.20	c 1747s |      18 |   480143 |   386952 |    23260     25 |       32 |        1
1749.94/1750.41	c 1750s |      18 |   480793 |   387552 |    23260     25 |       32 |        1
1752.24/1752.77	c 1752s |      18 |   481451 |   388152 |    23260     25 |       32 |        1
1754.74/1755.25	c 1754s |      18 |   482028 |   388652 |    23260     25 |       32 |        1
1757.14/1757.63	c 1757s |      18 |   482578 |   389152 |    23260     25 |       32 |        1
1759.14/1759.66	c 1759s |      18 |   483282 |   389752 |    23260     25 |       32 |        1
1761.24/1761.79	c 1761s |      18 |   483872 |   390252 |    23260     25 |       32 |        1
1763.44/1763.94	c 1763s |      18 |   484510 |   390752 |    23260     25 |       32 |        1
1765.64/1766.13	c 1765s |      18 |   484947 |   391152 |    23260     25 |       32 |        1
1767.64/1768.19	c 1767s |      18 |   485393 |   391552 |    23260     25 |       32 |        1
1770.04/1770.50	c 1770s |      18 |   485858 |   391952 |    23260     25 |       32 |        1
1772.04/1772.53	c 1772s |      18 |   486447 |   392352 |    23260     25 |       32 |        1
1774.44/1774.94	c 1774s |      18 |   486940 |   392752 |    23260     25 |       32 |        1
1776.44/1776.95	c 1776s |      18 |   487265 |   393052 |    23260     25 |       32 |        1
1778.64/1779.10	c 1778s |      18 |   487581 |   393352 |    23260     25 |       32 |        1
1780.74/1781.25	c 1780s |      18 |   487907 |   393652 |    23260     25 |       32 |        1
1783.44/1783.95	c 1783s |      18 |   488357 |   394052 |    23260     25 |       32 |        1
1785.73/1786.25	c 1785s |      18 |   488932 |   394452 |    23260     25 |       32 |        1
1788.14/1788.61	c 1788s |      18 |   489429 |   394852 |    23260     25 |       32 |        1
1790.73/1791.21	c 1790s |      18 |   489925 |   395252 |    23260     25 |       32 |        1
1793.33/1793.80	c 1793s |      18 |   490464 |   395652 |    23260     25 |       32 |        1
1795.84/1796.40	c 1796s |      18 |   490953 |   396052 |    23260     25 |       32 |        1
1798.53/1799.01	c 1798s |      18 |   491192 |   396252 |    23260     26 |       32 |        1

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

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

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


[startup+0 s]
/proc/loadavg: 1.24 1.73 2.00 3/181 14374
/proc/meminfo: memFree=28351972/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 2841 0 0 0 0 0 0 0 20 0 4 0 8868035 778498048 3713 33554432000 4194304 16246674 140736523382800 140736523382224 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 190575 3719 441 2943 0 187469 0
[pid=14374/tid=14375] ppid=14371 vsize=777660 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 796323840 3781 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 801566720 3798 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=786876 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8868035 805761024 3814 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 1.24 1.73 2.00 3/181 14374
/proc/meminfo: memFree=28351972/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 29220 0 0 0 5 4 0 0 20 0 4 0 8868035 1333334016 30030 33554432000 4194304 16246674 140736523382800 140736523382112 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 325521 30045 800 2943 0 322415 0
[pid=14374/tid=14375] ppid=14371 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 1333334016 30056 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 1333334016 30067 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 1333334016 30078 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200515 s]
/proc/loadavg: 1.24 1.73 2.00 3/181 14374
/proc/meminfo: memFree=28351972/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 47059 0 0 0 13 6 0 0 20 0 4 0 8868035 1345916928 47868 33554432000 4194304 16246674 140736523382800 140736523382112 13753092 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 328593 47868 833 2943 0 325487 0
[pid=14374/tid=14375] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 47868 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 47868 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 47868 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300489 s]
/proc/loadavg: 1.24 1.73 2.00 3/181 14374
/proc/meminfo: memFree=28351972/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 53301 0 0 0 22 7 0 0 20 0 4 0 8868035 1345916928 54111 33554432000 4194304 16246674 140736523382800 140736523382112 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 328593 54127 891 2943 0 325487 0
[pid=14374/tid=14375] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 54132 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 54137 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 54140 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700349 s]
/proc/loadavg: 1.24 1.73 2.00 3/181 14374
/proc/meminfo: memFree=28351972/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 86990 0 0 0 58 11 0 0 20 0 4 0 8868035 1345916928 87799 33554432000 4194304 16246674 140736523382800 140736523364672 13191557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 328593 87813 891 2943 0 325487 0
[pid=14374/tid=14375] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 87822 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 87827 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 87841 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 1.24 1.73 2.00 3/185 14378
/proc/meminfo: memFree=27585820/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 106608 0 0 0 136 13 0 0 20 0 4 0 8868035 1345916928 107417 33554432000 4194304 16246674 140736523382800 140736523364672 5712536 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 328593 107417 898 2943 0 325487 0
[pid=14374/tid=14375] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 107417 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 107417 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 107417 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.1004 s]
/proc/loadavg: 1.24 1.73 2.00 3/185 14378
/proc/meminfo: memFree=27584828/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=1314372 CPUtime=3.09 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 116521 0 0 0 295 14 0 0 20 0 4 0 8868035 1345916928 117330 33554432000 4194304 16246674 140736523382800 140736523364672 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 328593 117332 898 2943 0 325487 0
[pid=14374/tid=14375] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 117334 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 117335 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 117336 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30041 s]
/proc/loadavg: 1.30 1.74 2.00 3/185 14378
/proc/meminfo: memFree=26409608/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=1314372 CPUtime=6.29 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 269789 0 0 0 594 35 0 0 20 0 4 0 8868035 1345916928 270598 33554432000 4194304 16246674 140736523382800 140736523364672 13820945 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 328593 270598 898 2943 0 325487 0
[pid=14374/tid=14375] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 270598 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 270598 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 270598 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 1.36 1.74 2.00 4/185 14378
/proc/meminfo: memFree=26246356/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=1314372 CPUtime=12.69 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 269789 0 0 0 1234 35 0 0 20 0 4 0 8868035 1345916928 270598 33554432000 4194304 16246674 140736523382800 140736523364672 5712619 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 328593 270598 898 2943 0 325487 0
[pid=14374/tid=14375] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 270598 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 270598 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 270598 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 1.57 1.77 2.00 3/185 14378
/proc/meminfo: memFree=26247480/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=1314372 CPUtime=25.49 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 269789 0 0 0 2514 35 0 0 20 0 4 0 8868035 1345916928 270598 33554432000 4194304 16246674 140736523382800 140736523364672 13781188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 328593 270598 898 2943 0 325487 0
[pid=14374/tid=14375] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 270598 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 270598 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 270598 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 1.77 1.80 2.01 3/185 14378
/proc/meminfo: memFree=26247528/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=1314372 CPUtime=51.08 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 269794 0 0 0 5073 35 0 0 20 0 4 0 8868035 1345916928 270603 33554432000 4194304 16246674 140736523382800 140736523364672 5711788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 328593 270603 903 2943 0 325487 0
[pid=14374/tid=14375] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 270603 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 270603 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 270603 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.301 s]
/proc/loadavg: 2.04 1.87 2.02 3/185 14379
/proc/meminfo: memFree=26246968/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=1314372 CPUtime=102.28 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 269794 0 0 0 10193 35 0 0 20 0 4 0 8868035 1345916928 270603 33554432000 4194304 16246674 140736523382800 140736523364672 13943604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 328593 270603 903 2943 0 325487 0
[pid=14374/tid=14375] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 270603 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 270603 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 1345916928 270603 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 1883836416 401934 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1839684

[startup+1362.3 s]
/proc/loadavg: 2.34 2.29 2.18 3/184 14411
/proc/meminfo: memFree=25094656/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=1839684 CPUtime=1361.94 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 401401 0 0 0 136111 83 0 0 20 0 4 0 8868035 1883836416 401934 33554432000 4194304 16246674 140736523382800 140736523381976 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 459921 401934 903 2943 0 456815 0
[pid=14374/tid=14375] ppid=14371 vsize=1839684 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 1883836416 401934 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=1839684 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 1883836416 401934 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=1839684 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 1883836416 401934 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1839684

[startup+1422.3 s]
/proc/loadavg: 2.48 2.34 2.20 4/185 14413
/proc/meminfo: memFree=24859888/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=2073156 CPUtime=1421.93 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 459563 0 0 0 142097 96 0 0 20 0 4 0 8868035 2122911744 460087 33554432000 4194304 16246674 140736523382800 140736523382112 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 518289 460087 903 2943 0 515183 0
[pid=14374/tid=14375] ppid=14371 vsize=2073156 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 2122911744 460087 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=2073156 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 2122911744 460087 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=2073156 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 2122911744 460087 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 2073156

[startup+1482.3 s]
/proc/loadavg: 2.37 2.32 2.20 3/185 14414
/proc/meminfo: memFree=24859868/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=2073156 CPUtime=1481.9 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 459580 0 0 0 148093 97 0 0 20 0 4 0 8868035 2122911744 460087 33554432000 4194304 16246674 140736523382800 140736523381976 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 518289 460087 903 2943 0 515183 0
[pid=14374/tid=14375] ppid=14371 vsize=2073156 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 2122911744 460087 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=2073156 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 2122911744 460087 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=2073156 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 2122911744 460087 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 2073156

[startup+1542.31 s]
/proc/loadavg: 2.41 2.34 2.21 4/185 14415
/proc/meminfo: memFree=24670476/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=2261572 CPUtime=1541.9 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 506916 0 0 0 154079 111 0 0 20 0 4 0 8868035 2315849728 507406 33554432000 4194304 16246674 140736523382800 140736523364672 5545898 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 565393 507406 903 2943 0 562287 0
[pid=14374/tid=14375] ppid=14371 vsize=2261572 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 2315849728 507406 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=2261572 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 2315849728 507406 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=2261572 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 2315849728 507406 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 2261572

[startup+1602.3 s]
/proc/loadavg: 2.41 2.35 2.22 3/185 14416
/proc/meminfo: memFree=24670364/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=2261572 CPUtime=1601.87 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 506926 0 0 0 160072 115 0 0 20 0 4 0 8868035 2315849728 507406 33554432000 4194304 16246674 140736523382800 140736523364672 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 565393 507406 903 2943 0 562287 0
[pid=14374/tid=14375] ppid=14371 vsize=2261572 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 2315849728 507406 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=2261572 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 2315849728 507406 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=2261572 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 2315849728 507406 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 2261572

[startup+1662.3 s]
/proc/loadavg: 2.47 2.37 2.24 3/186 14421
/proc/meminfo: memFree=24670380/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=2261572 CPUtime=1661.86 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 506942 0 0 0 166065 121 0 0 20 0 4 0 8868035 2315849728 507406 33554432000 4194304 16246674 140736523382800 140736523381976 5711369 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 565393 507406 903 2943 0 562287 0
[pid=14374/tid=14375] ppid=14371 vsize=2261572 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 2315849728 507406 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=2261572 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 2315849728 507406 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=2261572 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 2315849728 507406 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 2261572

[startup+1722.3 s]
/proc/loadavg: 2.34 2.35 2.23 3/186 14445
/proc/meminfo: memFree=24645484/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=2286148 CPUtime=1721.84 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 512914 0 0 0 172056 128 0 0 20 0 4 0 8868035 2341015552 513368 33554432000 4194304 16246674 140736523382800 140736523381976 13781188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 571537 513368 903 2943 0 568431 0
[pid=14374/tid=14375] ppid=14371 vsize=2286148 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 2341015552 513368 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=2286148 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 2341015552 513368 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=2286148 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 2341015552 513368 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 2286148

[startup+1782.3 s]
/proc/loadavg: 2.43 2.36 2.24 4/185 14446
/proc/meminfo: memFree=24605012/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=2286148 CPUtime=1781.84 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 513098 0 0 0 178050 134 0 0 20 0 4 0 8868035 2341015552 513550 33554432000 4194304 16246674 140736523382800 140736523364672 12875056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 571537 513550 903 2943 0 568431 0
[pid=14374/tid=14375] ppid=14371 vsize=2286148 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 2341015552 513550 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=2286148 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 2341015552 513550 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=2286148 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 2341015552 513550 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 2286148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.31 2.34 2.24 4/185 14446
/proc/meminfo: memFree=24449736/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=2286148 CPUtime=1800.03 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 513102 0 0 0 179868 135 0 0 20 0 4 0 8868035 2341015552 513550 33554432000 4194304 16246674 140736523382800 140736523381976 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 571537 513550 903 2943 0 568431 0
[pid=14374/tid=14375] ppid=14371 vsize=2286148 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 2341015552 513550 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=2286148 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 2341015552 513550 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=2286148 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 2341015552 513550 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2286148

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

[startup+1800.5 s]
/proc/loadavg: 2.31 2.34 2.24 4/185 14446
/proc/meminfo: memFree=24449736/32872528 swapFree=1515120/1684772
[pid=14374] ppid=14371 vsize=2286148 CPUtime=1800.03 cores=0,2,4,6
/proc/14374/stat : 14374 (toysat) R 14371 14374 12810 0 -1 4202496 513102 0 0 0 179868 135 0 0 20 0 4 0 8868035 2341015552 513550 33554432000 4194304 16246674 140736523382800 140736523381976 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14374/statm: 571537 513550 903 2943 0 568431 0
[pid=14374/tid=14375] ppid=14371 vsize=2286148 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14375/stat : 14375 (toysat) S 14371 14374 12810 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8868035 2341015552 513550 33554432000 4194304 16246674 140736523382800 139883070860528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14374/tid=14376] ppid=14371 vsize=2286148 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14376/stat : 14376 (toysat) S 14371 14374 12810 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8868035 2341015552 513550 33554432000 4194304 16246674 140736523382800 139882991168752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14374/tid=14377] ppid=14371 vsize=2286148 CPUtime=0 cores=0,2,4,6
/proc/14374/task/14377/stat : 14377 (toysat) S 14371 14374 12810 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8868035 2341015552 513550 33554432000 4194304 16246674 140736523382800 139882980695216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2286148

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.07
CPU user time (s): 1798.69
CPU system time (s): 1.37179
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 2286148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 1.37179
maximum resident set size= 2054200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 513102
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= 391
involuntary context switches= 1833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5803 second user time and 6.96394 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-30 11:32:33
IDJOB=4119852
IDBENCH=111813
IDSOLVER=2542
FILE ID=node135/4119852-1467279153
RUNJOBID= node135-1467279153-14341
PBS_JOBID= 20004497
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119852-1467279153/watcher-4119852-1467279153 -o /tmp/evaluation-result-4119852-1467279153/solver-4119852-1467279153 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1467279153-14341 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119852-1467279153.opb

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

MD5SUM BENCH= a407d5c9af984cf5ee2a17aa7c76d55e
RANDOM SEED=1318622023

node135.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.722
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.44
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.722
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.722
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.57
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.722
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.722
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.54
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.722
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.722
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.68
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.722
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:        28381524 kB
Buffers:          197460 kB
Cached:          1812840 kB
SwapCached:            0 kB
Active:           303940 kB
Inactive:        1752844 kB
Active(anon):      49044 kB
Inactive(anon):        0 kB
Active(file):     254896 kB
Inactive(file):  1752844 kB
Unevictable:     1684772 kB
Mlocked:         1515120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             33488 kB
Writeback:             0 kB
AnonPages:       1729008 kB
Mapped:            15824 kB
Shmem:               216 kB
Slab:             613744 kB
SReclaimable:      57920 kB
SUnreclaim:       555824 kB
KernelStack:        1400 kB
PageTables:         9348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2820928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988112 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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= 71668 MiB
End job on node135 at 2016-06-30 12:02:34