Trace number 4117133

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round23-1.opb
MD5SUM8454a7ec193f38c6498b6c74011c98b4
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9504
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-27T00:39:43+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-4117133-1466980783.opb"]
0.00/0.01	c use --random-gen="734989472 252381969 3363521806 2011590681 1098270734 2278331504 123475148 2799290910 2957109808 809712285 1994652682 2459789710 4015951134 1352680769 884394173 1781390403 1514479071 4177557425 3385528217 3696180486 1231803446 2527768363 417480810 2410263016 1407806845 3423564231 2473423435 3240981757 3280526921 1539406870 3582853740 1081803701 2441965994 1776755728 2278671795 2019881921 377507559 496173230 1822388999 2219058996 1954954994 1760322677 2256205227 1927639580 103887674 3265728906 4037565484 3067260826 247474834 1477061036 2284722961 3831401049 3316749034 665798750 1924578801 1802094483 1006094611 3189631701 446645597 1269004817 1231557042 2069837416 2408938973 3731520393 911982454 2314732614 589394839 2224887710 1396943871 1768175257 906667392 3403115375 3784413201 2505471429 521392704 2265669476 529887531 2901575187 2388281783 700494211 3830815570 152574327 2364250978 625538577 1600853044 391366240 3238063982 1133420077 104174030 287622610 3868319469 4065837716 3171041373 1739058132 1874384454 578343134 3089575417 3871304087 2524603256 2328983982 537634434 4070229500 1602856134 938856727 4015215471 588528780 1464447282 3899173581 4266819859 254450413 3609787037 3724503883 804530538 3567138890 1557754431 1467647379 559638968 2319040131 458723183 3333542453 4145178380 1814421008 2801260543 3310300291 1261644921 3195165940 3959928795 2351162563 1308204295 1550077235 2130168441 157350890 3967867934 3890247754 1294891594 455464177 294115042 3800836385 1990050620 1967082705 3831056120 2213495608 787977561 249673796 2784547987 3827243180 803994027 756922874 27938906 2815574437 610297164 1488910390 2883145911 4096251156 3327612651 237012567 1328039982 1109548989 4236324150 1612702677 3282430873 2368747603 705771095 418615195 3991459224 566941119 1286921411 2879322523 2755194227 1637477928 3507816657 3942256427 3634662847 1696368714 2872233809 2565947169 302066673 1969742757 2878014008 3267081285 2137690352 304755908 171242083 1347151952 1884494166 3953155141 4026734563 780548781 4034754338 717834439 3756071393 2795145273 4040618078 4139680572 3381793530 3316946566 3509313524 3491204879 4100164220 4203137585 3068878417 1292565899 3866633934 3678533458 1320196228 1882780770 1367455207 4048355524 1440100748 424424161 2589233505 2023343553 1347846283 3080710732 2596209600 1731863441 2714887258 1461810307 3808226779 2556163195 3722424404 2021573443 3298717607 4279226225 3077560072 2219776108 1534995887 611593850 673178693 2995815837 213161193 1889397460 2003253482 1820517719 105186058 282336161 3613415175 3874439288 819903348 2076704318 1910542150 222794878 3682866615 3241476838 594739404 2539388 3433718331 231212822 1741354738 1389734736 1868577101 2484161553 2029950141 1412441559 3493188084 3767158102 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9504
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      766 |        0
0.29/0.36	c  0.1s |       1 |      476 |      100 |     4565      0 |      766 |      736
0.39/0.45	c  0.2s |       2 |     1794 |      250 |     5022      0 |      766 |      736
0.58/0.60	c  0.3s |       3 |     3714 |      475 |     5525      0 |      767 |      736
0.69/0.77	c  0.5s |       4 |     5449 |      813 |     6078      0 |      767 |      736
1.29/1.31	c  1.0s |       5 |     9274 |     1320 |     6686      0 |      767 |      736
2.09/2.15	c  1.9s |       6 |    11827 |     2081 |     8091      0 |      767 |      736
3.19/3.24	c  3.0s |       7 |    14276 |     3223 |     8901      0 |      767 |      736
4.59/4.66	c  4.4s |       8 |    21267 |     4936 |     9792      0 |      767 |      736
6.60/6.69	c  6.4s |       8 |    27169 |     7036 |     9792      0 |      767 |      736
7.29/7.34	c  7.1s |       9 |    28342 |     7506 |    10772      0 |      767 |      736
9.29/9.36	c  9.1s |       9 |    34518 |     9306 |    10772      0 |      767 |      736
11.29/11.37	c 11.1s |       9 |    35972 |    10706 |    10772      0 |      767 |      736
12.29/12.34	c 12.1s |      10 |    37807 |    11361 |    11850      0 |      767 |      736
14.40/14.44	c 14.2s |      10 |    42430 |    13261 |    11850      0 |      767 |      736
16.50/16.57	c 16.3s |      10 |    43801 |    14161 |    11850      0 |      767 |      736
18.89/18.95	c 18.7s |      10 |    44692 |    14861 |    11850      1 |      767 |      736
20.90/21.00	c 20.7s |      10 |    45590 |    15561 |    11850      1 |      767 |      736
23.10/23.14	c 22.9s |      10 |    46827 |    16461 |    11850      1 |      767 |      736
24.79/24.87	c 24.6s |      11 |    47712 |    17144 |    13036      1 |      767 |      736
26.88/26.97	c 26.7s |      11 |    52264 |    19044 |    13036      1 |      767 |      736
29.08/29.10	c 28.8s |      11 |    54363 |    20644 |    13036      1 |      767 |      736
31.08/31.12	c 30.8s |      11 |    57037 |    22044 |    13036      1 |      767 |      736
33.18/33.23	c 33.0s |      11 |    59206 |    23544 |    13036      1 |      767 |      736
35.19/35.24	c 35.0s |      11 |    60708 |    24744 |    13036      2 |      767 |      736
36.78/36.83	c 36.6s |      12 |    62369 |    25819 |    14340      2 |      767 |      736
38.78/38.88	c 38.6s |      12 |    67788 |    27719 |    14340      2 |      767 |      736
40.88/40.96	c 40.7s |      12 |    69733 |    29419 |    14340      2 |      767 |      736
42.98/43.06	c 42.8s |      12 |    71360 |    30919 |    14340      2 |      767 |      736
45.18/45.24	c 45.0s |      12 |    72880 |    32319 |    14340      2 |      767 |      736
47.47/47.55	c 47.3s |      12 |    74227 |    33519 |    14340      3 |      767 |      736
49.67/49.73	c 49.5s |      12 |    75507 |    34719 |    14340      3 |      767 |      736
51.68/51.75	c 51.5s |      12 |    76553 |    35719 |    14340      3 |      767 |      736
53.67/53.78	c 53.5s |      12 |    77636 |    36719 |    14340      3 |      767 |      736
55.77/55.81	c 55.5s |      12 |    78593 |    37619 |    14340      3 |      767 |      736
57.97/58.01	c 57.7s |      12 |    79548 |    38519 |    14340      3 |      767 |      736
58.67/58.76	c 58.5s |      13 |    79883 |    38832 |    15775      3 |      767 |      736
60.77/60.83	c 60.6s |      13 |    92959 |    41032 |    15775      3 |      768 |      736
62.77/62.85	c 62.6s |      13 |    99518 |    43332 |    15775      4 |      768 |      736
64.76/64.87	c 64.6s |      13 |   105222 |    45832 |    15775      4 |      768 |      736
66.86/66.92	c 66.6s |      13 |   107621 |    47532 |    15775      4 |      768 |      736
68.86/68.92	c 68.6s |      13 |   109574 |    48932 |    15775      4 |      768 |      736
70.96/71.03	c 70.8s |      13 |   111418 |    50332 |    15775      4 |      768 |      736
73.06/73.18	c 72.9s |      13 |   113320 |    51532 |    15775      4 |      768 |      736
75.26/75.39	c 75.1s |      13 |   114824 |    52632 |    15775      4 |      768 |      736
77.36/77.49	c 77.2s |      13 |   116192 |    53632 |    15775      5 |      768 |      736
79.56/79.64	c 79.4s |      13 |   117566 |    54632 |    15775      5 |      768 |      736
81.56/81.64	c 81.4s |      13 |   118839 |    55532 |    15775      5 |      768 |      736
83.66/83.79	c 83.5s |      13 |   120202 |    56532 |    15775      5 |      768 |      736
85.76/85.89	c 85.6s |      13 |   121376 |    57432 |    15775      5 |      768 |      736
87.75/87.86	c 87.6s |      14 |   122620 |    58352 |    17353      5 |      768 |      736
89.86/89.92	c 89.6s |      14 |   126569 |    60252 |    17353      5 |      768 |      736
91.86/91.97	c 91.7s |      14 |   128542 |    61852 |    17353      5 |      768 |      736
93.95/94.03	c 93.8s |      14 |   130093 |    63152 |    17353      5 |      768 |      736
96.05/96.19	c 95.9s |      14 |   131171 |    64052 |    17353      6 |      768 |      736
98.25/98.35	c 98.1s |      14 |   132945 |    65452 |    17353      6 |      768 |      736
100.35/100.43	c  100s |      14 |   134402 |    66652 |    17353      6 |      768 |      736
102.45/102.59	c  102s |      14 |   135693 |    67752 |    17353      6 |      768 |      736
104.55/104.62	c  104s |      14 |   136871 |    68752 |    17353      6 |      768 |      736
106.55/106.64	c  106s |      14 |   137785 |    69552 |    17353      6 |      768 |      736
108.65/108.76	c  108s |      14 |   138792 |    70452 |    17353      6 |      768 |      736
110.85/110.97	c  110s |      14 |   139796 |    71352 |    17353      6 |      768 |      736
113.05/113.13	c  112s |      14 |   141104 |    72352 |    17353      6 |      768 |      736
115.04/115.15	c  114s |      14 |   142535 |    73452 |    17353      6 |      768 |      736
117.04/117.15	c  116s |      14 |   143604 |    74352 |    17353      6 |      768 |      736
119.14/119.24	c  118s |      14 |   144840 |    75252 |    17353      7 |      768 |      736
121.24/121.36	c  121s |      14 |   146533 |    76552 |    17353      7 |      768 |      736
123.34/123.40	c  123s |      14 |   148058 |    77752 |    17353      7 |      768 |      736
125.34/125.49	c  125s |      14 |   149407 |    78852 |    17353      7 |      768 |      736
127.54/127.62	c  127s |      14 |   150694 |    79852 |    17353      7 |      768 |      736
129.54/129.65	c  129s |      14 |   152023 |    80852 |    17353      7 |      768 |      736
131.74/131.88	c  131s |      14 |   153274 |    81852 |    17353      7 |      768 |      736
133.83/133.92	c  133s |      14 |   154250 |    82652 |    17353      7 |      768 |      736
135.83/135.94	c  135s |      14 |   155213 |    83452 |    17353      7 |      768 |      736
137.93/138.00	c  137s |      14 |   156198 |    84252 |    17353      7 |      768 |      736
140.03/140.15	c  139s |      14 |   157022 |    84952 |    17353      8 |      768 |      736
142.13/142.21	c  141s |      14 |   158269 |    85952 |    17353      8 |      768 |      736
144.14/144.22	c  143s |      14 |   159319 |    86852 |    17353      8 |      768 |      736
145.93/146.00	c  145s |      15 |   160238 |    87632 |    19089      8 |      768 |      736
148.03/148.10	c  147s |      15 |   165483 |    89632 |    19089      8 |      768 |      736
150.03/150.11	c  149s |      15 |   167521 |    91132 |    19089      8 |      768 |      736
152.03/152.17	c  151s |      15 |   169128 |    92432 |    19089      8 |      768 |      736
154.12/154.29	c  154s |      15 |   170557 |    93632 |    19089      8 |      768 |      736
156.32/156.46	c  156s |      15 |   171852 |    94732 |    19089      8 |      768 |      736
158.52/158.61	c  158s |      15 |   173028 |    95732 |    19089      8 |      768 |      736
160.53/160.62	c  160s |      15 |   174136 |    96632 |    19089      8 |      768 |      736
162.73/162.86	c  162s |      15 |   175104 |    97432 |    19089      9 |      768 |      736
164.92/165.07	c  164s |      15 |   176127 |    98332 |    19089      9 |      768 |      736
167.01/167.11	c  166s |      15 |   177045 |    99132 |    19089      9 |      768 |      736
169.11/169.20	c  168s |      15 |   177972 |    99932 |    19089      9 |      768 |      736
171.11/171.24	c  170s |      15 |   178913 |   100732 |    19089      9 |      768 |      736
173.31/173.46	c  173s |      15 |   179817 |   101532 |    19089      9 |      768 |      736
175.41/175.57	c  175s |      15 |   180599 |   102232 |    19089      9 |      768 |      736
177.71/177.82	c  177s |      15 |   181545 |   103032 |    19089      9 |      768 |      736
179.91/180.07	c  179s |      15 |   182329 |   103732 |    19089      9 |      768 |      736
182.21/182.33	c  182s |      15 |   183291 |   104532 |    19089      9 |      768 |      736
184.31/184.49	c  184s |      15 |   184146 |   105232 |    19089      9 |      768 |      736
186.60/186.71	c  186s |      15 |   184824 |   105832 |    19089      9 |      768 |      736
188.70/188.83	c  188s |      15 |   185703 |   106532 |    19089      9 |      768 |      736
190.70/190.87	c  190s |      15 |   186441 |   107132 |    19089      9 |      768 |      736
192.80/192.98	c  192s |      15 |   187195 |   107732 |    19089      9 |      768 |      736
195.00/195.18	c  194s |      15 |   188205 |   108432 |    19089     10 |      768 |      736
197.20/197.33	c  197s |      15 |   189356 |   109332 |    19089     10 |      768 |      736
199.40/199.50	c  199s |      15 |   190629 |   110332 |    19089     10 |      768 |      736
201.40/201.57	c  201s |      15 |   191619 |   111132 |    19089     10 |      768 |      736
203.60/203.72	c  203s |      15 |   192565 |   111932 |    19089     10 |      768 |      736
205.80/205.94	c  205s |      15 |   193396 |   112632 |    19089     10 |      768 |      736
207.91/208.07	c  207s |      15 |   194061 |   113232 |    19089     10 |      768 |      736
209.90/210.08	c  209s |      15 |   194924 |   113932 |    19089     10 |      768 |      736
212.10/212.21	c  211s |      15 |   195738 |   114632 |    19089     10 |      768 |      736
214.09/214.23	c  213s |      15 |   196597 |   115332 |    19089     10 |      768 |      736
216.19/216.39	c  216s |      15 |   198264 |   116332 |    19089     10 |      768 |      736
218.29/218.42	c  218s |      15 |   203137 |   117832 |    19089     10 |      768 |      736
220.29/220.47	c  220s |      15 |   210298 |   119432 |    19089     11 |      768 |      736
222.39/222.59	c  222s |      15 |   213814 |   121132 |    19089     11 |      768 |      736
224.69/224.83	c  224s |      15 |   215696 |   122332 |    19089     11 |      768 |      736
226.79/226.90	c  226s |      15 |   216734 |   123132 |    19089     11 |      768 |      736
228.89/229.09	c  228s |      15 |   218011 |   124132 |    19089     11 |      768 |      736
231.00/231.15	c  230s |      15 |   219180 |   125032 |    19089     11 |      768 |      736
233.10/233.27	c  232s |      15 |   220107 |   125832 |    19089     11 |      768 |      736
235.30/235.48	c  235s |      15 |   221067 |   126632 |    19089     11 |      768 |      736
237.69/237.82	c  237s |      15 |   222043 |   127432 |    19089     11 |      768 |      736
239.70/239.89	c  239s |      15 |   222734 |   128032 |    19089     11 |      768 |      736
242.09/242.24	c  241s |      15 |   223601 |   128732 |    19089     11 |      768 |      736
244.19/244.35	c  244s |      15 |   224309 |   129332 |    19089     11 |      768 |      736
246.29/246.47	c  246s |      15 |   225198 |   130032 |    19089     11 |      768 |      736
248.28/248.48	c  248s |      15 |   226188 |   130832 |    20998     12 |      768 |      736
250.18/250.37	c  250s |      16 |   227050 |   131552 |    20998     12 |      768 |      736
252.28/252.45	c  252s |      16 |   233756 |   133652 |    20998     12 |      768 |      736
254.27/254.48	c  254s |      16 |   235870 |   135352 |    20998     12 |      768 |      736
256.37/256.55	c  256s |      16 |   237281 |   136552 |    20998     12 |      768 |      736
258.39/258.59	c  258s |      16 |   238966 |   137852 |    20998     12 |      768 |      736
260.48/260.60	c  260s |      16 |   241804 |   139552 |    20998     12 |      768 |      736
262.48/262.63	c  262s |      16 |   243311 |   140852 |    20998     12 |      768 |      736
264.48/264.69	c  264s |      16 |   245245 |   142252 |    20998     12 |      768 |      736
267.08/267.27	c  266s |      16 |   246515 |   143352 |    20998     13 |      768 |      736
269.08/269.27	c  268s |      16 |   248188 |   144452 |    20998     13 |      768 |      736
271.07/271.27	c  270s |      16 |   249186 |   145352 |    20998     13 |      768 |      736
273.17/273.36	c  273s |      16 |   250184 |   146252 |    20998     13 |      768 |      736
275.27/275.45	c  275s |      16 |   251069 |   147052 |    20998     13 |      768 |      736
277.47/277.66	c  277s |      16 |   252001 |   147852 |    20998     13 |      768 |      736
279.77/279.95	c  279s |      16 |   253114 |   148752 |    20998     13 |      768 |      736
281.97/282.10	c  281s |      16 |   254038 |   149552 |    20998     13 |      768 |      736
284.17/284.31	c  284s |      16 |   255038 |   150352 |    20998     13 |      768 |      736
286.17/286.35	c  286s |      16 |   255851 |   151052 |    20998     13 |      768 |      736
288.27/288.41	c  288s |      16 |   256764 |   151852 |    20998     13 |      768 |      736
290.47/290.65	c  290s |      16 |   257881 |   152752 |    20998     13 |      768 |      736
292.47/292.65	c  292s |      16 |   258861 |   153552 |    20998     13 |      768 |      736
294.56/294.78	c  294s |      16 |   259647 |   154252 |    20998     13 |      768 |      736
296.76/296.95	c  296s |      16 |   260432 |   154952 |    20998     13 |      768 |      736
299.36/299.50	c  299s |      16 |   261218 |   155652 |    20998     14 |      768 |      736
301.37/301.57	c  301s |      16 |   261994 |   156352 |    20998     14 |      768 |      736
303.57/303.77	c  303s |      16 |   263059 |   157252 |    20998     14 |      768 |      736
305.67/305.87	c  305s |      16 |   263875 |   157952 |    20998     14 |      768 |      736
307.66/307.89	c  307s |      16 |   264725 |   158652 |    20998     14 |      768 |      736
309.86/310.03	c  309s |      16 |   265541 |   159352 |    20998     14 |      768 |      736
312.06/312.24	c  311s |      16 |   266202 |   159952 |    20998     14 |      768 |      736
314.16/314.35	c  314s |      16 |   267123 |   160752 |    20998     14 |      768 |      736
316.36/316.59	c  316s |      16 |   268080 |   161552 |    20998     14 |      768 |      736
318.46/318.66	c  318s |      16 |   268984 |   162252 |    20998     14 |      768 |      736
320.66/320.88	c  320s |      16 |   269823 |   162952 |    20998     14 |      768 |      736
322.76/322.94	c  322s |      16 |   270474 |   163552 |    20998     14 |      768 |      736
325.06/325.21	c  324s |      16 |   271154 |   164152 |    20998     14 |      768 |      736
327.06/327.22	c  326s |      16 |   271829 |   164752 |    20998     14 |      768 |      736
329.16/329.36	c  329s |      16 |   272521 |   165352 |    20998     14 |      768 |      736
331.56/331.70	c  331s |      16 |   273235 |   165952 |    20998     14 |      768 |      736
333.86/334.01	c  333s |      16 |   273952 |   166552 |    20998     14 |      768 |      736
335.96/336.17	c  335s |      16 |   274517 |   167052 |    20998     14 |      768 |      736
338.06/338.22	c  337s |      16 |   275071 |   167552 |    20998     14 |      768 |      736
340.36/340.54	c  340s |      16 |   275614 |   168052 |    20998     15 |      768 |      736
342.66/342.85	c  342s |      16 |   276254 |   168652 |    20998     15 |      768 |      736
344.85/345.07	c  344s |      16 |   276890 |   169252 |    20998     15 |      768 |      736
347.15/347.31	c  347s |      16 |   277532 |   169852 |    20998     15 |      768 |      736
349.35/349.58	c  349s |      16 |   278178 |   170452 |    20998     15 |      768 |      736
351.75/351.97	c  351s |      16 |   278817 |   171052 |    20998     15 |      768 |      736
353.95/354.12	c  353s |      16 |   279355 |   171552 |    20998     15 |      768 |      736
355.95/356.16	c  355s |      16 |   279895 |   172052 |    20998     15 |      768 |      736
358.05/358.25	c  357s |      16 |   280445 |   172552 |    20998     15 |      768 |      736
360.05/360.28	c  360s |      16 |   280995 |   173052 |    20998     15 |      768 |      736
362.24/362.42	c  362s |      16 |   281542 |   173552 |    20998     15 |      768 |      736
364.34/364.54	c  364s |      16 |   282092 |   174052 |    20998     15 |      768 |      736
366.54/366.71	c  366s |      16 |   282638 |   174552 |    20998     15 |      768 |      736
368.64/368.87	c  368s |      16 |   283166 |   175052 |    20998     15 |      768 |      736
370.84/371.08	c  370s |      16 |   283710 |   175552 |    20998     15 |      768 |      736
373.04/373.27	c  373s |      16 |   284271 |   176052 |    20998     15 |      768 |      736
375.14/375.31	c  375s |      16 |   284832 |   176552 |    20998     15 |      768 |      736
377.44/377.64	c  377s |      16 |   285386 |   177052 |    20998     15 |      768 |      736
379.64/379.80	c  379s |      16 |   285955 |   177552 |    20998     15 |      768 |      736
381.65/381.82	c  381s |      16 |   286386 |   177952 |    20998     15 |      768 |      736
383.74/383.93	c  383s |      16 |   286820 |   178352 |    20998     15 |      768 |      736
385.84/386.00	c  385s |      16 |   287246 |   178752 |    20998     15 |      768 |      736
388.24/388.44	c  388s |      16 |   287787 |   179252 |    20998     15 |      768 |      736
390.23/390.47	c  390s |      16 |   288214 |   179652 |    20998     15 |      768 |      736
392.33/392.50	c  392s |      16 |   288639 |   180052 |    20998     16 |      768 |      736
394.63/394.81	c  394s |      16 |   289276 |   180652 |    20998     16 |      768 |      736
396.83/397.02	c  396s |      16 |   289935 |   181252 |    20998     16 |      768 |      736
398.83/399.06	c  398s |      16 |   290559 |   181852 |    20998     16 |      768 |      736
401.03/401.26	c  400s |      16 |   291229 |   182452 |    20998     16 |      768 |      736
403.23/403.41	c  403s |      16 |   291913 |   183052 |    20998     16 |      768 |      736
405.52/405.74	c  405s |      16 |   292557 |   183652 |    20998     16 |      768 |      736
407.72/407.95	c  407s |      16 |   293354 |   184352 |    20998     16 |      768 |      736
410.23/410.45	c  410s |      16 |   294021 |   184952 |    20998     16 |      768 |      736
412.22/412.49	c  412s |      16 |   294627 |   185452 |    20998     16 |      768 |      736
414.52/414.78	c  414s |      16 |   295164 |   185952 |    20998     16 |      768 |      736
416.82/417.06	c  416s |      16 |   295831 |   186552 |    20998     16 |      768 |      736
419.11/419.30	c  419s |      16 |   296357 |   187052 |    20998     16 |      768 |      736
421.41/421.67	c  421s |      16 |   296882 |   187552 |    20998     16 |      768 |      736
423.71/423.96	c  423s |      16 |   297408 |   188052 |    20998     16 |      768 |      736
425.91/426.16	c  425s |      16 |   297952 |   188552 |    20998     16 |      768 |      736
428.01/428.24	c  427s |      16 |   298373 |   188952 |    20998     16 |      768 |      736
430.31/430.55	c  430s |      16 |   298895 |   189452 |    20998     16 |      768 |      736
432.41/432.61	c  432s |      16 |   299325 |   189852 |    20998     16 |      768 |      736
434.61/434.80	c  434s |      16 |   299925 |   190352 |    20998     16 |      768 |      736
436.91/437.14	c  436s |      16 |   300458 |   190852 |    20998     16 |      768 |      736
439.41/439.64	c  439s |      16 |   300986 |   191352 |    20998     16 |      768 |      736
441.61/441.83	c  441s |      16 |   301402 |   191752 |    20998     16 |      768 |      736
443.71/443.91	c  443s |      16 |   301843 |   192152 |    20998     17 |      768 |      736
445.81/446.06	c  445s |      16 |   302518 |   192752 |    20998     17 |      768 |      736
448.11/448.31	c  448s |      16 |   303150 |   193352 |    20998     17 |      768 |      736
450.41/450.61	c  450s |      16 |   303793 |   193952 |    20998     17 |      768 |      736
452.71/452.96	c  452s |      16 |   304453 |   194552 |    20998     17 |      768 |      736
455.00/455.27	c  454s |      16 |   305112 |   195152 |    20998     17 |      768 |      736
457.10/457.35	c  457s |      16 |   305658 |   195652 |    20998     17 |      768 |      736
459.10/459.36	c  459s |      16 |   306201 |   196152 |    23098     17 |      768 |      736
461.20/461.47	c  461s |      16 |   306765 |   196652 |    23098     17 |      768 |      736
463.49/463.72	c  463s |      16 |   307293 |   197152 |    23098     17 |      768 |      736
464.79/465.02	c  464s |      17 |   307603 |   197432 |    23098     17 |      768 |      736
466.89/467.10	c  466s |      17 |   317356 |   199532 |    23098     17 |      768 |      736
468.99/469.20	c  468s |      17 |   319205 |   201232 |    23098     17 |      768 |      736
470.99/471.20	c  470s |      17 |   320723 |   202632 |    23098     17 |      768 |      736
473.09/473.34	c  473s |      17 |   322294 |   204032 |    23098     17 |      768 |      736
475.09/475.37	c  475s |      17 |   323653 |   205232 |    23098     17 |      768 |      736
477.19/477.45	c  477s |      17 |   324606 |   206132 |    23098     18 |      768 |      736
479.28/479.54	c  479s |      17 |   325788 |   207232 |    23098     18 |      768 |      736
481.48/481.77	c  481s |      17 |   326986 |   208332 |    23098     18 |      768 |      736
483.67/483.96	c  483s |      17 |   328029 |   209332 |    23098     18 |      768 |      736
485.77/486.00	c  485s |      17 |   328978 |   210232 |    23098     18 |      768 |      736
487.87/488.19	c  487s |      17 |   330070 |   211232 |    23098     18 |      768 |      736
490.07/490.38	c  490s |      17 |   331034 |   212132 |    23098     18 |      768 |      736
492.37/492.62	c  492s |      17 |   331971 |   213032 |    23098     18 |      768 |      736
494.47/494.76	c  494s |      17 |   332801 |   213832 |    23098     18 |      768 |      736
496.77/497.00	c  496s |      17 |   333641 |   214632 |    23098     18 |      768 |      736
498.87/499.17	c  498s |      17 |   334508 |   215432 |    23098     18 |      768 |      736
501.07/501.32	c  501s |      17 |   335248 |   216132 |    23098     18 |      768 |      736
503.07/503.36	c  503s |      17 |   338335 |   217132 |    23098     18 |      768 |      736
505.16/505.47	c  505s |      17 |   344284 |   218532 |    23098     19 |      768 |      736
507.26/507.54	c  507s |      17 |   351387 |   220532 |    23098     19 |      768 |      736
509.36/509.62	c  509s |      17 |   356532 |   222232 |    23098     19 |      768 |      736
511.46/511.77	c  511s |      17 |   358893 |   223432 |    23098     19 |      768 |      736
513.65/513.93	c  513s |      17 |   361229 |   224632 |    23098     19 |      768 |      736
515.76/516.03	c  515s |      17 |   362462 |   225432 |    23098     19 |      768 |      736
517.86/518.15	c  517s |      17 |   364612 |   226632 |    23098     19 |      768 |      736
520.06/520.36	c  520s |      17 |   366293 |   227732 |    23098     19 |      768 |      736
522.26/522.53	c  522s |      17 |   367447 |   228532 |    23098     19 |      768 |      736
524.24/524.54	c  524s |      17 |   368828 |   229432 |    23098     19 |      768 |      736
526.44/526.73	c  526s |      17 |   369967 |   230232 |    23098     19 |      768 |      736
528.44/528.79	c  528s |      17 |   371160 |   231032 |    23098     19 |      768 |      736
530.74/531.06	c  530s |      17 |   372330 |   231732 |    23098     20 |      768 |      736
532.84/533.13	c  532s |      17 |   374473 |   232832 |    23098     20 |      768 |      736
534.83/535.17	c  534s |      17 |   376104 |   233832 |    23098     20 |      768 |      736
537.03/537.36	c  537s |      17 |   377397 |   234832 |    23098     20 |      768 |      736
539.23/539.54	c  539s |      17 |   378654 |   235732 |    23098     20 |      768 |      736
541.33/541.66	c  541s |      17 |   379533 |   236432 |    23098     20 |      768 |      736
543.53/543.80	c  543s |      17 |   380625 |   237232 |    23098     20 |      768 |      736
545.83/546.13	c  545s |      17 |   381519 |   237932 |    23098     20 |      768 |      736
548.22/548.50	c  548s |      17 |   382371 |   238632 |    23098     20 |      768 |      736
550.32/550.65	c  550s |      17 |   383264 |   239332 |    23098     20 |      768 |      736
552.32/552.69	c  552s |      17 |   384023 |   239932 |    23098     20 |      768 |      736
554.52/554.80	c  554s |      17 |   384925 |   240632 |    23098     20 |      768 |      736
556.62/556.98	c  556s |      17 |   385772 |   241332 |    23098     20 |      768 |      736
558.82/559.15	c  558s |      17 |   386502 |   241932 |    23098     20 |      768 |      736
560.92/561.22	c  560s |      17 |   387227 |   242532 |    23098     20 |      768 |      736
563.12/563.46	c  563s |      17 |   387958 |   243132 |    23098     20 |      768 |      736
565.31/565.67	c  565s |      17 |   388727 |   243732 |    23098     20 |      768 |      736
567.41/567.72	c  567s |      17 |   389450 |   244332 |    23098     20 |      768 |      736
569.61/569.99	c  569s |      17 |   390209 |   244932 |    23098     20 |      768 |      736
571.91/572.23	c  571s |      17 |   390984 |   245532 |    23098     21 |      768 |      736
574.10/574.49	c  574s |      17 |   391851 |   246232 |    23098     21 |      768 |      736
576.30/576.63	c  576s |      17 |   392796 |   246932 |    23098     21 |      768 |      736
578.31/578.66	c  578s |      17 |   393568 |   247532 |    23098     21 |      768 |      736
580.40/580.71	c  580s |      17 |   394461 |   248232 |    23098     21 |      768 |      736
582.50/582.89	c  582s |      17 |   395322 |   248932 |    23098     21 |      768 |      736
584.79/585.18	c  584s |      17 |   396053 |   249532 |    23098     21 |      768 |      736
587.20/587.53	c  587s |      17 |   396954 |   250232 |    23098     21 |      768 |      736
589.40/589.79	c  589s |      17 |   397708 |   250832 |    23098     21 |      768 |      736
591.50/591.81	c  591s |      17 |   398337 |   251332 |    23098     21 |      768 |      736
593.79/594.12	c  593s |      17 |   399091 |   251932 |    23098     21 |      768 |      736
595.79/596.19	c  595s |      17 |   399875 |   252532 |    23098     21 |      768 |      736
598.19/598.55	c  598s |      17 |   400646 |   253132 |    23098     21 |      768 |      736
600.39/600.74	c  600s |      17 |   401377 |   253732 |    23098     21 |      768 |      736
602.49/602.82	c  602s |      17 |   402095 |   254332 |    23098     21 |      768 |      736
604.68/605.04	c  604s |      17 |   402805 |   254932 |    23098     21 |      768 |      736
606.88/607.25	c  606s |      17 |   403506 |   255532 |    23098     21 |      768 |      736
609.27/609.63	c  609s |      17 |   404082 |   256032 |    23098     21 |      768 |      736
611.57/611.91	c  611s |      17 |   404787 |   256532 |    23098     21 |      768 |      736
613.77/614.10	c  613s |      17 |   405645 |   257132 |    23098     21 |      768 |      736
615.77/616.15	c  615s |      17 |   406313 |   257632 |    23098     21 |      768 |      736
618.17/618.53	c  618s |      17 |   407001 |   258132 |    23098     22 |      768 |      736
620.47/620.81	c  620s |      17 |   407743 |   258732 |    23098     22 |      768 |      736
622.47/622.88	c  622s |      17 |   408677 |   259432 |    23098     22 |      768 |      736
624.76/625.13	c  624s |      17 |   409575 |   260132 |    23098     22 |      768 |      736
626.96/627.32	c  627s |      17 |   410328 |   260732 |    23098     22 |      768 |      736
629.26/629.60	c  629s |      17 |   411222 |   261432 |    23098     22 |      768 |      736
631.37/631.74	c  631s |      17 |   412027 |   262032 |    23098     22 |      768 |      736
633.56/633.96	c  633s |      17 |   412739 |   262632 |    23098     22 |      768 |      736
635.76/636.17	c  635s |      17 |   413465 |   263232 |    23098     22 |      768 |      736
638.06/638.40	c  638s |      17 |   414177 |   263832 |    23098     22 |      768 |      736
640.06/640.45	c  640s |      17 |   414931 |   264432 |    23098     22 |      768 |      736
642.26/642.63	c  642s |      17 |   415695 |   265032 |    23098     22 |      768 |      736
644.36/644.78	c  644s |      17 |   416294 |   265532 |    23098     22 |      768 |      736
646.75/647.12	c  646s |      17 |   416901 |   266032 |    23098     22 |      768 |      736
648.95/649.31	c  649s |      17 |   417541 |   266532 |    23098     22 |      768 |      736
651.15/651.52	c  651s |      17 |   418222 |   267032 |    23098     22 |      768 |      736
653.44/653.84	c  653s |      17 |   419035 |   267632 |    23098     22 |      768 |      736
655.64/656.01	c  655s |      17 |   419629 |   268132 |    23098     22 |      768 |      736
657.74/658.16	c  657s |      17 |   420304 |   268632 |    23098     22 |      768 |      736
660.04/660.47	c  660s |      17 |   421261 |   269232 |    23098     22 |      768 |      736
662.14/662.56	c  662s |      17 |   422058 |   269832 |    23098     22 |      768 |      736
664.33/664.75	c  664s |      17 |   422827 |   270432 |    23098     22 |      768 |      736
666.43/666.86	c  666s |      17 |   423550 |   270932 |    23098     22 |      768 |      736
668.83/669.21	c  668s |      17 |   424203 |   271432 |    23098     23 |      768 |      736
670.83/671.29	c  671s |      17 |   425019 |   272032 |    23098     23 |      768 |      736
673.03/673.46	c  673s |      17 |   426093 |   272832 |    23098     23 |      768 |      736
675.13/675.51	c  675s |      17 |   426884 |   273432 |    23098     23 |      768 |      736
677.23/677.64	c  677s |      17 |   427678 |   274032 |    23098     23 |      768 |      736
679.53/679.91	c  679s |      17 |   428425 |   274632 |    23098     23 |      768 |      736
681.82/682.28	c  682s |      17 |   429052 |   275132 |    23098     23 |      768 |      736
684.02/684.46	c  684s |      17 |   429707 |   275632 |    23098     23 |      768 |      736
686.42/686.81	c  686s |      17 |   430468 |   276232 |    23098     23 |      768 |      736
688.52/689.00	c  688s |      17 |   431079 |   276732 |    23098     23 |      768 |      736
690.82/691.25	c  690s |      17 |   431845 |   277332 |    23098     23 |      768 |      736
693.22/693.63	c  693s |      17 |   432480 |   277832 |    23098     23 |      768 |      736
695.42/695.82	c  695s |      17 |   433080 |   278332 |    23098     23 |      768 |      736
697.62/698.05	c  697s |      17 |   433640 |   278832 |    23098     23 |      768 |      736
700.02/700.43	c  700s |      17 |   434256 |   279332 |    23098     23 |      768 |      736
702.02/702.44	c  702s |      17 |   434711 |   279732 |    23098     23 |      768 |      736
704.22/704.62	c  704s |      17 |   435181 |   280132 |    23098     23 |      768 |      736
706.22/706.65	c  706s |      17 |   436061 |   280732 |    23098     23 |      768 |      736
708.42/708.80	c  708s |      17 |   436835 |   281332 |    23098     23 |      768 |      736
710.72/711.15	c  710s |      17 |   437628 |   281932 |    23098     23 |      768 |      736
713.01/713.45	c  713s |      17 |   438391 |   282532 |    23098     23 |      768 |      736
715.21/715.68	c  715s |      17 |   439129 |   283132 |    23098     23 |      768 |      736
717.31/717.76	c  717s |      17 |   439765 |   283632 |    23098     23 |      768 |      736
720.12/720.52	c  720s |      17 |   440385 |   284132 |    23098     24 |      768 |      736
722.21/722.66	c  722s |      17 |   441114 |   284732 |    23098     24 |      768 |      736
724.31/724.75	c  724s |      17 |   441870 |   285332 |    23098     24 |      768 |      736
726.41/726.87	c  726s |      17 |   442658 |   285932 |    23098     24 |      768 |      736
728.71/729.14	c  728s |      17 |   443400 |   286532 |    23098     24 |      768 |      736
731.01/731.46	c  731s |      17 |   444092 |   287132 |    23098     24 |      768 |      736
733.11/733.54	c  733s |      17 |   444562 |   287532 |    23098     24 |      768 |      736
735.41/735.81	c  735s |      17 |   445301 |   288132 |    23098     24 |      768 |      736
737.41/737.89	c  737s |      17 |   445948 |   288632 |    23098     24 |      768 |      736
739.61/740.04	c  739s |      17 |   446593 |   289132 |    23098     24 |      768 |      736
741.71/742.11	c  741s |      17 |   447204 |   289632 |    23098     24 |      768 |      736
744.01/744.41	c  744s |      17 |   447862 |   290132 |    23098     24 |      768 |      736
746.12/746.52	c  746s |      17 |   448485 |   290632 |    23098     24 |      768 |      736
748.41/748.84	c  748s |      17 |   449110 |   291132 |    23098     24 |      768 |      736
750.51/750.92	c  750s |      17 |   449594 |   291532 |    23098     24 |      768 |      736
752.51/752.93	c  752s |      17 |   450082 |   291932 |    23098     24 |      768 |      736
754.91/755.32	c  755s |      17 |   450679 |   292432 |    23098     24 |      768 |      736
757.31/757.79	c  757s |      17 |   451273 |   292932 |    23098     24 |      768 |      736
759.51/759.93	c  759s |      17 |   451900 |   293432 |    23098     24 |      768 |      736
761.51/761.95	c  761s |      17 |   452481 |   293932 |    23098     24 |      768 |      736
763.61/764.09	c  763s |      17 |   453075 |   294432 |    25408     24 |      768 |      736
765.61/766.10	c  765s |      17 |   453561 |   294832 |    25408     24 |      768 |      736
767.71/768.19	c  767s |      17 |   454041 |   295232 |    25408     24 |      768 |      736
769.81/770.26	c  769s |      17 |   454522 |   295632 |    25408     24 |      768 |      736
772.21/772.68	c  772s |      17 |   455140 |   296132 |    25408     24 |      768 |      736
772.91/773.39	c  773s |      18 |   455273 |   296252 |    25408     24 |      768 |      736
775.01/775.43	c  775s |      18 |   460520 |   297552 |    25408     24 |      768 |      736
777.00/777.45	c  777s |      18 |   465892 |   299152 |    25408     25 |      768 |      736
779.20/779.61	c  779s |      18 |   469180 |   300752 |    25408     25 |      768 |      736
781.20/781.62	c  781s |      18 |   470829 |   301852 |    25408     25 |      768 |      736
783.30/783.70	c  783s |      18 |   472296 |   302852 |    25408     25 |      768 |      736
785.40/785.85	c  785s |      18 |   473565 |   303852 |    25408     25 |      768 |      736
787.60/788.02	c  787s |      18 |   474776 |   304752 |    25408     25 |      768 |      736
789.60/790.06	c  789s |      18 |   475793 |   305552 |    25408     25 |      768 |      736
791.61/792.09	c  791s |      18 |   476846 |   306352 |    25408     25 |      768 |      736
793.71/794.20	c  793s |      18 |   477703 |   307052 |    25408     25 |      768 |      736
795.91/796.37	c  796s |      18 |   478694 |   307852 |    25408     25 |      768 |      736
798.01/798.44	c  798s |      18 |   479538 |   308552 |    25408     25 |      768 |      736
800.11/800.51	c  800s |      18 |   480555 |   309352 |    25408     25 |      768 |      736
802.51/802.93	c  802s |      18 |   481403 |   310052 |    25408     25 |      768 |      736
804.61/805.09	c  804s |      18 |   482287 |   310752 |    25408     25 |      768 |      736
806.91/807.31	c  807s |      18 |   483008 |   311352 |    25408     25 |      768 |      736
809.11/809.50	c  809s |      18 |   483726 |   311952 |    25408     25 |      768 |      736
811.30/811.73	c  811s |      18 |   484434 |   312552 |    25408     25 |      768 |      736
813.50/813.97	c  813s |      18 |   485173 |   313152 |    25408     25 |      768 |      736
815.91/816.31	c  816s |      18 |   485770 |   313652 |    25408     26 |      768 |      736
818.20/818.62	c  818s |      18 |   486659 |   314352 |    25408     26 |      768 |      736
820.40/820.88	c  820s |      18 |   487404 |   314952 |    25408     26 |      768 |      736
822.60/823.02	c  822s |      18 |   488107 |   315552 |    25408     26 |      768 |      736
824.71/825.18	c  824s |      18 |   488822 |   316152 |    25408     26 |      768 |      736
826.81/827.29	c  827s |      18 |   489391 |   316652 |    25408     26 |      768 |      736
828.90/829.35	c  829s |      18 |   490009 |   317152 |    25408     26 |      768 |      736
831.20/831.64	c  831s |      18 |   490765 |   317752 |    25408     26 |      768 |      736
833.40/833.89	c  833s |      18 |   491661 |   318452 |    25408     26 |      768 |      736
835.60/836.08	c  835s |      18 |   492460 |   319052 |    25408     26 |      768 |      736
837.59/838.09	c  837s |      18 |   493385 |   319752 |    25408     26 |      768 |      736
839.59/840.09	c  839s |      18 |   494224 |   320352 |    25408     26 |      768 |      736
841.79/842.27	c  841s |      18 |   494997 |   320952 |    25408     26 |      768 |      736
844.19/844.63	c  844s |      18 |   495644 |   321452 |    25408     26 |      768 |      736
846.39/846.82	c  846s |      18 |   496262 |   321952 |    25408     26 |      768 |      736
848.39/848.88	c  848s |      18 |   496794 |   322352 |    25408     26 |      768 |      736
850.69/851.16	c  850s |      18 |   497540 |   322952 |    25408     26 |      768 |      736
852.79/853.20	c  852s |      18 |   498173 |   323452 |    25408     26 |      768 |      736
854.79/855.27	c  854s |      18 |   498754 |   323952 |    25408     26 |      768 |      736
857.19/857.61	c  857s |      18 |   499371 |   324452 |    25408     26 |      768 |      736
859.29/859.77	c  859s |      18 |   500038 |   324952 |    25408     26 |      768 |      736
861.79/862.26	c  861s |      18 |   500638 |   325452 |    25408     26 |      768 |      736
863.99/864.46	c  864s |      18 |   501271 |   325952 |    25408     26 |      768 |      736
866.30/866.70	c  866s |      18 |   501900 |   326452 |    25408     26 |      768 |      736
868.40/868.88	c  868s |      18 |   502483 |   326952 |    25408     26 |      768 |      736
870.90/871.37	c  871s |      18 |   503101 |   327452 |    25408     26 |      768 |      736
873.10/873.55	c  873s |      18 |   503582 |   327852 |    25408     27 |      768 |      736
875.30/875.79	c  875s |      18 |   504296 |   328452 |    25408     27 |      768 |      736
877.40/877.90	c  877s |      18 |   504900 |   328952 |    25408     27 |      768 |      736
879.49/880.00	c  879s |      18 |   505452 |   329452 |    25408     27 |      768 |      736
881.90/882.31	c  882s |      18 |   506049 |   329952 |    25408     27 |      768 |      736
883.89/884.37	c  884s |      18 |   506653 |   330452 |    25408     27 |      768 |      736
886.20/886.67	c  886s |      18 |   507377 |   331052 |    25408     27 |      768 |      736
888.29/888.74	c  888s |      18 |   507972 |   331552 |    25408     27 |      768 |      736
890.39/890.85	c  890s |      18 |   508549 |   332052 |    25408     27 |      768 |      736
892.69/893.12	c  892s |      18 |   509145 |   332552 |    25408     27 |      768 |      736
895.00/895.49	c  895s |      18 |   509745 |   333052 |    25408     27 |      768 |      736
897.30/897.76	c  897s |      18 |   510331 |   333552 |    25408     27 |      768 |      736
899.29/899.76	c  899s |      18 |   510774 |   333952 |    25408     27 |      768 |      736
901.79/902.22	c  901s |      18 |   511352 |   334452 |    25408     27 |      768 |      736
903.99/904.42	c  904s |      18 |   511934 |   334952 |    25408     27 |      768 |      736
906.39/906.89	c  906s |      18 |   512508 |   335452 |    25408     27 |      768 |      736
908.68/909.16	c  908s |      18 |   513114 |   335952 |    25408     27 |      768 |      736
910.88/911.31	c  911s |      18 |   513562 |   336352 |    25408     27 |      768 |      736
913.28/913.79	c  913s |      18 |   514131 |   336852 |    25408     27 |      768 |      736
915.78/916.27	c  915s |      18 |   514720 |   337352 |    25408     27 |      768 |      736
918.28/918.76	c  918s |      18 |   515159 |   337752 |    25408     27 |      768 |      736
920.78/921.22	c  920s |      18 |   515615 |   338152 |    25408     27 |      768 |      736
923.18/923.62	c  923s |      18 |   516077 |   338552 |    25408     27 |      768 |      736
925.69/926.13	c  925s |      18 |   516515 |   338952 |    25408     27 |      768 |      736
928.09/928.60	c  928s |      18 |   516955 |   339352 |    25408     27 |      768 |      736
930.89/931.39	c  931s |      18 |   517395 |   339752 |    25408     27 |      768 |      736
933.09/933.54	c  933s |      18 |   517732 |   340052 |    25408     27 |      768 |      736
935.28/935.72	c  935s |      18 |   518204 |   340452 |    25408     27 |      768 |      736
937.58/938.07	c  937s |      18 |   518663 |   340852 |    25408     27 |      768 |      736
939.88/940.37	c  940s |      18 |   519002 |   341152 |    25408     27 |      768 |      736
942.29/942.77	c  942s |      18 |   519481 |   341552 |    25408     27 |      768 |      736
944.28/944.80	c  944s |      18 |   519809 |   341852 |    25408     27 |      768 |      736
946.69/947.18	c  946s |      18 |   520136 |   342152 |    25408     28 |      768 |      736
949.18/949.68	c  949s |      18 |   520695 |   342652 |    25408     28 |      768 |      736
951.19/951.68	c  951s |      18 |   521050 |   342952 |    25408     28 |      768 |      736
953.39/953.86	c  953s |      18 |   521544 |   343352 |    25408     28 |      768 |      736
955.38/955.87	c  955s |      18 |   522459 |   343952 |    25408     28 |      768 |      736
957.48/957.95	c  957s |      18 |   523022 |   344452 |    25408     28 |      768 |      736
959.99/960.42	c  960s |      18 |   523567 |   344952 |    25408     28 |      768 |      736
962.38/962.87	c  962s |      18 |   524134 |   345452 |    25408     28 |      768 |      736
964.58/965.05	c  964s |      18 |   524572 |   345852 |    25408     28 |      768 |      736
966.98/967.45	c  967s |      18 |   524997 |   346252 |    25408     28 |      768 |      736
968.98/969.46	c  969s |      18 |   525457 |   346652 |    25408     28 |      768 |      736
971.38/971.88	c  971s |      18 |   526045 |   347152 |    25408     28 |      768 |      736
973.58/974.02	c  973s |      18 |   526497 |   347552 |    25408     28 |      768 |      736
975.67/976.15	c  975s |      18 |   526953 |   347952 |    25408     28 |      768 |      736
978.17/978.65	c  978s |      18 |   527536 |   348452 |    25408     28 |      768 |      736
980.57/981.01	c  980s |      18 |   527982 |   348852 |    25408     28 |      768 |      736
982.98/983.46	c  983s |      18 |   528421 |   349252 |    25408     28 |      768 |      736
985.07/985.56	c  985s |      18 |   528751 |   349552 |    25408     28 |      768 |      736
987.57/988.09	c  987s |      18 |   529183 |   349952 |    25408     28 |      768 |      736
989.77/990.22	c  989s |      18 |   529658 |   350352 |    25408     28 |      768 |      736
992.17/992.68	c  992s |      18 |   530442 |   350952 |    25408     28 |      768 |      736
994.47/994.91	c  994s |      18 |   530999 |   351452 |    25408     28 |      768 |      736
996.67/997.13	c  996s |      18 |   531565 |   351952 |    25408     28 |      768 |      736
999.07/999.59	c  999s |      18 |   532149 |   352452 |    25408     28 |      768 |      736
1001.47/1001.96	c 1001s |      18 |   532762 |   352952 |    25408     28 |      768 |      736
1003.88/1004.32	c 1004s |      18 |   533368 |   353452 |    25408     28 |      768 |      736
1006.08/1006.55	c 1006s |      18 |   533967 |   353952 |    25408     28 |      768 |      736
1008.17/1008.66	c 1008s |      18 |   534574 |   354452 |    25408     28 |      768 |      736
1010.48/1011.00	c 1010s |      18 |   535193 |   354952 |    25408     28 |      768 |      736
1012.97/1013.41	c 1013s |      18 |   535787 |   355452 |    25408     28 |      768 |      736
1014.97/1015.49	c 1015s |      18 |   536253 |   355852 |    25408     28 |      768 |      736
1017.67/1018.10	c 1017s |      18 |   536603 |   356152 |    25408     29 |      768 |      736
1019.97/1020.49	c 1020s |      18 |   537272 |   356752 |    25408     29 |      768 |      736
1022.07/1022.58	c 1022s |      18 |   538015 |   357352 |    25408     29 |      768 |      736
1024.17/1024.67	c 1024s |      18 |   538734 |   357952 |    25408     29 |      768 |      736
1026.57/1027.01	c 1026s |      18 |   539481 |   358552 |    25408     29 |      768 |      736
1028.76/1029.22	c 1028s |      18 |   540204 |   359152 |    25408     29 |      768 |      736
1030.96/1031.45	c 1031s |      18 |   540808 |   359652 |    25408     29 |      768 |      736
1033.06/1033.57	c 1033s |      18 |   541425 |   360152 |    25408     29 |      768 |      736
1035.26/1035.75	c 1035s |      18 |   542188 |   360752 |    25408     29 |      768 |      736
1037.66/1038.19	c 1037s |      18 |   542921 |   361352 |    25408     29 |      768 |      736
1039.96/1040.40	c 1040s |      18 |   543487 |   361852 |    25408     29 |      768 |      736
1042.06/1042.59	c 1042s |      18 |   544075 |   362352 |    25408     29 |      768 |      736
1044.36/1044.81	c 1044s |      18 |   544659 |   362852 |    25408     29 |      768 |      736
1046.87/1047.32	c 1047s |      18 |   545219 |   363352 |    25408     29 |      768 |      736
1048.87/1049.33	c 1049s |      18 |   545688 |   363752 |    25408     29 |      768 |      736
1051.28/1051.77	c 1051s |      18 |   546240 |   364252 |    25408     29 |      768 |      736
1053.57/1054.06	c 1053s |      18 |   546691 |   364652 |    25408     29 |      768 |      736
1056.07/1056.53	c 1056s |      18 |   547288 |   365152 |    25408     29 |      768 |      736
1058.37/1058.84	c 1058s |      18 |   547872 |   365652 |    25408     29 |      768 |      736
1060.77/1061.23	c 1060s |      18 |   548442 |   366152 |    25408     29 |      768 |      736
1063.27/1063.71	c 1063s |      18 |   549007 |   366652 |    25408     29 |      768 |      736
1065.57/1066.01	c 1065s |      18 |   549442 |   367052 |    25408     29 |      768 |      736
1068.07/1068.51	c 1068s |      18 |   549882 |   367452 |    25408     29 |      768 |      736
1070.47/1070.93	c 1070s |      18 |   550304 |   367852 |    25408     29 |      768 |      736
1072.46/1072.94	c 1072s |      18 |   550635 |   368152 |    25408     29 |      768 |      736
1074.46/1074.95	c 1074s |      18 |   551111 |   368552 |    25408     29 |      768 |      736
1076.66/1077.14	c 1076s |      18 |   551580 |   368952 |    25408     29 |      768 |      736
1078.86/1079.33	c 1079s |      18 |   552038 |   369352 |    25408     29 |      768 |      736
1081.16/1081.60	c 1081s |      18 |   552490 |   369752 |    25408     29 |      768 |      736
1083.46/1083.95	c 1083s |      18 |   552933 |   370152 |    25408     29 |      768 |      736
1085.66/1086.18	c 1085s |      18 |   553269 |   370452 |    25408     30 |      768 |      736
1087.76/1088.24	c 1087s |      18 |   553728 |   370852 |    25408     30 |      768 |      736
1089.96/1090.41	c 1090s |      18 |   554320 |   371352 |    25408     30 |      768 |      736
1092.26/1092.71	c 1092s |      18 |   554879 |   371852 |    25408     30 |      768 |      736
1094.26/1094.73	c 1094s |      18 |   555337 |   372252 |    25408     30 |      768 |      736
1096.27/1096.76	c 1096s |      18 |   555768 |   372652 |    25408     30 |      768 |      736
1098.36/1098.87	c 1098s |      18 |   556214 |   373052 |    25408     30 |      768 |      736
1100.46/1100.94	c 1100s |      18 |   556701 |   373452 |    25408     30 |      768 |      736
1102.56/1103.05	c 1102s |      18 |   557129 |   373852 |    25408     30 |      768 |      736
1104.86/1105.37	c 1105s |      18 |   557563 |   374252 |    25408     30 |      768 |      736
1106.96/1107.42	c 1107s |      18 |   558009 |   374652 |    25408     30 |      768 |      736
1109.16/1109.61	c 1109s |      18 |   558461 |   375052 |    25408     30 |      768 |      736
1111.46/1111.99	c 1111s |      18 |   558890 |   375452 |    25408     30 |      768 |      736
1113.66/1114.11	c 1113s |      18 |   559332 |   375852 |    25408     30 |      768 |      736
1116.06/1116.58	c 1116s |      18 |   559767 |   376252 |    25408     30 |      768 |      736
1118.36/1118.85	c 1118s |      18 |   560197 |   376652 |    25408     30 |      768 |      736
1120.85/1121.35	c 1121s |      18 |   560650 |   377052 |    25408     30 |      768 |      736
1123.05/1123.57	c 1123s |      18 |   561088 |   377452 |    25408     30 |      768 |      736
1125.15/1125.67	c 1125s |      18 |   561581 |   377852 |    25408     30 |      768 |      736
1127.25/1127.72	c 1127s |      18 |   562053 |   378252 |    25408     30 |      768 |      736
1129.36/1129.86	c 1129s |      18 |   562489 |   378652 |    25408     30 |      768 |      736
1131.65/1132.11	c 1131s |      18 |   562954 |   379052 |    25408     30 |      768 |      736
1133.85/1134.38	c 1134s |      18 |   563402 |   379452 |    25408     30 |      768 |      736
1136.15/1136.68	c 1136s |      18 |   563875 |   379852 |    25408     30 |      768 |      736
1138.65/1139.13	c 1138s |      18 |   564322 |   380252 |    25408     30 |      768 |      736
1140.95/1141.41	c 1141s |      18 |   564766 |   380652 |    25408     30 |      768 |      736
1143.35/1143.81	c 1143s |      18 |   565222 |   381052 |    25408     30 |      768 |      736
1145.45/1145.90	c 1145s |      18 |   565678 |   381452 |    25408     30 |      768 |      736
1147.85/1148.35	c 1148s |      18 |   566119 |   381852 |    25408     30 |      768 |      736
1150.45/1150.95	c 1150s |      18 |   566561 |   382252 |    25408     30 |      768 |      736
1152.85/1153.31	c 1153s |      18 |   566983 |   382652 |    25408     30 |      768 |      736
1155.25/1155.71	c 1155s |      18 |   567433 |   383052 |    25408     30 |      768 |      736
1157.74/1158.26	c 1157s |      18 |   567895 |   383452 |    25408     30 |      768 |      736
1160.24/1160.77	c 1160s |      18 |   568335 |   383852 |    25408     30 |      768 |      736
1162.84/1163.31	c 1163s |      18 |   568792 |   384252 |    25408     30 |      768 |      736
1165.14/1165.61	c 1165s |      18 |   569222 |   384652 |    25408     30 |      768 |      736
1167.54/1168.05	c 1167s |      18 |   569552 |   384952 |    25408     31 |      768 |      736
1169.84/1170.35	c 1170s |      18 |   570007 |   385352 |    25408     31 |      768 |      736
1172.35/1172.83	c 1172s |      18 |   570551 |   385852 |    25408     31 |      768 |      736
1174.36/1174.89	c 1174s |      18 |   571017 |   386252 |    25408     31 |      768 |      736
1176.56/1177.10	c 1176s |      18 |   571612 |   386752 |    25408     31 |      768 |      736
1178.95/1179.47	c 1179s |      18 |   572331 |   387352 |    25408     31 |      768 |      736
1181.25/1181.78	c 1181s |      18 |   573370 |   388052 |    25408     31 |      768 |      736
1183.35/1183.86	c 1183s |      18 |   574009 |   388552 |    25408     31 |      768 |      736
1185.65/1186.15	c 1185s |      18 |   574636 |   389052 |    25408     31 |      768 |      736
1187.75/1188.27	c 1187s |      18 |   575222 |   389552 |    25408     31 |      768 |      736
1190.15/1190.62	c 1190s |      18 |   575788 |   390052 |    25408     31 |      768 |      736
1192.54/1193.01	c 1192s |      18 |   576346 |   390552 |    25408     31 |      768 |      736
1195.04/1195.52	c 1195s |      18 |   576900 |   391052 |    25408     31 |      768 |      736
1197.34/1197.84	c 1197s |      18 |   577475 |   391552 |    25408     31 |      768 |      736
1199.84/1200.39	c 1200s |      18 |   578040 |   392052 |    25408     31 |      768 |      736
1202.14/1202.64	c 1202s |      18 |   578633 |   392552 |    25408     31 |      768 |      736
1204.64/1205.16	c 1204s |      18 |   579193 |   393052 |    25408     31 |      768 |      736
1207.14/1207.64	c 1207s |      18 |   579778 |   393552 |    25408     31 |      768 |      736
1209.24/1209.78	c 1209s |      18 |   580236 |   393952 |    25408     31 |      768 |      736
1211.54/1212.03	c 1211s |      18 |   580869 |   394452 |    25408     31 |      768 |      736
1213.84/1214.37	c 1214s |      18 |   581688 |   395052 |    25408     31 |      768 |      736
1216.24/1216.79	c 1216s |      18 |   582263 |   395552 |    25408     31 |      768 |      736
1218.64/1219.12	c 1218s |      18 |   582875 |   396052 |    25408     31 |      768 |      736
1220.64/1221.14	c 1220s |      18 |   583359 |   396452 |    25408     31 |      768 |      736
1222.74/1223.23	c 1222s |      18 |   583839 |   396852 |    25408     31 |      768 |      736
1224.83/1225.35	c 1225s |      18 |   586307 |   397852 |    25408     31 |      768 |      736
1226.93/1227.40	c 1227s |      18 |   587500 |   398652 |    25408     31 |      768 |      736
1228.93/1229.45	c 1229s |      18 |   588322 |   399152 |    25408     32 |      768 |      736
1231.03/1231.58	c 1231s |      18 |   590278 |   400152 |    25408     32 |      768 |      736
1233.23/1233.74	c 1233s |      18 |   591486 |   401052 |    25408     32 |      768 |      736
1235.33/1235.87	c 1235s |      18 |   592684 |   401852 |    25408     32 |      768 |      736
1237.53/1238.01	c 1237s |      18 |   593767 |   402652 |    25408     32 |      768 |      736
1239.63/1240.19	c 1239s |      18 |   594820 |   403452 |    25408     32 |      768 |      736
1242.03/1242.55	c 1242s |      18 |   595660 |   404152 |    25408     32 |      768 |      736
1244.04/1244.59	c 1244s |      18 |   596254 |   404652 |    25408     32 |      768 |      736
1246.34/1246.87	c 1246s |      18 |   596919 |   405252 |    25408     32 |      768 |      736
1248.64/1249.13	c 1248s |      18 |   597605 |   405852 |    25408     32 |      768 |      736
1250.64/1251.18	c 1250s |      18 |   598404 |   406452 |    25408     32 |      768 |      736
1252.84/1253.31	c 1253s |      18 |   599272 |   407152 |    25408     32 |      768 |      736
1254.84/1255.33	c 1255s |      18 |   600007 |   407752 |    25408     32 |      768 |      736
1257.24/1257.71	c 1257s |      18 |   600689 |   408352 |    25408     32 |      768 |      736
1259.44/1259.92	c 1259s |      18 |   601279 |   408852 |    25408     32 |      768 |      736
1261.74/1262.24	c 1261s |      18 |   601830 |   409352 |    25408     32 |      768 |      736
1263.74/1264.24	c 1263s |      18 |   602250 |   409752 |    25408     32 |      768 |      736
1265.94/1266.42	c 1266s |      18 |   603201 |   410452 |    25408     32 |      768 |      736
1268.24/1268.70	c 1268s |      18 |   603915 |   411052 |    25408     32 |      768 |      736
1270.53/1271.00	c 1270s |      18 |   604698 |   411652 |    25408     32 |      768 |      736
1272.63/1273.19	c 1272s |      18 |   605467 |   412252 |    25408     32 |      768 |      736
1274.73/1275.24	c 1274s |      18 |   606053 |   412752 |    25408     32 |      768 |      736
1277.23/1277.74	c 1277s |      18 |   606645 |   413252 |    25408     33 |      768 |      736
1279.23/1279.74	c 1279s |      18 |   607353 |   413852 |    25408     33 |      768 |      736
1281.33/1281.81	c 1281s |      18 |   608059 |   414452 |    25408     33 |      768 |      736
1283.53/1284.04	c 1283s |      18 |   608790 |   415052 |    25408     33 |      768 |      736
1285.73/1286.28	c 1286s |      18 |   609506 |   415652 |    25408     33 |      768 |      736
1287.93/1288.41	c 1288s |      18 |   610359 |   416352 |    25408     33 |      768 |      736
1290.03/1290.55	c 1290s |      18 |   611076 |   416952 |    25408     33 |      768 |      736
1292.14/1292.65	c 1292s |      18 |   611673 |   417452 |    25408     33 |      768 |      736
1294.43/1294.90	c 1294s |      18 |   612398 |   418052 |    25408     33 |      768 |      736
1296.73/1297.24	c 1296s |      18 |   612965 |   418552 |    25408     33 |      768 |      736
1299.03/1299.56	c 1299s |      18 |   613524 |   419052 |    25408     33 |      768 |      736
1301.33/1301.88	c 1301s |      18 |   614119 |   419552 |    25408     33 |      768 |      736
1303.83/1304.34	c 1304s |      18 |   614669 |   420052 |    25408     33 |      768 |      736
1306.03/1306.55	c 1306s |      18 |   615102 |   420452 |    25408     33 |      768 |      736
1308.03/1308.58	c 1308s |      18 |   615556 |   420852 |    25408     33 |      768 |      736
1310.33/1310.89	c 1310s |      18 |   615995 |   421252 |    25408     33 |      768 |      736
1312.93/1313.41	c 1313s |      18 |   616566 |   421752 |    25408     33 |      768 |      736
1315.03/1315.55	c 1315s |      18 |   617020 |   422152 |    25408     33 |      768 |      736
1317.33/1317.87	c 1317s |      18 |   617436 |   422552 |    25408     33 |      768 |      736
1319.72/1320.28	c 1320s |      18 |   618024 |   423052 |    25408     33 |      768 |      736
1322.02/1322.58	c 1322s |      18 |   618456 |   423452 |    25408     33 |      768 |      736
1324.22/1324.76	c 1324s |      18 |   618930 |   423852 |    25408     33 |      768 |      736
1326.72/1327.20	c 1326s |      18 |   619528 |   424352 |    25408     33 |      768 |      736
1329.12/1329.67	c 1329s |      18 |   620101 |   424852 |    25408     33 |      768 |      736
1331.22/1331.75	c 1331s |      18 |   620532 |   425252 |    25408     33 |      768 |      736
1333.62/1334.16	c 1333s |      18 |   620982 |   425652 |    25408     33 |      768 |      736
1336.03/1336.56	c 1336s |      18 |   621535 |   426152 |    25408     33 |      768 |      736
1338.23/1338.78	c 1338s |      18 |   621995 |   426552 |    25408     33 |      768 |      736
1340.43/1340.96	c 1340s |      18 |   622447 |   426952 |    25408     33 |      768 |      736
1342.52/1343.03	c 1342s |      18 |   622919 |   427352 |    25408     33 |      768 |      736
1344.62/1345.12	c 1344s |      18 |   623287 |   427652 |    25408     34 |      768 |      736
1346.62/1347.12	c 1346s |      18 |   623850 |   428152 |    25408     34 |      768 |      736
1348.82/1349.32	c 1349s |      18 |   624429 |   428652 |    25408     34 |      768 |      736
1350.82/1351.32	c 1351s |      18 |   625013 |   429152 |    25408     34 |      768 |      736
1353.12/1353.60	c 1353s |      18 |   625568 |   429652 |    25408     34 |      768 |      736
1355.42/1355.95	c 1355s |      18 |   626111 |   430152 |    25408     34 |      768 |      736
1357.82/1358.35	c 1358s |      18 |   626723 |   430652 |    25408     34 |      768 |      736
1360.32/1360.81	c 1360s |      18 |   627414 |   431252 |    25408     34 |      768 |      736
1362.71/1363.20	c 1362s |      18 |   627972 |   431752 |    25408     34 |      768 |      736
1364.81/1365.34	c 1365s |      18 |   628569 |   432252 |    25408     34 |      768 |      736
1367.21/1367.78	c 1367s |      18 |   629116 |   432752 |    25408     34 |      768 |      736
1369.61/1370.11	c 1369s |      18 |   629719 |   433252 |    25408     34 |      768 |      736
1371.91/1372.46	c 1372s |      18 |   630318 |   433752 |    25408     34 |      768 |      736
1374.11/1374.67	c 1374s |      18 |   630880 |   434252 |    25408     34 |      768 |      736
1376.31/1376.85	c 1376s |      18 |   631468 |   434752 |    25408     34 |      768 |      736
1378.71/1379.22	c 1378s |      18 |   632011 |   435252 |    25408     34 |      768 |      736
1381.23/1381.76	c 1381s |      18 |   632585 |   435752 |    25408     34 |      768 |      736
1383.33/1383.89	c 1383s |      18 |   633010 |   436152 |    25408     34 |      768 |      736
1385.42/1385.93	c 1385s |      18 |   633452 |   436552 |    25408     34 |      768 |      736
1387.42/1387.99	c 1387s |      18 |   633915 |   436952 |    25408     34 |      768 |      736
1389.62/1390.20	c 1389s |      18 |   634364 |   437352 |    25408     34 |      768 |      736
1391.92/1392.47	c 1392s |      18 |   634951 |   437852 |    25408     34 |      768 |      736
1394.32/1394.90	c 1394s |      18 |   635516 |   438352 |    25408     34 |      768 |      736
1396.72/1397.24	c 1396s |      18 |   636152 |   438852 |    25408     34 |      768 |      736
1398.92/1399.42	c 1399s |      18 |   636767 |   439352 |    25408     34 |      768 |      736
1401.32/1401.84	c 1401s |      18 |   637376 |   439852 |    25408     34 |      768 |      736
1403.32/1403.85	c 1403s |      18 |   637837 |   440252 |    25408     34 |      768 |      736
1405.52/1406.08	c 1405s |      18 |   638432 |   440752 |    25408     34 |      768 |      736
1407.82/1408.37	c 1408s |      18 |   638995 |   441252 |    25408     34 |      768 |      736
1410.11/1410.63	c 1410s |      18 |   639578 |   441752 |    27949     34 |      768 |      736
1412.11/1412.66	c 1412s |      18 |   640103 |   442152 |    27949     34 |      768 |      736
1414.51/1415.01	c 1414s |      18 |   640561 |   442552 |    27949     34 |      768 |      736
1416.81/1417.38	c 1417s |      18 |   641150 |   443052 |    27949     34 |      768 |      736
1419.01/1419.60	c 1419s |      18 |   641635 |   443452 |    27949     34 |      768 |      736
1421.41/1421.93	c 1421s |      18 |   642090 |   443852 |    27949     34 |      768 |      736
1424.12/1424.62	c 1424s |      18 |   642553 |   444252 |    27949     34 |      768 |      736
1426.01/1426.58	c 1426s |      19 |   642808 |   444482 |    27949     35 |      768 |      736
1428.11/1428.63	c 1428s |      19 |   649946 |   446182 |    27949     35 |      768 |      736
1430.21/1430.73	c 1430s |      19 |   652569 |   447582 |    27949     35 |      768 |      736
1432.21/1432.78	c 1432s |      19 |   654036 |   448682 |    27949     35 |      768 |      736
1434.41/1434.98	c 1434s |      19 |   655572 |   449782 |    27949     35 |      768 |      736
1436.41/1436.98	c 1436s |      19 |   656491 |   450582 |    27949     35 |      768 |      736
1438.61/1439.15	c 1438s |      19 |   657768 |   451582 |    27949     35 |      768 |      736
1440.81/1441.34	c 1441s |      19 |   658855 |   452482 |    27949     35 |      768 |      736
1442.91/1443.46	c 1443s |      19 |   659762 |   453282 |    27949     35 |      768 |      736
1445.11/1445.69	c 1445s |      19 |   660679 |   454082 |    27949     35 |      768 |      736
1447.41/1447.91	c 1447s |      19 |   661466 |   454782 |    27949     35 |      768 |      736
1449.61/1450.16	c 1449s |      19 |   662249 |   455482 |    27949     35 |      768 |      736
1451.81/1452.37	c 1452s |      19 |   663024 |   456182 |    27949     35 |      768 |      736
1453.91/1454.46	c 1454s |      19 |   663794 |   456882 |    27949     35 |      768 |      736
1455.91/1456.50	c 1456s |      19 |   664459 |   457482 |    27949     35 |      768 |      736
1458.21/1458.73	c 1458s |      19 |   665247 |   458182 |    27949     35 |      768 |      736
1460.60/1461.12	c 1460s |      19 |   666088 |   458882 |    27949     35 |      768 |      736
1462.61/1463.13	c 1462s |      19 |   666806 |   459482 |    27949     35 |      768 |      736
1464.60/1465.20	c 1464s |      19 |   667385 |   459982 |    27949     36 |      768 |      736
1466.91/1467.44	c 1467s |      19 |   668211 |   460682 |    27949     36 |      768 |      736
1469.00/1469.60	c 1469s |      19 |   668928 |   461282 |    27949     36 |      768 |      736
1471.10/1471.67	c 1471s |      19 |   669639 |   461882 |    27949     36 |      768 |      736
1473.10/1473.67	c 1473s |      19 |   670207 |   462382 |    27949     36 |      768 |      736
1475.20/1475.78	c 1475s |      19 |   670797 |   462882 |    27949     36 |      768 |      736
1477.30/1477.88	c 1477s |      19 |   671361 |   463382 |    27949     36 |      768 |      736
1479.70/1480.23	c 1479s |      19 |   672059 |   463982 |    27949     36 |      768 |      736
1481.90/1482.43	c 1482s |      19 |   672602 |   464482 |    27949     36 |      768 |      736
1484.10/1484.70	c 1484s |      19 |   673279 |   465082 |    27949     36 |      768 |      736
1486.30/1486.88	c 1486s |      19 |   673841 |   465582 |    27949     36 |      768 |      736
1488.70/1489.21	c 1488s |      19 |   674517 |   466182 |    27949     36 |      768 |      736
1490.80/1491.31	c 1491s |      19 |   675105 |   466682 |    27949     36 |      768 |      736
1493.00/1493.56	c 1493s |      19 |   675651 |   467182 |    27949     36 |      768 |      736
1495.40/1495.92	c 1495s |      19 |   676202 |   467682 |    27949     36 |      768 |      736
1497.50/1498.04	c 1497s |      19 |   676763 |   468182 |    27949     36 |      768 |      736
1499.60/1500.12	c 1499s |      19 |   677346 |   468682 |    27949     36 |      768 |      736
1501.90/1502.40	c 1502s |      19 |   677922 |   469182 |    27949     36 |      768 |      736
1504.00/1504.56	c 1504s |      19 |   678483 |   469682 |    27949     36 |      768 |      736
1506.50/1507.01	c 1506s |      19 |   679063 |   470182 |    27949     36 |      768 |      736
1508.60/1509.11	c 1508s |      19 |   679514 |   470582 |    27949     36 |      768 |      736
1510.60/1511.12	c 1510s |      19 |   679947 |   470982 |    27949     36 |      768 |      736
1512.69/1513.22	c 1512s |      19 |   680378 |   471382 |    27949     36 |      768 |      736
1515.19/1515.70	c 1515s |      19 |   680937 |   471882 |    27949     36 |      768 |      736
1517.50/1518.03	c 1517s |      19 |   681505 |   472382 |    27949     36 |      768 |      736
1519.99/1520.51	c 1520s |      19 |   682040 |   472882 |    27949     36 |      768 |      736
1522.00/1522.54	c 1522s |      19 |   682500 |   473282 |    27949     36 |      768 |      736
1524.20/1524.76	c 1524s |      19 |   682934 |   473682 |    27949     36 |      768 |      736
1526.40/1526.94	c 1526s |      19 |   683382 |   474082 |    27949     36 |      768 |      736
1528.50/1529.08	c 1528s |      19 |   683807 |   474482 |    27949     36 |      768 |      736
1530.89/1531.42	c 1531s |      19 |   684246 |   474882 |    27949     36 |      768 |      736
1533.19/1533.73	c 1533s |      19 |   684702 |   475282 |    27949     36 |      768 |      736
1535.20/1535.77	c 1535s |      19 |   685035 |   475582 |    27949     37 |      768 |      736
1537.40/1537.92	c 1537s |      19 |   685576 |   476082 |    27949     37 |      768 |      736
1539.69/1540.23	c 1539s |      19 |   686146 |   476582 |    27949     37 |      768 |      736
1541.69/1542.27	c 1541s |      19 |   686597 |   476982 |    27949     37 |      768 |      736
1543.99/1544.53	c 1544s |      19 |   687152 |   477482 |    27949     37 |      768 |      736
1546.29/1546.88	c 1546s |      19 |   687858 |   478082 |    27949     37 |      768 |      736
1548.49/1549.02	c 1548s |      19 |   688390 |   478582 |    27949     37 |      768 |      736
1550.69/1551.22	c 1550s |      19 |   688949 |   479082 |    27949     37 |      768 |      736
1552.79/1553.30	c 1553s |      19 |   689517 |   479582 |    27949     37 |      768 |      736
1555.19/1555.70	c 1555s |      19 |   690208 |   480182 |    27949     37 |      768 |      736
1557.49/1558.05	c 1557s |      19 |   690774 |   480682 |    27949     37 |      768 |      736
1559.98/1560.51	c 1560s |      19 |   691317 |   481182 |    27949     37 |      768 |      736
1562.18/1562.78	c 1562s |      19 |   691866 |   481682 |    27949     37 |      768 |      736
1564.79/1565.35	c 1565s |      19 |   692421 |   482182 |    27949     37 |      768 |      736
1567.28/1567.80	c 1567s |      19 |   692983 |   482682 |    27949     37 |      768 |      736
1569.58/1570.11	c 1569s |      19 |   693411 |   483082 |    27949     37 |      768 |      736
1571.98/1572.55	c 1572s |      19 |   693968 |   483582 |    27949     37 |      768 |      736
1573.98/1574.59	c 1574s |      19 |   694418 |   483982 |    27949     37 |      768 |      736
1576.28/1576.86	c 1576s |      19 |   694892 |   484382 |    27949     37 |      768 |      736
1578.78/1579.30	c 1579s |      19 |   695320 |   484782 |    27949     37 |      768 |      736
1580.88/1581.47	c 1581s |      19 |   695638 |   485082 |    27949     37 |      768 |      736
1582.98/1583.56	c 1583s |      19 |   696090 |   485482 |    27949     37 |      768 |      736
1585.48/1586.01	c 1585s |      19 |   696538 |   485882 |    27949     37 |      768 |      736
1587.89/1588.47	c 1588s |      19 |   696969 |   486282 |    27949     37 |      768 |      736
1590.28/1590.87	c 1590s |      19 |   697410 |   486682 |    27949     37 |      768 |      736
1592.48/1593.00	c 1592s |      19 |   697729 |   486982 |    27949     37 |      768 |      736
1594.88/1595.49	c 1595s |      19 |   698164 |   487382 |    27949     37 |      768 |      736
1596.98/1597.59	c 1597s |      19 |   698614 |   487782 |    27949     37 |      768 |      736
1599.08/1599.69	c 1599s |      19 |   699070 |   488182 |    27949     37 |      768 |      736
1601.48/1602.00	c 1601s |      19 |   699519 |   488582 |    27949     37 |      768 |      736
1603.48/1604.08	c 1603s |      19 |   699966 |   488982 |    27949     37 |      768 |      736
1605.88/1606.46	c 1606s |      19 |   700417 |   489382 |    27949     37 |      768 |      736
1608.08/1608.69	c 1608s |      19 |   700897 |   489782 |    27949     37 |      768 |      736
1610.18/1610.78	c 1610s |      19 |   701359 |   490182 |    27949     37 |      768 |      736
1612.58/1613.14	c 1612s |      19 |   701797 |   490582 |    27949     37 |      768 |      736
1615.38/1615.90	c 1615s |      19 |   702243 |   490982 |    27949     38 |      768 |      736
1617.48/1618.01	c 1617s |      19 |   702791 |   491482 |    27949     38 |      768 |      736
1619.88/1620.41	c 1620s |      19 |   703349 |   491982 |    27949     38 |      768 |      736
1621.87/1622.43	c 1622s |      19 |   703968 |   492482 |    27949     38 |      768 |      736
1624.28/1624.81	c 1624s |      19 |   704682 |   493082 |    27949     38 |      768 |      736
1626.67/1627.20	c 1626s |      19 |   705334 |   493682 |    27949     38 |      768 |      736
1628.87/1629.45	c 1629s |      19 |   706021 |   494282 |    27949     38 |      768 |      736
1630.97/1631.55	c 1631s |      19 |   706447 |   494682 |    27949     38 |      768 |      736
1633.37/1633.99	c 1633s |      19 |   706997 |   495182 |    27949     38 |      768 |      736
1635.77/1636.36	c 1636s |      19 |   707559 |   495682 |    27949     38 |      768 |      736
1637.97/1638.50	c 1638s |      19 |   707992 |   496082 |    27949     38 |      768 |      736
1640.07/1640.64	c 1640s |      19 |   708428 |   496482 |    27949     38 |      768 |      736
1642.47/1643.04	c 1642s |      19 |   708986 |   496982 |    27949     38 |      768 |      736
1644.97/1645.56	c 1645s |      19 |   709530 |   497482 |    27949     38 |      768 |      736
1647.39/1647.95	c 1647s |      19 |   710095 |   497982 |    27949     38 |      768 |      736
1649.38/1649.95	c 1649s |      19 |   710544 |   498382 |    27949     38 |      768 |      736
1651.78/1652.36	c 1652s |      19 |   711115 |   498882 |    27949     38 |      768 |      736
1654.18/1654.75	c 1654s |      19 |   711660 |   499382 |    27949     38 |      768 |      736
1656.28/1656.81	c 1656s |      19 |   712113 |   499782 |    27949     38 |      768 |      736
1658.38/1658.92	c 1658s |      19 |   712558 |   500182 |    27949     38 |      768 |      736
1660.68/1661.21	c 1660s |      19 |   713003 |   500582 |    27949     38 |      768 |      736
1662.88/1663.48	c 1663s |      19 |   713427 |   500982 |    27949     38 |      768 |      736
1665.07/1665.61	c 1665s |      19 |   713885 |   501382 |    27949     38 |      768 |      736
1667.37/1667.93	c 1667s |      19 |   714301 |   501782 |    27949     38 |      768 |      736
1669.67/1670.23	c 1669s |      19 |   714736 |   502182 |    27949     38 |      768 |      736
1671.77/1672.37	c 1672s |      19 |   715216 |   502582 |    27949     38 |      768 |      736
1674.17/1674.75	c 1674s |      19 |   715643 |   502982 |    27949     38 |      768 |      736
1676.57/1677.19	c 1676s |      19 |   716082 |   503382 |    27949     38 |      768 |      736
1678.87/1679.43	c 1679s |      19 |   716522 |   503782 |    27949     38 |      768 |      736
1681.07/1681.61	c 1681s |      19 |   716963 |   504182 |    27949     38 |      768 |      736
1683.58/1684.18	c 1683s |      19 |   717408 |   504582 |    27949     38 |      768 |      736
1685.67/1686.28	c 1686s |      19 |   717835 |   504982 |    27949     38 |      768 |      736
1687.98/1688.57	c 1688s |      19 |   718293 |   505382 |    27949     38 |      768 |      736
1690.07/1690.69	c 1690s |      19 |   718745 |   505782 |    27949     38 |      768 |      736
1692.17/1692.73	c 1692s |      19 |   719250 |   506182 |    27949     38 |      768 |      736
1694.68/1695.21	c 1694s |      19 |   719834 |   506682 |    27949     39 |      768 |      736
1696.67/1697.29	c 1697s |      19 |   720611 |   507382 |    27949     39 |      768 |      736
1698.98/1699.58	c 1699s |      19 |   721299 |   507982 |    27949     39 |      768 |      736
1701.18/1701.72	c 1701s |      19 |   721865 |   508482 |    27949     39 |      768 |      736
1703.27/1703.89	c 1703s |      19 |   722419 |   508982 |    27949     39 |      768 |      736
1705.37/1705.90	c 1705s |      19 |   722990 |   509482 |    27949     39 |      768 |      736
1707.47/1708.01	c 1707s |      19 |   723535 |   509982 |    27949     39 |      768 |      736
1709.67/1710.26	c 1709s |      19 |   724104 |   510482 |    27949     39 |      768 |      736
1711.77/1712.35	c 1712s |      19 |   724710 |   510982 |    27949     39 |      768 |      736
1713.97/1714.56	c 1714s |      19 |   725399 |   511582 |    27949     39 |      768 |      736
1715.97/1716.59	c 1716s |      19 |   725986 |   512082 |    27949     39 |      768 |      736
1718.16/1718.78	c 1718s |      19 |   726523 |   512582 |    27949     39 |      768 |      736
1720.36/1720.96	c 1720s |      19 |   727107 |   513082 |    27949     39 |      768 |      736
1722.36/1722.99	c 1722s |      19 |   727667 |   513582 |    27949     39 |      768 |      736
1724.76/1725.33	c 1725s |      19 |   728206 |   514082 |    27949     39 |      768 |      736
1727.16/1727.77	c 1727s |      19 |   728753 |   514582 |    27949     39 |      768 |      736
1729.56/1730.16	c 1729s |      19 |   729304 |   515082 |    27949     39 |      768 |      736
1732.07/1732.67	c 1732s |      19 |   729848 |   515582 |    27949     39 |      768 |      736
1734.17/1734.74	c 1734s |      19 |   730277 |   515982 |    27949     39 |      768 |      736
1736.56/1737.17	c 1736s |      19 |   730701 |   516382 |    27949     39 |      768 |      736
1739.06/1739.65	c 1739s |      19 |   731245 |   516882 |    27949     39 |      768 |      736
1741.46/1742.07	c 1741s |      19 |   731814 |   517382 |    27949     39 |      768 |      736
1743.96/1744.58	c 1744s |      19 |   732382 |   517882 |    27949     39 |      768 |      736
1746.16/1746.80	c 1746s |      19 |   732806 |   518282 |    27949     39 |      768 |      736
1748.47/1749.01	c 1748s |      19 |   733252 |   518682 |    27949     39 |      768 |      736
1750.67/1751.28	c 1751s |      19 |   733684 |   519082 |    27949     39 |      768 |      736
1752.87/1753.45	c 1753s |      19 |   734134 |   519482 |    27949     39 |      768 |      736
1755.07/1755.66	c 1755s |      19 |   734560 |   519882 |    27949     39 |      768 |      736
1757.16/1757.77	c 1757s |      19 |   735018 |   520282 |    27949     39 |      768 |      736
1759.36/1759.97	c 1759s |      19 |   735467 |   520682 |    27949     39 |      768 |      736
1761.67/1762.25	c 1761s |      19 |   735897 |   521082 |    27949     39 |      768 |      736
1764.16/1764.76	c 1764s |      19 |   736482 |   521582 |    27949     39 |      768 |      736
1766.46/1767.07	c 1766s |      19 |   736920 |   521982 |    27949     39 |      768 |      736
1768.76/1769.34	c 1769s |      19 |   737248 |   522282 |    27949     40 |      768 |      736
1771.06/1771.65	c 1771s |      19 |   737794 |   522782 |    27949     40 |      768 |      736
1773.16/1773.71	c 1773s |      19 |   738349 |   523282 |    27949     40 |      768 |      736
1775.26/1775.85	c 1775s |      19 |   738901 |   523782 |    27949     40 |      768 |      736
1777.35/1777.97	c 1777s |      19 |   739445 |   524282 |    27949     40 |      768 |      736
1779.55/1780.18	c 1779s |      19 |   740013 |   524782 |    27949     40 |      768 |      736
1782.05/1782.62	c 1782s |      19 |   740552 |   525282 |    27949     40 |      768 |      736
1784.15/1784.72	c 1784s |      19 |   740967 |   525682 |    27949     40 |      768 |      736
1786.25/1786.83	c 1786s |      19 |   741391 |   526082 |    27949     40 |      768 |      736
1788.35/1788.93	c 1788s |      19 |   741833 |   526482 |    27949     40 |      768 |      736
1790.36/1790.99	c 1790s |      19 |   742280 |   526882 |    27949     40 |      768 |      736
1792.56/1793.12	c 1792s |      19 |   742736 |   527282 |    27949     40 |      768 |      736
1794.85/1795.46	c 1795s |      19 |   743304 |   527782 |    27949     40 |      768 |      736
1796.96/1797.56	c 1797s |      19 |   743746 |   528182 |    27949     40 |      768 |      736
1799.55/1800.10	c 1799s |      19 |   744311 |   528682 |    27949     40 |      768 |      736

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

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

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


