Trace number 4115853

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-round22-6.opb
MD5SUM3097fc69a33e905e49ae9240e81d1058
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8704
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T13:14:50+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-4115853-1466939689.opb"]
0.00/0.01	c use --random-gen="1923744460 52780824 3562135805 2468818833 4048287468 1090223083 3576482319 4028000964 2332615195 2723108759 768514759 1825751034 823140295 3282752796 3839585271 2638190125 3757695835 3321980079 981501488 3576376491 30652348 570017563 703110808 4001858501 4277545519 1756157211 1093646642 1490222905 633962062 626388586 1490318498 3248589358 198819251 1927004232 319181892 340538349 853421046 215861227 4019030998 3562315120 3912177048 1359616868 4106296332 1139553470 3611233518 3326847925 68183824 1248449941 953220621 1181613140 4142290278 4182871681 28789828 852458805 1511157473 43604265 693975291 452990153 3707933918 2139072439 578960043 3256303173 2100003485 857235289 2755331548 2498994342 3149850050 2991950504 1555052810 1804174225 966688369 3214803400 472127783 4197178782 1990307482 1292521560 4221325252 3406201762 4223853753 502924674 713449105 3263821976 3276386993 3420676012 1464304047 2845034478 1445161734 3605357779 3898133310 247989547 3819307827 144402044 3648779364 4220283075 3758380574 3356834720 3974832642 842415480 2632853567 1074060767 3508115383 2467192284 892272252 2853523774 2576663305 483359229 2059156868 850563432 3498157153 2225205162 1235298797 1210137755 2964046480 1083658628 2438914560 940172602 3480922268 3241136668 3206839652 49332521 3260052207 657127268 2472382972 3880704656 4109626208 1481471059 4180949632 2577123510 1002009296 4276967876 2882825942 1151539419 1589475603 1648320211 2726404532 223843083 1803495622 2219032056 420331476 3200692812 2266737947 4017653563 1454861180 722438412 1030621815 2134872873 3761127004 993220136 1678169289 1247012558 2089761417 2329238757 837722332 1716509278 3238186006 145262026 2482196701 1937385249 1880008843 759978986 4190968239 2993314220 412316230 2687592215 965606295 3364604111 2792674180 2285847238 2130141147 2206429164 2502491223 779533600 2194760926 4149991413 3297048242 3894633707 1765194020 3224772955 18734971 2388384506 1196281270 3084101212 4151231335 2914216598 1596580911 1954160068 485574562 3831252732 2304802923 651471897 542051710 42922240 2932460101 222893463 2851059906 3920971028 2132318256 1290942305 1407273596 1599329401 1492592650 872494450 3399615935 3231516491 995759588 2248867335 4178660293 2688226778 1940247642 3054983507 682885528 1519812522 1096837682 605899233 4056769243 1681488640 2738042202 767268516 2677611806 933604723 2217142251 3660603578 1939774006 2666693385 2881602905 2196451644 2281893081 1254025342 4077866163 2402032817 3599482036 3235733854 1585041720 2217688579 3730104064 2429496548 298285437 39820884 1511975624 1274417524 443578076 1338272993 2370312854 3501710239 1980835657 1320859143 566693213 2742526422 3812160913 236961809 1750861436 4008275361 942506116 3827371527 3366461536 630518814 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8704
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      756 |        0
0.29/0.34	c  0.1s |       1 |      461 |      100 |     4234      0 |      756 |      592
0.39/0.47	c  0.2s |       2 |     3015 |      250 |     4658      0 |      758 |      592
0.59/0.60	c  0.3s |       3 |     4640 |      475 |     5124      0 |      758 |      592
0.89/0.99	c  0.7s |       4 |     6898 |      813 |     5637      0 |      758 |      592
1.39/1.46	c  1.2s |       5 |     9293 |     1320 |     6201      0 |      758 |      592
2.20/2.27	c  2.0s |       6 |    11960 |     2081 |     7505      0 |      758 |      592
2.89/2.94	c  2.7s |       7 |    18213 |     3223 |     8256      0 |      758 |      592
4.69/4.70	c  4.4s |       8 |    21996 |     4936 |     9082      0 |      758 |      592
6.49/6.53	c  6.3s |       9 |    33053 |     7506 |     9991      0 |      758 |      592
8.49/8.56	c  8.3s |       9 |    47012 |    10606 |     9991      0 |      758 |      592
8.99/9.05	c  8.8s |      10 |    49031 |    11361 |    10991      0 |      758 |      592
11.10/11.16	c 10.9s |      10 |    53263 |    12961 |    10991      0 |      758 |      592
13.20/13.26	c 13.0s |      10 |    54467 |    14061 |    10991      0 |      758 |      592
15.19/15.27	c 15.0s |      10 |    55435 |    14961 |    10991      1 |      758 |      592
17.29/17.35	c 17.1s |      10 |    56702 |    16061 |    10991      1 |      758 |      592
18.99/19.02	c 18.8s |      11 |    60970 |    17144 |    12091      1 |      758 |      592
21.00/21.05	c 20.8s |      11 |    67775 |    19444 |    12091      1 |      758 |      592
23.10/23.14	c 22.9s |      11 |    70663 |    21144 |    12091      1 |      758 |      592
25.30/25.39	c 25.1s |      11 |    73796 |    22844 |    12091      2 |      758 |      592
27.39/27.42	c 27.2s |      11 |    76700 |    24544 |    12091      2 |      758 |      592
29.09/29.12	c 28.9s |      12 |    79054 |    25819 |    13301      2 |      758 |      592
31.09/31.14	c 30.9s |      12 |    83460 |    27819 |    13301      2 |      758 |      592
33.19/33.24	c 33.0s |      12 |    85351 |    29519 |    13301      2 |      758 |      592
35.39/35.40	c 35.1s |      12 |    87290 |    31119 |    13301      2 |      758 |      592
37.50/37.52	c 37.3s |      12 |    89624 |    32519 |    13301      3 |      758 |      592
39.60/39.68	c 39.4s |      12 |    91252 |    33819 |    13301      3 |      758 |      592
41.58/41.69	c 41.4s |      12 |   100498 |    36119 |    13301      3 |      758 |      592
43.78/43.80	c 43.5s |      12 |   108278 |    38619 |    14632      4 |      758 |      592
44.00/44.01	c 43.8s |      13 |   108717 |    38832 |    14632      4 |      758 |      592
45.98/46.05	c 45.8s |      13 |   118178 |    41332 |    14632      4 |      758 |      592
48.08/48.11	c 47.8s |      13 |   122524 |    43232 |    14632      4 |      758 |      592
50.08/50.12	c 49.9s |      13 |   124515 |    44632 |    14632      4 |      758 |      592
52.18/52.29	c 52.0s |      13 |   126225 |    45932 |    14632      4 |      758 |      592
54.28/54.36	c 54.1s |      13 |   127631 |    47032 |    14632      4 |      758 |      592
56.28/56.36	c 56.1s |      13 |   128864 |    48032 |    14632      4 |      758 |      592
58.48/58.55	c 58.3s |      13 |   130050 |    49032 |    14632      5 |      758 |      592
60.68/60.70	c 60.4s |      13 |   131230 |    50032 |    14632      5 |      758 |      592
62.69/62.76	c 62.5s |      13 |   132166 |    50832 |    14632      5 |      758 |      592
64.78/64.88	c 64.6s |      13 |   133400 |    51832 |    14632      5 |      758 |      592
66.98/67.01	c 66.8s |      13 |   134436 |    52732 |    14632      5 |      758 |      592
68.98/69.09	c 68.8s |      13 |   135699 |    53732 |    14632      5 |      758 |      592
71.28/71.31	c 71.1s |      13 |   136930 |    54732 |    14632      5 |      758 |      592
73.37/73.49	c 73.2s |      13 |   137887 |    55532 |    14632      5 |      758 |      592
75.47/75.54	c 75.3s |      13 |   139008 |    56432 |    14632      5 |      758 |      592
77.67/77.74	c 77.5s |      13 |   140168 |    57332 |    14632      5 |      758 |      592
79.77/79.82	c 79.6s |      13 |   141169 |    58132 |    16096      6 |      758 |      592
80.28/80.33	c 80.1s |      14 |   141430 |    58352 |    16096      6 |      758 |      592
82.27/82.37	c 82.1s |      14 |   147261 |    60352 |    16096      6 |      758 |      592
84.37/84.43	c 84.2s |      14 |   148912 |    61652 |    16096      6 |      758 |      592
86.37/86.44	c 86.2s |      14 |   152461 |    63452 |    16096      6 |      758 |      592
88.37/88.45	c 88.2s |      14 |   154508 |    65152 |    16096      6 |      758 |      592
90.36/90.47	c 90.2s |      14 |   157648 |    67152 |    16096      6 |      758 |      592
92.47/92.54	c 92.3s |      14 |   159433 |    68552 |    16096      7 |      758 |      592
94.46/94.58	c 94.3s |      14 |   161164 |    69952 |    16096      7 |      758 |      592
96.66/96.73	c 96.5s |      14 |   162839 |    71352 |    16096      7 |      758 |      592
98.76/98.83	c 98.6s |      14 |   164196 |    72552 |    16096      7 |      758 |      592
100.95/101.04	c  100s |      14 |   165324 |    73552 |    16096      7 |      758 |      592
103.15/103.24	c  102s |      14 |   166732 |    74752 |    16096      7 |      758 |      592
105.25/105.35	c  105s |      14 |   167650 |    75552 |    16096      7 |      758 |      592
107.45/107.55	c  107s |      14 |   168656 |    76452 |    16096      7 |      758 |      592
109.65/109.78	c  109s |      14 |   169657 |    77352 |    16096      7 |      758 |      592
111.75/111.85	c  111s |      14 |   170468 |    78052 |    16096      8 |      758 |      592
113.85/113.99	c  113s |      14 |   171405 |    78852 |    16096      8 |      758 |      592
115.95/116.04	c  115s |      14 |   172295 |    79652 |    16096      8 |      758 |      592
117.95/118.08	c  117s |      14 |   173707 |    80752 |    16096      8 |      758 |      592
120.05/120.11	c  119s |      14 |   174874 |    81752 |    16096      8 |      758 |      592
122.25/122.32	c  122s |      14 |   175985 |    82752 |    16096      8 |      758 |      592
124.36/124.43	c  124s |      14 |   176965 |    83652 |    16096      8 |      758 |      592
126.35/126.50	c  126s |      14 |   177819 |    84452 |    16096      8 |      758 |      592
128.45/128.50	c  128s |      14 |   182529 |    86052 |    16096      8 |      758 |      592
129.95/130.04	c  129s |      15 |   185111 |    87632 |    17706      8 |      758 |      592
131.96/132.10	c  131s |      15 |   195191 |    89332 |    17706      9 |      758 |      592
134.05/134.14	c  133s |      15 |   197318 |    90932 |    17706      9 |      758 |      592
136.15/136.26	c  136s |      15 |   199270 |    92432 |    17706      9 |      758 |      592
138.15/138.29	c  138s |      15 |   203073 |    94032 |    17706      9 |      758 |      592
140.24/140.33	c  140s |      15 |   206926 |    95632 |    17706      9 |      758 |      592
142.34/142.41	c  142s |      15 |   208916 |    96932 |    17706      9 |      758 |      592
144.44/144.57	c  144s |      15 |   210053 |    97932 |    17706      9 |      758 |      592
146.94/147.03	c  146s |      15 |   211110 |    98832 |    17706     10 |      758 |      592
148.94/149.09	c  148s |      15 |   212647 |    99932 |    17706     10 |      758 |      592
151.03/151.18	c  150s |      15 |   214262 |   101132 |    17706     10 |      758 |      592
153.13/153.22	c  152s |      15 |   215439 |   102132 |    17706     10 |      758 |      592
155.23/155.34	c  155s |      15 |   216757 |   103332 |    17706     10 |      758 |      592
157.34/157.45	c  157s |      15 |   217834 |   104332 |    17706     10 |      758 |      592
159.33/159.46	c  159s |      15 |   218809 |   105232 |    17706     10 |      758 |      592
161.43/161.59	c  161s |      15 |   219646 |   106032 |    17706     10 |      758 |      592
163.64/163.74	c  163s |      15 |   220471 |   106832 |    17706     10 |      758 |      592
165.84/165.99	c  165s |      15 |   221309 |   107632 |    17706     10 |      758 |      592
168.04/168.19	c  167s |      15 |   222151 |   108432 |    17706     10 |      758 |      592
170.14/170.21	c  169s |      15 |   222894 |   109132 |    17706     10 |      758 |      592
172.34/172.40	c  172s |      15 |   223629 |   109832 |    17706     11 |      758 |      592
174.44/174.54	c  174s |      15 |   224491 |   110632 |    17706     11 |      758 |      592
176.54/176.62	c  176s |      15 |   225341 |   111432 |    17706     11 |      758 |      592
178.84/178.92	c  178s |      15 |   226193 |   112232 |    17706     11 |      758 |      592
180.94/181.00	c  180s |      15 |   226921 |   112932 |    17706     11 |      758 |      592
182.94/183.05	c  182s |      15 |   227672 |   113632 |    17706     11 |      758 |      592
185.14/185.27	c  185s |      15 |   228406 |   114332 |    17706     11 |      758 |      592
187.24/187.37	c  187s |      15 |   229030 |   114932 |    17706     11 |      758 |      592
189.34/189.42	c  189s |      15 |   229655 |   115532 |    17706     11 |      758 |      592
191.63/191.78	c  191s |      15 |   230381 |   116232 |    17706     11 |      758 |      592
193.83/193.94	c  193s |      15 |   231005 |   116832 |    17706     11 |      758 |      592
196.13/196.25	c  195s |      15 |   231757 |   117532 |    17706     11 |      758 |      592
198.43/198.52	c  198s |      15 |   232514 |   118232 |    17706     11 |      758 |      592
200.73/200.83	c  200s |      15 |   233152 |   118832 |    17706     11 |      758 |      592
202.73/202.83	c  202s |      15 |   233808 |   119432 |    17706     11 |      758 |      592
204.93/205.08	c  204s |      15 |   234449 |   120032 |    17706     12 |      758 |      592
207.03/207.10	c  206s |      15 |   235225 |   120732 |    17706     12 |      758 |      592
209.23/209.31	c  209s |      15 |   236157 |   121532 |    17706     12 |      758 |      592
211.23/211.31	c  211s |      15 |   236977 |   122232 |    17706     12 |      758 |      592
213.22/213.38	c  213s |      15 |   237765 |   122932 |    17706     12 |      758 |      592
215.63/215.71	c  215s |      15 |   238562 |   123632 |    17706     12 |      758 |      592
217.92/218.08	c  217s |      15 |   239340 |   124332 |    17706     12 |      758 |      592
220.03/220.15	c  219s |      15 |   240148 |   125032 |    17706     12 |      758 |      592
222.02/222.18	c  221s |      15 |   240819 |   125632 |    17706     12 |      758 |      592
224.22/224.33	c  224s |      15 |   241473 |   126232 |    17706     12 |      758 |      592
226.22/226.37	c  226s |      15 |   242150 |   126832 |    17706     12 |      758 |      592
228.42/228.52	c  228s |      15 |   242800 |   127432 |    17706     12 |      758 |      592
230.51/230.69	c  230s |      15 |   243458 |   128032 |    17706     12 |      758 |      592
232.71/232.86	c  232s |      15 |   244149 |   128632 |    17706     12 |      758 |      592
234.81/234.92	c  234s |      15 |   244811 |   129232 |    17706     12 |      758 |      592
237.21/237.31	c  237s |      15 |   245478 |   129832 |    17706     12 |      758 |      592
239.21/239.37	c  239s |      15 |   246038 |   130332 |    17706     13 |      758 |      592
241.51/241.60	c  241s |      15 |   246853 |   131032 |    19477     13 |      758 |      592
243.21/243.31	c  243s |      16 |   247473 |   131552 |    19477     13 |      758 |      592
245.22/245.37	c  245s |      16 |   254997 |   133852 |    19477     13 |      758 |      592
247.21/247.39	c  247s |      16 |   257709 |   135352 |    19477     13 |      758 |      592
249.31/249.41	c  249s |      16 |   263364 |   137452 |    19477     13 |      758 |      592
251.40/251.51	c  251s |      16 |   264965 |   138652 |    19477     13 |      758 |      592
253.40/253.57	c  253s |      16 |   266574 |   139852 |    19477     13 |      758 |      592
255.50/255.68	c  255s |      16 |   267991 |   140952 |    19477     13 |      758 |      592
257.70/257.85	c  257s |      16 |   269467 |   142052 |    19477     13 |      758 |      592
259.90/260.08	c  259s |      16 |   270471 |   142852 |    19477     14 |      758 |      592
262.20/262.36	c  262s |      16 |   271763 |   143852 |    19477     14 |      758 |      592
264.50/264.60	c  264s |      16 |   272874 |   144752 |    19477     14 |      758 |      592
266.60/266.73	c  266s |      16 |   273872 |   145552 |    19477     14 |      758 |      592
268.80/268.96	c  268s |      16 |   274610 |   146152 |    19477     14 |      758 |      592
271.09/271.28	c  271s |      16 |   275585 |   146952 |    19477     14 |      758 |      592
273.09/273.28	c  273s |      16 |   276275 |   147552 |    19477     14 |      758 |      592
275.39/275.54	c  275s |      16 |   277097 |   148252 |    19477     14 |      758 |      592
277.79/277.94	c  277s |      16 |   277903 |   148952 |    19477     14 |      758 |      592
279.90/280.02	c  279s |      16 |   278747 |   149652 |    19477     14 |      758 |      592
282.20/282.33	c  282s |      16 |   279556 |   150352 |    19477     14 |      758 |      592
284.29/284.43	c  284s |      16 |   280264 |   150952 |    19477     14 |      758 |      592
286.49/286.66	c  286s |      16 |   281070 |   151652 |    19477     14 |      758 |      592
288.79/288.97	c  288s |      16 |   281752 |   152252 |    19477     14 |      758 |      592
291.09/291.28	c  291s |      16 |   282413 |   152852 |    19477     14 |      758 |      592
293.19/293.38	c  293s |      16 |   283114 |   153452 |    19477     14 |      758 |      592
295.19/295.38	c  295s |      16 |   283694 |   153952 |    19477     15 |      758 |      592
297.59/297.76	c  297s |      16 |   284474 |   154652 |    19477     15 |      758 |      592
299.89/300.01	c  299s |      16 |   285154 |   155252 |    19477     15 |      758 |      592
301.99/302.10	c  301s |      16 |   285686 |   155752 |    19477     15 |      758 |      592
304.28/304.40	c  304s |      16 |   286378 |   156352 |    19477     15 |      758 |      592
306.58/306.71	c  306s |      16 |   287074 |   156952 |    19477     15 |      758 |      592
308.78/308.93	c  308s |      16 |   287657 |   157452 |    19477     15 |      758 |      592
310.88/311.04	c  310s |      16 |   288258 |   157952 |    19477     15 |      758 |      592
312.88/313.10	c  312s |      16 |   288871 |   158452 |    19477     15 |      758 |      592
315.28/315.45	c  315s |      16 |   289659 |   159152 |    19477     15 |      758 |      592
317.48/317.69	c  317s |      16 |   291377 |   160152 |    19477     15 |      758 |      592
319.58/319.73	c  319s |      16 |   292952 |   161152 |    19477     15 |      758 |      592
321.77/321.93	c  321s |      16 |   294382 |   162152 |    19477     15 |      758 |      592
323.77/323.95	c  323s |      16 |   295465 |   163052 |    19477     15 |      758 |      592
325.87/326.00	c  325s |      16 |   296613 |   163952 |    19477     15 |      758 |      592
328.57/328.70	c  328s |      16 |   298089 |   164952 |    19477     16 |      758 |      592
330.67/330.84	c  330s |      16 |   300042 |   166152 |    19477     16 |      758 |      592
332.77/332.98	c  332s |      16 |   301619 |   167252 |    19477     16 |      758 |      592
334.87/335.07	c  334s |      16 |   303906 |   168452 |    19477     16 |      758 |      592
336.86/337.08	c  336s |      16 |   304995 |   169352 |    19477     16 |      758 |      592
338.86/339.08	c  338s |      16 |   306049 |   170252 |    19477     16 |      758 |      592
341.16/341.33	c  341s |      16 |   307111 |   171152 |    19477     16 |      758 |      592
343.36/343.51	c  343s |      16 |   307909 |   171852 |    19477     16 |      758 |      592
345.37/345.58	c  345s |      16 |   308687 |   172552 |    19477     16 |      758 |      592
347.47/347.67	c  347s |      16 |   309472 |   173252 |    19477     16 |      758 |      592
349.77/349.94	c  349s |      16 |   310244 |   173952 |    19477     16 |      758 |      592
351.76/351.95	c  351s |      16 |   310909 |   174552 |    19477     16 |      758 |      592
354.07/354.22	c  353s |      16 |   311564 |   175152 |    19477     16 |      758 |      592
356.27/356.45	c  356s |      16 |   312504 |   175852 |    19477     16 |      758 |      592
358.26/358.45	c  358s |      16 |   313104 |   176352 |    19477     17 |      758 |      592
360.35/360.53	c  360s |      16 |   314068 |   177152 |    19477     17 |      758 |      592
362.45/362.62	c  362s |      16 |   315174 |   178052 |    19477     17 |      758 |      592
364.45/364.65	c  364s |      16 |   316088 |   178852 |    19477     17 |      758 |      592
366.65/366.89	c  366s |      16 |   317049 |   179652 |    19477     17 |      758 |      592
368.75/368.98	c  368s |      16 |   318023 |   180452 |    19477     17 |      758 |      592
371.05/371.28	c  371s |      16 |   318826 |   181152 |    19477     17 |      758 |      592
373.35/373.51	c  373s |      16 |   319640 |   181852 |    19477     17 |      758 |      592
375.45/375.65	c  375s |      16 |   320445 |   182552 |    19477     17 |      758 |      592
377.55/377.75	c  377s |      16 |   321200 |   183252 |    19477     17 |      758 |      592
379.65/379.86	c  379s |      16 |   321996 |   183952 |    19477     17 |      758 |      592
381.65/381.86	c  381s |      16 |   322672 |   184552 |    19477     17 |      758 |      592
383.64/383.90	c  383s |      16 |   323347 |   185152 |    19477     17 |      758 |      592
385.95/386.18	c  385s |      16 |   324020 |   185752 |    19477     17 |      758 |      592
387.94/388.18	c  387s |      16 |   324564 |   186252 |    19477     17 |      758 |      592
390.04/390.29	c  390s |      16 |   325132 |   186752 |    19477     17 |      758 |      592
392.23/392.41	c  392s |      16 |   325857 |   187352 |    19477     17 |      758 |      592
394.43/394.67	c  394s |      16 |   326443 |   187852 |    19477     18 |      758 |      592
396.53/396.75	c  396s |      16 |   327215 |   188552 |    19477     18 |      758 |      592
398.63/398.80	c  398s |      16 |   327894 |   189152 |    19477     18 |      758 |      592
400.63/400.87	c  400s |      16 |   328744 |   189852 |    19477     18 |      758 |      592
402.73/402.93	c  402s |      16 |   329422 |   190452 |    19477     18 |      758 |      592
405.03/405.24	c  404s |      16 |   330247 |   191152 |    19477     18 |      758 |      592
407.03/407.24	c  406s |      16 |   330929 |   191752 |    19477     18 |      758 |      592
409.23/409.48	c  409s |      16 |   331606 |   192352 |    19477     18 |      758 |      592
411.23/411.50	c  411s |      16 |   332317 |   192952 |    19477     18 |      758 |      592
413.43/413.69	c  413s |      16 |   332975 |   193552 |    19477     18 |      758 |      592
415.73/415.99	c  415s |      16 |   333635 |   194152 |    19477     18 |      758 |      592
417.83/418.09	c  417s |      16 |   334293 |   194752 |    19477     18 |      758 |      592
420.03/420.30	c  420s |      16 |   334982 |   195352 |    19477     18 |      758 |      592
422.52/422.77	c  422s |      16 |   335639 |   195952 |    19477     18 |      758 |      592
424.62/424.81	c  424s |      16 |   336176 |   196452 |    21425     18 |      758 |      592
426.63/426.89	c  426s |      16 |   336729 |   196952 |    21425     18 |      758 |      592
428.62/428.90	c  428s |      17 |   337266 |   197432 |    21425     18 |      758 |      592
430.72/430.98	c  430s |      17 |   339973 |   198832 |    21425     18 |      758 |      592
432.92/433.10	c  432s |      17 |   342931 |   200532 |    21425     18 |      758 |      592
434.92/435.18	c  434s |      17 |   344106 |   201532 |    21425     19 |      758 |      592
437.12/437.33	c  437s |      17 |   345530 |   202732 |    21425     19 |      758 |      592
439.22/439.41	c  439s |      17 |   346792 |   203832 |    21425     19 |      758 |      592
441.31/441.51	c  441s |      17 |   347792 |   204732 |    21425     19 |      758 |      592
443.41/443.64	c  443s |      17 |   349038 |   205732 |    21425     19 |      758 |      592
445.42/445.65	c  445s |      17 |   350192 |   206732 |    21425     19 |      758 |      592
447.52/447.77	c  447s |      17 |   351232 |   207632 |    21425     19 |      758 |      592
449.61/449.82	c  449s |      17 |   352145 |   208432 |    21425     19 |      758 |      592
451.61/451.83	c  451s |      17 |   357106 |   209832 |    21425     19 |      758 |      592
453.61/453.85	c  453s |      17 |   359225 |   211132 |    21425     19 |      758 |      592
455.61/455.89	c  455s |      17 |   360571 |   212232 |    21425     19 |      758 |      592
458.11/458.37	c  458s |      17 |   361762 |   213232 |    21425     20 |      758 |      592
460.20/460.46	c  460s |      17 |   363019 |   214132 |    21425     20 |      758 |      592
462.30/462.50	c  462s |      17 |   364541 |   215432 |    21425     20 |      758 |      592
464.30/464.58	c  464s |      17 |   366237 |   216732 |    21425     20 |      758 |      592
466.40/466.64	c  466s |      17 |   367872 |   217932 |    21425     20 |      758 |      592
468.41/468.67	c  468s |      17 |   369375 |   219132 |    21425     20 |      758 |      592
470.49/470.76	c  470s |      17 |   370608 |   220232 |    21425     20 |      758 |      592
472.59/472.81	c  472s |      17 |   371785 |   221232 |    21425     20 |      758 |      592
474.59/474.88	c  474s |      17 |   372909 |   222232 |    21425     20 |      758 |      592
476.79/477.08	c  476s |      17 |   373901 |   223132 |    21425     20 |      758 |      592
478.99/479.26	c  479s |      17 |   375392 |   224232 |    21425     20 |      758 |      592
481.18/481.48	c  481s |      17 |   376686 |   225232 |    21425     20 |      758 |      592
483.28/483.55	c  483s |      17 |   378786 |   226332 |    21425     21 |      758 |      592
485.28/485.56	c  485s |      17 |   380368 |   227632 |    21425     21 |      758 |      592
487.28/487.58	c  487s |      17 |   381488 |   228732 |    21425     21 |      758 |      592
489.39/489.61	c  489s |      17 |   382738 |   229832 |    21425     21 |      758 |      592
491.49/491.72	c  491s |      17 |   384006 |   230932 |    21425     21 |      758 |      592
493.58/493.86	c  493s |      17 |   385123 |   231932 |    21425     21 |      758 |      592
495.68/495.99	c  495s |      17 |   386248 |   232932 |    21425     21 |      758 |      592
497.88/498.19	c  497s |      17 |   387236 |   233832 |    21425     21 |      758 |      592
499.98/500.22	c  499s |      17 |   388120 |   234632 |    21425     21 |      758 |      592
502.07/502.33	c  502s |      17 |   388991 |   235432 |    21425     21 |      758 |      592
504.27/504.53	c  504s |      17 |   389822 |   236232 |    21425     21 |      758 |      592
506.57/506.83	c  506s |      17 |   390688 |   237032 |    21425     21 |      758 |      592
508.57/508.85	c  508s |      17 |   391419 |   237732 |    21425     21 |      758 |      592
510.66/510.92	c  510s |      17 |   392169 |   238432 |    21425     22 |      758 |      592
512.96/513.23	c  512s |      17 |   393136 |   239332 |    21425     22 |      758 |      592
515.16/515.40	c  515s |      17 |   393993 |   240132 |    21425     22 |      758 |      592
517.16/517.48	c  517s |      17 |   394717 |   240832 |    21425     22 |      758 |      592
519.36/519.65	c  519s |      17 |   395453 |   241532 |    21425     22 |      758 |      592
521.46/521.74	c  521s |      17 |   396217 |   242232 |    21425     22 |      758 |      592
523.56/523.81	c  523s |      17 |   396982 |   242932 |    21425     22 |      758 |      592
525.67/525.93	c  525s |      17 |   397869 |   243732 |    21425     22 |      758 |      592
527.87/528.17	c  527s |      17 |   398602 |   244432 |    21425     22 |      758 |      592
530.07/530.32	c  530s |      17 |   399239 |   245032 |    21425     22 |      758 |      592
532.26/532.55	c  532s |      17 |   399885 |   245632 |    21425     22 |      758 |      592
534.36/534.69	c  534s |      17 |   400496 |   246232 |    21425     22 |      758 |      592
536.66/536.94	c  536s |      17 |   401140 |   246832 |    21425     22 |      758 |      592
539.05/539.31	c  539s |      17 |   401774 |   247432 |    21425     22 |      758 |      592
541.24/541.53	c  541s |      17 |   402416 |   248032 |    21425     22 |      758 |      592
543.44/543.74	c  543s |      17 |   403077 |   248632 |    21425     22 |      758 |      592
545.64/545.93	c  545s |      17 |   403727 |   249232 |    21425     22 |      758 |      592
547.84/548.10	c  547s |      17 |   404262 |   249732 |    21425     22 |      758 |      592
550.04/550.37	c  550s |      17 |   404906 |   250332 |    21425     23 |      758 |      592
552.13/552.47	c  552s |      17 |   405762 |   251132 |    21425     23 |      758 |      592
554.33/554.65	c  554s |      17 |   406492 |   251832 |    21425     23 |      758 |      592
556.34/556.68	c  556s |      17 |   407262 |   252532 |    21425     23 |      758 |      592
558.64/558.94	c  558s |      17 |   408124 |   253332 |    21425     23 |      758 |      592
560.63/560.98	c  560s |      17 |   408866 |   254032 |    21425     23 |      758 |      592
562.94/563.28	c  563s |      17 |   409633 |   254732 |    21425     23 |      758 |      592
565.03/565.37	c  565s |      17 |   410264 |   255332 |    21425     23 |      758 |      592
567.33/567.69	c  567s |      17 |   411036 |   256032 |    21425     23 |      758 |      592
569.42/569.77	c  569s |      17 |   411695 |   256632 |    21425     23 |      758 |      592
571.52/571.83	c  571s |      17 |   412456 |   257332 |    21425     23 |      758 |      592
573.52/573.86	c  573s |      17 |   413223 |   258032 |    21425     23 |      758 |      592
575.82/576.16	c  575s |      17 |   413995 |   258732 |    21425     23 |      758 |      592
577.92/578.28	c  578s |      17 |   414636 |   259332 |    21425     23 |      758 |      592
580.21/580.58	c  580s |      17 |   415381 |   260032 |    21425     23 |      758 |      592
582.31/582.69	c  582s |      17 |   416020 |   260632 |    21425     23 |      758 |      592
584.61/584.91	c  584s |      17 |   416673 |   261232 |    21425     23 |      758 |      592
586.91/587.21	c  586s |      17 |   417315 |   261832 |    21425     23 |      758 |      592
589.61/589.91	c  589s |      17 |   417953 |   262432 |    21425     24 |      758 |      592
591.90/592.28	c  592s |      17 |   418796 |   263232 |    21425     24 |      758 |      592
593.90/594.28	c  594s |      17 |   419660 |   264032 |    21425     24 |      758 |      592
596.01/596.35	c  596s |      17 |   420492 |   264832 |    21425     24 |      758 |      592
598.21/598.59	c  598s |      17 |   421331 |   265632 |    21425     24 |      758 |      592
600.30/600.66	c  600s |      17 |   421935 |   266232 |    21425     24 |      758 |      592
602.39/602.75	c  602s |      17 |   422548 |   266832 |    21425     24 |      758 |      592
604.59/604.93	c  604s |      17 |   423167 |   267432 |    21425     24 |      758 |      592
606.69/607.02	c  606s |      17 |   423793 |   268032 |    21425     24 |      758 |      592
608.99/609.33	c  609s |      17 |   424409 |   268632 |    21425     24 |      758 |      592
611.29/611.70	c  611s |      17 |   425147 |   269332 |    21425     24 |      758 |      592
613.49/613.90	c  613s |      17 |   425824 |   269932 |    21425     24 |      758 |      592
615.58/615.97	c  615s |      17 |   426506 |   270532 |    21425     24 |      758 |      592
617.78/618.20	c  617s |      17 |   427172 |   271132 |    21425     24 |      758 |      592
620.08/620.47	c  620s |      17 |   427812 |   271732 |    21425     24 |      758 |      592
622.17/622.55	c  622s |      17 |   428338 |   272232 |    21425     24 |      758 |      592
624.58/624.92	c  624s |      17 |   428979 |   272832 |    21425     24 |      758 |      592
626.57/626.98	c  626s |      17 |   429522 |   273332 |    21425     24 |      758 |      592
628.67/629.08	c  628s |      17 |   430091 |   273832 |    21425     24 |      758 |      592
630.97/631.30	c  631s |      17 |   430623 |   274332 |    21425     24 |      758 |      592
633.06/633.46	c  633s |      17 |   431046 |   274732 |    21425     25 |      758 |      592
635.26/635.62	c  635s |      17 |   431796 |   275432 |    21425     25 |      758 |      592
637.46/637.82	c  637s |      17 |   432550 |   276132 |    21425     25 |      758 |      592
639.56/640.00	c  639s |      17 |   433280 |   276832 |    21425     25 |      758 |      592
641.76/642.13	c  641s |      17 |   434028 |   277532 |    21425     25 |      758 |      592
643.86/644.20	c  643s |      17 |   434647 |   278132 |    21425     25 |      758 |      592
645.85/646.22	c  645s |      17 |   435289 |   278732 |    21425     25 |      758 |      592
647.85/648.26	c  648s |      17 |   435950 |   279332 |    21425     25 |      758 |      592
649.87/650.29	c  650s |      17 |   436603 |   279932 |    21425     25 |      758 |      592
651.96/652.37	c  652s |      17 |   437137 |   280432 |    21425     25 |      758 |      592
654.26/654.67	c  654s |      17 |   437793 |   281032 |    21425     25 |      758 |      592
656.36/656.80	c  656s |      17 |   438327 |   281532 |    21425     25 |      758 |      592
658.66/659.03	c  658s |      17 |   438992 |   282132 |    21425     25 |      758 |      592
660.94/661.37	c  661s |      17 |   439622 |   282732 |    21425     25 |      758 |      592
663.05/663.42	c  663s |      17 |   440153 |   283232 |    21425     25 |      758 |      592
665.04/665.42	c  665s |      17 |   440692 |   283732 |    21425     25 |      758 |      592
667.24/667.67	c  667s |      17 |   441229 |   284232 |    21425     25 |      758 |      592
669.55/669.96	c  669s |      17 |   441644 |   284632 |    21425     25 |      758 |      592
671.93/672.31	c  672s |      17 |   442178 |   285132 |    21425     25 |      758 |      592
674.23/674.63	c  674s |      17 |   442711 |   285632 |    21425     25 |      758 |      592
676.53/676.93	c  676s |      17 |   443252 |   286132 |    21425     25 |      758 |      592
678.83/679.28	c  679s |      17 |   443784 |   286632 |    21425     25 |      758 |      592
680.92/681.36	c  681s |      17 |   444223 |   287032 |    21425     26 |      758 |      592
683.22/683.66	c  683s |      17 |   444855 |   287632 |    21425     26 |      758 |      592
685.62/686.06	c  685s |      17 |   445603 |   288332 |    21425     26 |      758 |      592
687.82/688.28	c  688s |      17 |   446249 |   288932 |    21425     26 |      758 |      592
690.02/690.43	c  690s |      17 |   446763 |   289432 |    21425     26 |      758 |      592
692.02/692.44	c  692s |      17 |   447275 |   289932 |    21425     26 |      758 |      592
694.32/694.70	c  694s |      17 |   447808 |   290432 |    21425     26 |      758 |      592
696.32/696.76	c  696s |      17 |   448320 |   290932 |    21425     26 |      758 |      592
698.32/698.78	c  698s |      17 |   448839 |   291432 |    21425     26 |      758 |      592
700.52/700.96	c  700s |      17 |   449373 |   291932 |    21425     26 |      758 |      592
702.63/703.01	c  702s |      17 |   449900 |   292432 |    21425     26 |      758 |      592
704.62/705.03	c  704s |      17 |   450427 |   292932 |    21425     26 |      758 |      592
706.62/707.06	c  706s |      17 |   451221 |   293632 |    21425     26 |      758 |      592
708.72/709.16	c  708s |      17 |   452181 |   294532 |    23568     26 |      758 |      592
710.92/711.33	c  711s |      17 |   453041 |   295332 |    23568     26 |      758 |      592
712.92/713.34	c  713s |      17 |   453806 |   296032 |    23568     26 |      758 |      592
713.82/714.20	c  713s |      18 |   454033 |   296252 |    23568     26 |      758 |      592
715.93/716.31	c  716s |      18 |   458994 |   297752 |    23568     26 |      758 |      592
717.93/718.33	c  718s |      18 |   461717 |   299252 |    23568     26 |      758 |      592
720.02/720.40	c  720s |      18 |   466329 |   300652 |    23568     27 |      758 |      592
722.12/722.54	c  722s |      18 |   467613 |   301752 |    23568     27 |      758 |      592
724.12/724.58	c  724s |      18 |   470116 |   302652 |    23568     27 |      758 |      592
726.22/726.60	c  726s |      18 |   475568 |   304652 |    23568     27 |      758 |      592
728.32/728.73	c  728s |      18 |   478654 |   306452 |    23568     27 |      758 |      592
730.32/730.76	c  730s |      18 |   480623 |   307852 |    23568     27 |      758 |      592
732.42/732.86	c  732s |      18 |   482613 |   309252 |    23568     27 |      758 |      592
734.53/734.94	c  734s |      18 |   484107 |   310352 |    23568     27 |      758 |      592
736.63/737.07	c  736s |      18 |   485711 |   311552 |    23568     27 |      758 |      592
738.83/739.24	c  738s |      18 |   487196 |   312652 |    23568     27 |      758 |      592
741.13/741.52	c  741s |      18 |   488483 |   313652 |    23568     27 |      758 |      592
743.23/743.67	c  743s |      18 |   489487 |   314452 |    23568     28 |      758 |      592
745.32/745.73	c  745s |      18 |   490731 |   315452 |    23568     28 |      758 |      592
747.63/748.02	c  747s |      18 |   491779 |   316352 |    23568     28 |      758 |      592
749.72/750.11	c  749s |      18 |   492986 |   317252 |    23568     28 |      758 |      592
751.92/752.33	c  752s |      18 |   493958 |   318052 |    23568     28 |      758 |      592
753.92/754.39	c  754s |      18 |   494931 |   318852 |    23568     28 |      758 |      592
756.12/756.54	c  756s |      18 |   495765 |   319552 |    23568     28 |      758 |      592
758.32/758.78	c  758s |      18 |   496573 |   320252 |    23568     28 |      758 |      592
760.62/761.07	c  760s |      18 |   497371 |   320952 |    23568     28 |      758 |      592
762.72/763.10	c  762s |      18 |   498225 |   321652 |    23568     28 |      758 |      592
764.92/765.35	c  765s |      18 |   499043 |   322352 |    23568     28 |      758 |      592
767.12/767.53	c  767s |      18 |   499924 |   323052 |    23568     28 |      758 |      592
769.32/769.77	c  769s |      18 |   500776 |   323752 |    23568     28 |      758 |      592
771.62/772.06	c  771s |      18 |   501593 |   324452 |    23568     28 |      758 |      592
773.62/774.09	c  773s |      18 |   502343 |   325052 |    23568     28 |      758 |      592
775.62/776.09	c  775s |      18 |   503084 |   325652 |    23568     28 |      758 |      592
777.91/778.34	c  778s |      18 |   503797 |   326252 |    23568     28 |      758 |      592
780.01/780.41	c  780s |      18 |   504521 |   326852 |    23568     28 |      758 |      592
782.51/782.96	c  782s |      18 |   505258 |   327452 |    23568     29 |      758 |      592
784.51/784.98	c  784s |      18 |   506083 |   328152 |    23568     29 |      758 |      592
786.71/787.13	c  786s |      18 |   506912 |   328852 |    23568     29 |      758 |      592
788.81/789.25	c  788s |      18 |   507747 |   329552 |    23568     29 |      758 |      592
791.01/791.49	c  791s |      18 |   508545 |   330252 |    23568     29 |      758 |      592
793.31/793.79	c  793s |      18 |   509383 |   330952 |    23568     29 |      758 |      592
795.51/795.95	c  795s |      18 |   510226 |   331652 |    23568     29 |      758 |      592
797.71/798.12	c  797s |      18 |   511088 |   332352 |    23568     29 |      758 |      592
799.81/800.24	c  799s |      18 |   511803 |   332952 |    23568     29 |      758 |      592
801.91/802.39	c  802s |      18 |   512523 |   333552 |    23568     29 |      758 |      592
804.21/804.69	c  804s |      18 |   513431 |   334252 |    23568     29 |      758 |      592
806.41/806.87	c  806s |      18 |   514181 |   334852 |    23568     29 |      758 |      592
808.71/809.17	c  808s |      18 |   514727 |   335352 |    23568     29 |      758 |      592
811.11/811.52	c  811s |      18 |   515425 |   335952 |    23568     29 |      758 |      592
813.41/813.89	c  813s |      18 |   516012 |   336452 |    23568     29 |      758 |      592
815.61/816.03	c  815s |      18 |   516618 |   336952 |    23568     29 |      758 |      592
818.02/818.44	c  818s |      18 |   517315 |   337552 |    23568     29 |      758 |      592
820.01/820.45	c  820s |      18 |   517883 |   338052 |    23568     29 |      758 |      592
822.31/822.76	c  822s |      18 |   518454 |   338552 |    23568     29 |      758 |      592
824.51/824.95	c  824s |      18 |   519044 |   339052 |    23568     29 |      758 |      592
826.82/827.26	c  827s |      18 |   519744 |   339652 |    23568     29 |      758 |      592
829.12/829.55	c  829s |      18 |   520300 |   340152 |    23568     29 |      758 |      592
831.40/831.87	c  831s |      18 |   521024 |   340752 |    23568     29 |      758 |      592
833.70/834.13	c  833s |      18 |   521453 |   341152 |    23568     30 |      758 |      592
836.10/836.52	c  836s |      18 |   522130 |   341752 |    23568     30 |      758 |      592
838.30/838.78	c  838s |      18 |   522847 |   342352 |    23568     30 |      758 |      592
840.50/840.93	c  840s |      18 |   523537 |   342952 |    23568     30 |      758 |      592
842.90/843.37	c  843s |      18 |   524232 |   343552 |    23568     30 |      758 |      592
845.00/845.40	c  845s |      18 |   524820 |   344052 |    23568     30 |      758 |      592
847.00/847.41	c  847s |      18 |   525406 |   344552 |    23568     30 |      758 |      592
849.10/849.55	c  849s |      18 |   525996 |   345052 |    23568     30 |      758 |      592
851.40/851.88	c  851s |      18 |   526709 |   345652 |    23568     30 |      758 |      592
853.50/853.95	c  853s |      18 |   527287 |   346152 |    23568     30 |      758 |      592
855.90/856.37	c  856s |      18 |   527954 |   346752 |    23568     30 |      758 |      592
858.00/858.48	c  858s |      18 |   528530 |   347252 |    23568     30 |      758 |      592
860.40/860.89	c  860s |      18 |   529074 |   347752 |    23568     30 |      758 |      592
862.60/863.09	c  862s |      18 |   530050 |   348452 |    23568     30 |      758 |      592
864.90/865.37	c  865s |      18 |   530814 |   349052 |    23568     30 |      758 |      592
867.20/867.63	c  867s |      18 |   531566 |   349652 |    23568     30 |      758 |      592
869.19/869.63	c  869s |      18 |   532162 |   350152 |    23568     30 |      758 |      592
871.50/871.98	c  871s |      18 |   532729 |   350652 |    23568     30 |      758 |      592
873.90/874.38	c  874s |      18 |   533447 |   351252 |    23568     30 |      758 |      592
876.20/876.60	c  876s |      18 |   534026 |   351752 |    23568     30 |      758 |      592
878.40/878.89	c  878s |      18 |   534626 |   352252 |    23568     30 |      758 |      592
880.81/881.24	c  880s |      18 |   535212 |   352752 |    23568     30 |      758 |      592
883.10/883.53	c  883s |      18 |   535798 |   353252 |    23568     30 |      758 |      592
885.40/885.85	c  885s |      18 |   536386 |   353752 |    23568     30 |      758 |      592
888.41/888.81	c  888s |      18 |   536962 |   354252 |    23568     31 |      758 |      592
890.71/891.13	c  890s |      18 |   537653 |   354852 |    23568     31 |      758 |      592
892.99/893.46	c  893s |      18 |   538499 |   355552 |    23568     31 |      758 |      592
895.29/895.73	c  895s |      18 |   539200 |   356152 |    23568     31 |      758 |      592
897.59/898.03	c  897s |      18 |   539888 |   356752 |    23568     31 |      758 |      592
899.59/900.06	c  899s |      18 |   540458 |   357252 |    23568     31 |      758 |      592
901.70/902.16	c  901s |      18 |   541024 |   357752 |    23568     31 |      758 |      592
903.99/904.48	c  904s |      18 |   541900 |   358452 |    23568     31 |      758 |      592
906.19/906.64	c  906s |      18 |   542933 |   359252 |    23568     31 |      758 |      592
908.20/908.68	c  908s |      18 |   543768 |   359952 |    23568     31 |      758 |      592
910.50/910.97	c  910s |      18 |   544582 |   360652 |    23568     31 |      758 |      592
912.60/913.07	c  912s |      18 |   545315 |   361252 |    23568     31 |      758 |      592
914.90/915.36	c  915s |      18 |   546152 |   361952 |    23568     31 |      758 |      592
917.10/917.59	c  917s |      18 |   546884 |   362552 |    23568     31 |      758 |      592
919.39/919.87	c  919s |      18 |   547587 |   363152 |    23568     31 |      758 |      592
921.50/921.93	c  921s |      18 |   548316 |   363752 |    23568     31 |      758 |      592
923.60/924.06	c  923s |      18 |   549009 |   364352 |    23568     31 |      758 |      592
925.59/926.08	c  925s |      18 |   549571 |   364852 |    23568     31 |      758 |      592
927.69/928.17	c  927s |      18 |   550142 |   365352 |    23568     31 |      758 |      592
929.79/930.25	c  929s |      18 |   550738 |   365852 |    23568     31 |      758 |      592
931.89/932.32	c  932s |      18 |   551346 |   366352 |    23568     31 |      758 |      592
933.99/934.44	c  934s |      18 |   551908 |   366852 |    23568     31 |      758 |      592
936.09/936.50	c  936s |      18 |   552487 |   367352 |    23568     31 |      758 |      592
938.29/938.70	c  938s |      18 |   552943 |   367752 |    23568     32 |      758 |      592
940.29/940.73	c  940s |      18 |   553630 |   368352 |    23568     32 |      758 |      592
942.48/942.90	c  942s |      18 |   554309 |   368952 |    23568     32 |      758 |      592
944.68/945.10	c  944s |      18 |   554983 |   369552 |    23568     32 |      758 |      592
946.88/947.35	c  947s |      18 |   555667 |   370152 |    23568     32 |      758 |      592
949.08/949.53	c  949s |      18 |   556363 |   370752 |    23568     32 |      758 |      592
951.38/951.80	c  951s |      18 |   557195 |   371452 |    23568     32 |      758 |      592
953.39/953.86	c  953s |      18 |   557931 |   372052 |    23568     32 |      758 |      592
955.49/955.96	c  955s |      18 |   558651 |   372652 |    23568     32 |      758 |      592
957.69/958.14	c  957s |      18 |   559349 |   373252 |    23568     32 |      758 |      592
959.68/960.18	c  959s |      18 |   559939 |   373752 |    23568     32 |      758 |      592
961.88/962.31	c  962s |      18 |   560509 |   374252 |    23568     32 |      758 |      592
964.09/964.56	c  964s |      18 |   561228 |   374852 |    23568     32 |      758 |      592
966.39/966.89	c  966s |      18 |   561786 |   375352 |    23568     32 |      758 |      592
968.59/969.09	c  968s |      18 |   562394 |   375852 |    23568     32 |      758 |      592
970.90/971.35	c  971s |      18 |   563102 |   376452 |    23568     32 |      758 |      592
972.99/973.46	c  973s |      18 |   563650 |   376952 |    23568     32 |      758 |      592
975.09/975.50	c  975s |      18 |   564238 |   377452 |    23568     32 |      758 |      592
977.29/977.76	c  977s |      18 |   564828 |   377952 |    23568     32 |      758 |      592
979.59/980.07	c  979s |      18 |   565543 |   378552 |    23568     32 |      758 |      592
981.78/982.30	c  982s |      18 |   566278 |   379152 |    23568     32 |      758 |      592
983.88/984.33	c  984s |      18 |   566837 |   379652 |    23568     32 |      758 |      592
986.08/986.58	c  986s |      18 |   567429 |   380152 |    23568     32 |      758 |      592
988.49/988.95	c  988s |      18 |   567986 |   380652 |    23568     32 |      758 |      592
990.58/991.01	c  990s |      18 |   568426 |   381052 |    23568     33 |      758 |      592
992.78/993.26	c  993s |      18 |   569292 |   381752 |    23568     33 |      758 |      592
994.98/995.42	c  995s |      18 |   570002 |   382352 |    23568     33 |      758 |      592
997.18/997.63	c  997s |      18 |   570877 |   383052 |    23568     33 |      758 |      592
999.49/999.92	c  999s |      18 |   571571 |   383652 |    23568     33 |      758 |      592
1001.58/1002.09	c 1001s |      18 |   572137 |   384152 |    23568     33 |      758 |      592
1003.89/1004.40	c 1004s |      18 |   572889 |   384752 |    23568     33 |      758 |      592
1005.98/1006.50	c 1006s |      18 |   573628 |   385352 |    23568     33 |      758 |      592
1008.29/1008.77	c 1008s |      18 |   574346 |   385952 |    23568     33 |      758 |      592
1010.68/1011.17	c 1010s |      18 |   575016 |   386552 |    23568     33 |      758 |      592
1012.88/1013.36	c 1013s |      18 |   575594 |   387052 |    23568     33 |      758 |      592
1015.27/1015.70	c 1015s |      18 |   576289 |   387652 |    23568     33 |      758 |      592
1017.47/1017.96	c 1017s |      18 |   576859 |   388152 |    23568     33 |      758 |      592
1019.57/1020.05	c 1019s |      18 |   577427 |   388652 |    23568     33 |      758 |      592
1021.58/1022.06	c 1021s |      18 |   577866 |   389052 |    23568     33 |      758 |      592
1023.68/1024.14	c 1023s |      18 |   578452 |   389552 |    23568     33 |      758 |      592
1025.98/1026.42	c 1026s |      18 |   579416 |   390252 |    23568     33 |      758 |      592
1028.27/1028.77	c 1028s |      18 |   580136 |   390852 |    23568     33 |      758 |      592
1030.67/1031.18	c 1030s |      18 |   580874 |   391452 |    23568     33 |      758 |      592
1032.87/1033.37	c 1033s |      18 |   581604 |   392052 |    23568     33 |      758 |      592
1035.27/1035.77	c 1035s |      18 |   582294 |   392652 |    23568     33 |      758 |      592
1037.37/1037.88	c 1037s |      18 |   582891 |   393152 |    23568     33 |      758 |      592
1039.57/1040.07	c 1039s |      18 |   583470 |   393652 |    23568     33 |      758 |      592
1041.87/1042.31	c 1042s |      18 |   584047 |   394152 |    23568     33 |      758 |      592
1043.07/1044.52	c 1044s |      18 |   584531 |   394552 |    23568     34 |      758 |      592
1046.30/1046.89	c 1046s |      18 |   585343 |   395252 |    23568     34 |      758 |      592
1048.61/1049.05	c 1048s |      18 |   586017 |   395852 |    23568     34 |      758 |      592
1049.19/1051.31	c 1051s |      18 |   586843 |   396552 |    23568     34 |      758 |      592
1049.19/1053.43	c 1053s |      18 |   587661 |   397252 |    23568     34 |      758 |      592
1049.19/1055.63	c 1055s |      18 |   588491 |   397952 |    23568     34 |      758 |      592
1049.19/1057.90	c 1057s |      18 |   589300 |   398652 |    23568     34 |      758 |      592
1059.20/1060.20	c 1059s |      18 |   589990 |   399252 |    23568     34 |      758 |      592
1061.34/1062.24	c 1061s |      18 |   590567 |   399752 |    23568     34 |      758 |      592
1063.57/1064.27	c 1064s |      18 |   591118 |   400252 |    23568     34 |      758 |      592
1065.45/1066.40	c 1066s |      18 |   591700 |   400752 |    23568     34 |      758 |      592
1068.20/1068.76	c 1068s |      18 |   592373 |   401352 |    23568     34 |      758 |      592
1069.18/1070.77	c 1070s |      18 |   592944 |   401852 |    23568     34 |      758 |      592
1072.34/1072.80	c 1072s |      18 |   593544 |   402352 |    23568     34 |      758 |      592
1073.40/1074.90	c 1074s |      18 |   594123 |   402852 |    23568     34 |      758 |      592
1075.68/1077.19	c 1076s |      18 |   594664 |   403352 |    23568     34 |      758 |      592
1075.68/1079.58	c 1079s |      18 |   595229 |   403852 |    23568     34 |      758 |      592
1080.55/1081.67	c 1081s |      18 |   595817 |   404352 |    23568     34 |      758 |      592
1083.28/1083.74	c 1083s |      18 |   596370 |   404852 |    23568     34 |      758 |      592
1084.73/1086.25	c 1085s |      18 |   596896 |   405352 |    23568     34 |      758 |      592
1087.09/1088.30	c 1088s |      18 |   597355 |   405752 |    23568     34 |      758 |      592
1089.48/1090.76	c 1090s |      18 |   597917 |   406252 |    23568     34 |      758 |      592
1092.50/1093.02	c 1092s |      18 |   598354 |   406652 |    23568     34 |      758 |      592
1094.49/1095.06	c 1094s |      18 |   598796 |   407052 |    23568     34 |      758 |      592
1096.48/1097.08	c 1096s |      18 |   599236 |   407452 |    23568     34 |      758 |      592
1099.59/1100.03	c 1099s |      18 |   599788 |   407952 |    23568     35 |      758 |      592
1100.82/1102.26	c 1102s |      18 |   600484 |   408552 |    23568     35 |      758 |      592
1104.24/1104.98	c 1104s |      18 |   601190 |   409152 |    23568     35 |      758 |      592
1105.84/1106.83	c 1106s |      18 |   601853 |   409752 |    23568     35 |      758 |      592
1108.60/1109.23	c 1108s |      18 |   602544 |   410352 |    23568     35 |      758 |      592
1111.06/1111.56	c 1111s |      18 |   603251 |   410952 |    23568     35 |      758 |      592
1112.88/1113.78	c 1113s |      18 |   603906 |   411552 |    23568     35 |      758 |      592
1115.32/1115.86	c 1115s |      18 |   604474 |   412052 |    23568     35 |      758 |      592
1115.54/1117.87	c 1117s |      18 |   605060 |   412552 |    23568     35 |      758 |      592
1115.54/1120.28	c 1120s |      18 |   605739 |   413152 |    23568     35 |      758 |      592
1122.10/1122.63	c 1122s |      18 |   606298 |   413652 |    23568     35 |      758 |      592
1123.46/1124.89	c 1124s |      18 |   606877 |   414152 |    23568     35 |      758 |      592
1126.71/1127.21	c 1126s |      18 |   607426 |   414652 |    23568     35 |      758 |      592
1126.71/1129.48	c 1129s |      18 |   607985 |   415152 |    23568     35 |      758 |      592
1130.19/1131.75	c 1131s |      18 |   608555 |   415652 |    23568     35 |      758 |      592
1133.25/1133.80	c 1133s |      18 |   609046 |   416052 |    23568     35 |      758 |      592
1135.47/1136.04	c 1135s |      18 |   609613 |   416552 |    23568     35 |      758 |      592
1136.13/1138.28	c 1138s |      18 |   610188 |   417052 |    23568     35 |      758 |      592
1136.13/1140.54	c 1140s |      18 |   610769 |   417552 |    23568     35 |      758 |      592
1141.46/1142.69	c 1142s |      18 |   611372 |   418052 |    23568     35 |      758 |      592
1143.78/1144.73	c 1144s |      18 |   611816 |   418452 |    23568     35 |      758 |      592
1146.44/1147.02	c 1146s |      18 |   612376 |   418952 |    23568     35 |      758 |      592
1148.86/1149.33	c 1149s |      18 |   612960 |   419452 |    23568     35 |      758 |      592
1151.18/1151.71	c 1151s |      18 |   613519 |   419952 |    23568     35 |      758 |      592
1152.73/1153.79	c 1153s |      18 |   613969 |   420352 |    23568     35 |      758 |      592
1155.43/1156.02	c 1155s |      18 |   614416 |   420752 |    23568     35 |      758 |      592
1156.55/1158.08	c 1157s |      18 |   614870 |   421152 |    23568     35 |      758 |      592
1156.55/1160.14	c 1159s |      18 |   615202 |   421452 |    23568     36 |      758 |      592
1156.55/1162.33	c 1162s |      18 |   615925 |   422052 |    23568     36 |      758 |      592
1163.60/1164.40	c 1164s |      18 |   616619 |   422652 |    23568     36 |      758 |      592
1165.77/1166.53	c 1166s |      18 |   617175 |   423152 |    23568     36 |      758 |      592
1168.16/1168.63	c 1168s |      18 |   617719 |   423652 |    23568     36 |      758 |      592
1170.33/1170.85	c 1170s |      18 |   618437 |   424252 |    23568     36 |      758 |      592
1172.00/1173.15	c 1172s |      18 |   619133 |   424852 |    23568     36 |      758 |      592
1172.00/1175.33	c 1175s |      18 |   619868 |   425452 |    23568     36 |      758 |      592
1172.00/1177.47	c 1177s |      18 |   620589 |   426052 |    23568     36 |      758 |      592
1172.00/1179.77	c 1179s |      18 |   621292 |   426652 |    23568     36 |      758 |      592
1172.00/1181.92	c 1181s |      18 |   621864 |   427152 |    23568     36 |      758 |      592
1183.50/1184.09	c 1183s |      18 |   622516 |   427752 |    23568     36 |      758 |      592
1183.50/1186.35	c 1186s |      18 |   623075 |   428252 |    23568     36 |      758 |      592
1183.50/1188.58	c 1188s |      18 |   623613 |   428752 |    23568     36 |      758 |      592
1190.38/1190.92	c 1190s |      18 |   624205 |   429252 |    23568     36 |      758 |      592
1192.58/1193.07	c 1192s |      18 |   624641 |   429652 |    23568     36 |      758 |      592
1193.25/1195.07	c 1194s |      18 |   625092 |   430052 |    23568     36 |      758 |      592
1193.25/1197.50	c 1197s |      18 |   625652 |   430552 |    23568     36 |      758 |      592
1197.26/1199.87	c 1199s |      18 |   626188 |   431052 |    23568     36 |      758 |      592
1197.26/1202.38	c 1202s |      18 |   626740 |   431552 |    23568     36 |      758 |      592
1202.58/1204.51	c 1204s |      18 |   627332 |   432052 |    23568     36 |      758 |      592
1206.04/1206.76	c 1206s |      18 |   627904 |   432552 |    23568     36 |      758 |      592
1208.66/1209.18	c 1208s |      18 |   628503 |   433052 |    23568     36 |      758 |      592
1210.56/1211.40	c 1211s |      18 |   628937 |   433452 |    23568     36 |      758 |      592
1212.75/1213.45	c 1213s |      18 |   629373 |   433852 |    23568     36 |      758 |      592
1215.32/1215.77	c 1215s |      18 |   629962 |   434352 |    23568     36 |      758 |      592
1216.24/1217.91	c 1217s |      18 |   630283 |   434652 |    23568     37 |      758 |      592
1216.24/1220.21	c 1219s |      18 |   631083 |   435352 |    23568     37 |      758 |      592
1221.97/1222.49	c 1222s |      18 |   631644 |   435852 |    23568     37 |      758 |      592
1222.17/1224.57	c 1224s |      18 |   632207 |   436352 |    23568     37 |      758 |      592
1226.25/1226.75	c 1226s |      18 |   632882 |   436952 |    23568     37 |      758 |      592
1227.63/1229.07	c 1228s |      18 |   633531 |   437552 |    23568     37 |      758 |      592
1227.63/1231.44	c 1231s |      18 |   634190 |   438152 |    23568     37 |      758 |      592
1227.63/1233.85	c 1233s |      18 |   634835 |   438752 |    23568     37 |      758 |      592
1227.63/1236.05	c 1235s |      18 |   635422 |   439252 |    23568     37 |      758 |      592
1227.63/1238.31	c 1238s |      18 |   636197 |   439852 |    23568     37 |      758 |      592
1227.63/1240.71	c 1240s |      18 |   636905 |   440452 |    23568     37 |      758 |      592
1240.36/1242.93	c 1242s |      18 |   637496 |   440952 |    23568     37 |      758 |      592
1240.36/1245.21	c 1244s |      18 |   638075 |   441452 |    25925     37 |      758 |      592
1246.55/1247.50	c 1247s |      18 |   638652 |   441952 |    25925     37 |      758 |      592
1246.55/1249.66	c 1249s |      18 |   639220 |   442452 |    25925     37 |      758 |      592
1251.36/1252.05	c 1251s |      18 |   639786 |   442952 |    25925     37 |      758 |      592
1253.44/1254.34	c 1254s |      18 |   640368 |   443452 |    25925     37 |      758 |      592
1256.11/1256.79	c 1256s |      18 |   640939 |   443952 |    25925     37 |      758 |      592
1258.24/1258.80	c 1258s |      18 |   641528 |   444452 |    25925     37 |      758 |      592
1258.24/1258.92	c 1258s |      19 |   641567 |   444482 |    25925     37 |      758 |      592
1260.52/1261.01	c 1260s |      19 |   648610 |   445682 |    25925     37 |      758 |      592
1262.27/1263.14	c 1262s |      19 |   651770 |   447382 |    25925     37 |      758 |      592
1264.54/1265.21	c 1264s |      19 |   653560 |   448682 |    25925     37 |      758 |      592
1266.67/1267.34	c 1267s |      19 |   654955 |   449782 |    25925     37 |      758 |      592
1268.73/1269.34	c 1269s |      19 |   655906 |   450482 |    25925     38 |      758 |      592
1270.95/1271.57	c 1271s |      19 |   657121 |   451482 |    25925     38 |      758 |      592
1272.96/1273.82	c 1273s |      19 |   658125 |   452382 |    25925     38 |      758 |      592
1272.96/1275.90	c 1275s |      19 |   659096 |   453182 |    25925     38 |      758 |      592
1276.18/1278.00	c 1277s |      19 |   660405 |   454182 |    25925     38 |      758 |      592
1279.09/1280.11	c 1279s |      19 |   661700 |   455182 |    25925     38 |      758 |      592
1281.55/1282.39	c 1282s |      19 |   662670 |   456082 |    25925     38 |      758 |      592
1283.97/1284.58	c 1284s |      19 |   663449 |   456782 |    25925     38 |      758 |      592
1283.97/1286.63	c 1286s |      19 |   664140 |   457382 |    25925     38 |      758 |      592
1286.29/1288.84	c 1288s |      19 |   665070 |   458182 |    25925     38 |      758 |      592
1289.37/1290.92	c 1290s |      19 |   665829 |   458882 |    25925     38 |      758 |      592
1289.37/1293.14	c 1292s |      19 |   666501 |   459482 |    25925     38 |      758 |      592
1289.37/1295.38	c 1295s |      19 |   667394 |   460182 |    25925     38 |      758 |      592
1289.37/1297.63	c 1297s |      19 |   668235 |   460882 |    25925     38 |      758 |      592
1298.02/1299.72	c 1299s |      19 |   669037 |   461582 |    25925     38 |      758 |      592
1301.04/1301.85	c 1301s |      19 |   669933 |   462282 |    25925     38 |      758 |      592
1303.33/1304.03	c 1303s |      19 |   670815 |   462982 |    25925     38 |      758 |      592
1303.66/1306.26	c 1306s |      19 |   671547 |   463582 |    25925     38 |      758 |      592
1307.19/1308.56	c 1308s |      19 |   672249 |   464182 |    25925     38 |      758 |      592
1307.19/1310.71	c 1310s |      19 |   673082 |   464782 |    25925     38 |      758 |      592
1307.19/1312.73	c 1312s |      19 |   673667 |   465282 |    25925     39 |      758 |      592
1314.25/1314.94	c 1314s |      19 |   674294 |   465882 |    25925     39 |      758 |      592
1315.47/1316.97	c 1316s |      19 |   675231 |   466582 |    25925     39 |      758 |      592
1317.71/1319.17	c 1318s |      19 |   675946 |   467182 |    25925     39 |      758 |      592
1317.71/1321.41	c 1321s |      19 |   676494 |   467682 |    25925     39 |      758 |      592
1317.71/1323.59	c 1323s |      19 |   677109 |   468182 |    25925     39 |      758 |      592
1317.71/1326.10	c 1325s |      19 |   677649 |   468682 |    25925     39 |      758 |      592
1317.71/1328.57	c 1328s |      19 |   678219 |   469182 |    25925     39 |      758 |      592
1317.71/1330.84	c 1330s |      19 |   678674 |   469582 |    25925     39 |      758 |      592
1317.71/1333.12	c 1332s |      19 |   679135 |   469982 |    25925     39 |      758 |      592
1333.74/1335.33	c 1335s |      19 |   679577 |   470382 |    25925     39 |      758 |      592
1333.74/1337.64	c 1337s |      19 |   680181 |   470882 |    25925     39 |      758 |      592
1338.63/1339.67	c 1339s |      19 |   680825 |   471382 |    25925     39 |      758 |      592
1338.63/1341.99	c 1341s |      19 |   681396 |   471882 |    25925     39 |      758 |      592
1343.62/1344.12	c 1343s |      19 |   682031 |   472382 |    25925     39 |      758 |      592
1345.63/1346.14	c 1345s |      19 |   682762 |   472982 |    25925     39 |      758 |      592
1347.73/1348.31	c 1348s |      19 |   683542 |   473582 |    25925     39 |      758 |      592
1349.82/1350.33	c 1350s |      19 |   684193 |   474082 |    25925     39 |      758 |      592
1351.82/1352.38	c 1352s |      19 |   684789 |   474582 |    25925     39 |      758 |      592
1353.92/1354.41	c 1354s |      19 |   685438 |   475082 |    25925     39 |      758 |      592
1355.92/1356.45	c 1356s |      19 |   686065 |   475582 |    25925     39 |      758 |      592
1358.02/1358.54	c 1358s |      19 |   686725 |   476082 |    25925     39 |      758 |      592
1360.32/1360.81	c 1360s |      19 |   687156 |   476482 |    25925     39 |      758 |      592
1363.02/1363.51	c 1363s |      19 |   687597 |   476882 |    25925     39 |      758 |      592
1365.22/1365.77	c 1365s |      19 |   688021 |   477282 |    25925     39 |      758 |      592
1367.63/1368.11	c 1367s |      19 |   688511 |   477682 |    25925     39 |      758 |      592
1369.92/1370.49	c 1370s |      19 |   689073 |   478182 |    25925     39 |      758 |      592
1372.62/1373.11	c 1372s |      19 |   689513 |   478582 |    25925     39 |      758 |      592
1374.72/1375.22	c 1374s |      19 |   689977 |   478982 |    25925     39 |      758 |      592
1377.22/1377.79	c 1377s |      19 |   690410 |   479382 |    25925     39 |      758 |      592
1379.73/1380.26	c 1380s |      19 |   690738 |   479682 |    25925     40 |      758 |      592
1382.02/1382.50	c 1382s |      19 |   691421 |   480282 |    25925     40 |      758 |      592
1384.32/1384.83	c 1384s |      19 |   692199 |   480982 |    25925     40 |      758 |      592
1386.62/1387.16	c 1386s |      19 |   692936 |   481682 |    25925     40 |      758 |      592
1388.62/1389.18	c 1388s |      19 |   693566 |   482282 |    25925     40 |      758 |      592
1390.82/1391.37	c 1391s |      19 |   694197 |   482882 |    25925     40 |      758 |      592
1393.12/1393.61	c 1393s |      19 |   694846 |   483482 |    25925     40 |      758 |      592
1395.32/1395.87	c 1395s |      19 |   695486 |   484082 |    25925     40 |      758 |      592
1397.52/1398.02	c 1397s |      19 |   696147 |   484682 |    25925     40 |      758 |      592
1399.82/1400.38	c 1400s |      19 |   696839 |   485282 |    25925     40 |      758 |      592
1402.32/1402.82	c 1402s |      19 |   697434 |   485782 |    25925     40 |      758 |      592
1404.32/1404.85	c 1404s |      19 |   697923 |   486182 |    25925     40 |      758 |      592
1406.82/1407.32	c 1407s |      19 |   698361 |   486582 |    25925     40 |      758 |      592
1408.82/1409.35	c 1409s |      19 |   698668 |   486882 |    25925     40 |      758 |      592
1411.12/1411.63	c 1411s |      19 |   699187 |   487382 |    25925     40 |      758 |      592
1413.12/1413.68	c 1413s |      19 |   699610 |   487782 |    25925     40 |      758 |      592
1415.82/1416.38	c 1416s |      19 |   700061 |   488182 |    25925     40 |      758 |      592
1417.92/1418.44	c 1418s |      19 |   700395 |   488482 |    25925     40 |      758 |      592
1420.52/1421.01	c 1420s |      19 |   700815 |   488882 |    25925     40 |      758 |      592
1422.52/1423.09	c 1422s |      19 |   701140 |   489182 |    25925     40 |      758 |      592
1424.72/1425.24	c 1424s |      19 |   701456 |   489482 |    25925     40 |      758 |      592
1426.81/1427.38	c 1427s |      19 |   701778 |   489782 |    25925     40 |      758 |      592
1429.22/1429.76	c 1429s |      19 |   702213 |   490182 |    25925     40 |      758 |      592
1431.51/1432.00	c 1431s |      19 |   702680 |   490582 |    25925     40 |      758 |      592
1433.71/1434.22	c 1433s |      19 |   703140 |   490982 |    25925     40 |      758 |      592
1436.01/1436.51	c 1436s |      19 |   703595 |   491382 |    25925     40 |      758 |      592
1438.11/1438.65	c 1438s |      19 |   704034 |   491782 |    25925     40 |      758 |      592
1440.41/1440.99	c 1440s |      19 |   704461 |   492182 |    25925     40 |      758 |      592
1442.61/1443.17	c 1442s |      19 |   704888 |   492582 |    25925     40 |      758 |      592
1445.21/1445.74	c 1445s |      19 |   705323 |   492982 |    25925     40 |      758 |      592
1447.70/1448.28	c 1448s |      19 |   705760 |   493382 |    25925     40 |      758 |      592
1450.31/1450.81	c 1450s |      19 |   706207 |   493782 |    25925     40 |      758 |      592
1452.32/1452.85	c 1452s |      19 |   706528 |   494082 |    25925     40 |      758 |      592
1454.61/1455.13	c 1454s |      19 |   706860 |   494382 |    25925     41 |      758 |      592
1457.11/1457.62	c 1457s |      19 |   707295 |   494782 |    25925     41 |      758 |      592
1459.41/1459.94	c 1459s |      19 |   707872 |   495282 |    25925     41 |      758 |      592
1461.61/1462.20	c 1461s |      19 |   708667 |   495882 |    25925     41 |      758 |      592
1463.71/1464.20	c 1463s |      19 |   709143 |   496282 |    25925     41 |      758 |      592
1465.71/1466.22	c 1465s |      19 |   709593 |   496682 |    25925     41 |      758 |      592
1467.91/1468.48	c 1468s |      19 |   710026 |   497082 |    25925     41 |      758 |      592
1470.21/1470.73	c 1470s |      19 |   710795 |   497682 |    25925     41 |      758 |      592
1472.31/1472.87	c 1472s |      19 |   711480 |   498282 |    25925     41 |      758 |      592
1474.41/1474.99	c 1474s |      19 |   712044 |   498782 |    25925     41 |      758 |      592
1476.52/1477.08	c 1476s |      19 |   712598 |   499282 |    25925     41 |      758 |      592
1478.72/1479.23	c 1478s |      19 |   713091 |   499682 |    25925     41 |      758 |      592
1480.82/1481.35	c 1481s |      19 |   713645 |   500182 |    25925     41 |      758 |      592
1483.21/1483.76	c 1483s |      19 |   714216 |   500682 |    25925     41 |      758 |      592
1485.71/1486.29	c 1486s |      19 |   714783 |   501182 |    25925     41 |      758 |      592
1487.81/1488.39	c 1488s |      19 |   715202 |   501582 |    25925     41 |      758 |      592
1490.20/1490.76	c 1490s |      19 |   715655 |   501982 |    25925     41 |      758 |      592
1492.60/1493.10	c 1492s |      19 |   716092 |   502382 |    25925     41 |      758 |      592
1494.70/1495.27	c 1495s |      19 |   716542 |   502782 |    25925     41 |      758 |      592
1497.00/1497.55	c 1497s |      19 |   716996 |   503182 |    25925     41 |      758 |      592
1499.51/1500.10	c 1499s |      19 |   717398 |   503582 |    25925     41 |      758 |      592
1502.00/1502.52	c 1502s |      19 |   717846 |   503982 |    25925     41 |      758 |      592
1504.40/1504.95	c 1504s |      19 |   718444 |   504482 |    25925     41 |      758 |      592
1506.80/1507.36	c 1507s |      19 |   719082 |   504982 |    25925     41 |      758 |      592
1509.20/1509.73	c 1509s |      19 |   719735 |   505482 |    25925     41 |      758 |      592
1511.20/1511.74	c 1511s |      19 |   720187 |   505882 |    25925     41 |      758 |      592
1513.30/1513.87	c 1513s |      19 |   720806 |   506382 |    25925     41 |      758 |      592
1515.50/1516.09	c 1515s |      19 |   721580 |   506982 |    25925     41 |      758 |      592
1517.80/1518.33	c 1518s |      19 |   722228 |   507482 |    25925     41 |      758 |      592
1520.10/1520.64	c 1520s |      19 |   722831 |   507982 |    25925     41 |      758 |      592
1522.50/1523.06	c 1522s |      19 |   723652 |   508582 |    25925     41 |      758 |      592
1524.60/1525.11	c 1524s |      19 |   723983 |   508882 |    25925     42 |      758 |      592
1526.80/1527.31	c 1527s |      19 |   724867 |   509582 |    25925     42 |      758 |      592
1528.90/1529.45	c 1529s |      19 |   725763 |   510282 |    25925     42 |      758 |      592
1531.00/1531.58	c 1531s |      19 |   726332 |   510782 |    25925     42 |      758 |      592
1533.20/1533.74	c 1533s |      19 |   726923 |   511282 |    25925     42 |      758 |      592
1535.40/1535.98	c 1535s |      19 |   727512 |   511782 |    25925     42 |      758 |      592
1537.50/1538.08	c 1537s |      19 |   728072 |   512282 |    25925     42 |      758 |      592
1539.60/1540.17	c 1539s |      19 |   728657 |   512782 |    25925     42 |      758 |      592
1542.00/1542.55	c 1542s |      19 |   729251 |   513282 |    25925     42 |      758 |      592
1544.00/1544.57	c 1544s |      19 |   729710 |   513682 |    25925     42 |      758 |      592
1546.29/1546.84	c 1546s |      19 |   730272 |   514182 |    25925     42 |      758 |      592
1548.49/1549.09	c 1548s |      19 |   730843 |   514682 |    25925     42 |      758 |      592
1550.89/1551.42	c 1551s |      19 |   731417 |   515182 |    25925     42 |      758 |      592
1552.99/1553.57	c 1553s |      19 |   731862 |   515582 |    25925     42 |      758 |      592
1555.39/1555.94	c 1555s |      19 |   732301 |   515982 |    25925     42 |      758 |      592
1557.49/1558.07	c 1557s |      19 |   732731 |   516382 |    25925     42 |      758 |      592
1559.79/1560.34	c 1560s |      19 |   733163 |   516782 |    25925     42 |      758 |      592
1561.99/1562.55	c 1562s |      19 |   733597 |   517182 |    25925     42 |      758 |      592
1564.29/1564.85	c 1564s |      19 |   734054 |   517582 |    25925     42 |      758 |      592
1566.70/1567.26	c 1567s |      19 |   734492 |   517982 |    25925     42 |      758 |      592
1568.99/1569.57	c 1569s |      19 |   734914 |   518382 |    25925     42 |      758 |      592
1571.59/1572.10	c 1571s |      19 |   735342 |   518782 |    25925     42 |      758 |      592
1573.59/1574.15	c 1573s |      19 |   735652 |   519082 |    25925     42 |      758 |      592
1575.89/1576.47	c 1576s |      19 |   736107 |   519482 |    25925     42 |      758 |      592
1578.09/1578.63	c 1578s |      19 |   736542 |   519882 |    25925     42 |      758 |      592
1580.49/1581.04	c 1580s |      19 |   736995 |   520282 |    25925     42 |      758 |      592
1582.59/1583.17	c 1582s |      19 |   737456 |   520682 |    25925     42 |      758 |      592
1584.89/1585.43	c 1585s |      19 |   738093 |   521182 |    25925     42 |      758 |      592
1586.99/1587.56	c 1587s |      19 |   738547 |   521582 |    25925     42 |      758 |      592
1589.29/1589.80	c 1589s |      19 |   739009 |   521982 |    25925     42 |      758 |      592
1591.29/1591.81	c 1591s |      19 |   739469 |   522382 |    25925     42 |      758 |      592
1593.78/1594.39	c 1594s |      19 |   739898 |   522782 |    25925     42 |      758 |      592
1596.88/1597.49	c 1597s |      19 |   740337 |   523182 |    25925     43 |      758 |      592
1599.38/1599.94	c 1599s |      19 |   740915 |   523682 |    25925     43 |      758 |      592
1601.68/1602.26	c 1601s |      19 |   741323 |   524082 |    25925     43 |      758 |      592
1604.09/1604.61	c 1604s |      19 |   741742 |   524482 |    25925     43 |      758 |      592
1606.19/1606.75	c 1606s |      19 |   742175 |   524882 |    25925     43 |      758 |      592
1608.19/1608.75	c 1608s |      19 |   742606 |   525282 |    25925     43 |      758 |      592
1610.39/1610.91	c 1610s |      19 |   743024 |   525682 |    25925     43 |      758 |      592
1612.59/1613.14	c 1612s |      19 |   743462 |   526082 |    25925     43 |      758 |      592
1614.69/1615.23	c 1614s |      19 |   743906 |   526482 |    25925     43 |      758 |      592
1616.69/1617.24	c 1616s |      19 |   744516 |   526982 |    25925     43 |      758 |      592
1619.09/1619.62	c 1619s |      19 |   745206 |   527582 |    25925     43 |      758 |      592
1621.19/1621.78	c 1621s |      19 |   745684 |   527982 |    25925     43 |      758 |      592
1623.49/1624.04	c 1623s |      19 |   746143 |   528382 |    25925     43 |      758 |      592
1625.69/1626.21	c 1625s |      19 |   746660 |   528782 |    25925     43 |      758 |      592
1628.09/1628.62	c 1628s |      19 |   747405 |   529382 |    25925     43 |      758 |      592
1630.19/1630.76	c 1630s |      19 |   748140 |   529882 |    25925     43 |      758 |      592
1632.28/1632.81	c 1632s |      19 |   748607 |   530282 |    25925     43 |      758 |      592
1634.58/1635.12	c 1634s |      19 |   749166 |   530782 |    25925     43 |      758 |      592
1636.78/1637.37	c 1637s |      19 |   749753 |   531282 |    25925     43 |      758 |      592
1639.08/1639.64	c 1639s |      19 |   750434 |   531782 |    25925     43 |      758 |      592
1641.28/1641.85	c 1641s |      19 |   751280 |   532382 |    25925     43 |      758 |      592
1643.48/1644.05	c 1643s |      19 |   751872 |   532882 |    25925     43 |      758 |      592
1645.58/1646.11	c 1645s |      19 |   752645 |   533482 |    25925     43 |      758 |      592
1647.99/1648.60	c 1648s |      19 |   753351 |   534082 |    25925     43 |      758 |      592
1650.38/1650.94	c 1650s |      19 |   754022 |   534582 |    25925     43 |      758 |      592
1652.39/1652.98	c 1652s |      19 |   754613 |   535082 |    25925     43 |      758 |      592
1654.59/1655.11	c 1654s |      19 |   755139 |   535582 |    25925     43 |      758 |      592
1656.98/1657.55	c 1657s |      19 |   755755 |   536082 |    25925     43 |      758 |      592
1659.18/1659.70	c 1659s |      19 |   756235 |   536482 |    25925     43 |      758 |      592
1661.38/1661.99	c 1661s |      19 |   756823 |   536982 |    25925     43 |      758 |      592
1663.68/1664.24	c 1663s |      19 |   757287 |   537382 |    25925     43 |      758 |      592
1665.69/1666.28	c 1666s |      19 |   757659 |   537682 |    25925     44 |      758 |      592
1668.08/1668.64	c 1668s |      19 |   758386 |   538282 |    25925     44 |      758 |      592
1670.38/1670.93	c 1670s |      19 |   759081 |   538882 |    25925     44 |      758 |      592
1672.48/1673.03	c 1672s |      19 |   759814 |   539482 |    25925     44 |      758 |      592
1674.78/1675.33	c 1675s |      19 |   760496 |   540082 |    25925     44 |      758 |      592
1676.98/1677.55	c 1677s |      19 |   761220 |   540682 |    25925     44 |      758 |      592
1679.28/1679.89	c 1679s |      19 |   761890 |   541282 |    25925     44 |      758 |      592
1681.68/1682.29	c 1682s |      19 |   762583 |   541882 |    25925     44 |      758 |      592
1684.18/1684.73	c 1684s |      19 |   763239 |   542482 |    25925     44 |      758 |      592
1686.27/1686.88	c 1686s |      19 |   763821 |   542982 |    25925     44 |      758 |      592
1688.57/1689.11	c 1688s |      19 |   764589 |   543582 |    25925     44 |      758 |      592
1690.88/1691.47	c 1691s |      19 |   765366 |   544182 |    25925     44 |      758 |      592
1692.97/1693.60	c 1693s |      19 |   766136 |   544782 |    25925     44 |      758 |      592
1695.07/1695.61	c 1695s |      19 |   766746 |   545282 |    25925     44 |      758 |      592
1697.07/1697.65	c 1697s |      19 |   767461 |   545882 |    25925     44 |      758 |      592
1699.27/1699.88	c 1699s |      19 |   768028 |   546382 |    25925     44 |      758 |      592
1701.47/1702.01	c 1701s |      19 |   768575 |   546882 |    25925     44 |      758 |      592
1703.67/1704.27	c 1704s |      19 |   769113 |   547382 |    25925     44 |      758 |      592
1705.87/1706.48	c 1706s |      19 |   769689 |   547882 |    25925     44 |      758 |      592
1708.27/1708.88	c 1708s |      19 |   770272 |   548382 |    25925     44 |      758 |      592
1710.87/1711.45	c 1711s |      19 |   770816 |   548882 |    25925     44 |      758 |      592
1713.27/1713.87	c 1713s |      19 |   771422 |   549382 |    25925     44 |      758 |      592
1715.37/1715.91	c 1715s |      19 |   771877 |   549782 |    25925     44 |      758 |      592
1717.77/1718.39	c 1718s |      19 |   772472 |   550282 |    25925     44 |      758 |      592
1719.87/1720.42	c 1720s |      19 |   772929 |   550682 |    25925     44 |      758 |      592
1721.87/1722.49	c 1722s |      19 |   773397 |   551082 |    25925     44 |      758 |      592
1724.07/1724.65	c 1724s |      19 |   773882 |   551482 |    25925     44 |      758 |      592
1726.18/1726.76	c 1726s |      19 |   774324 |   551882 |    25925     44 |      758 |      592
1729.27/1729.81	c 1729s |      19 |   774889 |   552382 |    25925     45 |      758 |      592
1731.58/1732.20	c 1731s |      19 |   775561 |   552982 |    25925     45 |      758 |      592
1733.88/1734.46	c 1734s |      19 |   776091 |   553482 |    25925     45 |      758 |      592
1736.17/1736.75	c 1736s |      19 |   776683 |   553982 |    25925     45 |      758 |      592
1738.57/1739.17	c 1738s |      19 |   777239 |   554482 |    25925     45 |      758 |      592
1740.77/1741.32	c 1741s |      19 |   777832 |   554982 |    25925     45 |      758 |      592
1743.16/1743.74	c 1743s |      19 |   778398 |   555482 |    25925     45 |      758 |      592
1745.56/1746.18	c 1745s |      19 |   778927 |   555982 |    25925     45 |      758 |      592
1747.76/1748.31	c 1748s |      19 |   779362 |   556382 |    25925     45 |      758 |      592
1749.96/1750.52	c 1750s |      19 |   779820 |   556782 |    25925     45 |      758 |      592
1752.16/1752.77	c 1752s |      19 |   780242 |   557182 |    25925     45 |      758 |      592
1754.37/1754.90	c 1754s |      19 |   780671 |   557582 |    25925     45 |      758 |      592
1756.67/1757.26	c 1757s |      19 |   781119 |   557982 |    25925     45 |      758 |      592
1758.77/1759.32	c 1759s |      19 |   781830 |   558482 |    25925     45 |      758 |      592
1760.77/1761.36	c 1761s |      19 |   782737 |   559082 |    25925     45 |      758 |      592
1762.97/1763.52	c 1763s |      19 |   783603 |   559782 |    25925     45 |      758 |      592
1765.16/1765.70	c 1765s |      19 |   785002 |   560582 |    25925     45 |      758 |      592
1767.16/1767.78	c 1767s |      19 |   785886 |   561282 |    25925     45 |      758 |      592
1769.46/1770.07	c 1769s |      19 |   786696 |   561982 |    25925     45 |      758 |      592
1771.96/1772.55	c 1772s |      19 |   787435 |   562582 |    25925     45 |      758 |      592
1774.36/1774.94	c 1774s |      19 |   787996 |   563082 |    25925     45 |      758 |      592
1776.46/1777.03	c 1776s |      19 |   788452 |   563482 |    25925     45 |      758 |      592
1778.46/1779.03	c 1778s |      19 |   788905 |   563882 |    25925     45 |      758 |      592
1780.46/1781.09	c 1780s |      19 |   789466 |   564382 |    25925     45 |      758 |      592
1782.86/1783.43	c 1783s |      19 |   790137 |   564982 |    25925     45 |      758 |      592
1785.06/1785.62	c 1785s |      19 |   790692 |   565482 |    25925     45 |      758 |      592
1787.36/1787.92	c 1787s |      19 |   791635 |   566082 |    25925     45 |      758 |      592
1789.36/1789.93	c 1789s |      19 |   793011 |   566682 |    25925     46 |      758 |      592
1791.46/1792.05	c 1791s |      19 |   795504 |   567982 |    25925     46 |      758 |      592
1793.46/1794.08	c 1793s |      19 |   798640 |   569382 |    25925     46 |      758 |      592
1795.66/1796.24	c 1795s |      19 |   800062 |   570382 |    25925     46 |      758 |      592
1797.86/1798.43	c 1798s |      19 |   801190 |   571282 |    25925     46 |      758 |      592
1799.96/1800.56	c 1800s |      19 |   802367 |   572182 |    25925     46 |      758 |      592

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

