Trace number 4116245

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T23:44: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-4116245-1466977490.opb"]
0.00/0.01	c use --random-gen="1715131421 1369499294 2932614354 64000071 1125080560 1012969760 1151202521 1581845674 2771524331 690941761 2719930128 1746410164 3759368761 2760143709 3004483452 1860610073 1668588931 2511404788 2925058563 1119186983 2034819455 3751118103 1547379303 3694550182 1329475713 2446174377 2568131548 1574321397 3373075846 2513416466 805381407 62509465 1651186618 3516748704 333587036 1396546207 2201944067 2760423555 3599152561 1605648927 3500152943 1826170170 2050379487 4237264944 518235990 889166536 3499612394 2228547759 767185200 3580242357 2065578970 585215548 1298910861 2850315781 3714720260 669236958 3450988199 3536931878 2812052689 4208841081 1760965264 1005486668 3356518357 1614351030 3106947661 3419966280 3927662344 445932708 1550590053 829426149 392880554 1765613120 2144781791 2517681251 3414273264 4015098515 1462576533 2045670139 1908078986 219927534 1125819450 2442184913 1784935201 3644919059 2162000463 983522716 1748082293 1006438703 2665910174 15859087 4240960229 3415181478 3818488057 712553197 1660048888 2896204625 2257949245 1904165180 3680238061 2805468971 2489139865 2584113660 1377792433 3276410651 930455034 2603169527 2442939237 3564993103 3660389791 999154071 3968562546 1650482334 2018028792 1380080254 4042603823 709155881 3386250335 3795700096 2946744903 3608879386 1843803313 3396267727 3100413072 1803274460 1009823944 3970026688 1210211026 1926772814 812989126 529148104 2174657084 1569375013 920639583 3555413954 1957731346 3047484790 2614949402 2901184556 1693160558 3364772933 3076186912 806072248 3231015064 78910283 1642635331 2654169995 3719585574 1143269185 3022457013 922549449 4208021902 3308370035 262628084 1999501284 87767892 3004108374 838502270 927332044 3266055633 1804552681 1365863648 1622326305 820576549 1152696131 3299609200 566755156 843174441 1548160547 1893456614 2889164136 4210860954 2913816125 4054527289 1535092136 1061947953 1539543482 2080060005 183076710 2551470281 212700528 1574563902 2513857077 681954051 4201435710 2511253174 2021115798 2927045488 787774254 2998341702 80005677 3379428841 3789440212 3419873538 2087433347 3599412839 3447256648 3898249993 3144574545 1280873067 4122372453 604274591 1309834105 2008095450 1070054838 4148973919 495925667 3056213276 3101834275 2754735694 2359478841 548688426 2108335665 3665299559 2493809623 70103501 3409010230 1813571770 1262225216 2806604413 2408260115 2004017357 3470118741 3424761424 462265287 2734320211 1760543097 2924368078 1980927944 2778711433 1322166988 3023772208 2052316697 3039594945 3487759763 2386765345 3934196357 77050937 397865012 1058285496 94518242 3401734497 1435327450 4130397279 2087500279 402896256 1803291702 3732542384 489814515 442951487 1753000430 91184568 1878171647 692779083 1479714229 232591733 260435931 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9488
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      697 |        0
0.29/0.35	c  0.1s |       1 |      473 |      100 |     4565      0 |      697 |      626
0.39/0.44	c  0.2s |       2 |     2365 |      250 |     5022      0 |      697 |      626
0.59/0.61	c  0.3s |       3 |     4262 |      475 |     5525      0 |      697 |      626
0.78/0.87	c  0.6s |       4 |     7323 |      813 |     6078      0 |      698 |      626
1.39/1.40	c  1.1s |       5 |    10333 |     1320 |     6686      0 |      699 |      626
1.99/2.04	c  1.8s |       6 |    13575 |     2081 |     8091      0 |      699 |      626
2.89/2.90	c  2.6s |       7 |    19318 |     3223 |     8901      0 |      699 |      626
4.29/4.33	c  4.1s |       8 |    25108 |     4936 |     9792      0 |      699 |      626
6.19/6.20	c  5.9s |       9 |    36009 |     7506 |    10772      0 |      699 |      626
8.29/8.32	c  8.0s |       9 |    39304 |     9506 |    10772      0 |      699 |      626
10.39/10.42	c 10.1s |       9 |    40875 |    11006 |    10772      0 |      699 |      626
10.89/10.97	c 10.7s |      10 |    41247 |    11361 |    11850      0 |      699 |      626
12.99/13.07	c 12.8s |      10 |    51059 |    13561 |    11850      0 |      699 |      626
14.99/15.07	c 14.8s |      10 |    53594 |    15261 |    11850      1 |      699 |      626
16.59/16.67	c 16.4s |      11 |    58895 |    17144 |    13036      1 |      699 |      626
18.69/18.70	c 18.4s |      11 |    69252 |    19544 |    13036      1 |      699 |      626
20.68/20.75	c 20.5s |      11 |    71303 |    21344 |    13036      1 |      699 |      626
22.98/23.02	c 22.7s |      11 |    73238 |    23044 |    13036      2 |      699 |      626
24.98/25.08	c 24.8s |      11 |    74946 |    24644 |    13036      2 |      699 |      626
26.08/26.12	c 25.8s |      12 |    78761 |    25819 |    14340      2 |      699 |      626
28.18/28.20	c 27.9s |      12 |    86503 |    28019 |    14340      2 |      699 |      626
30.18/30.24	c 30.0s |      12 |    90898 |    29819 |    14340      2 |      699 |      626
32.18/32.27	c 32.0s |      12 |    92581 |    31119 |    14340      2 |      699 |      626
34.38/34.46	c 34.2s |      12 |    94065 |    32319 |    14340      2 |      699 |      626
36.48/36.52	c 36.2s |      12 |    95556 |    33419 |    14340      3 |      699 |      626
38.49/38.58	c 38.3s |      12 |    96765 |    34519 |    14340      3 |      699 |      626
40.48/40.59	c 40.3s |      12 |    97846 |    35419 |    14340      3 |      699 |      626
42.68/42.72	c 42.4s |      12 |    98833 |    36319 |    14340      3 |      699 |      626
44.78/44.85	c 44.6s |      12 |    99787 |    37219 |    14340      3 |      699 |      626
46.88/46.90	c 46.6s |      12 |   100727 |    38019 |    14340      3 |      699 |      626
48.58/48.67	c 48.4s |      13 |   101706 |    38832 |    15775      3 |      699 |      626
50.59/50.70	c 50.4s |      13 |   105819 |    40632 |    15775      3 |      699 |      626
52.79/52.80	c 52.5s |      13 |   107485 |    42032 |    15775      3 |      699 |      626
54.78/54.88	c 54.6s |      13 |   109476 |    43432 |    15775      4 |      699 |      626
56.98/57.02	c 56.7s |      13 |   110981 |    44832 |    15775      4 |      699 |      626
59.08/59.15	c 58.9s |      13 |   112506 |    46132 |    15775      4 |      699 |      626
61.18/61.23	c 61.0s |      13 |   119019 |    48032 |    15775      4 |      699 |      626
63.28/63.36	c 63.1s |      13 |   120619 |    49232 |    15775      4 |      699 |      626
65.38/65.48	c 65.2s |      13 |   122999 |    50832 |    15775      4 |      699 |      626
67.48/67.52	c 67.2s |      13 |   124268 |    51832 |    15775      4 |      699 |      626
69.88/69.97	c 69.7s |      13 |   125632 |    52932 |    15775      5 |      699 |      626
72.08/72.17	c 71.9s |      13 |   127349 |    54232 |    15775      5 |      699 |      626
74.18/74.24	c 74.0s |      13 |   128669 |    55232 |    15775      5 |      699 |      626
76.18/76.26	c 76.0s |      13 |   129809 |    56132 |    15775      5 |      699 |      626
78.38/78.42	c 78.1s |      13 |   131078 |    57132 |    15775      5 |      699 |      626
80.48/80.51	c 80.2s |      13 |   132193 |    58032 |    17353      5 |      699 |      626
81.27/81.35	c 81.1s |      14 |   132581 |    58352 |    17353      5 |      699 |      626
83.37/83.46	c 83.2s |      14 |   135762 |    59852 |    17353      5 |      699 |      626
85.57/85.60	c 85.3s |      14 |   140082 |    61952 |    17353      5 |      699 |      626
87.67/87.70	c 87.4s |      14 |   142905 |    63752 |    17353      5 |      699 |      626
89.67/89.78	c 89.5s |      14 |   144822 |    65052 |    17353      6 |      699 |      626
91.87/91.99	c 91.7s |      14 |   146206 |    66152 |    17353      6 |      699 |      626
93.97/94.00	c 93.7s |      14 |   147276 |    67052 |    17353      6 |      699 |      626
95.97/96.06	c 95.8s |      14 |   148642 |    68052 |    17353      6 |      699 |      626
97.98/98.09	c 97.8s |      14 |   152856 |    69852 |    17353      6 |      699 |      626
100.08/100.17	c 99.9s |      14 |   155010 |    71152 |    17353      6 |      699 |      626
102.07/102.19	c  101s |      14 |   159025 |    72952 |    17353      6 |      699 |      626
104.27/104.33	c  104s |      14 |   161102 |    74252 |    17353      6 |      699 |      626
106.37/106.43	c  106s |      14 |   162536 |    75352 |    17353      7 |      699 |      626
108.37/108.44	c  108s |      14 |   163829 |    76352 |    17353      7 |      699 |      626
110.47/110.53	c  110s |      14 |   164923 |    77252 |    17353      7 |      699 |      626
112.57/112.60	c  112s |      14 |   165890 |    78052 |    17353      7 |      699 |      626
114.57/114.63	c  114s |      14 |   166755 |    78752 |    17353      7 |      699 |      626
116.58/116.64	c  116s |      14 |   167730 |    79552 |    17353      7 |      699 |      626
118.78/118.86	c  118s |      14 |   168673 |    80352 |    17353      7 |      699 |      626
120.77/120.89	c  120s |      14 |   169954 |    81252 |    17353      7 |      699 |      626
123.07/123.10	c  122s |      14 |   171071 |    82152 |    17353      7 |      699 |      626
125.17/125.20	c  124s |      14 |   171917 |    82852 |    17353      7 |      699 |      626
127.27/127.38	c  127s |      14 |   173072 |    83752 |    17353      7 |      699 |      626
129.47/129.56	c  129s |      14 |   174023 |    84552 |    17353      7 |      699 |      626
131.77/131.81	c  131s |      14 |   175042 |    85352 |    17353      8 |      699 |      626
133.96/134.05	c  133s |      14 |   175996 |    86152 |    17353      8 |      699 |      626
136.06/136.11	c  135s |      14 |   177066 |    87052 |    19089      8 |      699 |      626
137.36/137.45	c  137s |      15 |   177758 |    87632 |    19089      8 |      699 |      626
139.47/139.52	c  139s |      15 |   190770 |    90432 |    19089      8 |      699 |      626
141.47/141.57	c  141s |      15 |   194979 |    92632 |    19089      8 |      699 |      626
143.47/143.58	c  143s |      15 |   196850 |    94032 |    19089      8 |      699 |      626
145.47/145.58	c  145s |      15 |   198595 |    95332 |    19089      8 |      699 |      626
147.67/147.70	c  147s |      15 |   200087 |    96532 |    19089      8 |      699 |      626
149.77/149.86	c  149s |      15 |   201005 |    97332 |    19089      9 |      699 |      626
151.96/152.06	c  151s |      15 |   202050 |    98232 |    19089      9 |      699 |      626
154.07/154.13	c  153s |      15 |   203142 |    99132 |    19089      9 |      699 |      626
156.06/156.13	c  155s |      15 |   204308 |   100132 |    19089      9 |      699 |      626
158.06/158.19	c  157s |      15 |   205379 |   101032 |    19089      9 |      699 |      626
160.26/160.35	c  160s |      15 |   206485 |   101932 |    19089      9 |      699 |      626
162.26/162.39	c  162s |      15 |   207453 |   102732 |    19089      9 |      699 |      626
164.46/164.57	c  164s |      15 |   208372 |   103532 |    19089      9 |      699 |      626
166.76/166.82	c  166s |      15 |   209460 |   104432 |    19089      9 |      699 |      626
168.86/168.97	c  168s |      15 |   210424 |   105232 |    19089      9 |      699 |      626
170.96/171.02	c  170s |      15 |   211382 |   106032 |    19089      9 |      699 |      626
172.96/173.05	c  172s |      15 |   212525 |   106832 |    19089      9 |      699 |      626
174.97/175.05	c  174s |      15 |   216027 |   108132 |    19089     10 |      699 |      626
177.07/177.18	c  176s |      15 |   221753 |   110032 |    19089     10 |      699 |      626
179.16/179.30	c  179s |      15 |   224945 |   111632 |    19089     10 |      699 |      626
181.36/181.48	c  181s |      15 |   226658 |   112832 |    19089     10 |      699 |      626
183.56/183.62	c  183s |      15 |   227994 |   113832 |    19089     10 |      699 |      626
185.56/185.63	c  185s |      15 |   229173 |   114732 |    19089     10 |      699 |      626
187.56/187.66	c  187s |      15 |   230124 |   115532 |    19089     10 |      699 |      626
189.76/189.83	c  189s |      15 |   231132 |   116332 |    19089     10 |      699 |      626
191.86/191.96	c  191s |      15 |   232139 |   117132 |    19089     10 |      699 |      626
193.96/194.03	c  193s |      15 |   233392 |   118032 |    19089     10 |      699 |      626
196.46/196.53	c  196s |      15 |   234346 |   118832 |    19089     11 |      699 |      626
198.66/198.76	c  198s |      15 |   235432 |   119732 |    19089     11 |      699 |      626
200.76/200.83	c  200s |      15 |   236427 |   120532 |    19089     11 |      699 |      626
202.76/202.84	c  202s |      15 |   237423 |   121332 |    19089     11 |      699 |      626
204.86/204.92	c  204s |      15 |   238380 |   122132 |    19089     11 |      699 |      626
206.96/207.07	c  206s |      15 |   239337 |   122932 |    19089     11 |      699 |      626
209.06/209.16	c  208s |      15 |   240020 |   123532 |    19089     11 |      699 |      626
211.35/211.48	c  211s |      15 |   240688 |   124132 |    19089     11 |      699 |      626
213.75/213.80	c  213s |      15 |   241498 |   124832 |    19089     11 |      699 |      626
215.95/216.07	c  215s |      15 |   242442 |   125632 |    19089     11 |      699 |      626
218.15/218.28	c  217s |      15 |   243459 |   126432 |    19089     11 |      699 |      626
220.35/220.43	c  220s |      15 |   244130 |   127032 |    19089     11 |      699 |      626
222.45/222.52	c  222s |      15 |   244827 |   127632 |    19089     11 |      699 |      626
224.65/224.72	c  224s |      15 |   245533 |   128232 |    19089     11 |      699 |      626
226.95/227.01	c  226s |      15 |   246370 |   128932 |    19089     11 |      699 |      626
229.15/229.29	c  229s |      15 |   247054 |   129532 |    19089     11 |      699 |      626
231.45/231.55	c  231s |      15 |   247620 |   130032 |    19089     12 |      699 |      626
233.55/233.69	c  233s |      15 |   248495 |   130732 |    20998     12 |      699 |      626
235.75/235.80	c  235s |      15 |   249418 |   131532 |    20998     12 |      699 |      626
235.75/235.86	c  235s |      16 |   249443 |   131552 |    20998     12 |      699 |      626
237.96/238.00	c  237s |      16 |   258352 |   133852 |    20998     12 |      699 |      626
239.96/240.07	c  239s |      16 |   261558 |   135652 |    20998     12 |      699 |      626
242.16/242.23	c  241s |      16 |   263985 |   137252 |    20998     12 |      699 |      626
244.16/244.24	c  243s |      16 |   267079 |   138952 |    20998     12 |      699 |      626
246.25/246.35	c  246s |      16 |   269875 |   140752 |    20998     12 |      699 |      626
248.35/248.49	c  248s |      16 |   271520 |   142052 |    20998     12 |      699 |      626
250.45/250.50	c  250s |      16 |   272842 |   143052 |    20998     13 |      699 |      626
252.55/252.60	c  252s |      16 |   274256 |   144152 |    20998     13 |      699 |      626
254.65/254.74	c  254s |      16 |   275470 |   145152 |    20998     13 |      699 |      626
256.75/256.84	c  256s |      16 |   276753 |   146152 |    20998     13 |      699 |      626
258.95/259.02	c  258s |      16 |   277841 |   147052 |    20998     13 |      699 |      626
260.95/261.08	c  260s |      16 |   278770 |   147852 |    20998     13 |      699 |      626
263.05/263.13	c  262s |      16 |   279706 |   148652 |    20998     13 |      699 |      626
265.06/265.20	c  264s |      16 |   280524 |   149352 |    20998     13 |      699 |      626
267.26/267.33	c  267s |      16 |   281468 |   150152 |    20998     13 |      699 |      626
269.35/269.46	c  269s |      16 |   282260 |   150852 |    20998     13 |      699 |      626
271.55/271.64	c  271s |      16 |   284197 |   152052 |    20998     13 |      699 |      626
273.55/273.69	c  273s |      16 |   285345 |   152952 |    20998     13 |      699 |      626
275.75/275.81	c  275s |      16 |   286434 |   153852 |    20998     13 |      699 |      626
277.95/278.04	c  277s |      16 |   287534 |   154752 |    20998     13 |      699 |      626
280.05/280.19	c  279s |      16 |   288392 |   155452 |    20998     14 |      699 |      626
282.15/282.28	c  282s |      16 |   289788 |   156552 |    20998     14 |      699 |      626
284.35/284.45	c  284s |      16 |   291266 |   157752 |    20998     14 |      699 |      626
286.35/286.48	c  286s |      16 |   292394 |   158652 |    20998     14 |      699 |      626
288.45/288.57	c  288s |      16 |   293768 |   159652 |    20998     14 |      699 |      626
290.65/290.71	c  290s |      16 |   295592 |   160952 |    20998     14 |      699 |      626
292.75/292.82	c  292s |      16 |   296963 |   162052 |    20998     14 |      699 |      626
294.85/294.99	c  294s |      16 |   298203 |   163052 |    20998     14 |      699 |      626
297.14/297.23	c  296s |      16 |   299131 |   163852 |    20998     14 |      699 |      626
299.25/299.36	c  299s |      16 |   300008 |   164552 |    20998     14 |      699 |      626
301.35/301.46	c  301s |      16 |   301162 |   165452 |    20998     14 |      699 |      626
303.44/303.59	c  303s |      16 |   303162 |   166252 |    20998     15 |      699 |      626
305.54/305.69	c  305s |      16 |   304949 |   167552 |    20998     15 |      699 |      626
307.74/307.80	c  307s |      16 |   306261 |   168652 |    20998     15 |      699 |      626
309.84/309.97	c  309s |      16 |   307344 |   169552 |    20998     15 |      699 |      626
311.94/312.04	c  311s |      16 |   308915 |   170652 |    20998     15 |      699 |      626
313.94/314.08	c  313s |      16 |   312071 |   172052 |    20998     15 |      699 |      626
316.04/316.14	c  315s |      16 |   314769 |   173552 |    20998     15 |      699 |      626
318.04/318.17	c  317s |      16 |   316100 |   174652 |    20998     15 |      699 |      626
320.24/320.30	c  320s |      16 |   317341 |   175752 |    20998     15 |      699 |      626
322.35/322.48	c  322s |      16 |   318336 |   176652 |    20998     15 |      699 |      626
324.34/324.50	c  324s |      16 |   319200 |   177452 |    20998     15 |      699 |      626
326.54/326.64	c  326s |      16 |   320069 |   178252 |    20998     15 |      699 |      626
328.74/328.83	c  328s |      16 |   320953 |   179052 |    20998     15 |      699 |      626
330.84/330.97	c  330s |      16 |   321712 |   179752 |    20998     16 |      699 |      626
332.94/333.04	c  332s |      16 |   322680 |   180652 |    20998     16 |      699 |      626
335.14/335.27	c  334s |      16 |   323646 |   181552 |    20998     16 |      699 |      626
337.24/337.37	c  337s |      16 |   324383 |   182252 |    20998     16 |      699 |      626
339.34/339.42	c  339s |      16 |   325159 |   182952 |    20998     16 |      699 |      626
341.44/341.52	c  341s |      16 |   326043 |   183752 |    20998     16 |      699 |      626
343.74/343.83	c  343s |      16 |   327013 |   184652 |    20998     16 |      699 |      626
345.74/345.86	c  345s |      16 |   327775 |   185352 |    20998     16 |      699 |      626
347.74/347.89	c  347s |      16 |   328535 |   186052 |    20998     16 |      699 |      626
349.94/350.09	c  349s |      16 |   329298 |   186752 |    20998     16 |      699 |      626
352.04/352.14	c  351s |      16 |   329940 |   187352 |    20998     16 |      699 |      626
354.03/354.15	c  353s |      16 |   330811 |   188052 |    20998     16 |      699 |      626
356.23/356.33	c  356s |      16 |   332296 |   189052 |    20998     16 |      699 |      626
358.43/358.56	c  358s |      16 |   333699 |   189952 |    20998     16 |      699 |      626
360.63/360.77	c  360s |      16 |   335225 |   190952 |    20998     16 |      699 |      626
362.83/362.93	c  362s |      16 |   336076 |   191652 |    20998     17 |      699 |      626
364.93/365.06	c  364s |      16 |   337116 |   192552 |    20998     17 |      699 |      626
367.03/367.10	c  366s |      16 |   338160 |   193452 |    20998     17 |      699 |      626
369.03/369.13	c  368s |      16 |   339036 |   194252 |    20998     17 |      699 |      626
371.33/371.42	c  371s |      16 |   339977 |   195052 |    20998     17 |      699 |      626
373.33/373.48	c  373s |      16 |   340950 |   195852 |    20998     17 |      699 |      626
375.33/375.49	c  375s |      16 |   341740 |   196552 |    23098     17 |      699 |      626
377.43/377.58	c  377s |      16 |   342565 |   197252 |    23098     17 |      699 |      626
378.03/378.12	c  377s |      17 |   342794 |   197432 |    23098     17 |      699 |      626
380.03/380.16	c  379s |      17 |   352439 |   199432 |    23098     17 |      699 |      626
382.03/382.18	c  381s |      17 |   356468 |   201232 |    23098     17 |      699 |      626
384.13/384.20	c  383s |      17 |   358100 |   202332 |    23098     17 |      699 |      626
386.14/386.24	c  385s |      17 |   359973 |   203732 |    23098     17 |      699 |      626
388.24/388.32	c  388s |      17 |   361515 |   204932 |    23098     17 |      699 |      626
390.33/390.49	c  390s |      17 |   362897 |   205932 |    23098     18 |      699 |      626
392.43/392.57	c  392s |      17 |   364312 |   207032 |    23098     18 |      699 |      626
394.53/394.66	c  394s |      17 |   365902 |   208232 |    23098     18 |      699 |      626
396.63/396.77	c  396s |      17 |   367302 |   209332 |    23098     18 |      699 |      626
398.73/398.86	c  398s |      17 |   368368 |   210232 |    23098     18 |      699 |      626
401.03/401.13	c  400s |      17 |   369334 |   211032 |    23098     18 |      699 |      626
403.13/403.28	c  403s |      17 |   370566 |   212032 |    23098     18 |      699 |      626
405.23/405.35	c  405s |      17 |   371526 |   212832 |    23098     18 |      699 |      626
407.33/407.45	c  407s |      17 |   372325 |   213532 |    23098     18 |      699 |      626
409.52/409.66	c  409s |      17 |   373302 |   214332 |    23098     18 |      699 |      626
411.82/411.91	c  411s |      17 |   374104 |   215032 |    23098     18 |      699 |      626
414.12/414.23	c  413s |      17 |   374790 |   215632 |    23098     18 |      699 |      626
416.22/416.32	c  416s |      17 |   375479 |   216232 |    23098     18 |      699 |      626
418.22/418.34	c  418s |      17 |   376167 |   216832 |    23098     18 |      699 |      626
420.32/420.47	c  420s |      17 |   376836 |   217432 |    23098     18 |      699 |      626
422.53/422.69	c  422s |      17 |   377538 |   218032 |    23098     18 |      699 |      626
424.83/424.98	c  424s |      17 |   378215 |   218632 |    23098     18 |      699 |      626
426.93/427.08	c  426s |      17 |   378969 |   219232 |    23098     19 |      699 |      626
429.33/429.40	c  429s |      17 |   379777 |   219932 |    23098     19 |      699 |      626
431.53/431.60	c  431s |      17 |   380749 |   220732 |    23098     19 |      699 |      626
433.53/433.63	c  433s |      17 |   381564 |   221432 |    23098     19 |      699 |      626
435.73/435.86	c  435s |      17 |   382400 |   222132 |    23098     19 |      699 |      626
438.13/438.26	c  437s |      17 |   383243 |   222832 |    23098     19 |      699 |      626
440.23/440.32	c  440s |      17 |   383937 |   223432 |    23098     19 |      699 |      626
442.23/442.38	c  442s |      17 |   384641 |   224032 |    23098     19 |      699 |      626
444.63/444.70	c  444s |      17 |   385452 |   224732 |    23098     19 |      699 |      626
446.73/446.87	c  446s |      17 |   386159 |   225332 |    23098     19 |      699 |      626
449.12/449.22	c  448s |      17 |   386847 |   225932 |    23098     19 |      699 |      626
451.32/451.40	c  451s |      17 |   387387 |   226432 |    23098     19 |      699 |      626
453.62/453.76	c  453s |      17 |   387936 |   226932 |    23098     19 |      699 |      626
455.72/455.84	c  455s |      17 |   388494 |   227432 |    23098     19 |      699 |      626
457.72/457.89	c  457s |      17 |   389036 |   227932 |    23098     19 |      699 |      626
459.92/460.09	c  459s |      17 |   389705 |   228532 |    23098     19 |      699 |      626
462.03/462.12	c  461s |      17 |   390271 |   229032 |    23098     19 |      699 |      626
464.02/464.18	c  463s |      17 |   390823 |   229532 |    23098     19 |      699 |      626
466.33/466.48	c  466s |      17 |   391570 |   230132 |    23098     19 |      699 |      626
468.42/468.56	c  468s |      17 |   392340 |   230732 |    23098     19 |      699 |      626
470.62/470.76	c  470s |      17 |   393025 |   231332 |    23098     19 |      699 |      626
473.22/473.33	c  473s |      17 |   393752 |   231932 |    23098     20 |      699 |      626
475.52/475.60	c  475s |      17 |   394680 |   232732 |    23098     20 |      699 |      626
477.52/477.60	c  477s |      17 |   395543 |   233432 |    23098     20 |      699 |      626
479.53/479.68	c  479s |      17 |   396394 |   234132 |    23098     20 |      699 |      626
481.92/482.01	c  481s |      17 |   397273 |   234832 |    23098     20 |      699 |      626
484.03/484.17	c  483s |      17 |   398151 |   235532 |    23098     20 |      699 |      626
486.32/486.41	c  486s |      17 |   399054 |   236232 |    23098     20 |      699 |      626
488.52/488.65	c  488s |      17 |   399904 |   236932 |    23098     20 |      699 |      626
490.82/490.97	c  490s |      17 |   400879 |   237732 |    23098     20 |      699 |      626
493.02/493.19	c  492s |      17 |   401635 |   238332 |    23098     20 |      699 |      626
495.31/495.44	c  495s |      17 |   402512 |   239032 |    23098     20 |      699 |      626
497.51/497.60	c  497s |      17 |   403443 |   239732 |    23098     20 |      699 |      626
499.71/499.88	c  499s |      17 |   404350 |   240432 |    23098     20 |      699 |      626
502.01/502.16	c  501s |      17 |   405044 |   241032 |    23098     20 |      699 |      626
504.11/504.27	c  503s |      17 |   405800 |   241632 |    23098     20 |      699 |      626
506.51/506.66	c  506s |      17 |   406511 |   242232 |    23098     20 |      699 |      626
508.91/509.04	c  508s |      17 |   407235 |   242832 |    23098     20 |      699 |      626
511.11/511.27	c  510s |      17 |   407957 |   243432 |    23098     20 |      699 |      626
513.51/513.61	c  513s |      17 |   408678 |   244032 |    23098     20 |      699 |      626
515.51/515.65	c  515s |      17 |   409273 |   244532 |    23098     20 |      699 |      626
517.61/517.74	c  517s |      17 |   409843 |   245032 |    23098     20 |      699 |      626
519.71/519.82	c  519s |      17 |   410430 |   245532 |    23098     21 |      699 |      626
522.01/522.13	c  521s |      17 |   411255 |   246232 |    23098     21 |      699 |      626
524.21/524.30	c  524s |      17 |   411992 |   246832 |    23098     21 |      699 |      626
526.31/526.41	c  526s |      17 |   412678 |   247432 |    23098     21 |      699 |      626
528.71/528.82	c  528s |      17 |   413483 |   248132 |    23098     21 |      699 |      626
530.81/530.96	c  530s |      17 |   414201 |   248732 |    23098     21 |      699 |      626
533.11/533.20	c  532s |      17 |   414861 |   249332 |    23098     21 |      699 |      626
535.31/535.45	c  535s |      17 |   415533 |   249932 |    23098     21 |      699 |      626
537.61/537.73	c  537s |      17 |   416375 |   250632 |    23098     21 |      699 |      626
539.61/539.78	c  539s |      17 |   417080 |   251232 |    23098     21 |      699 |      626
542.01/542.17	c  541s |      17 |   417756 |   251832 |    23098     21 |      699 |      626
544.01/544.19	c  543s |      17 |   418364 |   252332 |    23098     21 |      699 |      626
546.40/546.52	c  546s |      17 |   418929 |   252832 |    23098     21 |      699 |      626
548.70/548.86	c  548s |      17 |   419481 |   253332 |    23098     21 |      699 |      626
551.01/551.11	c  550s |      17 |   420049 |   253832 |    23098     21 |      699 |      626
553.10/553.23	c  552s |      17 |   420642 |   254332 |    23098     21 |      699 |      626
555.51/555.65	c  555s |      17 |   421350 |   254932 |    23098     21 |      699 |      626
557.61/557.73	c  557s |      17 |   421915 |   255432 |    23098     21 |      699 |      626
559.70/559.84	c  559s |      17 |   422520 |   255932 |    23098     21 |      699 |      626
561.80/561.95	c  561s |      17 |   423301 |   256532 |    23098     21 |      699 |      626
564.21/564.30	c  564s |      17 |   424030 |   257132 |    23098     21 |      699 |      626
566.30/566.48	c  566s |      17 |   424748 |   257732 |    23098     21 |      699 |      626
568.61/568.77	c  568s |      17 |   425321 |   258232 |    23098     21 |      699 |      626
570.70/570.90	c  570s |      17 |   425786 |   258632 |    23098     22 |      699 |      626
572.90/573.05	c  572s |      17 |   426477 |   259232 |    23098     22 |      699 |      626
575.10/575.24	c  574s |      17 |   427120 |   259832 |    23098     22 |      699 |      626
577.30/577.41	c  577s |      17 |   427817 |   260432 |    23098     22 |      699 |      626
579.50/579.62	c  579s |      17 |   428473 |   261032 |    23098     22 |      699 |      626
581.60/581.75	c  581s |      17 |   429150 |   261632 |    23098     22 |      699 |      626
583.80/583.97	c  583s |      17 |   429828 |   262232 |    23098     22 |      699 |      626
586.10/586.21	c  585s |      17 |   430522 |   262832 |    23098     22 |      699 |      626
588.40/588.57	c  588s |      17 |   431212 |   263432 |    23098     22 |      699 |      626
590.50/590.64	c  590s |      17 |   431753 |   263932 |    23098     22 |      699 |      626
592.70/592.89	c  592s |      17 |   432434 |   264532 |    23098     22 |      699 |      626
594.90/595.07	c  594s |      17 |   433126 |   265132 |    23098     22 |      699 |      626
597.20/597.36	c  597s |      17 |   433792 |   265732 |    23098     22 |      699 |      626
599.59/599.73	c  599s |      17 |   434476 |   266332 |    23098     22 |      699 |      626
601.89/602.05	c  601s |      17 |   435170 |   266932 |    23098     22 |      699 |      626
604.09/604.27	c  603s |      17 |   435724 |   267432 |    23098     22 |      699 |      626
606.29/606.46	c  606s |      17 |   436265 |   267932 |    23098     22 |      699 |      626
608.69/608.84	c  608s |      17 |   436816 |   268432 |    23098     22 |      699 |      626
610.99/611.11	c  610s |      17 |   437393 |   268932 |    23098     22 |      699 |      626
613.29/613.49	c  613s |      17 |   437961 |   269432 |    23098     22 |      699 |      626
615.79/615.93	c  615s |      17 |   438508 |   269932 |    23098     22 |      699 |      626
618.10/618.23	c  617s |      17 |   439061 |   270432 |    23098     22 |      699 |      626
620.30/620.45	c  620s |      17 |   439491 |   270832 |    23098     22 |      699 |      626
622.99/623.19	c  622s |      17 |   440039 |   271332 |    23098     23 |      699 |      626
625.20/625.35	c  625s |      17 |   440706 |   271932 |    23098     23 |      699 |      626
627.20/627.39	c  627s |      17 |   441404 |   272532 |    23098     23 |      699 |      626
629.40/629.59	c  629s |      17 |   442090 |   273132 |    23098     23 |      699 |      626
631.60/631.71	c  631s |      17 |   442744 |   273732 |    23098     23 |      699 |      626
633.80/633.95	c  633s |      17 |   443584 |   274432 |    23098     23 |      699 |      626
636.00/636.19	c  635s |      17 |   444243 |   275032 |    23098     23 |      699 |      626
638.30/638.45	c  638s |      17 |   444924 |   275632 |    23098     23 |      699 |      626
640.60/640.79	c  640s |      17 |   445584 |   276232 |    23098     23 |      699 |      626
642.79/642.91	c  642s |      17 |   446140 |   276732 |    23098     23 |      699 |      626
644.79/644.99	c  644s |      17 |   446683 |   277232 |    23098     23 |      699 |      626
646.89/647.02	c  646s |      17 |   447251 |   277732 |    23098     23 |      699 |      626
649.19/649.33	c  649s |      17 |   447940 |   278332 |    23098     23 |      699 |      626
651.20/651.33	c  651s |      17 |   448485 |   278832 |    23098     23 |      699 |      626
653.40/653.51	c  653s |      17 |   449033 |   279332 |    23098     23 |      699 |      626
655.60/655.74	c  655s |      17 |   449581 |   279832 |    23098     23 |      699 |      626
657.80/657.93	c  657s |      17 |   450134 |   280332 |    23098     23 |      699 |      626
660.00/660.19	c  659s |      17 |   450691 |   280832 |    23098     23 |      699 |      626
662.49/662.63	c  662s |      17 |   451252 |   281332 |    23098     23 |      699 |      626
664.59/664.79	c  664s |      17 |   451826 |   281832 |    23098     23 |      699 |      626
667.09/667.22	c  666s |      17 |   452402 |   282332 |    23098     23 |      699 |      626
669.19/669.38	c  669s |      17 |   452832 |   282732 |    23098     23 |      699 |      626
671.39/671.52	c  671s |      17 |   453276 |   283132 |    23098     23 |      699 |      626
673.39/673.56	c  673s |      17 |   453725 |   283532 |    23098     23 |      699 |      626
675.89/676.00	c  675s |      17 |   454139 |   283932 |    23098     23 |      699 |      626
678.49/678.70	c  678s |      17 |   454885 |   284532 |    23098     24 |      699 |      626
680.80/680.93	c  680s |      17 |   455899 |   285332 |    23098     24 |      699 |      626
682.79/682.97	c  682s |      17 |   456755 |   286032 |    23098     24 |      699 |      626
685.09/685.26	c  684s |      17 |   457570 |   286732 |    23098     24 |      699 |      626
687.19/687.32	c  687s |      17 |   458391 |   287432 |    23098     24 |      699 |      626
689.29/689.46	c  689s |      17 |   459352 |   288232 |    23098     24 |      699 |      626
691.79/691.91	c  691s |      17 |   460190 |   288932 |    23098     24 |      699 |      626
693.88/694.02	c  693s |      17 |   461002 |   289632 |    23098     24 |      699 |      626
695.98/696.14	c  695s |      17 |   461681 |   290232 |    23098     24 |      699 |      626
698.28/698.49	c  698s |      17 |   462624 |   291032 |    23098     24 |      699 |      626
700.69/700.87	c  700s |      17 |   463301 |   291632 |    23098     24 |      699 |      626
702.89/703.09	c  702s |      17 |   463980 |   292232 |    23098     24 |      699 |      626
705.18/705.39	c  705s |      17 |   464809 |   292932 |    23098     24 |      699 |      626
707.29/707.44	c  707s |      17 |   465509 |   293532 |    23098     24 |      699 |      626
709.39/709.58	c  709s |      17 |   466237 |   294132 |    23098     24 |      699 |      626
711.59/711.71	c  711s |      17 |   466948 |   294732 |    25408     24 |      699 |      626
713.58/713.71	c  713s |      17 |   467698 |   295332 |    25408     24 |      699 |      626
715.99/716.15	c  715s |      17 |   468393 |   295932 |    25408     24 |      699 |      626
717.28/717.42	c  717s |      18 |   468771 |   296252 |    25408     24 |      699 |      626
719.29/719.46	c  719s |      18 |   475695 |   297852 |    25408     24 |      699 |      626
721.38/721.53	c  721s |      18 |   479417 |   299152 |    25408     25 |      699 |      626
723.38/723.58	c  723s |      18 |   484378 |   301452 |    25408     25 |      699 |      626
725.48/725.61	c  725s |      18 |   490435 |   303252 |    25408     25 |      699 |      626
727.58/727.73	c  727s |      18 |   492042 |   304652 |    25408     25 |      699 |      626
729.58/729.78	c  729s |      18 |   493615 |   305952 |    25408     25 |      699 |      626
731.68/731.85	c  731s |      18 |   494880 |   307052 |    25408     25 |      699 |      626
733.68/733.86	c  733s |      18 |   496040 |   308052 |    25408     25 |      699 |      626
735.78/736.00	c  735s |      18 |   497424 |   309152 |    25408     25 |      699 |      626
737.98/738.14	c  737s |      18 |   499801 |   310452 |    25408     25 |      699 |      626
740.07/740.22	c  739s |      18 |   502099 |   311552 |    25408     25 |      699 |      626
742.07/742.24	c  741s |      18 |   503360 |   312552 |    25408     25 |      699 |      626
744.07/744.28	c  743s |      18 |   504802 |   313552 |    25408     25 |      699 |      626
746.27/746.43	c  746s |      18 |   505598 |   314252 |    25408     26 |      699 |      626
748.37/748.56	c  748s |      18 |   506499 |   315052 |    25408     26 |      699 |      626
750.67/750.85	c  750s |      18 |   507390 |   315852 |    25408     26 |      699 |      626
752.87/753.01	c  752s |      18 |   508150 |   316552 |    25408     26 |      699 |      626
754.97/755.16	c  754s |      18 |   508905 |   317252 |    25408     26 |      699 |      626
757.17/757.39	c  757s |      18 |   509842 |   318052 |    25408     26 |      699 |      626
759.37/759.56	c  759s |      18 |   510672 |   318752 |    25408     26 |      699 |      626
761.47/761.60	c  761s |      18 |   511437 |   319452 |    25408     26 |      699 |      626
763.67/763.80	c  763s |      18 |   512193 |   320152 |    25408     26 |      699 |      626
765.77/765.97	c  765s |      18 |   513033 |   320852 |    25408     26 |      699 |      626
767.97/768.10	c  767s |      18 |   513869 |   321552 |    25408     26 |      699 |      626
770.17/770.32	c  770s |      18 |   514567 |   322152 |    25408     26 |      699 |      626
772.18/772.32	c  772s |      18 |   515135 |   322652 |    25408     26 |      699 |      626
774.48/774.65	c  774s |      18 |   515822 |   323252 |    25408     26 |      699 |      626
776.68/776.81	c  776s |      18 |   516387 |   323752 |    25408     26 |      699 |      626
778.68/778.83	c  778s |      18 |   516944 |   324252 |    25408     26 |      699 |      626
781.08/781.24	c  780s |      18 |   517638 |   324852 |    25408     26 |      699 |      626
783.37/783.56	c  783s |      18 |   518313 |   325452 |    25408     26 |      699 |      626
785.67/785.81	c  785s |      18 |   518860 |   325952 |    25408     26 |      699 |      626
787.97/788.18	c  787s |      18 |   519399 |   326452 |    25408     26 |      699 |      626
790.37/790.55	c  790s |      18 |   519929 |   326952 |    25408     26 |      699 |      626
792.47/792.65	c  792s |      18 |   520475 |   327452 |    25408     26 |      699 |      626
794.87/795.08	c  794s |      18 |   521020 |   327952 |    25408     26 |      699 |      626
797.17/797.30	c  797s |      18 |   521464 |   328352 |    25408     27 |      699 |      626
799.37/799.59	c  799s |      18 |   522018 |   328852 |    25408     27 |      699 |      626
801.47/801.62	c  801s |      18 |   522669 |   329452 |    25408     27 |      699 |      626
803.57/803.79	c  803s |      18 |   523359 |   330052 |    25408     27 |      699 |      626
805.67/805.88	c  805s |      18 |   524099 |   330652 |    25408     27 |      699 |      626
808.07/808.23	c  807s |      18 |   524775 |   331252 |    25408     27 |      699 |      626
810.17/810.34	c  810s |      18 |   525330 |   331752 |    25408     27 |      699 |      626
812.37/812.60	c  812s |      18 |   525900 |   332252 |    25408     27 |      699 |      626
814.57/814.79	c  814s |      18 |   526449 |   332752 |    25408     27 |      699 |      626
816.77/816.92	c  816s |      18 |   527004 |   333252 |    25408     27 |      699 |      626
819.07/819.23	c  818s |      18 |   527548 |   333752 |    25408     27 |      699 |      626
821.17/821.38	c  821s |      18 |   528131 |   334252 |    25408     27 |      699 |      626
823.47/823.63	c  823s |      18 |   528677 |   334752 |    25408     27 |      699 |      626
825.67/825.88	c  825s |      18 |   529227 |   335252 |    25408     27 |      699 |      626
827.77/827.90	c  827s |      18 |   529668 |   335652 |    25408     27 |      699 |      626
829.97/830.13	c  829s |      18 |   530253 |   336152 |    25408     27 |      699 |      626
832.37/832.54	c  832s |      18 |   530826 |   336652 |    25408     27 |      699 |      626
834.37/834.56	c  834s |      18 |   531256 |   337052 |    25408     27 |      699 |      626
836.56/836.79	c  836s |      18 |   531784 |   337552 |    25408     27 |      699 |      626
838.76/838.97	c  838s |      18 |   532334 |   338052 |    25408     27 |      699 |      626
840.86/841.01	c  840s |      18 |   532768 |   338452 |    25408     27 |      699 |      626
842.96/843.17	c  842s |      18 |   533391 |   338952 |    25408     27 |      699 |      626
845.06/845.23	c  844s |      18 |   533942 |   339452 |    25408     27 |      699 |      626
847.36/847.52	c  847s |      18 |   534498 |   339952 |    25408     27 |      699 |      626
849.76/849.92	c  849s |      18 |   535041 |   340452 |    25408     27 |      699 |      626
851.96/852.14	c  851s |      18 |   535573 |   340952 |    25408     27 |      699 |      626
854.26/854.45	c  854s |      18 |   536126 |   341452 |    25408     27 |      699 |      626
856.36/856.52	c  856s |      18 |   536551 |   341852 |    25408     27 |      699 |      626
859.46/859.60	c  859s |      18 |   537106 |   342352 |    25408     28 |      699 |      626
861.56/861.75	c  861s |      18 |   537770 |   342952 |    25408     28 |      699 |      626
863.76/863.95	c  863s |      18 |   538453 |   343552 |    25408     28 |      699 |      626
865.96/866.14	c  865s |      18 |   539102 |   344152 |    25408     28 |      699 |      626
868.26/868.45	c  868s |      18 |   539739 |   344752 |    25408     28 |      699 |      626
870.66/870.86	c  870s |      18 |   540271 |   345252 |    25408     28 |      699 |      626
872.76/872.96	c  872s |      18 |   540813 |   345752 |    25408     28 |      699 |      626
874.76/874.97	c  874s |      18 |   541384 |   346252 |    25408     28 |      699 |      626
877.06/877.28	c  877s |      18 |   541927 |   346752 |    25408     28 |      699 |      626
879.46/879.66	c  879s |      18 |   542591 |   347352 |    25408     28 |      699 |      626
881.56/881.73	c  881s |      18 |   543146 |   347852 |    25408     28 |      699 |      626
883.66/883.82	c  883s |      18 |   543686 |   348352 |    25408     28 |      699 |      626
885.76/885.91	c  885s |      18 |   544113 |   348752 |    25408     28 |      699 |      626
887.96/888.14	c  887s |      18 |   544701 |   349252 |    25408     28 |      699 |      626
890.06/890.28	c  889s |      18 |   545246 |   349752 |    25408     28 |      699 |      626
892.36/892.54	c  892s |      18 |   545776 |   350252 |    25408     28 |      699 |      626
894.56/894.80	c  894s |      18 |   546321 |   350752 |    25408     28 |      699 |      626
896.86/897.06	c  896s |      18 |   546868 |   351252 |    25408     28 |      699 |      626
898.86/899.08	c  898s |      18 |   547306 |   351652 |    25408     28 |      699 |      626
900.96/901.10	c  900s |      18 |   547741 |   352052 |    25408     28 |      699 |      626
903.35/903.57	c  903s |      18 |   548289 |   352552 |    25408     28 |      699 |      626
905.75/905.96	c  905s |      18 |   548819 |   353052 |    25408     28 |      699 |      626
908.15/908.39	c  908s |      18 |   549360 |   353552 |    25408     28 |      699 |      626
910.25/910.41	c  910s |      18 |   549799 |   353952 |    25408     28 |      699 |      626
912.55/912.74	c  912s |      18 |   550352 |   354452 |    25408     28 |      699 |      626
914.85/915.09	c  914s |      18 |   550918 |   354952 |    25408     28 |      699 |      626
917.26/917.44	c  917s |      18 |   551505 |   355452 |    25408     28 |      699 |      626
919.65/919.89	c  919s |      18 |   552061 |   355952 |    25408     28 |      699 |      626
921.76/921.93	c  921s |      18 |   552485 |   356352 |    25408     28 |      699 |      626
923.75/923.98	c  923s |      18 |   553082 |   356652 |    25408     29 |      699 |      626
925.95/926.13	c  925s |      18 |   554220 |   357452 |    25408     29 |      699 |      626
927.95/928.18	c  927s |      18 |   555130 |   358252 |    25408     29 |      699 |      626
930.04/930.27	c  929s |      18 |   556167 |   359052 |    25408     29 |      699 |      626
932.24/932.42	c  932s |      18 |   557117 |   359752 |    25408     29 |      699 |      626
934.34/934.50	c  934s |      18 |   558010 |   360452 |    25408     29 |      699 |      626
936.64/936.82	c  936s |      18 |   558863 |   361152 |    25408     29 |      699 |      626
938.74/938.92	c  938s |      18 |   559529 |   361752 |    25408     29 |      699 |      626
940.94/941.13	c  940s |      18 |   560240 |   362352 |    25408     29 |      699 |      626
942.94/943.16	c  942s |      18 |   560988 |   362952 |    25408     29 |      699 |      626
945.14/945.30	c  945s |      18 |   561683 |   363552 |    25408     29 |      699 |      626
947.14/947.31	c  947s |      18 |   562432 |   364152 |    25408     29 |      699 |      626
949.25/949.48	c  949s |      18 |   563102 |   364752 |    25408     29 |      699 |      626
951.45/951.63	c  951s |      18 |   563748 |   365352 |    25408     29 |      699 |      626
953.65/953.84	c  953s |      18 |   564422 |   365952 |    25408     29 |      699 |      626
955.64/955.87	c  955s |      18 |   564958 |   366452 |    25408     29 |      699 |      626
957.95/958.18	c  957s |      18 |   565671 |   367052 |    25408     29 |      699 |      626
960.15/960.40	c  960s |      18 |   566236 |   367552 |    25408     29 |      699 |      626
962.35/962.57	c  962s |      18 |   566772 |   368052 |    25408     29 |      699 |      626
964.65/964.85	c  964s |      18 |   567333 |   368552 |    25408     29 |      699 |      626
967.05/967.27	c  966s |      18 |   567987 |   369152 |    25408     29 |      699 |      626
969.25/969.43	c  969s |      18 |   568619 |   369652 |    25408     29 |      699 |      626
971.55/971.78	c  971s |      18 |   569206 |   370152 |    25408     29 |      699 |      626
973.64/973.89	c  973s |      18 |   569767 |   370652 |    25408     29 |      699 |      626
975.84/976.08	c  975s |      18 |   570215 |   371052 |    25408     30 |      699 |      626
978.04/978.27	c  977s |      18 |   570744 |   371552 |    25408     30 |      699 |      626
980.14/980.33	c  980s |      18 |   571309 |   372052 |    25408     30 |      699 |      626
982.44/982.64	c  982s |      18 |   571969 |   372652 |    25408     30 |      699 |      626
984.74/984.94	c  984s |      18 |   572636 |   373252 |    25408     30 |      699 |      626
987.04/987.22	c  986s |      18 |   573278 |   373852 |    25408     30 |      699 |      626
989.24/989.42	c  989s |      18 |   573818 |   374352 |    25408     30 |      699 |      626
991.44/991.62	c  991s |      18 |   574363 |   374852 |    25408     30 |      699 |      626
993.64/993.84	c  993s |      18 |   574942 |   375352 |    25408     30 |      699 |      626
995.74/995.99	c  995s |      18 |   575947 |   376252 |    25408     30 |      699 |      626
997.94/998.13	c  997s |      18 |   576785 |   377052 |    25408     30 |      699 |      626
1000.14/1000.32	c 1000s |      18 |   577620 |   377852 |    25408     30 |      699 |      626
1002.34/1002.56	c 1002s |      18 |   578454 |   378652 |    25408     30 |      699 |      626
1004.54/1004.79	c 1004s |      18 |   579216 |   379352 |    25408     30 |      699 |      626
1006.74/1006.93	c 1006s |      18 |   579840 |   379952 |    25408     30 |      699 |      626
1008.74/1008.94	c 1008s |      18 |   580367 |   380452 |    25408     30 |      699 |      626
1011.04/1011.25	c 1010s |      18 |   581002 |   381052 |    25408     30 |      699 |      626
1013.14/1013.37	c 1013s |      18 |   581534 |   381552 |    25408     30 |      699 |      626
1015.33/1015.50	c 1015s |      18 |   582078 |   382052 |    25408     30 |      699 |      626
1017.63/1017.88	c 1017s |      18 |   582712 |   382652 |    25408     30 |      699 |      626
1019.83/1020.04	c 1019s |      18 |   583223 |   383152 |    25408     30 |      699 |      626
1022.13/1022.31	c 1022s |      18 |   583776 |   383652 |    25408     30 |      699 |      626
1024.43/1024.61	c 1024s |      18 |   584319 |   384152 |    25408     30 |      699 |      626
1026.53/1026.70	c 1026s |      18 |   584843 |   384652 |    25408     30 |      699 |      626
1029.23/1029.49	c 1029s |      18 |   585387 |   385152 |    25408     31 |      699 |      626
1031.53/1031.76	c 1031s |      18 |   586154 |   385852 |    25408     31 |      699 |      626
1033.63/1033.89	c 1033s |      18 |   586784 |   386452 |    25408     31 |      699 |      626
1035.93/1036.10	c 1035s |      18 |   587420 |   387052 |    25408     31 |      699 |      626
1038.13/1038.37	c 1038s |      18 |   588085 |   387652 |    25408     31 |      699 |      626
1040.54/1040.71	c 1040s |      18 |   588711 |   388252 |    25408     31 |      699 |      626
1042.74/1042.92	c 1042s |      18 |   589334 |   388852 |    25408     31 |      699 |      626
1045.03/1045.22	c 1044s |      18 |   589973 |   389452 |    25408     31 |      699 |      626
1047.33/1047.52	c 1047s |      18 |   590601 |   390052 |    25408     31 |      699 |      626
1049.63/1049.86	c 1049s |      18 |   591247 |   390652 |    25408     31 |      699 |      626
1051.93/1052.19	c 1051s |      18 |   591881 |   391252 |    25408     31 |      699 |      626
1054.33/1054.50	c 1054s |      18 |   592540 |   391852 |    25408     31 |      699 |      626
1056.33/1056.56	c 1056s |      18 |   593061 |   392352 |    25408     31 |      699 |      626
1058.53/1058.70	c 1058s |      18 |   593593 |   392852 |    25408     31 |      699 |      626
1060.53/1060.79	c 1060s |      18 |   594139 |   393352 |    25408     31 |      699 |      626
1062.63/1062.90	c 1062s |      18 |   594671 |   393852 |    25408     31 |      699 |      626
1064.83/1065.02	c 1064s |      18 |   595198 |   394352 |    25408     31 |      699 |      626
1067.03/1067.27	c 1066s |      18 |   595726 |   394852 |    25408     31 |      699 |      626
1069.23/1069.41	c 1069s |      18 |   596247 |   395352 |    25408     31 |      699 |      626
1071.53/1071.72	c 1071s |      18 |   596769 |   395852 |    25408     31 |      699 |      626
1073.62/1073.89	c 1073s |      18 |   597290 |   396352 |    25408     31 |      699 |      626
1076.02/1076.26	c 1075s |      18 |   597806 |   396852 |    25408     31 |      699 |      626
1078.52/1078.73	c 1078s |      18 |   598324 |   397352 |    25408     31 |      699 |      626
1080.72/1080.93	c 1080s |      18 |   598740 |   397752 |    25408     31 |      699 |      626
1082.92/1083.13	c 1082s |      18 |   599573 |   398452 |    25408     31 |      699 |      626
1085.02/1085.20	c 1084s |      18 |   600216 |   399052 |    25408     31 |      699 |      626
1087.12/1087.38	c 1087s |      18 |   600796 |   399552 |    25408     32 |      699 |      626
1089.22/1089.48	c 1089s |      18 |   601634 |   400252 |    25408     32 |      699 |      626
1091.52/1091.74	c 1091s |      18 |   602436 |   400952 |    25408     32 |      699 |      626
1093.82/1094.09	c 1093s |      18 |   603227 |   401652 |    25408     32 |      699 |      626
1096.22/1096.45	c 1096s |      18 |   604033 |   402352 |    25408     32 |      699 |      626
1098.52/1098.71	c 1098s |      18 |   604706 |   402952 |    25408     32 |      699 |      626
1100.52/1100.76	c 1100s |      18 |   605372 |   403552 |    25408     32 |      699 |      626
1102.82/1103.05	c 1102s |      18 |   606022 |   404152 |    25408     32 |      699 |      626
1105.22/1105.45	c 1105s |      18 |   606679 |   404752 |    25408     32 |      699 |      626
1107.72/1107.90	c 1107s |      18 |   607348 |   405352 |    25408     32 |      699 |      626
1109.83/1110.05	c 1109s |      18 |   607873 |   405852 |    25408     32 |      699 |      626
1112.12/1112.30	c 1112s |      18 |   608510 |   406452 |    25408     32 |      699 |      626
1114.42/1114.69	c 1114s |      18 |   609046 |   406952 |    25408     32 |      699 |      626
1116.62/1116.88	c 1116s |      18 |   609710 |   407552 |    25408     32 |      699 |      626
1119.02/1119.27	c 1118s |      18 |   610268 |   408052 |    25408     32 |      699 |      626
1121.52/1121.76	c 1121s |      18 |   610829 |   408552 |    25408     32 |      699 |      626
1123.92/1124.18	c 1123s |      18 |   611405 |   409052 |    25408     32 |      699 |      626
1126.33/1126.51	c 1126s |      18 |   611982 |   409552 |    25408     32 |      699 |      626
1128.62/1128.86	c 1128s |      18 |   612538 |   410052 |    25408     32 |      699 |      626
1131.12/1131.31	c 1131s |      18 |   613105 |   410552 |    25408     32 |      699 |      626
1133.52/1133.75	c 1133s |      18 |   613651 |   411052 |    25408     32 |      699 |      626
1135.62/1135.90	c 1135s |      18 |   614083 |   411452 |    25408     32 |      699 |      626
1138.02/1138.29	c 1138s |      18 |   614621 |   411952 |    25408     32 |      699 |      626
1140.12/1140.34	c 1140s |      18 |   615042 |   412352 |    25408     32 |      699 |      626
1142.22/1142.44	c 1142s |      18 |   615484 |   412752 |    25408     32 |      699 |      626
1144.62/1144.87	c 1144s |      18 |   616058 |   413252 |    25408     32 |      699 |      626
1146.72/1146.93	c 1146s |      18 |   616489 |   413652 |    25408     32 |      699 |      626
1148.72/1148.98	c 1148s |      18 |   616814 |   413952 |    25408     33 |      699 |      626
1151.12/1151.31	c 1151s |      18 |   617371 |   414452 |    25408     33 |      699 |      626
1153.32/1153.53	c 1153s |      18 |   617934 |   414952 |    25408     33 |      699 |      626
1155.72/1155.94	c 1155s |      18 |   618465 |   415452 |    25408     33 |      699 |      626
1157.82/1158.08	c 1157s |      18 |   619007 |   415952 |    25408     33 |      699 |      626
1160.02/1160.28	c 1159s |      18 |   619566 |   416452 |    25408     33 |      699 |      626
1162.32/1162.54	c 1162s |      18 |   620120 |   416952 |    25408     33 |      699 |      626
1164.52/1164.73	c 1164s |      18 |   620643 |   417452 |    25408     33 |      699 |      626
1166.81/1167.02	c 1166s |      18 |   621191 |   417952 |    25408     33 |      699 |      626
1169.01/1169.23	c 1168s |      18 |   621749 |   418452 |    25408     33 |      699 |      626
1171.32/1171.54	c 1171s |      18 |   622331 |   418952 |    25408     33 |      699 |      626
1173.71/1173.99	c 1173s |      18 |   622862 |   419452 |    25408     33 |      699 |      626
1176.11/1176.34	c 1176s |      18 |   623425 |   419952 |    25408     33 |      699 |      626
1178.31/1178.50	c 1178s |      18 |   623988 |   420452 |    25408     33 |      699 |      626
1180.31/1180.58	c 1180s |      18 |   624414 |   420852 |    25408     33 |      699 |      626
1182.61/1182.83	c 1182s |      18 |   624843 |   421252 |    25408     33 |      699 |      626
1184.81/1185.02	c 1184s |      18 |   625277 |   421652 |    25408     33 |      699 |      626
1187.11/1187.33	c 1187s |      18 |   625883 |   422152 |    25408     33 |      699 |      626
1189.11/1189.37	c 1189s |      18 |   626460 |   422652 |    25408     33 |      699 |      626
1191.41/1191.67	c 1191s |      18 |   627086 |   423152 |    25408     33 |      699 |      626
1193.81/1194.08	c 1193s |      18 |   627692 |   423652 |    25408     33 |      699 |      626
1195.91/1196.15	c 1195s |      18 |   628133 |   424052 |    25408     33 |      699 |      626
1198.00/1198.23	c 1197s |      18 |   628592 |   424452 |    25408     33 |      699 |      626
1200.40/1200.64	c 1200s |      18 |   629170 |   424952 |    25408     33 |      699 |      626
1202.80/1203.09	c 1202s |      18 |   629768 |   425452 |    25408     33 |      699 |      626
1205.10/1205.35	c 1205s |      18 |   630196 |   425852 |    25408     33 |      699 |      626
1207.61/1207.82	c 1207s |      18 |   630767 |   426352 |    25408     33 |      699 |      626
1209.60/1209.88	c 1209s |      18 |   631243 |   426752 |    25408     33 |      699 |      626
1211.70/1211.94	c 1211s |      18 |   631706 |   427152 |    25408     33 |      699 |      626
1213.90/1214.19	c 1213s |      18 |   632144 |   427552 |    25408     33 |      699 |      626
1216.10/1216.37	c 1216s |      18 |   632578 |   427952 |    25408     33 |      699 |      626
1218.40/1218.60	c 1218s |      18 |   633044 |   428352 |    25408     34 |      699 |      626
1220.40/1220.61	c 1220s |      18 |   633587 |   428852 |    25408     34 |      699 |      626
1222.50/1222.74	c 1222s |      18 |   634130 |   429352 |    25408     34 |      699 |      626
1224.90/1225.11	c 1224s |      18 |   634660 |   429852 |    25408     34 |      699 |      626
1227.20/1227.47	c 1227s |      18 |   635201 |   430352 |    25408     34 |      699 |      626
1229.71/1229.91	c 1229s |      18 |   635732 |   430852 |    25408     34 |      699 |      626
1231.81/1232.03	c 1231s |      18 |   636326 |   431352 |    25408     34 |      699 |      626
1234.20/1234.46	c 1234s |      18 |   637000 |   431952 |    25408     34 |      699 |      626
1236.60/1236.80	c 1236s |      18 |   637564 |   432452 |    25408     34 |      699 |      626
1238.80/1239.06	c 1238s |      18 |   638111 |   432952 |    25408     34 |      699 |      626
1241.00/1241.29	c 1241s |      18 |   638668 |   433452 |    25408     34 |      699 |      626
1243.40/1243.68	c 1243s |      18 |   639219 |   433952 |    25408     34 |      699 |      626
1245.80/1246.01	c 1245s |      18 |   639655 |   434352 |    25408     34 |      699 |      626
1247.80/1248.09	c 1247s |      18 |   640098 |   434752 |    25408     34 |      699 |      626
1250.00/1250.23	c 1249s |      18 |   640528 |   435152 |    25408     34 |      699 |      626
1252.39/1252.67	c 1252s |      18 |   641107 |   435652 |    25408     34 |      699 |      626
1254.49/1254.78	c 1254s |      18 |   641687 |   436152 |    25408     34 |      699 |      626
1256.99/1257.21	c 1256s |      18 |   642264 |   436652 |    25408     34 |      699 |      626
1259.09/1259.32	c 1259s |      18 |   642736 |   437052 |    25408     34 |      699 |      626
1261.50/1261.71	c 1261s |      18 |   643318 |   437552 |    25408     34 |      699 |      626
1263.80/1264.02	c 1263s |      18 |   643901 |   438052 |    25408     34 |      699 |      626
1266.19/1266.42	c 1266s |      18 |   644471 |   438552 |    25408     34 |      699 |      626
1268.20/1268.42	c 1268s |      18 |   644899 |   438952 |    25408     34 |      699 |      626
1270.69/1270.94	c 1270s |      18 |   645450 |   439452 |    25408     34 |      699 |      626
1272.89/1273.10	c 1272s |      18 |   645895 |   439852 |    25408     34 |      699 |      626
1274.99/1275.22	c 1274s |      18 |   646345 |   440252 |    25408     34 |      699 |      626
1277.09/1277.31	c 1277s |      18 |   646805 |   440652 |    25408     34 |      699 |      626
1279.29/1279.59	c 1279s |      18 |   647283 |   441052 |    25408     34 |      699 |      626
1281.40/1281.61	c 1281s |      18 |   647759 |   441452 |    27949     34 |      699 |      626
1283.60/1283.86	c 1283s |      18 |   648197 |   441852 |    27949     34 |      699 |      626
1285.70/1286.00	c 1285s |      18 |   648623 |   442252 |    27949     34 |      699 |      626
1287.90/1288.18	c 1287s |      18 |   649084 |   442652 |    27949     34 |      699 |      626
1290.29/1290.56	c 1290s |      18 |   649652 |   443152 |    27949     34 |      699 |      626
1292.59/1292.84	c 1292s |      18 |   650255 |   443652 |    27949     34 |      699 |      626
1294.89/1295.14	c 1294s |      18 |   650837 |   444152 |    27949     34 |      699 |      626
1296.49/1296.78	c 1296s |      19 |   651188 |   444482 |    27949     34 |      699 |      626
1298.60/1298.80	c 1298s |      19 |   654366 |   445082 |    27949     35 |      699 |      626
1300.70/1300.92	c 1300s |      19 |   661900 |   447382 |    27949     35 |      699 |      626
1302.80/1303.01	c 1302s |      19 |   668036 |   449582 |    27949     35 |      699 |      626
1304.80/1305.04	c 1304s |      19 |   669652 |   450982 |    27949     35 |      699 |      626
1306.80/1307.06	c 1306s |      19 |   672982 |   452882 |    27949     35 |      699 |      626
1308.99/1309.20	c 1308s |      19 |   674989 |   454382 |    27949     35 |      699 |      626
1311.10/1311.39	c 1311s |      19 |   676731 |   455682 |    27949     35 |      699 |      626
1313.20/1313.40	c 1313s |      19 |   678303 |   456782 |    27949     35 |      699 |      626
1315.19/1315.46	c 1315s |      19 |   679861 |   457982 |    27949     35 |      699 |      626
1317.29/1317.58	c 1317s |      19 |   681023 |   458982 |    27949     35 |      699 |      626
1319.39/1319.62	c 1319s |      19 |   682001 |   459782 |    27949     35 |      699 |      626
1321.59/1321.81	c 1321s |      19 |   683211 |   460582 |    27949     36 |      699 |      626
1323.69/1323.94	c 1323s |      19 |   684573 |   461582 |    27949     36 |      699 |      626
1325.89/1326.11	c 1325s |      19 |   685773 |   462482 |    27949     36 |      699 |      626
1327.89/1328.14	c 1327s |      19 |   686793 |   463282 |    27949     36 |      699 |      626
1330.09/1330.38	c 1330s |      19 |   687823 |   464082 |    27949     36 |      699 |      626
1332.09/1332.39	c 1332s |      19 |   688674 |   464782 |    27949     36 |      699 |      626
1334.39/1334.67	c 1334s |      19 |   689459 |   465482 |    27949     36 |      699 |      626
1336.59/1336.80	c 1336s |      19 |   690143 |   466082 |    27949     36 |      699 |      626
1338.89/1339.11	c 1338s |      19 |   690990 |   466782 |    27949     36 |      699 |      626
1340.89/1341.14	c 1340s |      19 |   691688 |   467382 |    27949     36 |      699 |      626
1343.09/1343.35	c 1343s |      19 |   692513 |   468082 |    27949     36 |      699 |      626
1345.39/1345.65	c 1345s |      19 |   693341 |   468782 |    27949     36 |      699 |      626
1347.59/1347.86	c 1347s |      19 |   694035 |   469382 |    27949     36 |      699 |      626
1349.88/1350.19	c 1349s |      19 |   694883 |   470082 |    27949     36 |      699 |      626
1352.18/1352.44	c 1352s |      19 |   695602 |   470682 |    27949     36 |      699 |      626
1354.38/1354.66	c 1354s |      19 |   696173 |   471182 |    27949     36 |      699 |      626
1356.68/1356.97	c 1356s |      19 |   696906 |   471782 |    27949     36 |      699 |      626
1358.78/1359.00	c 1358s |      19 |   697595 |   472382 |    27949     36 |      699 |      626
1360.88/1361.17	c 1360s |      19 |   698316 |   472982 |    27949     36 |      699 |      626
1363.28/1363.55	c 1363s |      19 |   698998 |   473582 |    27949     36 |      699 |      626
1365.38/1365.66	c 1365s |      19 |   699551 |   474082 |    27949     36 |      699 |      626
1367.68/1367.98	c 1367s |      19 |   700246 |   474682 |    27949     36 |      699 |      626
1369.78/1370.09	c 1369s |      19 |   700829 |   475182 |    27949     36 |      699 |      626
1371.98/1372.21	c 1371s |      19 |   701368 |   475682 |    27949     36 |      699 |      626
1373.98/1374.25	c 1373s |      19 |   701824 |   476082 |    27949     37 |      699 |      626
1376.38/1376.64	c 1376s |      19 |   702632 |   476782 |    27949     37 |      699 |      626
1378.48/1378.71	c 1378s |      19 |   703348 |   477382 |    27949     37 |      699 |      626
1380.48/1380.79	c 1380s |      19 |   704014 |   477982 |    27949     37 |      699 |      626
1382.78/1383.04	c 1382s |      19 |   704697 |   478582 |    27949     37 |      699 |      626
1385.08/1385.31	c 1385s |      19 |   705410 |   479182 |    27949     37 |      699 |      626
1387.48/1387.73	c 1387s |      19 |   706070 |   479782 |    27949     37 |      699 |      626
1389.78/1390.03	c 1389s |      19 |   706756 |   480382 |    27949     37 |      699 |      626
1392.18/1392.41	c 1392s |      19 |   707609 |   481082 |    27949     37 |      699 |      626
1394.17/1394.41	c 1394s |      19 |   708321 |   481682 |    27949     37 |      699 |      626
1396.37/1396.64	c 1396s |      19 |   709229 |   482382 |    27949     37 |      699 |      626
1398.57/1398.81	c 1398s |      19 |   709910 |   482982 |    27949     37 |      699 |      626
1400.87/1401.15	c 1400s |      19 |   710603 |   483582 |    27949     37 |      699 |      626
1402.97/1403.28	c 1402s |      19 |   711407 |   484182 |    27949     37 |      699 |      626
1405.07/1405.34	c 1405s |      19 |   712180 |   484782 |    27949     37 |      699 |      626
1407.37/1407.63	c 1407s |      19 |   712904 |   485382 |    27949     37 |      699 |      626
1409.57/1409.81	c 1409s |      19 |   713620 |   485982 |    27949     37 |      699 |      626
1411.57/1411.83	c 1411s |      19 |   714315 |   486582 |    27949     37 |      699 |      626
1413.57/1413.87	c 1413s |      19 |   714900 |   487082 |    27949     37 |      699 |      626
1415.68/1415.94	c 1415s |      19 |   715474 |   487582 |    27949     37 |      699 |      626
1418.18/1418.43	c 1418s |      19 |   716031 |   488082 |    27949     37 |      699 |      626
1420.18/1420.44	c 1420s |      19 |   716607 |   488582 |    27949     37 |      699 |      626
1422.57/1422.81	c 1422s |      19 |   717187 |   489082 |    27949     37 |      699 |      626
1425.07/1425.31	c 1425s |      19 |   717745 |   489582 |    27949     37 |      699 |      626
1427.27/1427.58	c 1427s |      19 |   718180 |   489982 |    27949     37 |      699 |      626
1429.57/1429.87	c 1429s |      19 |   718756 |   490482 |    27949     37 |      699 |      626
1431.98/1432.26	c 1431s |      19 |   719325 |   490982 |    27949     37 |      699 |      626
1433.97/1434.27	c 1433s |      19 |   719774 |   491382 |    27949     37 |      699 |      626
1436.07/1436.34	c 1436s |      19 |   720105 |   491682 |    27949     38 |      699 |      626
1438.27/1438.52	c 1438s |      19 |   720964 |   492382 |    27949     38 |      699 |      626
1440.37/1440.62	c 1440s |      19 |   721784 |   493082 |    27949     38 |      699 |      626
1442.37/1442.66	c 1442s |      19 |   722471 |   493682 |    27949     38 |      699 |      626
1444.47/1444.76	c 1444s |      19 |   723158 |   494282 |    27949     38 |      699 |      626
1446.47/1446.78	c 1446s |      19 |   723902 |   494882 |    27949     38 |      699 |      626
1448.58/1448.82	c 1448s |      19 |   724590 |   495482 |    27949     38 |      699 |      626
1450.57/1450.83	c 1450s |      19 |   725314 |   496082 |    27949     38 |      699 |      626
1452.67/1452.92	c 1452s |      19 |   725984 |   496682 |    27949     38 |      699 |      626
1454.67/1454.98	c 1454s |      19 |   726695 |   497282 |    27949     38 |      699 |      626
1456.97/1457.24	c 1456s |      19 |   727567 |   497982 |    27949     38 |      699 |      626
1459.17/1459.45	c 1459s |      19 |   728453 |   498682 |    27949     38 |      699 |      626
1461.47/1461.71	c 1461s |      19 |   729370 |   499382 |    27949     38 |      699 |      626
1463.47/1463.79	c 1463s |      19 |   730109 |   499982 |    27949     38 |      699 |      626
1465.77/1466.06	c 1465s |      19 |   730828 |   500582 |    27949     38 |      699 |      626
1468.17/1468.44	c 1468s |      19 |   731419 |   501082 |    27949     38 |      699 |      626
1470.37/1470.61	c 1470s |      19 |   732022 |   501582 |    27949     38 |      699 |      626
1472.57/1472.82	c 1472s |      19 |   732631 |   502082 |    27949     38 |      699 |      626
1474.87/1475.11	c 1474s |      19 |   733336 |   502682 |    27949     38 |      699 |      626
1476.87/1477.14	c 1476s |      19 |   733907 |   503182 |    27949     38 |      699 |      626
1479.07/1479.31	c 1479s |      19 |   734484 |   503682 |    27949     38 |      699 |      626
1481.06/1481.39	c 1481s |      19 |   735199 |   504282 |    27949     38 |      699 |      626
1483.46/1483.70	c 1483s |      19 |   735877 |   504882 |    27949     38 |      699 |      626
1485.56/1485.83	c 1485s |      19 |   736549 |   505482 |    27949     38 |      699 |      626
1487.66/1487.96	c 1487s |      19 |   737130 |   505982 |    27949     38 |      699 |      626
1489.96/1490.23	c 1489s |      19 |   737699 |   506482 |    27949     38 |      699 |      626
1492.26/1492.59	c 1492s |      19 |   738282 |   506982 |    27949     38 |      699 |      626
1494.36/1494.67	c 1494s |      19 |   738628 |   507282 |    27949     39 |      699 |      626
1496.56/1496.82	c 1496s |      19 |   739287 |   507882 |    27949     39 |      699 |      626
1498.56/1498.83	c 1498s |      19 |   739977 |   508482 |    27949     39 |      699 |      626
1500.76/1501.04	c 1500s |      19 |   740815 |   509182 |    27949     39 |      699 |      626
1502.86/1503.14	c 1502s |      19 |   741515 |   509782 |    27949     39 |      699 |      626
1504.96/1505.27	c 1504s |      19 |   742188 |   510382 |    27949     39 |      699 |      626
1506.96/1507.27	c 1506s |      19 |   742762 |   510882 |    27949     39 |      699 |      626
1509.26/1509.52	c 1509s |      19 |   743440 |   511482 |    27949     39 |      699 |      626
1511.46/1511.78	c 1511s |      19 |   744280 |   512182 |    27949     39 |      699 |      626
1513.76/1514.03	c 1513s |      19 |   745000 |   512782 |    27949     39 |      699 |      626
1515.86/1516.16	c 1515s |      19 |   745695 |   513382 |    27949     39 |      699 |      626
1517.96/1518.20	c 1517s |      19 |   746423 |   513982 |    27949     39 |      699 |      626
1520.16/1520.44	c 1520s |      19 |   746993 |   514482 |    27949     39 |      699 |      626
1522.56/1522.81	c 1522s |      19 |   747684 |   515082 |    27949     39 |      699 |      626
1524.75/1525.06	c 1524s |      19 |   748272 |   515582 |    27949     39 |      699 |      626
1526.95/1527.26	c 1526s |      19 |   748862 |   516082 |    27949     39 |      699 |      626
1529.35/1529.68	c 1529s |      19 |   749542 |   516682 |    27949     39 |      699 |      626
1531.75/1532.08	c 1531s |      19 |   750097 |   517182 |    27949     39 |      699 |      626
1534.15/1534.48	c 1534s |      19 |   750788 |   517782 |    27949     39 |      699 |      626
1536.25/1536.51	c 1536s |      19 |   751248 |   518182 |    27949     39 |      699 |      626
1538.35/1538.63	c 1538s |      19 |   751698 |   518582 |    27949     39 |      699 |      626
1540.75/1541.03	c 1540s |      19 |   752303 |   519082 |    27949     39 |      699 |      626
1542.75/1543.08	c 1542s |      19 |   752750 |   519482 |    27949     39 |      699 |      626
1545.27/1545.51	c 1545s |      19 |   753179 |   519882 |    27949     39 |      699 |      626
1547.76/1548.03	c 1547s |      19 |   753725 |   520382 |    27949     39 |      699 |      626
1549.96/1550.25	c 1549s |      19 |   754171 |   520782 |    27949     39 |      699 |      626
1552.46/1552.70	c 1552s |      19 |   754604 |   521182 |    27949     39 |      699 |      626
1554.56/1554.87	c 1554s |      19 |   755205 |   521682 |    27949     39 |      699 |      626
1556.96/1557.23	c 1556s |      19 |   755783 |   522182 |    27949     39 |      699 |      626
1559.16/1559.47	c 1559s |      19 |   756343 |   522682 |    27949     39 |      699 |      626
1561.26/1561.53	c 1561s |      19 |   756671 |   522982 |    27949     40 |      699 |      626
1563.46/1563.72	c 1563s |      19 |   757323 |   523582 |    27949     40 |      699 |      626
1565.66/1565.99	c 1565s |      19 |   757983 |   524182 |    27949     40 |      699 |      626
1567.75/1568.04	c 1567s |      19 |   758532 |   524682 |    27949     40 |      699 |      626
1569.85/1570.12	c 1569s |      19 |   759229 |   525282 |    27949     40 |      699 |      626
1571.95/1572.27	c 1571s |      19 |   759894 |   525882 |    27949     40 |      699 |      626
1574.25/1574.55	c 1574s |      19 |   760597 |   526482 |    27949     40 |      699 |      626
1576.35/1576.61	c 1576s |      19 |   761133 |   526982 |    27949     40 |      699 |      626
1578.45/1578.71	c 1578s |      19 |   761682 |   527482 |    27949     40 |      699 |      626
1580.75/1581.02	c 1580s |      19 |   762232 |   527982 |    27949     40 |      699 |      626
1582.94/1583.25	c 1582s |      19 |   762793 |   528482 |    27949     40 |      699 |      626
1585.44/1585.70	c 1585s |      19 |   763337 |   528982 |    27949     40 |      699 |      626
1587.74/1588.07	c 1587s |      19 |   764015 |   529582 |    27949     40 |      699 |      626
1590.14/1590.47	c 1590s |      19 |   764721 |   530182 |    27949     40 |      699 |      626
1592.44/1592.78	c 1592s |      19 |   765268 |   530682 |    27949     40 |      699 |      626
1594.63/1594.94	c 1594s |      19 |   765857 |   531182 |    27949     40 |      699 |      626
1596.83/1597.18	c 1596s |      19 |   766420 |   531682 |    27949     40 |      699 |      626
1599.24/1599.58	c 1599s |      19 |   766971 |   532182 |    27949     40 |      699 |      626
1601.53/1601.82	c 1601s |      19 |   767531 |   532682 |    27949     40 |      699 |      626
1603.72/1604.01	c 1603s |      19 |   768108 |   533182 |    27949     40 |      699 |      626
1605.83/1606.13	c 1605s |      19 |   768673 |   533682 |    27949     40 |      699 |      626
1608.22/1608.55	c 1608s |      19 |   769234 |   534182 |    27949     40 |      699 |      626
1610.52/1610.87	c 1610s |      19 |   769797 |   534682 |    27949     40 |      699 |      626
1612.72/1613.05	c 1612s |      19 |   770251 |   535082 |    27949     40 |      699 |      626
1615.22/1615.50	c 1615s |      19 |   770917 |   535682 |    27949     40 |      699 |      626
1617.42/1617.72	c 1617s |      19 |   771478 |   536182 |    27949     40 |      699 |      626
1619.82/1620.11	c 1619s |      19 |   772048 |   536682 |    27949     40 |      699 |      626
1622.23/1622.57	c 1622s |      19 |   772618 |   537182 |    27949     40 |      699 |      626
1624.72/1625.02	c 1624s |      19 |   773194 |   537682 |    27949     40 |      699 |      626
1627.22/1627.57	c 1627s |      19 |   773759 |   538182 |    27949     40 |      699 |      626
1629.52/1629.88	c 1629s |      19 |   774085 |   538482 |    27949     41 |      699 |      626
1631.92/1632.20	c 1631s |      19 |   774767 |   539082 |    27949     41 |      699 |      626
1633.92/1634.30	c 1634s |      19 |   775472 |   539682 |    27949     41 |      699 |      626
1636.12/1636.44	c 1636s |      19 |   776195 |   540282 |    27949     41 |      699 |      626
1638.32/1638.63	c 1638s |      19 |   776890 |   540882 |    27949     41 |      699 |      626
1640.61/1640.92	c 1640s |      19 |   777435 |   541382 |    27949     41 |      699 |      626
1642.91/1643.26	c 1642s |      19 |   777978 |   541882 |    27949     41 |      699 |      626
1645.21/1645.58	c 1645s |      19 |   778519 |   542382 |    27949     41 |      699 |      626
1647.52/1647.89	c 1647s |      19 |   779073 |   542882 |    27949     41 |      699 |      626
1650.01/1650.34	c 1650s |      19 |   779623 |   543382 |    27949     41 |      699 |      626
1652.02/1652.37	c 1652s |      19 |   780251 |   543882 |    27949     41 |      699 |      626
1654.22/1654.57	c 1654s |      19 |   780983 |   544482 |    27949     41 |      699 |      626
1656.21/1656.60	c 1656s |      19 |   781575 |   544982 |    27949     41 |      699 |      626
1658.62/1658.95	c 1658s |      19 |   782286 |   545582 |    27949     41 |      699 |      626
1660.61/1660.98	c 1660s |      19 |   782895 |   546082 |    27949     41 |      699 |      626
1662.92/1663.25	c 1662s |      19 |   783634 |   546682 |    27949     41 |      699 |      626
1665.41/1665.72	c 1665s |      19 |   784201 |   547182 |    27949     41 |      699 |      626
1667.51/1667.90	c 1667s |      19 |   784805 |   547682 |    27949     41 |      699 |      626
1669.91/1670.23	c 1669s |      19 |   785382 |   548182 |    27949     41 |      699 |      626
1672.41/1672.73	c 1672s |      19 |   785934 |   548682 |    27949     41 |      699 |      626
1674.51/1674.88	c 1674s |      19 |   786502 |   549182 |    27949     41 |      699 |      626
1676.61/1676.94	c 1676s |      19 |   786963 |   549582 |    27949     41 |      699 |      626
1679.01/1679.36	c 1679s |      19 |   787516 |   550082 |    27949     41 |      699 |      626
1681.41/1681.70	c 1681s |      19 |   787961 |   550482 |    27949     41 |      699 |      626
1683.50/1683.88	c 1683s |      19 |   788389 |   550882 |    27949     41 |      699 |      626
1685.90/1686.22	c 1685s |      19 |   788952 |   551382 |    27949     41 |      699 |      626
1688.31/1688.64	c 1688s |      19 |   789521 |   551882 |    27949     41 |      699 |      626
1690.51/1690.84	c 1690s |      19 |   789964 |   552282 |    27949     41 |      699 |      626
1692.90/1693.28	c 1693s |      19 |   790524 |   552782 |    27949     41 |      699 |      626
1695.10/1695.47	c 1695s |      19 |   791090 |   553282 |    27949     41 |      699 |      626
1697.40/1697.77	c 1697s |      19 |   791518 |   553682 |    27949     41 |      699 |      626
1700.20/1700.56	c 1700s |      19 |   791953 |   554082 |    27949     42 |      699 |      626
1702.30/1702.66	c 1702s |      19 |   792494 |   554582 |    27949     42 |      699 |      626
1704.59/1704.93	c 1704s |      19 |   793194 |   555182 |    27949     42 |      699 |      626
1706.90/1707.26	c 1706s |      19 |   793894 |   555782 |    27949     42 |      699 |      626
1708.99/1709.40	c 1709s |      19 |   794582 |   556382 |    27949     42 |      699 |      626
1711.30/1711.70	c 1711s |      19 |   795257 |   556982 |    27949     42 |      699 |      626
1713.60/1713.92	c 1713s |      19 |   795810 |   557482 |    27949     42 |      699 |      626
1715.80/1716.16	c 1715s |      19 |   796361 |   557982 |    27949     42 |      699 |      626
1718.18/1718.56	c 1718s |      19 |   796909 |   558482 |    27949     42 |      699 |      626
1720.28/1720.61	c 1720s |      19 |   797491 |   558982 |    27949     42 |      699 |      626
1722.48/1722.84	c 1722s |      19 |   798024 |   559482 |    27949     42 |      699 |      626
1724.59/1724.99	c 1724s |      19 |   798457 |   559882 |    27949     42 |      699 |      626
1726.88/1727.27	c 1726s |      19 |   799008 |   560382 |    27949     42 |      699 |      626
1729.28/1729.66	c 1729s |      19 |   799554 |   560882 |    27949     42 |      699 |      626
1731.38/1731.77	c 1731s |      19 |   800131 |   561382 |    27949     42 |      699 |      626
1733.38/1733.77	c 1733s |      19 |   800576 |   561782 |    27949     42 |      699 |      626
1735.37/1735.80	c 1735s |      19 |   801010 |   562182 |    27949     42 |      699 |      626
1737.57/1737.95	c 1737s |      19 |   801587 |   562682 |    27949     42 |      699 |      626
1739.57/1739.96	c 1739s |      19 |   802032 |   563082 |    27949     42 |      699 |      626
1741.57/1741.97	c 1741s |      19 |   802473 |   563482 |    27949     42 |      699 |      626
1743.77/1744.10	c 1743s |      19 |   803016 |   563982 |    27949     42 |      699 |      626
1746.17/1746.54	c 1746s |      19 |   803576 |   564482 |    27949     42 |      699 |      626
1748.37/1748.76	c 1748s |      19 |   804149 |   564982 |    27949     42 |      699 |      626
1750.57/1750.91	c 1750s |      19 |   804583 |   565382 |    27949     42 |      699 |      626
1752.97/1753.39	c 1753s |      19 |   805147 |   565882 |    27949     42 |      699 |      626
1755.17/1755.55	c 1755s |      19 |   805711 |   566382 |    27949     42 |      699 |      626
1757.37/1757.72	c 1757s |      19 |   806161 |   566782 |    27949     42 |      699 |      626
1759.47/1759.84	c 1759s |      19 |   806625 |   567182 |    27949     42 |      699 |      626
1761.57/1761.99	c 1761s |      19 |   807071 |   567582 |    27949     42 |      699 |      626
1763.96/1764.39	c 1764s |      19 |   807502 |   567982 |    27949     42 |      699 |      626
1766.27/1766.68	c 1766s |      19 |   807959 |   568382 |    27949     42 |      699 |      626
1768.36/1768.78	c 1768s |      19 |   808396 |   568782 |    27949     42 |      699 |      626
1770.86/1771.20	c 1770s |      19 |   808948 |   569282 |    27949     42 |      699 |      626
1773.86/1774.20	c 1773s |      19 |   809402 |   569682 |    27949     43 |      699 |      626
1775.86/1776.28	c 1775s |      19 |   809985 |   570182 |    27949     43 |      699 |      626
1777.96/1778.35	c 1778s |      19 |   810657 |   570782 |    27949     43 |      699 |      626
1779.96/1780.37	c 1780s |      19 |   811239 |   571282 |    27949     43 |      699 |      626
1782.26/1782.67	c 1782s |      19 |   811937 |   571882 |    27949     43 |      699 |      626
1784.46/1784.83	c 1784s |      19 |   812610 |   572482 |    27949     43 |      699 |      626
1786.86/1787.21	c 1786s |      19 |   813275 |   573082 |    27949     43 |      699 |      626
1789.16/1789.51	c 1789s |      19 |   813957 |   573682 |    27949     43 |      699 |      626
1791.46/1791.81	c 1791s |      19 |   814506 |   574182 |    27949     43 |      699 |      626
1793.76/1794.15	c 1793s |      19 |   815052 |   574682 |    27949     43 |      699 |      626
1795.85/1796.26	c 1795s |      19 |   815619 |   575182 |    27949     43 |      699 |      626
1797.95/1798.31	c 1798s |      19 |   816165 |   575682 |    27949     43 |      699 |      626

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

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

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