[startup+0 s]
/proc/loadavg: 2.14 2.15 2.10 3/171 23213
/proc/meminfo: memFree=30774056/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=692668 CPUtime=0 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 2576 0 0 0 0 0 0 0 20 0 4 0 31118015 709292032 2938 33554432000 4194304 16246674 140735186354464 140735186353888 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 173679 2947 441 2943 0 170573 0
[pid=23213/tid=23214] ppid=23209 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 727117824 3005 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 731312128 3022 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31118015 735506432 3039 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.14 2.15 2.10 3/171 23213
/proc/meminfo: memFree=30774056/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 28468 0 0 0 6 3 0 0 20 0 4 0 31118015 1249447936 28767 33554432000 4194304 16246674 140735186354464 140735186353776 4222992 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 305041 28767 801 2943 0 301935 0
[pid=23213/tid=23214] ppid=23209 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1249447936 28767 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1249447936 28767 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1249447936 28767 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200532 s]
/proc/loadavg: 2.14 2.15 2.10 3/171 23213
/proc/meminfo: memFree=30774056/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 48674 0 0 0 13 6 0 0 20 0 4 0 31118015 1332285440 48973 33554432000 4194304 16246674 140735186354464 140735186353776 5913456 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 325265 48973 842 2943 0 322159 0
[pid=23213/tid=23214] ppid=23209 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1332285440 48973 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1332285440 48973 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1332285440 48973 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.3005 s]
/proc/loadavg: 2.14 2.15 2.10 3/171 23213
/proc/meminfo: memFree=30774056/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 54684 0 0 0 22 7 0 0 20 0 4 0 31118015 1332285440 54983 33554432000 4194304 16246674 140735186354464 140735186353776 12478957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 325265 54989 884 2943 0 322159 0
[pid=23213/tid=23214] ppid=23209 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1332285440 54992 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1332285440 54995 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1332285440 54999 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700405 s]
/proc/loadavg: 2.14 2.15 2.10 3/171 23213
/proc/meminfo: memFree=30774056/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 106620 0 0 0 54 15 0 0 20 0 4 0 31118015 1332285440 106919 33554432000 4194304 16246674 140735186354464 140735186336384 13780501 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 325265 106924 884 2943 0 322159 0
[pid=23213/tid=23214] ppid=23209 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1332285440 106928 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1332285440 106931 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1332285440 106935 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50041 s]
/proc/loadavg: 2.14 2.15 2.10 3/183 23230
/proc/meminfo: memFree=29531152/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 210896 0 0 0 122 27 0 0 20 0 4 0 31118015 1332285440 211195 33554432000 4194304 16246674 140735186354464 140735186336384 12875570 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 325265 211200 884 2943 0 322159 0
[pid=23213/tid=23214] ppid=23209 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1332285440 211202 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1332285440 211207 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1332285440 211209 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10042 s]
/proc/loadavg: 2.13 2.15 2.10 3/183 23230
/proc/meminfo: memFree=28603756/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 269349 0 0 0 274 35 0 0 20 0 4 0 31118015 1344868352 269648 33554432000 4194304 16246674 140735186354464 140735186336384 5823905 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 328337 269648 891 2943 0 325231 0
[pid=23213/tid=23214] ppid=23209 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1344868352 269648 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1344868352 269648 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1344868352 269648 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30037 s]
/proc/loadavg: 2.13 2.15 2.10 4/183 23230
/proc/meminfo: memFree=28602616/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 269525 0 0 0 594 35 0 0 20 0 4 0 31118015 1344868352 269824 33554432000 4194304 16246674 140735186354464 140735186353560 5711439 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 328337 269824 891 2943 0 325231 0
[pid=23213/tid=23214] ppid=23209 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1344868352 269824 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1344868352 269824 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1344868352 269824 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7003 s]
/proc/loadavg: 2.18 2.16 2.10 3/183 23230
/proc/meminfo: memFree=28602664/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 269526 0 0 0 1234 35 0 0 20 0 4 0 31118015 1344868352 269825 33554432000 4194304 16246674 140735186354464 140735186336384 12415827 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 328337 269825 891 2943 0 325231 0
[pid=23213/tid=23214] ppid=23209 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1344868352 269825 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1344868352 269825 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1344868352 269825 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.15 2.15 2.10 3/184 23233
/proc/meminfo: memFree=28603276/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 269529 0 0 0 2514 35 0 0 20 0 4 0 31118015 1344868352 269829 33554432000 4194304 16246674 140735186354464 140735186336384 5712148 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 328337 269829 892 2943 0 325231 0
[pid=23213/tid=23214] ppid=23209 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1344868352 269829 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1344868352 269829 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1344868352 269829 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.10 2.14 2.09 4/184 23233
/proc/meminfo: memFree=28603804/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1313348 CPUtime=51.07 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 269539 0 0 0 5072 35 0 0 20 0 4 0 31118015 1344868352 269829 33554432000 4194304 16246674 140735186354464 140735186336384 6043074 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 328337 269829 892 2943 0 325231 0
[pid=23213/tid=23214] ppid=23209 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1344868352 269829 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1344868352 269829 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1344868352 269829 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.25 2.17 2.10 3/183 23234
/proc/meminfo: memFree=28589768/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1321540 CPUtime=102.26 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 271615 0 0 0 10190 36 0 0 20 0 4 0 31118015 1353256960 271877 33554432000 4194304 16246674 140735186354464 140735186336384 5823266 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 330385 271877 892 2943 0 327279 0
[pid=23213/tid=23214] ppid=23209 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1353256960 271877 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1353256960 271877 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1353256960 271877 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1321540


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