pid=32532
running on 8 cores: 4-7,12-15

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


[startup+0 s]
/proc/loadavg: 1.84 1.95 1.89 4/257 32540
/proc/meminfo: memFree=31986788/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1028540 CPUtime=0.01 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 3890 0 0 0 0 1 0 0 20 0 4 0 27007156 1053224960 4251 33554432000 4194304 16246674 140733445344608 140733445344032 13880264 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 257903 4261 441 2943 0 254797 0
[pid=32539/tid=32542] ppid=32532 vsize=1057212 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1082585088 4361 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1062332 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1087827968 4381 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1066428 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27007156 1092022272 4399 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 1.84 1.95 1.89 4/257 32540
/proc/meminfo: memFree=31986788/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1220164 CPUtime=0.09 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 28274 0 0 0 4 5 0 0 20 0 4 0 27007156 1249447936 28573 33554432000 4194304 16246674 140733445344608 140733445343704 4220897 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 305041 28573 801 2943 0 301935 0
[pid=32539/tid=32542] ppid=32532 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1249447936 28573 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1249447936 28573 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1249447936 28573 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200485 s]
/proc/loadavg: 1.84 1.95 1.89 4/257 32540
/proc/meminfo: memFree=31986788/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1301060 CPUtime=0.19 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 48481 0 0 0 11 8 0 0 20 0 4 0 27007156 1332285440 48780 33554432000 4194304 16246674 140733445344608 140733445343704 6970008 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 325265 48780 842 2943 0 322159 0
[pid=32539/tid=32542] ppid=32532 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1332285440 48780 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1332285440 48780 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1332285440 48780 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300438 s]
/proc/loadavg: 1.84 1.95 1.89 4/257 32540
/proc/meminfo: memFree=31986788/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1301060 CPUtime=0.29 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 50474 0 0 0 21 8 0 0 20 0 4 0 27007156 1332285440 50773 33554432000 4194304 16246674 140733445344608 140733445343704 5602147 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 325265 50777 882 2943 0 322159 0
[pid=32539/tid=32542] ppid=32532 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1332285440 50781 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1332285440 50786 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1332285440 50790 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700383 s]
/proc/loadavg: 1.84 1.95 1.89 4/257 32540
/proc/meminfo: memFree=31986788/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1301060 CPUtime=0.69 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 100087 0 0 0 54 15 0 0 20 0 4 0 27007156 1332285440 100387 33554432000 4194304 16246674 140733445344608 140733445343704 13780501 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 325265 100390 882 2943 0 322159 0
[pid=32539/tid=32542] ppid=32532 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1332285440 100393 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1332285440 100396 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1332285440 100398 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50038 s]
/proc/loadavg: 1.84 1.95 1.89 4/265 32548
/proc/meminfo: memFree=30780540/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1302084 CPUtime=1.49 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 207007 0 0 0 121 28 0 0 20 0 4 0 27007156 1333334016 207306 33554432000 4194304 16246674 140733445344608 140733445326528 5602147 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 325521 207311 882 2943 0 322415 0
[pid=32539/tid=32542] ppid=32532 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1333334016 207313 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1333334016 207316 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1333334016 207318 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10039 s]
/proc/loadavg: 1.84 1.95 1.89 4/265 32548
/proc/meminfo: memFree=29830684/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1312324 CPUtime=3.09 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 269192 0 0 0 274 35 0 0 20 0 4 0 27007156 1343819776 269491 33554432000 4194304 16246674 140733445344608 140733445326528 5711688 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 328081 269491 889 2943 0 324975 0
[pid=32539/tid=32542] ppid=32532 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1343819776 269491 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1343819776 269491 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1343819776 269491 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30036 s]
/proc/loadavg: 1.93 1.97 1.90 4/265 32548
/proc/meminfo: memFree=29831272/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1312324 CPUtime=6.29 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 269265 0 0 0 594 35 0 0 20 0 4 0 27007156 1343819776 269564 33554432000 4194304 16246674 140733445344608 140733445326528 5545721 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 328081 269564 889 2943 0 324975 0
[pid=32539/tid=32542] ppid=32532 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1343819776 269564 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1343819776 269564 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1343819776 269564 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 1.94 1.97 1.90 4/265 32548
/proc/meminfo: memFree=29832276/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1312324 CPUtime=12.69 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 269265 0 0 0 1233 36 0 0 20 0 4 0 27007156 1343819776 269564 33554432000 4194304 16246674 140733445344608 140733445326528 6026834 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 328081 269564 889 2943 0 324975 0
[pid=32539/tid=32542] ppid=32532 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1343819776 269564 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1343819776 269564 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1343819776 269564 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.03 1.99 1.90 4/265 32548
/proc/meminfo: memFree=29834196/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1312324 CPUtime=25.49 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 269269 0 0 0 2513 36 0 0 20 0 4 0 27007156 1343819776 269568 33554432000 4194304 16246674 140733445344608 140733445326528 12415740 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 328081 269568 892 2943 0 324975 0
[pid=32539/tid=32542] ppid=32532 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1343819776 269568 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1343819776 269568 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1343819776 269568 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.16 2.02 1.92 4/265 32548
/proc/meminfo: memFree=29834572/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1312324 CPUtime=51.08 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 269283 0 0 0 5072 36 0 0 20 0 4 0 27007156 1343819776 269568 33554432000 4194304 16246674 140733445344608 140733445326528 12415804 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 328081 269568 892 2943 0 324975 0
[pid=32539/tid=32542] ppid=32532 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1343819776 269568 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1343819776 269568 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1343819776 269568 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.25 2.06 1.93 4/265 32549
/proc/meminfo: memFree=29828168/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1314372 CPUtime=102.27 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 269678 0 0 0 10191 36 0 0 20 0 4 0 27007156 1345916928 269941 33554432000 4194304 16246674 140733445344608 140733445326528 5712628 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 328593 269941 892 2943 0 325487 0
[pid=32539/tid=32542] ppid=32532 vsize=1314372 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1345916928 269941 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1314372 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1345916928 269941 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1314372 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1345916928 269941 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1314372


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