[startup+0 s]
/proc/loadavg: 1.11 1.56 1.91 5/175 24625
/proc/meminfo: memFree=29867176/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=698812 CPUtime=0 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 2603 0 0 0 0 0 0 0 20 0 4 0 30788403 715583488 2963 33554432000 4194304 16246674 140735088470384 140735088469808 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 175471 2972 441 2943 0 172365 0
[pid=24625/tid=24629] ppid=24619 vsize=717244 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 734457856 3034 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=721340 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 738652160 3051 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30788403 742846464 3067 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100134 s]
/proc/loadavg: 1.11 1.56 1.91 5/175 24625
/proc/meminfo: memFree=29867176/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 28467 0 0 0 5 4 0 0 20 0 4 0 30788403 1249447936 28765 33554432000 4194304 16246674 140735088470384 140735088469696 4220936 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 305041 28765 801 2943 0 301935 0
[pid=24625/tid=24629] ppid=24619 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1249447936 28765 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1249447936 28765 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1249447936 28765 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200514 s]
/proc/loadavg: 1.11 1.56 1.91 5/175 24625
/proc/meminfo: memFree=29867176/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 48674 0 0 0 12 7 0 0 20 0 4 0 30788403 1332285440 48972 33554432000 4194304 16246674 140735088470384 140735088469696 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 325265 48972 842 2943 0 322159 0
[pid=24625/tid=24629] ppid=24619 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 48972 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 48972 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 48972 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300477 s]
/proc/loadavg: 1.11 1.56 1.91 5/175 24625
/proc/meminfo: memFree=29867176/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 54313 0 0 0 21 8 0 0 20 0 4 0 30788403 1332285440 54612 33554432000 4194304 16246674 140735088470384 140735088469696 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 325265 54617 882 2943 0 322159 0
[pid=24625/tid=24629] ppid=24619 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 54621 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 54625 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 54628 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700353 s]
/proc/loadavg: 1.11 1.56 1.91 5/175 24625
/proc/meminfo: memFree=29867176/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 102433 0 0 0 55 14 0 0 20 0 4 0 30788403 1332285440 102731 33554432000 4194304 16246674 140735088470384 140735088452288 12467381 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 325265 102735 882 2943 0 322159 0
[pid=24625/tid=24629] ppid=24619 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 102738 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 102741 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 102743 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50039 s]
/proc/loadavg: 1.11 1.56 1.91 5/183 24633
/proc/meminfo: memFree=28652848/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 208291 0 0 0 117 32 0 0 20 0 4 0 30788403 1332285440 208589 33554432000 4194304 16246674 140735088470384 140735088452288 5677277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 325265 208593 882 2943 0 322159 0
[pid=24625/tid=24629] ppid=24619 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 208596 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 208599 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 208603 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10039 s]
/proc/loadavg: 1.11 1.56 1.91 5/183 24633
/proc/meminfo: memFree=27713300/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 269347 0 0 0 268 41 0 0 20 0 4 0 30788403 1344868352 269645 33554432000 4194304 16246674 140735088470384 140735088452288 12415736 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 328337 269645 889 2943 0 325231 0
[pid=24625/tid=24629] ppid=24619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269645 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269645 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269645 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30041 s]
/proc/loadavg: 1.18 1.56 1.91 4/183 24633
/proc/meminfo: memFree=27712584/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 269524 0 0 0 588 41 0 0 20 0 4 0 30788403 1344868352 269822 33554432000 4194304 16246674 140735088470384 140735088452288 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 328337 269822 889 2943 0 325231 0
[pid=24625/tid=24629] ppid=24619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269822 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269822 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269822 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 1.25 1.57 1.91 4/183 24633
/proc/meminfo: memFree=27713004/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 269524 0 0 0 1228 41 0 0 20 0 4 0 30788403 1344868352 269822 33554432000 4194304 16246674 140735088470384 140735088452288 4206890 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 328337 269822 889 2943 0 325231 0
[pid=24625/tid=24629] ppid=24619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269822 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269822 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269822 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 1.56 1.62 1.92 5/183 24633
/proc/meminfo: memFree=27714808/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 269526 0 0 0 2508 41 0 0 20 0 4 0 30788403 1344868352 269824 33554432000 4194304 16246674 140735088470384 140735088452288 13928656 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 328337 269824 891 2943 0 325231 0
[pid=24625/tid=24629] ppid=24619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269824 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269824 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269824 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 1.77 1.67 1.93 4/183 24633
/proc/meminfo: memFree=27714932/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 269526 0 0 0 5067 41 0 0 20 0 4 0 30788403 1344868352 269824 33554432000 4194304 16246674 140735088470384 140735088452288 5722908 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 328337 269824 891 2943 0 325231 0
[pid=24625/tid=24629] ppid=24619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269824 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269824 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269824 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.14 1.78 1.95 4/183 24634
/proc/meminfo: memFree=27701044/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1318468 CPUtime=102.28 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 270749 0 0 0 10187 41 0 0 20 0 4 0 30788403 1350111232 271047 33554432000 4194304 16246674 140735088470384 140735088452288 12415827 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 329617 271047 892 2943 0 326511 0
[pid=24625/tid=24629] ppid=24619 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1350111232 271047 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1350111232 271047 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1350111232 271047 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275713 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1336900