/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1333828

[startup+1302.3 s]
/proc/loadavg: 2.22 2.19 2.13 4/184 23286
/proc/meminfo: memFree=28560396/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1333828 CPUtime=1301.83 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 275022 0 0 0 130136 47 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140735186336384 5661648 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 333457 274949 892 2943 0 330351 0
[pid=23213/tid=23214] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1333828

[startup+1362.3 s]
/proc/loadavg: 2.29 2.22 2.14 3/183 23287
/proc/meminfo: memFree=28560900/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1333828 CPUtime=1361.81 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 275022 0 0 0 136134 47 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140735186336384 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 333457 274949 892 2943 0 330351 0
[pid=23213/tid=23214] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1333828

[startup+1422.3 s]
/proc/loadavg: 2.25 2.21 2.14 3/183 23288
/proc/meminfo: memFree=28552748/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1333828 CPUtime=1421.82 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 275022 0 0 0 142134 48 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140735186336384 5828013 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 333457 274949 892 2943 0 330351 0
[pid=23213/tid=23214] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1333828

[startup+1482.3 s]
/proc/loadavg: 2.20 2.20 2.14 4/183 23289
/proc/meminfo: memFree=28552620/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1333828 CPUtime=1481.8 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 275022 0 0 0 148132 48 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140735186336384 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 333457 274949 892 2943 0 330351 0
[pid=23213/tid=23214] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1333828