/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276128 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1246.49
Current children cumulated vsize (KiB) 1338948

[startup+1303.76 s]
/proc/loadavg: 2.08 2.17 2.10 3/265 32627
/proc/meminfo: memFree=29771184/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1338948 CPUtime=1303.29 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 276181 0 0 0 130285 44 0 0 20 0 4 0 27007156 1371082752 276128 33554432000 4194304 16246674 140733445344608 140733445326528 5677716 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 334737 276128 892 2943 0 331631 0
[pid=32539/tid=32542] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276128 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276128 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276128 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1303.29
Current children cumulated vsize (KiB) 1338948

[startup+1362.3 s]
/proc/loadavg: 2.03 2.13 2.09 3/265 32628
/proc/meminfo: memFree=29771208/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1338948 CPUtime=1361.82 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 276181 0 0 0 136138 44 0 0 20 0 4 0 27007156 1371082752 276128 33554432000 4194304 16246674 140733445344608 140733445326528 5711439 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 334737 276128 892 2943 0 331631 0
[pid=32539/tid=32542] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276128 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276128 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276128 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1338948

[startup+1422.3 s]
/proc/loadavg: 2.01 2.11 2.08 3/265 32630
/proc/meminfo: memFree=29770928/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1338948 CPUtime=1421.81 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 276181 0 0 0 142136 45 0 0 20 0 4 0 27007156 1371082752 276128 33554432000 4194304 16246674 140733445344608 140733445343784 6010181 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 334737 276128 892 2943 0 331631 0
[pid=32539/tid=32542] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276128 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276128 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276128 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1338948