[startup+1302.3 s]
/proc/loadavg: 2.37 2.37 2.22 4/183 24698
/proc/meminfo: memFree=27663768/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1336900 CPUtime=1302.1 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 275415 0 0 0 130161 49 0 0 20 0 4 0 30788403 1368985600 275713 33554432000 4194304 16246674 140735088470384 140735088452288 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 334225 275713 892 2943 0 331119 0
[pid=24625/tid=24629] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275713 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275713 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275713 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 1336900

[startup+1362.3 s]
/proc/loadavg: 2.31 2.36 2.22 4/183 24699
/proc/meminfo: memFree=27663956/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1336900 CPUtime=1362.08 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 275415 0 0 0 136159 49 0 0 20 0 4 0 30788403 1368985600 275713 33554432000 4194304 16246674 140735088470384 140735088452288 5822592 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 334225 275713 892 2943 0 331119 0
[pid=24625/tid=24629] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275713 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275713 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275713 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1336900

[startup+1422.3 s]
/proc/loadavg: 2.28 2.33 2.22 4/183 24700
/proc/meminfo: memFree=27663620/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1336900 CPUtime=1422.08 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 275415 0 0 0 142158 50 0 0 20 0 4 0 30788403 1368985600 275713 33554432000 4194304 16246674 140735088470384 140735088452288 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 334225 275713 892 2943 0 331119 0
[pid=24625/tid=24629] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275713 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275713 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275713 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1336900