[startup+1542.31 s]
/proc/loadavg: 2.19 2.19 2.14 3/183 23291
/proc/meminfo: memFree=28552628/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1333828 CPUtime=1541.8 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 275022 0 0 0 154132 48 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140735186336384 5661863 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 333457 274949 892 2943 0 330351 0
[pid=23213/tid=23214] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1333828

[startup+1602.3 s]
/proc/loadavg: 2.20 2.18 2.14 4/183 23292
/proc/meminfo: memFree=28552620/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1333828 CPUtime=1601.78 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 275022 0 0 0 160130 48 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140735186336384 5677810 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 333457 274949 892 2943 0 330351 0
[pid=23213/tid=23214] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1333828

[startup+1662.3 s]
/proc/loadavg: 2.17 2.18 2.13 3/183 23293
/proc/meminfo: memFree=28552748/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1333828 CPUtime=1661.78 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 275022 0 0 0 166129 49 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140735186336384 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 333457 274949 892 2943 0 330351 0
[pid=23213/tid=23214] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1333828

[startup+1722.3 s]
/proc/loadavg: 2.25 2.19 2.14 3/183 23294
/proc/meminfo: memFree=28551620/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1333828 CPUtime=1721.76 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 275022 0 0 0 172127 49 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140735186336384 4206877 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 333457 274949 892 2943 0 330351 0
[pid=23213/tid=23214] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1333828