[startup+1482.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/265 32631
/proc/meminfo: memFree=29770924/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1338948 CPUtime=1481.81 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 276182 0 0 0 148135 46 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 140733445326528 5822428 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 334737 276131 892 2943 0 331631 0
[pid=32539/tid=32542] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1338948

[startup+1542.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/266 32635
/proc/meminfo: memFree=29770824/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1338948 CPUtime=1541.8 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 276182 0 0 0 154134 46 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 140733445326528 12483212 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 334737 276131 892 2943 0 331631 0
[pid=32539/tid=32542] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1338948

[startup+1602.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/265 32636
/proc/meminfo: memFree=29770320/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1338948 CPUtime=1601.79 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 276182 0 0 0 160133 46 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 140733445343704 5711245 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 334737 276131 892 2943 0 331631 0
[pid=32539/tid=32542] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1338948

[startup+1662.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/266 32638
/proc/meminfo: memFree=29769780/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1338948 CPUtime=1661.78 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 276182 0 0 0 166131 47 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 140733445326528 5822252 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 334737 276131 892 2943 0 331631 0
[pid=32539/tid=32542] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1338948

[startup+1722.31 s]
/proc/loadavg: 2.00 2.04 2.06 3/265 32640
/proc/meminfo: memFree=29769632/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1338948 CPUtime=1721.78 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 276182 0 0 0 172131 47 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 140733445326528 5677720 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 334737 276131 892 2943 0 331631 0
[pid=32539/tid=32542] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1338948

[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.06 3/265 32641
/proc/meminfo: memFree=29769836/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1338948 CPUtime=1781.76 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 276182 0 0 0 178128 48 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 140733445326528 5672188 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 334737 276131 892 2943 0 331631 0
[pid=32539/tid=32542] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1338948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.05 2.04 2.06 3/265 32642
/proc/meminfo: memFree=29769464/32872528 swapFree=7556/7556
[pid=32539] ppid=32532 vsize=1338948 CPUtime=1800.06 cores=4-7,12-15
/proc/32539/stat : 32539 (toysat) R 32532 32539 32495 0 -1 4202496 276182 0 0 0 179958 48 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 140733445326528 5722040 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/32539/statm: 334737 276131 892 2943 0 331631 0
[pid=32539/tid=32542] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32542/stat : 32542 (toysat) S 32532 32539 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828540714224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=32539/tid=32543] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32543/stat : 32543 (toysat) S 32532 32539 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828530224368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=32539/tid=32545] ppid=32532 vsize=1338948 CPUtime=0 cores=4-7,12-15
/proc/32539/task/32545/stat : 32545 (toysat) S 32532 32539 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27007156 1371082752 276131 33554432000 4194304 16246674 140733445344608 139828519750832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1338948

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 32539 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.59
CPU system time (s): 0.483926
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1338948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.483926
maximum resident set size= 1104524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276182
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= 369
involuntary context switches= 1907

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.36803 second user time and 9.76052 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 13:14:49
IDJOB=4115853
IDBENCH=109397
IDSOLVER=2542
FILE ID=node132/4115853-1466939689
RUNJOBID= node132-1466939688-32512
PBS_JOBID= 19976333
Free space on /tmp= 71528 MiB

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

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

MD5SUM BENCH= 3097fc69a33e905e49ae9240e81d1058
RANDOM SEED=1596933512

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31988968 kB
Buffers:            2724 kB
Cached:           164648 kB
SwapCached:         1796 kB
Active:            56460 kB
Inactive:         113132 kB
Active(anon):       3592 kB
Inactive(anon):     1784 kB
Active(file):      52868 kB
Inactive(file):   111348 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098620 kB
Dirty:             33640 kB
Writeback:             0 kB
AnonPages:         10564 kB
Mapped:             6880 kB
Shmem:                 0 kB
Slab:             569188 kB
SReclaimable:       9256 kB
SUnreclaim:       559932 kB
KernelStack:        2064 kB
PageTables:         4208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     103644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71496 MiB
End job on node132 at 2016-06-26 13:44:51