[startup+1482.3 s]
/proc/loadavg: 2.32 2.33 2.22 4/183 24702
/proc/meminfo: memFree=27663444/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1336900 CPUtime=1482.06 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 275415 0 0 0 148156 50 0 0 20 0 4 0 30788403 1368985600 275713 33554432000 4194304 16246674 140735088470384 140735088452288 6023130 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 334225 275713 892 2943 0 331119 0
[pid=24625/tid=24629] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275713 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275713 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275713 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1336900

[startup+1542.31 s]
/proc/loadavg: 2.17 2.28 2.21 4/184 24706
/proc/meminfo: memFree=27661580/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1336900 CPUtime=1542.06 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 275416 0 0 0 154156 50 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140735088452288 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 334225 275969 892 2943 0 331119 0
[pid=24625/tid=24629] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1336900

[startup+1602.3 s]
/proc/loadavg: 2.14 2.26 2.21 4/183 24707
/proc/meminfo: memFree=27661608/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1336900 CPUtime=1602.03 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 275435 0 0 0 160152 51 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140735088452288 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 334225 275969 892 2943 0 331119 0
[pid=24625/tid=24629] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1336900

[startup+1662.3 s]
/proc/loadavg: 2.33 2.30 2.22 4/183 24708
/proc/meminfo: memFree=27662376/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1336900 CPUtime=1662.01 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 275458 0 0 0 166149 52 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140735088452288 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 334225 275969 892 2943 0 331119 0
[pid=24625/tid=24629] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1336900