[startup+1782.3 s]
/proc/loadavg: 2.15 2.17 2.13 3/183 23295
/proc/meminfo: memFree=28549880/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1333828 CPUtime=1781.75 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 275022 0 0 0 178126 49 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140735186336384 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 333457 274949 892 2943 0 330351 0
[pid=23213/tid=23214] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1333828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.11 2.16 2.13 3/183 23296
/proc/meminfo: memFree=28549880/32872528 swapFree=870628/942168
[pid=23213] ppid=23209 vsize=1333828 CPUtime=1800.05 cores=1,3,5,7
/proc/23213/stat : 23213 (toysat) R 23209 23213 22716 0 -1 4202496 275022 0 0 0 179956 49 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140735186336384 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23213/statm: 333457 274949 892 2943 0 330351 0
[pid=23213/tid=23214] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23214/stat : 23214 (toysat) S 23209 23213 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304300616944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23213/tid=23215] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23215/stat : 23215 (toysat) S 23209 23213 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304290127088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23213/tid=23216] ppid=23209 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23213/task/23216/stat : 23216 (toysat) S 23209 23213 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118015 1365839872 274949 33554432000 4194304 16246674 140735186354464 140304279653552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1333828

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.57
CPU system time (s): 0.496924
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 1333828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.496924
maximum resident set size= 1099796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275022
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= 389
involuntary context switches= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5672 second user time and 11.0413 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-27 00:39:43
IDJOB=4117133
IDBENCH=109557
IDSOLVER=2542
FILE ID=node113/4117133-1466980783
RUNJOBID= node113-1466975380-22733
PBS_JOBID= 19976383
Free space on /tmp= 71700 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117133-1466980783/watcher-4117133-1466980783 -o /tmp/evaluation-result-4117133-1466980783/solver-4117133-1466980783 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466975380-22733 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117133-1466980783.opb

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

MD5SUM BENCH= 8454a7ec193f38c6498b6c74011c98b4
RANDOM SEED=211195518

node113.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.699
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.39
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.699
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.58
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.699
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.699
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	: 5325.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30774700 kB
Buffers:           61180 kB
Cached:           341652 kB
SwapCached:        18844 kB
Active:            71916 kB
Inactive:         352420 kB
Active(anon):       3552 kB
Inactive(anon):    20016 kB
Active(file):      68364 kB
Inactive(file):   332404 kB
Unevictable:      942168 kB
Mlocked:          870628 kB
SwapTotal:      67108856 kB
SwapFree:       67082244 kB
Dirty:             16712 kB
Writeback:             0 kB
AnonPages:        945380 kB
Mapped:             8328 kB
Shmem:                 0 kB
Slab:             597480 kB
SReclaimable:      41464 kB
SUnreclaim:       556016 kB
KernelStack:        1456 kB
PageTables:         5552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1039148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node113 at 2016-06-27 01:09:44