[startup+1722.3 s]
/proc/loadavg: 2.27 2.29 2.22 5/183 24709
/proc/meminfo: memFree=27662520/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1336900 CPUtime=1721.98 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 275488 0 0 0 172146 52 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140735088452288 5522986 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 334225 275969 892 2943 0 331119 0
[pid=24625/tid=24629] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1336900

[startup+1782.3 s]
/proc/loadavg: 2.34 2.31 2.23 4/182 24710
/proc/meminfo: memFree=27661648/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1336900 CPUtime=1781.96 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 275510 0 0 0 178144 52 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140735088452288 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 334225 275969 892 2943 0 331119 0
[pid=24625/tid=24629] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 1336900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.38 2.32 2.23 4/183 24711
/proc/meminfo: memFree=27661980/32872528 swapFree=1581260/1720252
[pid=24625] ppid=24619 vsize=1336900 CPUtime=1800.05 cores=0,2,4,6
/proc/24625/stat : 24625 (toysat) R 24619 24625 24580 0 -1 4202496 275524 0 0 0 179952 53 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140735088452288 5822818 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24625/statm: 334225 275969 892 2943 0 331119 0
[pid=24625/tid=24629] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24629/stat : 24629 (toysat) S 24619 24625 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140558658940144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24625/tid=24630] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24630/stat : 24630 (toysat) S 24619 24625 24580 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140558576102640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24625/tid=24631] ppid=24619 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/24625/task/24631/stat : 24631 (toysat) S 24619 24625 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1368985600 275969 33554432000 4194304 16246674 140735088470384 140558565629104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1336900

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 24625 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.44
CPU time (s): 1800.09
CPU user time (s): 1799.53
CPU system time (s): 0.562914
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 1336900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.562914
maximum resident set size= 1103876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275524
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= 127
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4364 second user time and 17.2574 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-26 23:44:50
IDJOB=4116245
IDBENCH=109446
IDSOLVER=2542
FILE ID=node117/4116245-1466977490
RUNJOBID= node117-1466977489-24596
PBS_JOBID= 19976392
Free space on /tmp= 71620 MiB

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

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

MD5SUM BENCH= cfd241960bd882a0d82a834b9d8ec94c
RANDOM SEED=1838482803

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29868280 kB
Buffers:           87752 kB
Cached:           445712 kB
SwapCached:         2208 kB
Active:           122828 kB
Inactive:         414472 kB
Active(anon):       1936 kB
Inactive(anon):     4136 kB
Active(file):     120892 kB
Inactive(file):   410336 kB
Unevictable:     1720252 kB
Mlocked:         1581260 kB
SwapTotal:      67108856 kB
SwapFree:       67099644 kB
Dirty:             33472 kB
Writeback:             0 kB
AnonPages:       1723480 kB
Mapped:             8688 kB
Shmem:                 0 kB
Slab:             611988 kB
SReclaimable:      56188 kB
SUnreclaim:       555800 kB
KernelStack:        1384 kB
PageTables:         7536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1817544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 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= 71592 MiB
End job on node117 at 2016-06-27 00:14:50