Trace number 4116509

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.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round23-5.opb
MD5SUM0d8707a053909ae250d7beee514953f6
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 constraints9536
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)448
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-27T01:04:51+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-4116509-1466982291.opb"]
0.00/0.01	c use --random-gen="3062839285 2802253948 2388602175 448759261 2501723276 2073850465 885845990 3368770837 2264287666 1603380041 2561340713 546302753 809991453 352905683 2962784753 4213431112 3626950933 4289838308 727147647 2644710721 2178399079 2664172295 2967370839 1620275047 2227810465 154842183 3203413548 1344693563 1789989549 3962407876 2106351840 3176706816 3376467679 1976541520 4247870766 1239723161 369378565 2998568725 3621368679 1997153680 591957564 201620544 2216339189 12388473 38657381 1072490533 1626756608 2347253937 3387440457 4130409987 3606882780 4074325553 3517099382 2712846827 3891032895 1228645238 4104282428 3693571805 3347431172 2039251121 1084087370 2187143884 280805516 876600058 4287071008 739133925 2337935942 733095878 2265865392 3704301785 1994029475 2057674359 4013793257 1359149495 101531929 3913903495 1837484251 1155423108 366265136 121800835 3672300046 4210160164 1824846545 3011398029 2127065971 1209818453 849138099 831573234 2379958334 75919324 3689367422 2443534056 3352038299 3396505879 2757482405 4272959842 1454038320 966289609 2588169046 3260539116 3648404076 504496314 2037273001 3883082566 1873657655 1716896807 2249203725 216115204 27012302 410066683 2060188758 3933461328 3052569899 1851427358 3109178409 2704759035 2773685350 540542644 1539154428 3657883296 4181217883 2254952319 1273600529 1323832922 4204545814 3710142986 922481391 821640424 1261971338 3807639377 3602790486 4127725989 3479837801 760318951 3694458769 3058084976 2201847898 3400779040 2427369142 676018203 3090566357 3727138230 872231517 3435739176 3844521472 3811888813 3627704195 2251889106 2025292560 2863788812 3237995031 374600835 1885150177 408195680 1108150635 2159131468 67058877 799520657 3205364292 3271290984 2318630994 807397869 2552298002 2704110709 1159647394 2862601047 639557766 2921444215 394486945 2283448575 336301147 745807411 2078763343 1906313472 3410813421 2161755473 2454495773 1617960635 1889353806 4138517452 4002130115 2592546100 3450445649 676927177 3307309884 2303721879 3891039212 3213436346 3057161777 286624547 3808531657 322362769 2676243921 1873508448 3798235878 1123524980 165800902 2177461242 3910502673 2479247323 3578805355 2874977831 2375325538 233558351 724708109 4066552401 8139848 1086015670 404400896 4275808352 1964745762 346231687 3815116491 4144341359 406677974 269797659 2499920943 1821967505 1142253104 3265320972 2116051564 4090513928 2976431660 3191240092 636131817 2213612037 631846057 2058444424 1230608634 32969681 3704783251 2668286331 684515736 3262228160 361214880 481217636 1663486389 1758832958 2865504793 1272476255 2292408984 2203693034 88417928 4266474513 4182910863 128930453 3773938036 1055291278 1071399880 2695399257 1234646008 3821895251 855636940 3060240692 4285480618 228496574 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9536
0.18/0.28	c Solving starts ...
0.18/0.28	c ============================[ Search Statistics ]============================
0.18/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.28	c =============================================================================
0.18/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      903 |        0
0.28/0.37	c  0.1s |       1 |      867 |      100 |     4565      0 |      904 |      944
0.39/0.47	c  0.2s |       2 |     2612 |      250 |     5022      0 |      905 |      944
0.59/0.63	c  0.3s |       3 |     3473 |      475 |     5525      0 |      905 |      944
0.78/0.84	c  0.6s |       4 |     6439 |      813 |     6078      0 |      905 |      944
1.38/1.48	c  1.2s |       5 |     8507 |     1320 |     6686      0 |      905 |      944
1.88/1.94	c  1.7s |       6 |    12700 |     2081 |     8091      0 |      905 |      944
2.88/2.98	c  2.7s |       7 |    15187 |     3223 |     8901      0 |      905 |      944
4.18/4.25	c  4.0s |       8 |    21359 |     4936 |     9792      0 |      905 |      944
6.29/6.37	c  6.1s |       8 |    27396 |     7236 |     9792      0 |      906 |      944
6.70/6.71	c  6.4s |       9 |    27698 |     7506 |    10772      0 |      906 |      944
8.69/8.72	c  8.4s |       9 |    41999 |    10706 |    10772      0 |      906 |      944
9.19/9.23	c  9.0s |      10 |    43939 |    11361 |    11850      0 |      906 |      944
11.29/11.31	c 11.0s |      10 |    51686 |    13761 |    11850      0 |      906 |      944
13.30/13.39	c 13.1s |      10 |    54288 |    15361 |    11850      0 |      906 |      944
15.39/15.50	c 15.2s |      10 |    56391 |    16761 |    11850      1 |      906 |      944
15.99/16.03	c 15.7s |      11 |    57020 |    17144 |    13036      1 |      906 |      944
18.09/18.12	c 17.8s |      11 |    61150 |    18844 |    13036      1 |      906 |      944
20.09/20.18	c 19.9s |      11 |    63181 |    20344 |    13036      1 |      906 |      944
22.19/22.25	c 22.0s |      11 |    66196 |    21944 |    13036      1 |      906 |      944
24.29/24.32	c 24.0s |      11 |    68596 |    23444 |    13036      1 |      906 |      944
26.39/26.45	c 26.2s |      11 |    69872 |    24644 |    13036      2 |      906 |      944
28.28/28.35	c 28.1s |      12 |    71139 |    25819 |    14340      2 |      906 |      944
30.38/30.46	c 30.2s |      12 |    79700 |    28219 |    14340      2 |      906 |      944
32.38/32.46	c 32.2s |      12 |    83992 |    30219 |    14340      2 |      906 |      944
34.38/34.47	c 34.2s |      12 |    85719 |    31319 |    14340      2 |      906 |      944
36.48/36.53	c 36.3s |      12 |    87987 |    32719 |    14340      2 |      906 |      944
38.59/38.67	c 38.4s |      12 |    90517 |    34219 |    14340      3 |      906 |      944
40.69/40.76	c 40.5s |      12 |    92438 |    35519 |    14340      3 |      906 |      944
42.78/42.88	c 42.6s |      12 |    94681 |    36919 |    14340      3 |      906 |      944
44.98/45.09	c 44.8s |      12 |    96461 |    38119 |    14340      3 |      906 |      944
46.29/46.35	c 46.1s |      13 |    97546 |    38832 |    15775      3 |      906 |      944
48.28/48.36	c 48.1s |      13 |   100655 |    40132 |    15775      3 |      906 |      944
50.38/50.43	c 50.1s |      13 |   101804 |    41232 |    15775      3 |      906 |      944
52.48/52.52	c 52.2s |      13 |   102956 |    42332 |    15775      3 |      906 |      944
54.48/54.59	c 54.3s |      13 |   104138 |    43432 |    15775      3 |      906 |      944
56.68/56.77	c 56.5s |      13 |   105079 |    44332 |    15775      4 |      906 |      944
58.68/58.79	c 58.5s |      13 |   106153 |    45332 |    15775      4 |      906 |      944
60.88/60.97	c 60.7s |      13 |   107202 |    46332 |    15775      4 |      906 |      944
63.08/63.16	c 62.9s |      13 |   108169 |    47232 |    15775      4 |      906 |      944
65.18/65.21	c 64.9s |      13 |   110200 |    48632 |    15775      4 |      906 |      944
67.28/67.32	c 67.0s |      13 |   111783 |    50132 |    15775      4 |      906 |      944
69.38/69.44	c 69.2s |      13 |   113252 |    51532 |    15775      4 |      906 |      944
71.48/71.51	c 71.2s |      13 |   114431 |    52632 |    15775      4 |      906 |      944
73.47/73.59	c 73.3s |      13 |   115368 |    53532 |    15775      5 |      906 |      944
75.57/75.61	c 75.3s |      13 |   116407 |    54532 |    15775      5 |      906 |      944
77.57/77.65	c 77.4s |      13 |   117464 |    55532 |    15775      5 |      906 |      944
79.77/79.85	c 79.6s |      13 |   118502 |    56532 |    15775      5 |      906 |      944
81.87/81.99	c 81.7s |      13 |   119474 |    57432 |    15775      5 |      906 |      944
83.97/84.09	c 83.8s |      13 |   120325 |    58232 |    17353      5 |      906 |      944
84.27/84.39	c 84.1s |      14 |   120456 |    58352 |    17353      5 |      906 |      944
86.37/86.48	c 86.2s |      14 |   123246 |    60552 |    17353      5 |      906 |      944
88.47/88.50	c 88.2s |      14 |   127700 |    62452 |    17353      5 |      906 |      944
90.47/90.50	c 90.2s |      14 |   129009 |    63552 |    17353      5 |      906 |      944
92.48/92.56	c 92.3s |      14 |   131344 |    64952 |    17353      6 |      906 |      944
94.47/94.56	c 94.3s |      14 |   133093 |    66152 |    17353      6 |      906 |      944
96.57/96.61	c 96.3s |      14 |   134761 |    67252 |    17353      6 |      906 |      944
98.57/98.67	c 98.4s |      14 |   135754 |    68052 |    17353      6 |      906 |      944
100.77/100.82	c  100s |      14 |   137448 |    69252 |    17353      6 |      906 |      944
102.87/102.92	c  102s |      14 |   138682 |    70252 |    17353      6 |      906 |      944
104.97/105.09	c  104s |      14 |   139915 |    71252 |    17353      6 |      906 |      944
107.07/107.11	c  106s |      14 |   140890 |    72052 |    17353      6 |      906 |      944
109.17/109.23	c  108s |      14 |   141844 |    72852 |    17353      6 |      906 |      944
111.27/111.33	c  111s |      14 |   142812 |    73652 |    17353      6 |      906 |      944
113.37/113.43	c  113s |      14 |   143768 |    74452 |    17353      6 |      906 |      944
115.37/115.45	c  115s |      14 |   144457 |    75052 |    17353      7 |      906 |      944
117.57/117.67	c  117s |      14 |   145384 |    75852 |    17353      7 |      906 |      944
119.87/119.92	c  119s |      14 |   146568 |    76752 |    17353      7 |      906 |      944
121.96/122.00	c  121s |      14 |   147682 |    77652 |    17353      7 |      906 |      944
124.06/124.13	c  123s |      14 |   148806 |    78552 |    17353      7 |      906 |      944
126.26/126.30	c  126s |      14 |   149670 |    79252 |    17353      7 |      906 |      944
128.36/128.43	c  128s |      14 |   150470 |    79952 |    17353      7 |      906 |      944
130.66/130.71	c  130s |      14 |   151299 |    80652 |    17353      7 |      906 |      944
132.86/132.92	c  132s |      14 |   152111 |    81352 |    17353      7 |      906 |      944
134.86/134.96	c  134s |      14 |   152991 |    82052 |    17353      7 |      906 |      944
136.96/137.08	c  136s |      14 |   153687 |    82652 |    17353      7 |      906 |      944
139.26/139.30	c  139s |      14 |   154356 |    83252 |    17353      7 |      906 |      944
141.46/141.51	c  141s |      14 |   155073 |    83852 |    17353      7 |      906 |      944
143.66/143.74	c  143s |      14 |   155801 |    84452 |    17353      7 |      906 |      944
145.96/146.03	c  145s |      14 |   156508 |    85052 |    17353      7 |      906 |      944
148.16/148.21	c  147s |      14 |   157275 |    85652 |    17353      8 |      906 |      944
150.16/150.22	c  149s |      14 |   158240 |    86452 |    17353      8 |      906 |      944
152.26/152.32	c  152s |      14 |   159018 |    87152 |    19089      8 |      906 |      944
153.67/153.79	c  153s |      15 |   159577 |    87632 |    19089      8 |      906 |      944
155.76/155.80	c  155s |      15 |   166097 |    89132 |    19089      8 |      907 |      944
157.87/157.99	c  157s |      15 |   168958 |    90932 |    19089      8 |      907 |      944
160.06/160.13	c  159s |      15 |   170717 |    92232 |    19089      8 |      907 |      944
162.16/162.25	c  161s |      15 |   172133 |    93332 |    19089      8 |      907 |      944
164.16/164.26	c  163s |      15 |   174142 |    94532 |    19089      8 |      907 |      944
166.36/166.43	c  166s |      15 |   176139 |    95832 |    19089      8 |      907 |      944
168.46/168.56	c  168s |      15 |   177615 |    96832 |    19089      8 |      907 |      944
170.57/170.68	c  170s |      15 |   179080 |    97832 |    19089      9 |      907 |      944
172.56/172.69	c  172s |      15 |   180912 |    99032 |    19089      9 |      907 |      944
174.87/174.91	c  174s |      15 |   182547 |   100232 |    19089      9 |      907 |      944
177.07/177.12	c  176s |      15 |   183670 |   101132 |    19089      9 |      907 |      944
179.16/179.24	c  178s |      15 |   185467 |   102232 |    19089      9 |      907 |      944
181.26/181.37	c  181s |      15 |   187001 |   103332 |    19089      9 |      907 |      944
183.46/183.51	c  183s |      15 |   188394 |   104332 |    19089      9 |      907 |      944
185.56/185.67	c  185s |      15 |   189825 |   105332 |    19089      9 |      907 |      944
187.66/187.74	c  187s |      15 |   190985 |   106232 |    19089      9 |      907 |      944
189.76/189.83	c  189s |      15 |   191959 |   107032 |    19089      9 |      907 |      944
191.96/192.07	c  191s |      15 |   193168 |   107932 |    19089      9 |      907 |      944
194.16/194.22	c  193s |      15 |   194233 |   108732 |    19089     10 |      907 |      944
196.36/196.43	c  196s |      15 |   195511 |   109732 |    19089     10 |      907 |      944
198.55/198.65	c  198s |      15 |   196767 |   110732 |    19089     10 |      907 |      944
200.65/200.79	c  200s |      15 |   197746 |   111532 |    19089     10 |      907 |      944
202.95/203.09	c  202s |      15 |   198716 |   112332 |    19089     10 |      907 |      944
205.15/205.29	c  205s |      15 |   199695 |   113132 |    19089     10 |      907 |      944
207.25/207.33	c  207s |      15 |   200517 |   113832 |    19089     10 |      907 |      944
209.45/209.51	c  209s |      15 |   201512 |   114632 |    19089     10 |      907 |      944
211.45/211.51	c  211s |      15 |   202190 |   115232 |    19089     10 |      907 |      944
213.65/213.72	c  213s |      15 |   203015 |   115932 |    19089     10 |      907 |      944
215.85/215.93	c  215s |      15 |   203857 |   116632 |    19089     10 |      907 |      944
217.95/218.02	c  217s |      15 |   204566 |   117232 |    19089     10 |      907 |      944
220.25/220.34	c  220s |      15 |   205234 |   117832 |    19089     10 |      907 |      944
222.45/222.56	c  222s |      15 |   205915 |   118432 |    19089     10 |      907 |      944
224.85/224.91	c  224s |      15 |   206607 |   119032 |    19089     10 |      907 |      944
227.05/227.20	c  226s |      15 |   207290 |   119632 |    19089     10 |      907 |      944
229.15/229.23	c  228s |      15 |   207856 |   120132 |    19089     11 |      907 |      944
231.35/231.45	c  231s |      15 |   208645 |   120832 |    19089     11 |      907 |      944
233.55/233.69	c  233s |      15 |   209733 |   121632 |    19089     11 |      907 |      944
235.75/235.84	c  235s |      15 |   210793 |   122432 |    19089     11 |      907 |      944
237.94/238.04	c  237s |      15 |   211830 |   123232 |    19089     11 |      907 |      944
239.94/240.08	c  239s |      15 |   212769 |   123932 |    19089     11 |      907 |      944
242.15/242.21	c  241s |      15 |   213872 |   124732 |    19089     11 |      907 |      944
244.34/244.40	c  244s |      15 |   214933 |   125532 |    19089     11 |      907 |      944
246.35/246.40	c  246s |      15 |   215848 |   126232 |    19089     11 |      907 |      944
248.34/248.42	c  248s |      15 |   216586 |   126832 |    19089     11 |      907 |      944
250.64/250.72	c  250s |      15 |   217418 |   127532 |    19089     11 |      907 |      944
252.74/252.81	c  252s |      15 |   218317 |   128232 |    19089     11 |      907 |      944
255.04/255.10	c  254s |      15 |   219213 |   128932 |    19089     11 |      907 |      944
257.14/257.29	c  257s |      15 |   220107 |   129632 |    19089     11 |      907 |      944
259.24/259.34	c  259s |      15 |   220950 |   130332 |    19089     11 |      907 |      944
261.24/261.36	c  261s |      15 |   221731 |   130932 |    20998     11 |      907 |      944
263.24/263.37	c  263s |      15 |   222524 |   131532 |    20998     11 |      907 |      944
263.34/263.46	c  263s |      16 |   222552 |   131552 |    20998     11 |      907 |      944
265.44/265.51	c  265s |      16 |   230580 |   133352 |    20998     12 |      907 |      944
267.44/267.57	c  267s |      16 |   234873 |   135352 |    20998     12 |      907 |      944
269.45/269.58	c  269s |      16 |   237439 |   136952 |    20998     12 |      907 |      944
271.44/271.59	c  271s |      16 |   241198 |   138652 |    20998     12 |      907 |      944
273.54/273.67	c  273s |      16 |   243030 |   139952 |    20998     12 |      907 |      944
275.64/275.76	c  275s |      16 |   244405 |   141052 |    20998     12 |      907 |      944
277.65/277.79	c  277s |      16 |   246189 |   142152 |    20998     12 |      907 |      944
279.85/279.99	c  279s |      16 |   247741 |   143252 |    20998     12 |      907 |      944
281.95/282.02	c  281s |      16 |   248872 |   144152 |    20998     12 |      907 |      944
284.04/284.14	c  283s |      16 |   250797 |   145152 |    20998     13 |      907 |      944
286.15/286.27	c  285s |      16 |   252545 |   146452 |    20998     13 |      907 |      944
288.25/288.37	c  288s |      16 |   253862 |   147552 |    20998     13 |      907 |      944
290.35/290.50	c  290s |      16 |   255089 |   148552 |    20998     13 |      907 |      944
292.65/292.76	c  292s |      16 |   256252 |   149552 |    20998     13 |      907 |      944
294.85/294.92	c  294s |      16 |   257336 |   150452 |    20998     13 |      907 |      944
296.84/296.94	c  296s |      16 |   258017 |   151052 |    20998     13 |      907 |      944
298.84/298.97	c  298s |      16 |   258862 |   151752 |    20998     13 |      907 |      944
301.04/301.17	c  300s |      16 |   260016 |   152652 |    20998     13 |      907 |      944
303.24/303.38	c  303s |      16 |   260998 |   153452 |    20998     13 |      907 |      944
305.34/305.42	c  305s |      16 |   262048 |   154252 |    20998     13 |      907 |      944
307.44/307.59	c  307s |      16 |   263003 |   155052 |    20998     13 |      907 |      944
309.54/309.63	c  309s |      16 |   263798 |   155752 |    20998     13 |      907 |      944
311.54/311.66	c  311s |      16 |   264532 |   156352 |    20998     13 |      907 |      944
313.74/313.85	c  313s |      16 |   265417 |   157052 |    20998     14 |      907 |      944
315.94/316.02	c  315s |      16 |   266558 |   157952 |    20998     14 |      907 |      944
318.14/318.21	c  317s |      16 |   267509 |   158752 |    20998     14 |      907 |      944
320.15/320.27	c  319s |      16 |   268340 |   159452 |    20998     14 |      907 |      944
322.25/322.34	c  322s |      16 |   269040 |   160052 |    20998     14 |      907 |      944
324.34/324.45	c  324s |      16 |   269926 |   160752 |    20998     14 |      907 |      944
326.44/326.52	c  326s |      16 |   270975 |   161552 |    20998     14 |      907 |      944
328.64/328.79	c  328s |      16 |   272151 |   162452 |    20998     14 |      907 |      944
330.74/330.86	c  330s |      16 |   273049 |   163152 |    20998     14 |      907 |      944
332.94/333.05	c  332s |      16 |   273944 |   163852 |    20998     14 |      907 |      944
335.04/335.11	c  334s |      16 |   274702 |   164452 |    20998     14 |      907 |      944
337.04/337.11	c  336s |      16 |   275579 |   165152 |    20998     14 |      907 |      944
339.24/339.35	c  339s |      16 |   276615 |   165952 |    20998     14 |      907 |      944
341.44/341.58	c  341s |      16 |   277733 |   166752 |    20998     14 |      907 |      944
343.74/343.81	c  343s |      16 |   278599 |   167452 |    20998     14 |      907 |      944
346.04/346.15	c  345s |      16 |   279428 |   168152 |    20998     14 |      907 |      944
348.44/348.53	c  348s |      16 |   280334 |   168852 |    20998     15 |      907 |      944
350.73/350.81	c  350s |      16 |   281327 |   169652 |    20998     15 |      907 |      944
352.73/352.85	c  352s |      16 |   282220 |   170352 |    20998     15 |      907 |      944
354.93/355.09	c  354s |      16 |   283184 |   171152 |    20998     15 |      907 |      944
357.33/357.45	c  357s |      16 |   284190 |   171952 |    20998     15 |      907 |      944
359.43/359.53	c  359s |      16 |   284912 |   172552 |    20998     15 |      907 |      944
361.63/361.79	c  361s |      16 |   285752 |   173252 |    20998     15 |      907 |      944
363.83/363.94	c  363s |      16 |   286647 |   173952 |    20998     15 |      907 |      944
365.83/365.99	c  365s |      16 |   287527 |   174652 |    20998     15 |      907 |      944
368.03/368.19	c  367s |      16 |   288366 |   175352 |    20998     15 |      907 |      944
370.13/370.27	c  369s |      16 |   289133 |   175952 |    20998     15 |      907 |      944
372.43/372.53	c  372s |      16 |   289831 |   176552 |    20998     15 |      907 |      944
374.53/374.63	c  374s |      16 |   290547 |   177152 |    20998     15 |      907 |      944
376.53/376.63	c  376s |      16 |   291151 |   177652 |    20998     15 |      907 |      944
378.73/378.87	c  378s |      16 |   291864 |   178252 |    20998     15 |      907 |      944
381.13/381.24	c  380s |      16 |   292563 |   178852 |    20998     15 |      907 |      944
383.32/383.40	c  383s |      16 |   293256 |   179452 |    20998     15 |      907 |      944
385.42/385.55	c  385s |      16 |   293841 |   179952 |    20998     15 |      907 |      944
387.42/387.57	c  387s |      16 |   294421 |   180452 |    20998     15 |      907 |      944
389.92/390.01	c  389s |      16 |   295033 |   180952 |    20998     16 |      907 |      944
391.92/392.03	c  391s |      16 |   295720 |   181552 |    20998     16 |      907 |      944
394.02/394.18	c  393s |      16 |   296392 |   182152 |    20998     16 |      907 |      944
396.32/396.49	c  396s |      16 |   297190 |   182852 |    20998     16 |      907 |      944
398.52/398.63	c  398s |      16 |   297881 |   183452 |    20998     16 |      907 |      944
400.52/400.63	c  400s |      16 |   298556 |   184052 |    20998     16 |      907 |      944
402.72/402.90	c  402s |      16 |   299222 |   184652 |    20998     16 |      907 |      944
404.72/404.90	c  404s |      16 |   299802 |   185152 |    20998     16 |      907 |      944
406.82/406.95	c  406s |      16 |   300492 |   185752 |    20998     16 |      907 |      944
408.91/409.06	c  408s |      16 |   301073 |   186252 |    20998     16 |      907 |      944
411.11/411.20	c  410s |      16 |   301602 |   186752 |    20998     16 |      907 |      944
413.31/413.49	c  413s |      16 |   302283 |   187352 |    20998     16 |      907 |      944
415.82/415.90	c  415s |      16 |   302957 |   187952 |    20998     16 |      907 |      944
417.92/418.06	c  417s |      16 |   303677 |   188552 |    20998     16 |      907 |      944
420.12/420.24	c  419s |      16 |   304497 |   189252 |    20998     16 |      907 |      944
422.41/422.51	c  422s |      16 |   305331 |   189952 |    20998     16 |      907 |      944
424.51/424.65	c  424s |      16 |   306040 |   190552 |    20998     16 |      907 |      944
426.71/426.82	c  426s |      16 |   306740 |   191152 |    20998     16 |      907 |      944
429.01/429.12	c  428s |      16 |   307437 |   191752 |    20998     16 |      907 |      944
431.31/431.41	c  431s |      16 |   308263 |   192452 |    20998     16 |      907 |      944
433.90/434.08	c  433s |      16 |   308947 |   193052 |    20998     17 |      907 |      944
436.10/436.29	c  436s |      16 |   309625 |   193652 |    20998     17 |      907 |      944
438.30/438.46	c  438s |      16 |   310285 |   194252 |    20998     17 |      907 |      944
440.60/440.77	c  440s |      16 |   311077 |   194952 |    20998     17 |      907 |      944
442.70/442.87	c  442s |      16 |   311760 |   195552 |    20998     17 |      907 |      944
444.90/445.06	c  444s |      16 |   312439 |   196152 |    23098     17 |      907 |      944
447.00/447.19	c  446s |      16 |   313097 |   196752 |    23098     17 |      907 |      944
449.20/449.33	c  449s |      16 |   313782 |   197352 |    23098     17 |      907 |      944
449.40/449.58	c  449s |      17 |   313861 |   197432 |    23098     17 |      907 |      944
451.50/451.61	c  451s |      17 |   320090 |   199332 |    23098     17 |      907 |      944
453.59/453.72	c  453s |      17 |   323962 |   201332 |    23098     17 |      907 |      944
455.69/455.81	c  455s |      17 |   329005 |   203632 |    23098     17 |      907 |      944
457.69/457.82	c  457s |      17 |   333504 |   205632 |    23098     17 |      907 |      944
459.70/459.83	c  459s |      17 |   335155 |   206832 |    23098     17 |      907 |      944
461.79/461.95	c  461s |      17 |   336532 |   207832 |    23098     18 |      907 |      944
463.98/464.15	c  463s |      17 |   337869 |   208832 |    23098     18 |      907 |      944
465.98/466.17	c  465s |      17 |   339354 |   209832 |    23098     18 |      907 |      944
468.18/468.32	c  468s |      17 |   340498 |   210732 |    23098     18 |      907 |      944
470.28/470.43	c  470s |      17 |   341658 |   211632 |    23098     18 |      907 |      944
472.48/472.61	c  472s |      17 |   342796 |   212532 |    23098     18 |      907 |      944
474.58/474.78	c  474s |      17 |   343810 |   213332 |    23098     18 |      907 |      944
476.69/476.89	c  476s |      17 |   347038 |   214732 |    23098     18 |      907 |      944
478.79/478.96	c  478s |      17 |   348799 |   215932 |    23098     18 |      907 |      944
480.89/481.08	c  480s |      17 |   350173 |   216932 |    23098     18 |      907 |      944
483.08/483.20	c  482s |      17 |   351448 |   217932 |    23098     18 |      907 |      944
485.18/485.37	c  485s |      17 |   352617 |   218832 |    23098     18 |      907 |      944
487.29/487.50	c  487s |      17 |   354168 |   219932 |    23098     18 |      907 |      944
489.39/489.51	c  489s |      17 |   355280 |   220732 |    23098     19 |      907 |      944
491.48/491.60	c  491s |      17 |   356614 |   221732 |    23098     19 |      907 |      944
493.68/493.82	c  493s |      17 |   357934 |   222732 |    23098     19 |      907 |      944
495.78/495.99	c  495s |      17 |   358913 |   223532 |    23098     19 |      907 |      944
497.98/498.19	c  497s |      17 |   360169 |   224532 |    23098     19 |      907 |      944
500.18/500.35	c  500s |      17 |   361318 |   225432 |    23098     19 |      907 |      944
502.18/502.37	c  502s |      17 |   362154 |   226132 |    23098     19 |      907 |      944
504.48/504.62	c  504s |      17 |   362974 |   226832 |    23098     19 |      907 |      944
506.68/506.88	c  506s |      17 |   363911 |   227632 |    23098     19 |      907 |      944
508.88/509.00	c  508s |      17 |   364564 |   228232 |    23098     19 |      907 |      944
510.88/511.01	c  510s |      17 |   365267 |   228832 |    23098     19 |      907 |      944
512.88/513.02	c  512s |      17 |   365963 |   229432 |    23098     19 |      907 |      944
515.08/515.26	c  514s |      17 |   366694 |   230032 |    23098     19 |      907 |      944
517.18/517.33	c  517s |      17 |   367534 |   230732 |    23098     19 |      907 |      944
519.28/519.43	c  519s |      17 |   368249 |   231332 |    23098     19 |      907 |      944
521.38/521.59	c  521s |      17 |   368950 |   231932 |    23098     19 |      907 |      944
523.58/523.73	c  523s |      17 |   369645 |   232532 |    23098     19 |      907 |      944
525.68/525.80	c  525s |      17 |   370334 |   233132 |    23098     19 |      907 |      944
528.27/528.42	c  528s |      17 |   371030 |   233732 |    23098     20 |      907 |      944
530.27/530.43	c  530s |      17 |   372053 |   234532 |    23098     20 |      907 |      944
532.28/532.50	c  532s |      17 |   373034 |   235332 |    23098     20 |      907 |      944
534.48/534.67	c  534s |      17 |   373972 |   236132 |    23098     20 |      907 |      944
536.67/536.81	c  536s |      17 |   374948 |   236932 |    23098     20 |      907 |      944
538.77/538.93	c  538s |      17 |   375786 |   237632 |    23098     20 |      907 |      944
540.77/540.94	c  540s |      17 |   376594 |   238332 |    23098     20 |      907 |      944
543.07/543.27	c  542s |      17 |   377390 |   239032 |    23098     20 |      907 |      944
545.07/545.29	c  545s |      17 |   378108 |   239632 |    23098     20 |      907 |      944
547.37/547.58	c  547s |      17 |   378934 |   240332 |    23098     20 |      907 |      944
549.67/549.89	c  549s |      17 |   379859 |   241032 |    23098     20 |      907 |      944
551.86/552.09	c  551s |      17 |   380560 |   241632 |    23098     20 |      907 |      944
554.27/554.43	c  554s |      17 |   381254 |   242232 |    23098     20 |      907 |      944
556.47/556.61	c  556s |      17 |   381957 |   242832 |    23098     20 |      907 |      944
558.66/558.80	c  558s |      17 |   382637 |   243432 |    23098     20 |      907 |      944
560.96/561.14	c  560s |      17 |   383322 |   244032 |    23098     20 |      907 |      944
563.06/563.24	c  562s |      17 |   383899 |   244532 |    23098     20 |      907 |      944
565.05/565.28	c  564s |      17 |   384752 |   245232 |    23098     20 |      907 |      944
567.25/567.46	c  567s |      17 |   385460 |   245832 |    23098     20 |      907 |      944
569.66/569.83	c  569s |      17 |   386179 |   246432 |    23098     20 |      907 |      944
571.86/572.02	c  571s |      17 |   386749 |   246932 |    23098     21 |      907 |      944
573.95/574.20	c  573s |      17 |   387553 |   247632 |    23098     21 |      907 |      944
576.26/576.46	c  576s |      17 |   388350 |   248332 |    23098     21 |      907 |      944
578.35/578.59	c  578s |      17 |   389141 |   249032 |    23098     21 |      907 |      944
580.45/580.68	c  580s |      17 |   389823 |   249632 |    23098     21 |      907 |      944
582.64/582.82	c  582s |      17 |   390474 |   250232 |    23098     21 |      907 |      944
584.84/585.09	c  584s |      17 |   391138 |   250832 |    23098     21 |      907 |      944
587.25/587.41	c  587s |      17 |   391797 |   251432 |    23098     21 |      907 |      944
589.55/589.73	c  589s |      17 |   392480 |   252032 |    23098     21 |      907 |      944
591.75/591.90	c  591s |      17 |   393132 |   252632 |    23098     21 |      907 |      944
593.95/594.19	c  593s |      17 |   393824 |   253232 |    23098     21 |      907 |      944
596.04/596.21	c  595s |      17 |   394380 |   253732 |    23098     21 |      907 |      944
598.44/598.60	c  598s |      17 |   395041 |   254332 |    23098     21 |      907 |      944
600.64/600.86	c  600s |      17 |   395746 |   254932 |    23098     21 |      907 |      944
602.83/603.05	c  602s |      17 |   396436 |   255532 |    23098     21 |      907 |      944
605.03/605.24	c  604s |      17 |   397118 |   256132 |    23098     21 |      907 |      944
607.33/607.57	c  607s |      17 |   397787 |   256732 |    23098     21 |      907 |      944
609.63/609.88	c  609s |      17 |   398477 |   257332 |    23098     21 |      907 |      944
611.73/611.92	c  611s |      17 |   399029 |   257832 |    23098     21 |      907 |      944
613.83/614.00	c  613s |      17 |   399597 |   258332 |    23098     21 |      907 |      944
615.83/616.06	c  615s |      17 |   400160 |   258832 |    23098     21 |      907 |      944
617.93/618.15	c  617s |      17 |   400762 |   259332 |    23098     21 |      907 |      944
620.33/620.55	c  620s |      17 |   401411 |   259932 |    23098     21 |      907 |      944
622.43/622.66	c  622s |      17 |   402018 |   260432 |    23098     22 |      907 |      944
624.73/624.91	c  624s |      17 |   402785 |   261132 |    23098     22 |      907 |      944
626.72/626.92	c  626s |      17 |   403583 |   261832 |    23098     22 |      907 |      944
628.92/629.14	c  628s |      17 |   404549 |   262632 |    23098     22 |      907 |      944
630.92/631.18	c  630s |      17 |   405384 |   263332 |    23098     22 |      907 |      944
633.02/633.22	c  632s |      17 |   406096 |   263932 |    23098     22 |      907 |      944
635.22/635.49	c  635s |      17 |   406936 |   264632 |    23098     22 |      907 |      944
637.62/637.85	c  637s |      17 |   407609 |   265232 |    23098     22 |      907 |      944
639.92/640.13	c  639s |      17 |   408264 |   265832 |    23098     22 |      907 |      944
642.23/642.44	c  642s |      17 |   409091 |   266532 |    23098     22 |      907 |      944
644.42/644.65	c  644s |      17 |   409918 |   267232 |    23098     22 |      907 |      944
646.72/646.94	c  646s |      17 |   410767 |   267932 |    23098     22 |      907 |      944
648.92/649.11	c  648s |      17 |   411459 |   268532 |    23098     22 |      907 |      944
651.03/651.30	c  651s |      17 |   412018 |   269032 |    23098     22 |      907 |      944
653.42/653.61	c  653s |      17 |   412673 |   269632 |    23098     22 |      907 |      944
655.72/655.93	c  655s |      17 |   413213 |   270132 |    23098     22 |      907 |      944
657.92/658.12	c  657s |      17 |   413770 |   270632 |    23098     22 |      907 |      944
660.12/660.35	c  660s |      17 |   414328 |   271132 |    23098     22 |      907 |      944
662.32/662.51	c  662s |      17 |   414890 |   271632 |    23098     22 |      907 |      944
664.62/664.82	c  664s |      17 |   415441 |   272132 |    23098     22 |      907 |      944
666.72/666.99	c  666s |      17 |   415998 |   272632 |    23098     22 |      907 |      944
669.41/669.64	c  669s |      17 |   416434 |   273032 |    23098     23 |      907 |      944
671.81/672.02	c  671s |      17 |   417214 |   273732 |    23098     23 |      907 |      944
674.12/674.32	c  674s |      17 |   417870 |   274332 |    23098     23 |      907 |      944
676.21/676.43	c  676s |      17 |   418539 |   274932 |    23098     23 |      907 |      944
678.21/678.49	c  678s |      17 |   419212 |   275532 |    23098     23 |      907 |      944
680.51/680.74	c  680s |      17 |   420007 |   276232 |    23098     23 |      907 |      944
682.71/682.96	c  682s |      17 |   420651 |   276832 |    23098     23 |      907 |      944
684.81/685.00	c  684s |      17 |   421191 |   277332 |    23098     23 |      907 |      944
686.91/687.16	c  686s |      17 |   421888 |   277932 |    23098     23 |      907 |      944
689.11/689.36	c  689s |      17 |   422547 |   278532 |    23098     23 |      907 |      944
691.51/691.79	c  691s |      17 |   423203 |   279132 |    23098     23 |      907 |      944
693.60/693.82	c  693s |      17 |   423893 |   279732 |    23098     23 |      907 |      944
695.60/695.83	c  695s |      17 |   424445 |   280232 |    23098     23 |      907 |      944
698.00/698.21	c  697s |      17 |   424988 |   280732 |    23098     23 |      907 |      944
700.30/700.55	c  700s |      17 |   425645 |   281332 |    23098     23 |      907 |      944
702.50/702.74	c  702s |      17 |   426196 |   281832 |    23098     23 |      907 |      944
704.60/704.82	c  704s |      17 |   426749 |   282332 |    23098     23 |      907 |      944
706.70/706.97	c  706s |      17 |   427409 |   282932 |    23098     23 |      907 |      944
709.10/709.35	c  709s |      17 |   428074 |   283532 |    23098     23 |      907 |      944
711.50/711.74	c  711s |      17 |   428758 |   284132 |    23098     23 |      907 |      944
713.59/713.86	c  713s |      17 |   429295 |   284632 |    23098     23 |      907 |      944
715.79/716.01	c  715s |      17 |   429827 |   285132 |    23098     23 |      907 |      944
717.99/718.26	c  717s |      17 |   430401 |   285632 |    23098     23 |      907 |      944
720.59/720.88	c  720s |      17 |   430980 |   286132 |    23098     24 |      907 |      944
722.69/722.95	c  722s |      17 |   431644 |   286732 |    23098     24 |      907 |      944
724.80/725.01	c  724s |      17 |   432478 |   287432 |    23098     24 |      907 |      944
727.09/727.32	c  727s |      17 |   433400 |   288232 |    23098     24 |      907 |      944
729.39/729.61	c  729s |      17 |   434178 |   288932 |    23098     24 |      907 |      944
731.59/731.85	c  731s |      17 |   434924 |   289632 |    23098     24 |      907 |      944
733.89/734.10	c  733s |      17 |   435597 |   290232 |    23098     24 |      907 |      944
735.89/736.14	c  735s |      17 |   436285 |   290832 |    23098     24 |      907 |      944
738.09/738.38	c  738s |      17 |   436931 |   291432 |    23098     24 |      907 |      944
740.39/740.68	c  740s |      17 |   437605 |   292032 |    23098     24 |      907 |      944
742.79/743.05	c  742s |      17 |   438290 |   292632 |    23098     24 |      907 |      944
745.08/745.31	c  745s |      17 |   438947 |   293232 |    23098     24 |      907 |      944
747.08/747.32	c  747s |      17 |   439485 |   293732 |    23098     24 |      907 |      944
749.38/749.62	c  749s |      17 |   440019 |   294232 |    25408     24 |      907 |      944
751.68/751.95	c  751s |      17 |   440572 |   294732 |    25408     24 |      907 |      944
753.98/754.25	c  753s |      17 |   441113 |   295232 |    25408     24 |      907 |      944
756.18/756.40	c  756s |      17 |   441669 |   295732 |    25408     24 |      907 |      944
758.48/758.79	c  758s |      17 |   442194 |   296232 |    25408     24 |      907 |      944
758.68/758.90	c  758s |      18 |   442214 |   296252 |    25408     24 |      907 |      944
760.78/761.02	c  760s |      18 |   445671 |   297552 |    25408     24 |      907 |      944
762.87/763.13	c  762s |      18 |   447639 |   299152 |    25408     24 |      907 |      944
764.87/765.14	c  764s |      18 |   450457 |   300652 |    25408     24 |      907 |      944
766.97/767.22	c  766s |      18 |   451757 |   301552 |    25408     25 |      907 |      944
769.17/769.48	c  769s |      18 |   453034 |   302552 |    25408     25 |      907 |      944
771.27/771.50	c  771s |      18 |   454046 |   303352 |    25408     25 |      907 |      944
773.37/773.67	c  773s |      18 |   455276 |   304352 |    25408     25 |      907 |      944
775.47/775.71	c  775s |      18 |   456414 |   305352 |    25408     25 |      907 |      944
777.57/777.83	c  777s |      18 |   457379 |   306152 |    25408     25 |      907 |      944
779.87/780.12	c  779s |      18 |   458205 |   306852 |    25408     25 |      907 |      944
781.97/782.27	c  781s |      18 |   458845 |   307452 |    25408     25 |      907 |      944
784.26/784.50	c  784s |      18 |   459663 |   308152 |    25408     25 |      907 |      944
786.56/786.80	c  786s |      18 |   460597 |   308952 |    25408     25 |      907 |      944
788.57/788.88	c  788s |      18 |   461293 |   309552 |    25408     25 |      907 |      944
791.36/791.62	c  791s |      18 |   461845 |   310052 |    25408     25 |      907 |      944
793.76/794.02	c  793s |      18 |   462375 |   310552 |    25408     25 |      907 |      944
795.86/796.13	c  795s |      18 |   462927 |   311052 |    25408     25 |      907 |      944
798.06/798.39	c  798s |      18 |   463697 |   311752 |    25408     25 |      907 |      944
800.16/800.40	c  800s |      18 |   464369 |   312352 |    25408     25 |      907 |      944
802.16/802.44	c  802s |      18 |   464840 |   312752 |    25408     25 |      907 |      944
804.36/804.66	c  804s |      18 |   465443 |   313252 |    25408     25 |      907 |      944
806.46/806.77	c  806s |      18 |   465978 |   313752 |    25408     25 |      907 |      944
808.86/809.10	c  808s |      18 |   466523 |   314252 |    25408     25 |      907 |      944
811.26/811.55	c  811s |      18 |   466962 |   314652 |    25408     25 |      907 |      944
813.25/813.57	c  813s |      18 |   467400 |   315052 |    25408     25 |      907 |      944
815.85/816.14	c  815s |      18 |   467939 |   315552 |    25408     25 |      907 |      944
818.65/818.93	c  818s |      18 |   468378 |   315952 |    25408     26 |      907 |      944
820.74/821.09	c  820s |      18 |   469973 |   316752 |    25408     26 |      907 |      944
822.84/823.14	c  822s |      18 |   471237 |   317652 |    25408     26 |      907 |      944
824.94/825.22	c  824s |      18 |   473931 |   318652 |    25408     26 |      907 |      944
827.04/827.38	c  827s |      18 |   475638 |   319652 |    25408     26 |      907 |      944
829.14/829.44	c  829s |      18 |   478132 |   320752 |    25408     26 |      907 |      944
831.14/831.48	c  831s |      18 |   480491 |   321952 |    25408     26 |      907 |      944
833.33/833.61	c  833s |      18 |   482784 |   323152 |    25408     26 |      907 |      944
835.33/835.61	c  835s |      18 |   484051 |   324152 |    25408     26 |      907 |      944
837.43/837.72	c  837s |      18 |   485385 |   325052 |    25408     26 |      907 |      944
839.63/839.99	c  839s |      18 |   487097 |   326152 |    25408     26 |      907 |      944
841.73/842.01	c  841s |      18 |   488037 |   326852 |    25408     26 |      907 |      944
843.92/844.20	c  843s |      18 |   489440 |   327752 |    25408     26 |      907 |      944
845.92/846.20	c  845s |      18 |   490651 |   328552 |    25408     26 |      907 |      944
848.12/848.47	c  848s |      18 |   491702 |   329352 |    25408     26 |      907 |      944
850.22/850.51	c  850s |      18 |   492654 |   330052 |    25408     26 |      907 |      944
852.33/852.65	c  852s |      18 |   493412 |   330652 |    25408     27 |      907 |      944
854.42/854.71	c  854s |      18 |   494134 |   331252 |    25408     27 |      907 |      944
856.42/856.78	c  856s |      18 |   494999 |   331952 |    25408     27 |      907 |      944
858.62/858.91	c  858s |      18 |   495915 |   332652 |    25408     27 |      907 |      944
860.82/861.13	c  860s |      18 |   496900 |   333452 |    25408     27 |      907 |      944
862.81/863.18	c  862s |      18 |   497893 |   334252 |    25408     27 |      907 |      944
864.81/865.19	c  864s |      18 |   498733 |   334952 |    25408     27 |      907 |      944
867.11/867.41	c  867s |      18 |   499734 |   335752 |    25408     27 |      907 |      944
869.21/869.52	c  869s |      18 |   500583 |   336452 |    25408     27 |      907 |      944
871.41/871.72	c  871s |      18 |   501560 |   337252 |    25408     27 |      907 |      944
873.50/873.83	c  873s |      18 |   502577 |   338052 |    25408     27 |      907 |      944
875.91/876.20	c  875s |      18 |   503470 |   338752 |    25408     27 |      907 |      944
878.11/878.41	c  878s |      18 |   504344 |   339452 |    25408     27 |      907 |      944
880.21/880.55	c  880s |      18 |   505242 |   340152 |    25408     27 |      907 |      944
882.40/882.74	c  882s |      18 |   505787 |   340652 |    25408     27 |      907 |      944
884.40/884.76	c  884s |      18 |   506533 |   341252 |    25408     27 |      907 |      944
886.41/886.77	c  886s |      18 |   507263 |   341852 |    25408     27 |      907 |      944
888.90/889.21	c  888s |      18 |   507971 |   342452 |    25408     27 |      907 |      944
891.10/891.45	c  891s |      18 |   508572 |   342952 |    25408     27 |      907 |      944
893.10/893.48	c  893s |      18 |   509321 |   343552 |    25408     27 |      907 |      944
895.40/895.76	c  895s |      18 |   510152 |   344252 |    25408     27 |      907 |      944
897.49/897.86	c  897s |      18 |   510901 |   344852 |    25408     28 |      907 |      944
899.79/900.11	c  899s |      18 |   511749 |   345552 |    25408     28 |      907 |      944
901.99/902.34	c  902s |      18 |   512599 |   346252 |    25408     28 |      907 |      944
904.29/904.68	c  904s |      18 |   513495 |   346952 |    25408     28 |      907 |      944
906.39/906.76	c  906s |      18 |   513975 |   347352 |    25408     28 |      907 |      944
908.59/908.98	c  908s |      18 |   514670 |   347952 |    25408     28 |      907 |      944
910.79/911.18	c  910s |      18 |   515416 |   348552 |    25408     28 |      907 |      944
913.18/913.51	c  913s |      18 |   516149 |   349152 |    25408     28 |      907 |      944
915.48/915.83	c  915s |      18 |   516910 |   349752 |    25408     28 |      907 |      944
917.88/918.23	c  917s |      18 |   517613 |   350352 |    25408     28 |      907 |      944
919.88/920.28	c  919s |      18 |   518205 |   350852 |    25408     28 |      907 |      944
922.28/922.63	c  922s |      18 |   518928 |   351452 |    25408     28 |      907 |      944
924.57/924.93	c  924s |      18 |   519512 |   351952 |    25408     28 |      907 |      944
926.77/927.13	c  926s |      18 |   520196 |   352552 |    25408     28 |      907 |      944
928.87/929.28	c  928s |      18 |   520843 |   353052 |    25408     28 |      907 |      944
931.17/931.54	c  931s |      18 |   521546 |   353652 |    25408     28 |      907 |      944
933.47/933.82	c  933s |      18 |   522272 |   354252 |    25408     28 |      907 |      944
935.87/936.23	c  935s |      18 |   522857 |   354752 |    25408     28 |      907 |      944
937.87/938.27	c  937s |      18 |   523433 |   355252 |    25408     28 |      907 |      944
940.27/940.62	c  940s |      18 |   524152 |   355852 |    25408     28 |      907 |      944
942.26/942.67	c  942s |      18 |   524610 |   356252 |    25408     28 |      907 |      944
944.57/944.99	c  944s |      18 |   525221 |   356752 |    25408     28 |      907 |      944
946.87/947.25	c  946s |      18 |   525949 |   357352 |    25408     28 |      907 |      944
948.86/949.26	c  948s |      18 |   526493 |   357752 |    25408     28 |      907 |      944
951.36/951.73	c  951s |      18 |   527124 |   358252 |    25408     28 |      907 |      944
954.35/954.72	c  954s |      18 |   527709 |   358752 |    25408     29 |      907 |      944
956.35/956.75	c  956s |      18 |   528654 |   359452 |    25408     29 |      907 |      944
958.55/958.97	c  958s |      18 |   529444 |   360052 |    25408     29 |      907 |      944
960.55/960.99	c  960s |      18 |   530311 |   360752 |    25408     29 |      907 |      944
962.65/963.06	c  962s |      18 |   531044 |   361352 |    25408     29 |      907 |      944
964.95/965.31	c  965s |      18 |   531908 |   362052 |    25408     29 |      907 |      944
967.05/967.45	c  967s |      18 |   532979 |   362852 |    25408     29 |      907 |      944
969.15/969.55	c  969s |      18 |   533841 |   363552 |    25408     29 |      907 |      944
971.45/971.87	c  971s |      18 |   534695 |   364252 |    25408     29 |      907 |      944
973.65/974.06	c  973s |      18 |   535403 |   364852 |    25408     29 |      907 |      944
975.85/976.26	c  975s |      18 |   536227 |   365552 |    25408     29 |      907 |      944
978.05/978.42	c  978s |      18 |   536967 |   366152 |    25408     29 |      907 |      944
980.15/980.54	c  980s |      18 |   537680 |   366752 |    25408     29 |      907 |      944
982.44/982.87	c  982s |      18 |   538378 |   367352 |    25408     29 |      907 |      944
984.64/985.06	c  984s |      18 |   538981 |   367852 |    25408     29 |      907 |      944
987.04/987.43	c  987s |      18 |   539625 |   368352 |    25408     29 |      907 |      944
989.24/989.69	c  989s |      18 |   540249 |   368852 |    25408     29 |      907 |      944
991.84/992.23	c  991s |      18 |   541038 |   369452 |    25408     29 |      907 |      944
993.83/994.23	c  993s |      18 |   541641 |   369952 |    25408     29 |      907 |      944
996.03/996.41	c  996s |      18 |   542109 |   370352 |    25408     29 |      907 |      944
998.13/998.58	c  998s |      18 |   542755 |   370852 |    25408     29 |      907 |      944
1000.43/1000.83	c 1000s |      18 |   543598 |   371452 |    25408     29 |      907 |      944
1002.42/1002.88	c 1002s |      18 |   544273 |   371952 |    25408     29 |      907 |      944
1004.62/1005.06	c 1004s |      18 |   544914 |   372452 |    25408     29 |      907 |      944
1006.92/1007.33	c 1007s |      18 |   545594 |   372952 |    25408     29 |      907 |      944
1009.02/1009.47	c 1009s |      18 |   546167 |   373352 |    25408     30 |      907 |      944
1011.22/1011.61	c 1011s |      18 |   547070 |   374052 |    25408     30 |      907 |      944
1013.42/1013.82	c 1013s |      18 |   547993 |   374752 |    25408     30 |      907 |      944
1015.82/1016.28	c 1016s |      18 |   548880 |   375452 |    25408     30 |      907 |      944
1017.92/1018.32	c 1018s |      18 |   549323 |   375852 |    25408     30 |      907 |      944
1019.92/1020.39	c 1020s |      18 |   549788 |   376252 |    25408     30 |      907 |      944
1022.01/1022.42	c 1022s |      18 |   550568 |   376852 |    25408     30 |      907 |      944
1024.11/1024.51	c 1024s |      18 |   551336 |   377452 |    25408     30 |      907 |      944
1026.41/1026.81	c 1026s |      18 |   552055 |   378052 |    25408     30 |      907 |      944
1028.61/1029.09	c 1028s |      18 |   552778 |   378652 |    25408     30 |      907 |      944
1030.71/1031.18	c 1030s |      18 |   553406 |   379152 |    25408     30 |      907 |      944
1032.70/1033.19	c 1032s |      18 |   554111 |   379752 |    25408     30 |      907 |      944
1034.90/1035.30	c 1035s |      18 |   554726 |   380252 |    25408     30 |      907 |      944
1037.10/1037.57	c 1037s |      18 |   555476 |   380852 |    25408     30 |      907 |      944
1039.30/1039.78	c 1039s |      18 |   556209 |   381452 |    25408     30 |      907 |      944
1041.50/1041.95	c 1041s |      18 |   556798 |   381952 |    25408     30 |      907 |      944
1043.70/1044.14	c 1043s |      18 |   557426 |   382452 |    25408     30 |      907 |      944
1046.00/1046.46	c 1046s |      18 |   558205 |   383052 |    25408     30 |      907 |      944
1048.00/1048.49	c 1048s |      18 |   558836 |   383552 |    25408     30 |      907 |      944
1050.30/1050.72	c 1050s |      18 |   559431 |   384052 |    25408     30 |      907 |      944
1052.70/1053.11	c 1052s |      18 |   560029 |   384552 |    25408     30 |      907 |      944
1055.09/1055.55	c 1055s |      18 |   560651 |   385052 |    25408     30 |      907 |      944
1057.19/1057.61	c 1057s |      18 |   561233 |   385552 |    25408     30 |      907 |      944
1059.39/1059.88	c 1059s |      18 |   561832 |   386052 |    25408     30 |      907 |      944
1061.79/1062.25	c 1061s |      18 |   562441 |   386552 |    25408     30 |      907 |      944
1064.19/1064.60	c 1064s |      18 |   563074 |   387052 |    25408     30 |      907 |      944
1066.29/1066.71	c 1066s |      18 |   563591 |   387452 |    25408     31 |      907 |      944
1068.59/1069.06	c 1068s |      18 |   564456 |   388152 |    25408     31 |      907 |      944
1070.69/1071.15	c 1070s |      18 |   565183 |   388752 |    25408     31 |      907 |      944
1073.09/1073.52	c 1073s |      18 |   566088 |   389452 |    25408     31 |      907 |      944
1075.19/1075.64	c 1075s |      18 |   566809 |   390052 |    25408     31 |      907 |      944
1077.39/1077.82	c 1077s |      18 |   567571 |   390652 |    25408     31 |      907 |      944
1079.49/1079.98	c 1079s |      18 |   568318 |   391252 |    25408     31 |      907 |      944
1081.59/1082.06	c 1081s |      18 |   569049 |   391852 |    25408     31 |      907 |      944
1083.69/1084.15	c 1083s |      18 |   569615 |   392352 |    25408     31 |      907 |      944
1085.79/1086.20	c 1085s |      18 |   570370 |   392952 |    25408     31 |      907 |      944
1088.09/1088.57	c 1088s |      18 |   571106 |   393552 |    25408     31 |      907 |      944
1090.29/1090.76	c 1090s |      18 |   571719 |   394052 |    25408     31 |      907 |      944
1092.68/1093.16	c 1092s |      18 |   572350 |   394552 |    25408     31 |      907 |      944
1094.88/1095.31	c 1095s |      18 |   573097 |   395152 |    25408     31 |      907 |      944
1096.88/1097.33	c 1097s |      18 |   573712 |   395652 |    25408     31 |      907 |      944
1099.18/1099.67	c 1099s |      18 |   574440 |   396252 |    25408     31 |      907 |      944
1101.28/1101.79	c 1101s |      18 |   575050 |   396752 |    25408     31 |      907 |      944
1103.58/1104.06	c 1103s |      18 |   575643 |   397252 |    25408     31 |      907 |      944
1105.78/1106.27	c 1105s |      18 |   576236 |   397752 |    25408     31 |      907 |      944
1108.39/1108.80	c 1108s |      18 |   576824 |   398252 |    25408     31 |      907 |      944
1110.38/1110.82	c 1110s |      18 |   577263 |   398652 |    25408     31 |      907 |      944
1112.68/1113.15	c 1112s |      18 |   577914 |   399152 |    25408     31 |      907 |      944
1114.89/1115.33	c 1115s |      18 |   578516 |   399652 |    25408     31 |      907 |      944
1117.09/1117.55	c 1117s |      18 |   578959 |   400052 |    25408     31 |      907 |      944
1119.29/1119.73	c 1119s |      18 |   579298 |   400352 |    25408     31 |      907 |      944
1121.69/1122.18	c 1121s |      18 |   579745 |   400752 |    25408     31 |      907 |      944
1123.79/1124.23	c 1123s |      18 |   580228 |   401152 |    25408     31 |      907 |      944
1126.88/1127.31	c 1127s |      18 |   580690 |   401552 |    25408     32 |      907 |      944
1129.18/1129.67	c 1129s |      18 |   581274 |   402052 |    25408     32 |      907 |      944
1131.49/1131.97	c 1131s |      18 |   582056 |   402652 |    25408     32 |      907 |      944
1133.88/1134.33	c 1134s |      18 |   582806 |   403252 |    25408     32 |      907 |      944
1136.18/1136.64	c 1136s |      18 |   583562 |   403852 |    25408     32 |      907 |      944
1138.19/1138.65	c 1138s |      18 |   584149 |   404352 |    25408     32 |      907 |      944
1140.29/1140.78	c 1140s |      18 |   584788 |   404852 |    25408     32 |      907 |      944
1142.49/1142.93	c 1142s |      18 |   585526 |   405452 |    25408     32 |      907 |      944
1144.58/1145.08	c 1144s |      18 |   586089 |   405952 |    25408     32 |      907 |      944
1146.68/1147.15	c 1146s |      18 |   586554 |   406352 |    25408     32 |      907 |      944
1149.09/1149.54	c 1149s |      18 |   587158 |   406852 |    25408     32 |      907 |      944
1151.18/1151.65	c 1151s |      18 |   587741 |   407352 |    25408     32 |      907 |      944
1153.88/1154.37	c 1154s |      18 |   588270 |   407852 |    25408     32 |      907 |      944
1155.98/1156.40	c 1156s |      18 |   588744 |   408252 |    25408     32 |      907 |      944
1158.28/1158.78	c 1158s |      18 |   589329 |   408752 |    25408     32 |      907 |      944
1160.58/1161.01	c 1160s |      18 |   589943 |   409252 |    25408     32 |      907 |      944
1162.88/1163.38	c 1163s |      18 |   590535 |   409752 |    25408     32 |      907 |      944
1165.18/1165.65	c 1165s |      18 |   591150 |   410252 |    25408     32 |      907 |      944
1167.18/1167.66	c 1167s |      18 |   591635 |   410652 |    25408     32 |      907 |      944
1169.38/1169.82	c 1169s |      18 |   592244 |   411152 |    25408     32 |      907 |      944
1171.48/1171.99	c 1171s |      18 |   592819 |   411652 |    25408     32 |      907 |      944
1173.98/1174.42	c 1174s |      18 |   593603 |   412252 |    25408     32 |      907 |      944
1176.18/1176.64	c 1176s |      18 |   594207 |   412752 |    25408     32 |      907 |      944
1178.37/1178.89	c 1178s |      18 |   594839 |   413252 |    25408     32 |      907 |      944
1180.77/1181.23	c 1180s |      18 |   595445 |   413752 |    25408     32 |      907 |      944
1183.07/1183.60	c 1183s |      18 |   596065 |   414252 |    25408     32 |      907 |      944
1185.57/1186.02	c 1185s |      18 |   596683 |   414752 |    25408     32 |      907 |      944
1187.77/1188.20	c 1187s |      18 |   597159 |   415152 |    25408     32 |      907 |      944
1189.88/1190.37	c 1190s |      18 |   597609 |   415552 |    25408     32 |      907 |      944
1192.17/1192.65	c 1192s |      18 |   598070 |   415952 |    25408     33 |      907 |      944
1194.37/1194.88	c 1194s |      18 |   598809 |   416552 |    25408     33 |      907 |      944
1196.67/1197.14	c 1196s |      18 |   599549 |   417152 |    25408     33 |      907 |      944
1198.77/1199.24	c 1198s |      18 |   600273 |   417752 |    25408     33 |      907 |      944
1200.97/1201.47	c 1201s |      18 |   601058 |   418352 |    25408     33 |      907 |      944
1203.37/1203.83	c 1203s |      18 |   601831 |   418952 |    25408     33 |      907 |      944
1205.47/1206.00	c 1205s |      18 |   602444 |   419452 |    25408     33 |      907 |      944
1207.67/1208.18	c 1207s |      18 |   603077 |   419952 |    25408     33 |      907 |      944
1209.87/1210.31	c 1210s |      18 |   603865 |   420552 |    25408     33 |      907 |      944
1212.17/1212.67	c 1212s |      18 |   604627 |   421152 |    25408     33 |      907 |      944
1214.37/1214.83	c 1214s |      18 |   605246 |   421652 |    25408     33 |      907 |      944
1216.87/1217.30	c 1217s |      18 |   605976 |   422252 |    25408     33 |      907 |      944
1219.07/1219.56	c 1219s |      18 |   606609 |   422752 |    25408     33 |      907 |      944
1221.36/1221.87	c 1221s |      18 |   607392 |   423352 |    25408     33 |      907 |      944
1223.76/1224.25	c 1223s |      18 |   608009 |   423852 |    25408     33 |      907 |      944
1226.07/1226.52	c 1226s |      18 |   608602 |   424352 |    25408     33 |      907 |      944
1228.37/1228.86	c 1228s |      18 |   609206 |   424852 |    25408     33 |      907 |      944
1230.48/1230.97	c 1230s |      18 |   609672 |   425252 |    25408     33 |      907 |      944
1232.47/1232.99	c 1232s |      18 |   610159 |   425652 |    25408     33 |      907 |      944
1234.67/1235.15	c 1234s |      18 |   610796 |   426152 |    25408     33 |      907 |      944
1236.97/1237.44	c 1237s |      18 |   611524 |   426752 |    25408     33 |      907 |      944
1239.17/1239.61	c 1239s |      18 |   612107 |   427252 |    25408     33 |      907 |      944
1241.37/1241.83	c 1241s |      18 |   612710 |   427752 |    25408     33 |      907 |      944
1243.68/1244.14	c 1243s |      18 |   613461 |   428352 |    25408     33 |      907 |      944
1246.07/1246.50	c 1246s |      18 |   614219 |   428952 |    25408     33 |      907 |      944
1248.18/1248.65	c 1248s |      18 |   614838 |   429452 |    25408     33 |      907 |      944
1250.77/1251.26	c 1250s |      18 |   615411 |   429952 |    25408     34 |      907 |      944
1253.07/1253.56	c 1253s |      18 |   616143 |   430552 |    25408     34 |      907 |      944
1255.07/1255.57	c 1255s |      18 |   616729 |   431052 |    25408     34 |      907 |      944
1257.27/1257.75	c 1257s |      18 |   617421 |   431652 |    25408     34 |      907 |      944
1259.67/1260.12	c 1259s |      18 |   618492 |   432452 |    25408     34 |      907 |      944
1261.97/1262.46	c 1262s |      18 |   619187 |   433052 |    25408     34 |      907 |      944
1263.97/1264.47	c 1264s |      18 |   619931 |   433652 |    25408     34 |      907 |      944
1266.07/1266.58	c 1266s |      18 |   620673 |   434252 |    25408     34 |      907 |      944
1268.37/1268.86	c 1268s |      18 |   621556 |   434952 |    25408     34 |      907 |      944
1270.56/1271.07	c 1270s |      18 |   622262 |   435552 |    25408     34 |      907 |      944
1272.76/1273.21	c 1272s |      18 |   622975 |   436152 |    25408     34 |      907 |      944
1274.87/1275.39	c 1275s |      18 |   623598 |   436652 |    25408     34 |      907 |      944
1277.06/1277.52	c 1277s |      18 |   624185 |   437152 |    25408     34 |      907 |      944
1279.16/1279.66	c 1279s |      18 |   624791 |   437652 |    25408     34 |      907 |      944
1281.17/1281.70	c 1281s |      18 |   625399 |   438152 |    25408     34 |      907 |      944
1283.66/1284.13	c 1283s |      18 |   626105 |   438752 |    25408     34 |      907 |      944
1285.76/1286.28	c 1285s |      18 |   626720 |   439252 |    25408     34 |      907 |      944
1288.16/1288.66	c 1288s |      18 |   627291 |   439752 |    25408     34 |      907 |      944
1290.46/1290.94	c 1290s |      18 |   627894 |   440252 |    25408     34 |      907 |      944
1292.66/1293.13	c 1292s |      18 |   628508 |   440752 |    25408     34 |      907 |      944
1294.96/1295.41	c 1295s |      18 |   629101 |   441252 |    25408     34 |      907 |      944
1297.26/1297.76	c 1297s |      18 |   629692 |   441752 |    27949     34 |      907 |      944
1299.46/1299.97	c 1299s |      18 |   630300 |   442252 |    27949     34 |      907 |      944
1301.86/1302.32	c 1302s |      18 |   631006 |   442852 |    27949     34 |      907 |      944
1303.96/1304.44	c 1304s |      18 |   631471 |   443252 |    27949     34 |      907 |      944
1306.26/1306.79	c 1306s |      18 |   632081 |   443752 |    27949     34 |      907 |      944
1308.36/1308.80	c 1308s |      18 |   632556 |   444152 |    27949     34 |      907 |      944
1310.06/1310.54	c 1310s |      19 |   632923 |   444482 |    27949     34 |      907 |      944
1312.16/1312.63	c 1312s |      19 |   636565 |   445482 |    27949     35 |      907 |      944
1314.26/1314.71	c 1314s |      19 |   639409 |   447282 |    27949     35 |      907 |      944
1316.36/1316.82	c 1316s |      19 |   641645 |   449082 |    27949     35 |      907 |      944
1318.46/1318.93	c 1318s |      19 |   643715 |   450782 |    27949     35 |      907 |      944
1320.55/1321.02	c 1320s |      19 |   645392 |   452082 |    27949     35 |      907 |      944
1322.65/1323.10	c 1322s |      19 |   647126 |   453482 |    27949     35 |      907 |      944
1324.65/1325.11	c 1324s |      19 |   648263 |   454482 |    27949     35 |      907 |      944
1326.65/1327.13	c 1326s |      19 |   649165 |   455282 |    27949     35 |      907 |      944
1328.65/1329.15	c 1328s |      19 |   650399 |   456382 |    27949     35 |      907 |      944
1330.66/1331.18	c 1330s |      19 |   651535 |   457382 |    27949     35 |      907 |      944
1332.86/1333.36	c 1333s |      19 |   652507 |   458182 |    27949     35 |      907 |      944
1334.96/1335.41	c 1335s |      19 |   655255 |   459582 |    27949     35 |      907 |      944
1337.55/1338.03	c 1337s |      19 |   656616 |   460882 |    27949     36 |      907 |      944
1339.55/1340.07	c 1339s |      19 |   658375 |   462082 |    27949     36 |      907 |      944
1341.66/1342.11	c 1341s |      19 |   660051 |   463482 |    27949     36 |      907 |      944
1343.75/1344.22	c 1343s |      19 |   661393 |   464682 |    27949     36 |      907 |      944
1345.95/1346.41	c 1346s |      19 |   662849 |   465882 |    27949     36 |      907 |      944
1347.95/1348.42	c 1348s |      19 |   663994 |   466882 |    27949     36 |      907 |      944
1349.95/1350.48	c 1350s |      19 |   665740 |   468282 |    27949     36 |      907 |      944
1352.15/1352.61	c 1352s |      19 |   667119 |   469482 |    27949     36 |      907 |      944
1354.25/1354.75	c 1354s |      19 |   668359 |   470582 |    27949     36 |      907 |      944
1356.35/1356.83	c 1356s |      19 |   669673 |   471682 |    27949     36 |      907 |      944
1358.35/1358.84	c 1358s |      19 |   670769 |   472582 |    27949     36 |      907 |      944
1360.45/1360.91	c 1360s |      19 |   671648 |   473382 |    27949     36 |      907 |      944
1362.45/1362.99	c 1362s |      19 |   672543 |   474182 |    27949     36 |      907 |      944
1364.65/1365.12	c 1364s |      19 |   673444 |   474982 |    27949     36 |      907 |      944
1366.85/1367.31	c 1367s |      19 |   674354 |   475782 |    27949     36 |      907 |      944
1369.34/1369.87	c 1369s |      19 |   675129 |   476482 |    27949     37 |      907 |      944
1371.44/1371.90	c 1371s |      19 |   676330 |   477482 |    27949     37 |      907 |      944
1373.45/1373.93	c 1373s |      19 |   677222 |   478282 |    27949     37 |      907 |      944
1375.54/1376.04	c 1375s |      19 |   678365 |   479182 |    27949     37 |      907 |      944
1377.64/1378.12	c 1377s |      19 |   679432 |   480082 |    27949     37 |      907 |      944
1379.74/1380.28	c 1380s |      19 |   680566 |   480982 |    27949     37 |      907 |      944
1382.04/1382.55	c 1382s |      19 |   681489 |   481782 |    27949     37 |      907 |      944
1384.24/1384.77	c 1384s |      19 |   682259 |   482482 |    27949     37 |      907 |      944
1386.44/1386.93	c 1386s |      19 |   683045 |   483182 |    27949     37 |      907 |      944
1388.64/1389.15	c 1388s |      19 |   683874 |   483882 |    27949     37 |      907 |      944
1390.84/1391.38	c 1391s |      19 |   684512 |   484482 |    27949     37 |      907 |      944
1393.14/1393.64	c 1393s |      19 |   685518 |   485282 |    27949     37 |      907 |      944
1395.24/1395.72	c 1395s |      19 |   686383 |   485982 |    27949     37 |      907 |      944
1397.44/1397.91	c 1397s |      19 |   687393 |   486782 |    27949     37 |      907 |      944
1399.64/1400.18	c 1399s |      19 |   688223 |   487482 |    27949     37 |      907 |      944
1401.94/1402.42	c 1402s |      19 |   689087 |   488182 |    27949     37 |      907 |      944
1404.24/1404.72	c 1404s |      19 |   689958 |   488882 |    27949     37 |      907 |      944
1406.24/1406.78	c 1406s |      19 |   690960 |   489682 |    27949     37 |      907 |      944
1408.44/1408.93	c 1408s |      19 |   691666 |   490282 |    27949     37 |      907 |      944
1410.64/1411.15	c 1410s |      19 |   692395 |   490882 |    27949     37 |      907 |      944
1412.74/1413.24	c 1412s |      19 |   695851 |   491882 |    27949     37 |      907 |      944
1414.84/1415.32	c 1415s |      19 |   697784 |   492782 |    27949     38 |      907 |      944
1416.93/1417.49	c 1417s |      19 |   699971 |   494082 |    27949     38 |      907 |      944
1419.04/1419.60	c 1419s |      19 |   701256 |   495082 |    27949     38 |      907 |      944
1421.34/1421.86	c 1421s |      19 |   702175 |   495882 |    27949     38 |      907 |      944
1423.54/1424.02	c 1423s |      19 |   703068 |   496682 |    27949     38 |      907 |      944
1425.64/1426.15	c 1425s |      19 |   703835 |   497382 |    27949     38 |      907 |      944
1427.84/1428.37	c 1428s |      19 |   704611 |   498082 |    27949     38 |      907 |      944
1430.04/1430.53	c 1430s |      19 |   705492 |   498782 |    27949     38 |      907 |      944
1432.04/1432.54	c 1432s |      19 |   706392 |   499482 |    27949     38 |      907 |      944
1434.24/1434.73	c 1434s |      19 |   707541 |   500382 |    27949     38 |      907 |      944
1436.34/1436.83	c 1436s |      19 |   708376 |   501082 |    27949     38 |      907 |      944
1438.54/1439.09	c 1438s |      19 |   709251 |   501782 |    27949     38 |      907 |      944
1440.65/1441.14	c 1440s |      19 |   710014 |   502382 |    27949     38 |      907 |      944
1442.75/1443.27	c 1442s |      19 |   710589 |   502882 |    27949     38 |      907 |      944
1444.94/1445.43	c 1445s |      19 |   711313 |   503482 |    27949     38 |      907 |      944
1447.25/1447.74	c 1447s |      19 |   712056 |   504082 |    27949     38 |      907 |      944
1449.54/1450.07	c 1449s |      19 |   712748 |   504682 |    27949     38 |      907 |      944
1451.84/1452.31	c 1452s |      19 |   713452 |   505282 |    27949     38 |      907 |      944
1453.84/1454.34	c 1454s |      19 |   714007 |   505782 |    27949     38 |      907 |      944
1456.24/1456.73	c 1456s |      19 |   714718 |   506382 |    27949     38 |      907 |      944
1458.64/1459.12	c 1458s |      19 |   715456 |   506982 |    27949     38 |      907 |      944
1460.93/1461.43	c 1461s |      19 |   716158 |   507582 |    27949     38 |      907 |      944
1462.93/1463.45	c 1463s |      19 |   716613 |   507982 |    27949     39 |      907 |      944
1465.03/1465.51	c 1465s |      19 |   717195 |   508482 |    27949     39 |      907 |      944
1467.13/1467.61	c 1467s |      19 |   717884 |   509082 |    27949     39 |      907 |      944
1469.53/1470.02	c 1469s |      19 |   718546 |   509682 |    27949     39 |      907 |      944
1471.63/1472.13	c 1471s |      19 |   719101 |   510182 |    27949     39 |      907 |      944
1473.64/1474.13	c 1473s |      19 |   719656 |   510682 |    27949     39 |      907 |      944
1475.84/1476.39	c 1476s |      19 |   720199 |   511182 |    27949     39 |      907 |      944
1478.23/1478.71	c 1478s |      19 |   720763 |   511682 |    27949     39 |      907 |      944
1480.53/1481.01	c 1480s |      19 |   721302 |   512182 |    27949     39 |      907 |      944
1482.63/1483.13	c 1482s |      19 |   721867 |   512682 |    27949     39 |      907 |      944
1484.83/1485.37	c 1485s |      19 |   722427 |   513182 |    27949     39 |      907 |      944
1487.13/1487.64	c 1487s |      19 |   722849 |   513582 |    27949     39 |      907 |      944
1489.63/1490.15	c 1489s |      19 |   723382 |   514082 |    27949     39 |      907 |      944
1491.63/1492.18	c 1491s |      19 |   723825 |   514482 |    27949     39 |      907 |      944
1494.23/1494.70	c 1494s |      19 |   724370 |   514982 |    27949     39 |      907 |      944
1496.23/1496.75	c 1496s |      19 |   724797 |   515382 |    27949     39 |      907 |      944
1498.63/1499.16	c 1498s |      19 |   725362 |   515882 |    27949     39 |      907 |      944
1500.93/1501.48	c 1501s |      19 |   725902 |   516382 |    27949     39 |      907 |      944
1503.13/1503.60	c 1503s |      19 |   726356 |   516782 |    27949     39 |      907 |      944
1505.53/1506.06	c 1505s |      19 |   726911 |   517282 |    27949     39 |      907 |      944
1508.03/1508.57	c 1508s |      19 |   727472 |   517782 |    27949     39 |      907 |      944
1510.13/1510.64	c 1510s |      19 |   727909 |   518182 |    27949     39 |      907 |      944
1512.23/1512.79	c 1512s |      19 |   728365 |   518582 |    27949     39 |      907 |      944
1514.62/1515.13	c 1514s |      19 |   728935 |   519082 |    27949     39 |      907 |      944
1517.02/1517.53	c 1517s |      19 |   729487 |   519582 |    27949     39 |      907 |      944
1519.42/1519.96	c 1519s |      19 |   730050 |   520082 |    27949     39 |      907 |      944
1521.72/1522.24	c 1521s |      19 |   730483 |   520482 |    27949     39 |      907 |      944
1524.13/1524.65	c 1524s |      19 |   730910 |   520882 |    27949     39 |      907 |      944
1526.22/1526.71	c 1526s |      19 |   731367 |   521282 |    27949     39 |      907 |      944
1528.63/1529.16	c 1528s |      19 |   731922 |   521782 |    27949     39 |      907 |      944
1530.73/1531.30	c 1531s |      19 |   732355 |   522182 |    27949     39 |      907 |      944
1533.03/1533.53	c 1533s |      19 |   732785 |   522582 |    27949     39 |      907 |      944
1535.32/1535.84	c 1535s |      19 |   733342 |   523082 |    27949     39 |      907 |      944
1538.22/1538.71	c 1538s |      19 |   733761 |   523482 |    27949     40 |      907 |      944
1540.52/1541.06	c 1540s |      19 |   734194 |   523882 |    27949     40 |      907 |      944
1542.82/1543.38	c 1543s |      19 |   734726 |   524382 |    27949     40 |      907 |      944
1544.92/1545.43	c 1545s |      19 |   735152 |   524782 |    27949     40 |      907 |      944
1547.12/1547.66	c 1547s |      19 |   735719 |   525282 |    27949     40 |      907 |      944
1549.21/1549.78	c 1549s |      19 |   736289 |   525782 |    27949     40 |      907 |      944
1551.42/1551.91	c 1551s |      19 |   736838 |   526282 |    27949     40 |      907 |      944
1553.41/1553.92	c 1553s |      19 |   737280 |   526682 |    27949     40 |      907 |      944
1555.91/1556.50	c 1556s |      19 |   737818 |   527182 |    27949     40 |      907 |      944
1558.32/1558.85	c 1558s |      19 |   738378 |   527682 |    27949     40 |      907 |      944
1560.42/1560.98	c 1560s |      19 |   738810 |   528082 |    27949     40 |      907 |      944
1562.62/1563.12	c 1562s |      19 |   739130 |   528382 |    27949     40 |      907 |      944
1565.01/1565.53	c 1565s |      19 |   739685 |   528882 |    27949     40 |      907 |      944
1567.12/1567.68	c 1567s |      19 |   740100 |   529282 |    27949     40 |      907 |      944
1569.62/1570.17	c 1569s |      19 |   740642 |   529782 |    27949     40 |      907 |      944
1571.82/1572.36	c 1572s |      19 |   741224 |   530282 |    27949     40 |      907 |      944
1574.32/1574.84	c 1574s |      19 |   741899 |   530882 |    27949     40 |      907 |      944
1576.52/1577.09	c 1576s |      19 |   742466 |   531382 |    27949     40 |      907 |      944
1578.92/1579.44	c 1579s |      19 |   743026 |   531882 |    27949     40 |      907 |      944
1581.32/1581.87	c 1581s |      19 |   743596 |   532382 |    27949     40 |      907 |      944
1583.72/1584.21	c 1583s |      19 |   744171 |   532882 |    27949     40 |      907 |      944
1586.22/1586.71	c 1586s |      19 |   744722 |   533382 |    27949     40 |      907 |      944
1588.62/1589.15	c 1588s |      19 |   745282 |   533882 |    27949     40 |      907 |      944
1590.82/1591.34	c 1591s |      19 |   745726 |   534282 |    27949     40 |      907 |      944
1592.82/1593.35	c 1593s |      19 |   746179 |   534682 |    27949     40 |      907 |      944
1594.82/1595.39	c 1595s |      19 |   746628 |   535082 |    27949     40 |      907 |      944
1596.92/1597.48	c 1597s |      19 |   747068 |   535482 |    27949     40 |      907 |      944
1599.31/1599.89	c 1599s |      19 |   747637 |   535982 |    27949     40 |      907 |      944
1601.81/1602.30	c 1602s |      19 |   748206 |   536482 |    27949     40 |      907 |      944
1604.42/1604.94	c 1604s |      19 |   748764 |   536982 |    27949     40 |      907 |      944
1606.41/1606.99	c 1606s |      19 |   749218 |   537382 |    27949     40 |      907 |      944
1608.71/1609.22	c 1608s |      19 |   749640 |   537782 |    27949     40 |      907 |      944
1610.91/1611.44	c 1611s |      19 |   750067 |   538182 |    27949     40 |      907 |      944
1613.22/1613.74	c 1613s |      19 |   750518 |   538582 |    27949     40 |      907 |      944
1616.71/1617.24	c 1616s |      19 |   751248 |   539082 |    27949     41 |      907 |      944
1618.91/1619.47	c 1619s |      19 |   752428 |   539882 |    27949     41 |      907 |      944
1621.11/1621.60	c 1621s |      19 |   753457 |   540682 |    27949     41 |      907 |      944
1623.12/1623.61	c 1623s |      19 |   754339 |   541382 |    27949     41 |      907 |      944
1625.21/1625.78	c 1625s |      19 |   755173 |   542082 |    27949     41 |      907 |      944
1627.51/1628.09	c 1627s |      19 |   755995 |   542782 |    27949     41 |      907 |      944
1629.82/1630.35	c 1630s |      19 |   756654 |   543382 |    27949     41 |      907 |      944
1632.01/1632.57	c 1632s |      19 |   757386 |   543982 |    27949     41 |      907 |      944
1634.31/1634.86	c 1634s |      19 |   758254 |   544682 |    27949     41 |      907 |      944
1636.31/1636.88	c 1636s |      19 |   759003 |   545282 |    27949     41 |      907 |      944
1638.41/1638.93	c 1638s |      19 |   759718 |   545882 |    27949     41 |      907 |      944
1640.81/1641.32	c 1641s |      19 |   760561 |   546582 |    27949     41 |      907 |      944
1643.11/1643.63	c 1643s |      19 |   761250 |   547182 |    27949     41 |      907 |      944
1645.21/1645.72	c 1645s |      19 |   761802 |   547682 |    27949     41 |      907 |      944
1647.31/1647.82	c 1647s |      19 |   762394 |   548182 |    27949     41 |      907 |      944
1649.70/1650.20	c 1649s |      19 |   762972 |   548682 |    27949     41 |      907 |      944
1651.71/1652.28	c 1652s |      19 |   763575 |   549182 |    27949     41 |      907 |      944
1654.01/1654.53	c 1654s |      19 |   764155 |   549682 |    27949     41 |      907 |      944
1656.30/1656.86	c 1656s |      19 |   764724 |   550182 |    27949     41 |      907 |      944
1658.70/1659.23	c 1658s |      19 |   765343 |   550682 |    27949     41 |      907 |      944
1660.70/1661.24	c 1660s |      19 |   765789 |   551082 |    27949     41 |      907 |      944
1662.90/1663.42	c 1663s |      19 |   766358 |   551582 |    27949     41 |      907 |      944
1665.20/1665.71	c 1665s |      19 |   766908 |   552082 |    27949     41 |      907 |      944
1667.80/1668.30	c 1668s |      19 |   767462 |   552582 |    27949     41 |      907 |      944
1670.10/1670.67	c 1670s |      19 |   768026 |   553082 |    27949     41 |      907 |      944
1672.10/1672.69	c 1672s |      19 |   768462 |   553482 |    27949     41 |      907 |      944
1674.60/1675.13	c 1674s |      19 |   769054 |   553982 |    27949     41 |      907 |      944
1676.90/1677.48	c 1677s |      19 |   769639 |   554482 |    27949     41 |      907 |      944
1679.60/1680.18	c 1679s |      19 |   770083 |   554882 |    27949     42 |      907 |      944
1681.90/1682.41	c 1682s |      19 |   770658 |   555382 |    27949     42 |      907 |      944
1683.90/1684.41	c 1684s |      19 |   771201 |   555882 |    27949     42 |      907 |      944
1686.00/1686.58	c 1686s |      19 |   771775 |   556382 |    27949     42 |      907 |      944
1688.10/1688.64	c 1688s |      19 |   772323 |   556882 |    27949     42 |      907 |      944
1690.30/1690.83	c 1690s |      19 |   772886 |   557382 |    27949     42 |      907 |      944
1692.60/1693.11	c 1692s |      19 |   773454 |   557882 |    27949     42 |      907 |      944
1694.60/1695.17	c 1694s |      19 |   773917 |   558282 |    27949     42 |      907 |      944
1696.80/1697.33	c 1697s |      19 |   774487 |   558782 |    27949     42 |      907 |      944
1699.29/1699.82	c 1699s |      19 |   775149 |   559382 |    27949     42 |      907 |      944
1701.49/1702.01	c 1701s |      19 |   775712 |   559882 |    27949     42 |      907 |      944
1703.59/1704.10	c 1703s |      19 |   776273 |   560382 |    27949     42 |      907 |      944
1705.60/1706.19	c 1705s |      19 |   776835 |   560882 |    27949     42 |      907 |      944
1708.09/1708.61	c 1708s |      19 |   777393 |   561382 |    27949     42 |      907 |      944
1710.49/1711.05	c 1710s |      19 |   777940 |   561882 |    27949     42 |      907 |      944
1712.69/1713.29	c 1713s |      19 |   778509 |   562382 |    27949     42 |      907 |      944
1715.09/1715.63	c 1715s |      19 |   779073 |   562882 |    27949     42 |      907 |      944
1717.39/1717.93	c 1717s |      19 |   779632 |   563382 |    27949     42 |      907 |      944
1719.90/1720.43	c 1720s |      19 |   780192 |   563882 |    27949     42 |      907 |      944
1721.99/1722.50	c 1722s |      19 |   780652 |   564282 |    27949     42 |      907 |      944
1724.09/1724.67	c 1724s |      19 |   781104 |   564682 |    27949     42 |      907 |      944
1726.29/1726.80	c 1726s |      19 |   781557 |   565082 |    27949     42 |      907 |      944
1728.29/1728.81	c 1728s |      19 |   782101 |   565482 |    27949     42 |      907 |      944
1730.29/1730.88	c 1730s |      19 |   782923 |   566082 |    27949     42 |      907 |      944
1732.29/1732.89	c 1732s |      19 |   783570 |   566582 |    27949     42 |      907 |      944
1734.39/1734.93	c 1734s |      19 |   784211 |   567082 |    27949     42 |      907 |      944
1736.79/1737.39	c 1737s |      19 |   784969 |   567682 |    27949     42 |      907 |      944
1739.18/1739.76	c 1739s |      19 |   785423 |   568082 |    27949     42 |      907 |      944
1741.68/1742.24	c 1741s |      19 |   785986 |   568582 |    27949     42 |      907 |      944
1743.78/1744.36	c 1744s |      19 |   786455 |   568982 |    27949     42 |      907 |      944
1745.88/1746.40	c 1746s |      19 |   787060 |   569482 |    27949     42 |      907 |      944
1747.88/1748.48	c 1748s |      19 |   787660 |   569982 |    27949     42 |      907 |      944
1750.28/1750.89	c 1750s |      19 |   788132 |   570382 |    27949     43 |      907 |      944
1752.58/1753.14	c 1752s |      19 |   788958 |   571082 |    27949     43 |      907 |      944
1755.09/1755.64	c 1755s |      19 |   789778 |   571782 |    27949     43 |      907 |      944
1757.39/1757.91	c 1757s |      19 |   790481 |   572382 |    27949     43 |      907 |      944
1759.59/1760.15	c 1759s |      19 |   791190 |   572982 |    27949     43 |      907 |      944
1761.88/1762.46	c 1762s |      19 |   791777 |   573482 |    27949     43 |      907 |      944
1764.18/1764.72	c 1764s |      19 |   792357 |   573982 |    27949     43 |      907 |      944
1766.28/1766.83	c 1766s |      19 |   793062 |   574582 |    27949     43 |      907 |      944
1768.29/1768.90	c 1768s |      19 |   793633 |   575082 |    27949     43 |      907 |      944
1770.49/1771.03	c 1770s |      19 |   794211 |   575582 |    27949     43 |      907 |      944
1772.69/1773.28	c 1772s |      19 |   794902 |   576182 |    27949     43 |      907 |      944
1774.78/1775.37	c 1775s |      19 |   795466 |   576682 |    27949     43 |      907 |      944
1776.78/1777.40	c 1777s |      19 |   796057 |   577182 |    27949     43 |      907 |      944
1779.08/1779.62	c 1779s |      19 |   796764 |   577782 |    27949     43 |      907 |      944
1781.38/1781.96	c 1781s |      19 |   797505 |   578382 |    27949     43 |      907 |      944
1783.38/1783.96	c 1783s |      19 |   798107 |   578882 |    27949     43 |      907 |      944
1785.38/1785.99	c 1785s |      19 |   798697 |   579382 |    27949     43 |      907 |      944
1787.88/1788.41	c 1788s |      19 |   799257 |   579882 |    27949     43 |      907 |      944
1790.08/1790.60	c 1790s |      19 |   799851 |   580382 |    27949     43 |      907 |      944
1792.18/1792.72	c 1792s |      19 |   800402 |   580882 |    27949     43 |      907 |      944
1794.38/1794.95	c 1794s |      19 |   800974 |   581382 |    27949     43 |      907 |      944
1796.67/1797.27	c 1796s |      19 |   801558 |   581882 |    27949     43 |      907 |      944
1798.87/1799.49	c 1799s |      19 |   802115 |   582382 |    27949     43 |      907 |      944

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

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

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


[startup+0 s]
/proc/loadavg: 2.17 2.08 2.03 4/175 26300
/proc/meminfo: memFree=31172548/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=381372 CPUtime=0 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 1365 0 0 0 0 0 0 0 20 0 4 0 31268629 390524928 1215 33554432000 4194304 16246674 140733279162512 140733279161936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 96111 1225 441 2943 0 93005 0
[pid=26300/tid=26301] ppid=26294 vsize=397756 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 407302144 1278 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=401852 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 411496448 1294 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=405948 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31268629 415690752 1311 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.17 2.08 2.03 4/175 26300
/proc/meminfo: memFree=31172548/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 28469 0 0 0 6 3 0 0 20 0 4 0 31268629 1249447936 28257 33554432000 4194304 16246674 140733279162512 140733279161824 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 305041 28257 801 2943 0 301935 0
[pid=26300/tid=26301] ppid=26294 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1249447936 28257 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1249447936 28257 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1249447936 28257 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200489 s]
/proc/loadavg: 2.17 2.08 2.03 4/175 26300
/proc/meminfo: memFree=31172548/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1301060 CPUtime=0.18 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 48676 0 0 0 13 5 0 0 20 0 4 0 31268629 1332285440 48464 33554432000 4194304 16246674 140733279162512 140733279161824 12458964 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 325265 48464 842 2943 0 322159 0
[pid=26300/tid=26301] ppid=26294 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 48464 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 48464 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 48464 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1301060

[startup+0.30046 s]
/proc/loadavg: 2.17 2.08 2.03 4/175 26300
/proc/meminfo: memFree=31172548/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1301060 CPUtime=0.28 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 54464 0 0 0 22 6 0 0 20 0 4 0 31268629 1332285440 54252 33554432000 4194304 16246674 140733279162512 140733279161824 5532301 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 325265 54261 882 2943 0 322159 0
[pid=26300/tid=26301] ppid=26294 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 54267 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 54273 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 54279 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1301060

[startup+0.700384 s]
/proc/loadavg: 2.17 2.08 2.03 4/175 26300
/proc/meminfo: memFree=31172548/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1301060 CPUtime=0.68 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 106339 0 0 0 55 13 0 0 20 0 4 0 31268629 1332285440 106127 33554432000 4194304 16246674 140733279162512 140733279144384 5603189 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 325265 106132 882 2943 0 322159 0
[pid=26300/tid=26301] ppid=26294 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 106137 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 106142 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 106145 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1301060

[startup+1.50027 s]
/proc/loadavg: 2.17 2.08 2.03 4/183 26308
/proc/meminfo: memFree=29904468/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1301060 CPUtime=1.48 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 205767 0 0 0 121 27 0 0 20 0 4 0 31268629 1332285440 205556 33554432000 4194304 16246674 140733279162512 140733279144384 5530837 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 325265 205565 882 2943 0 322159 0
[pid=26300/tid=26301] ppid=26294 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 205573 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 205583 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 205589 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10039 s]
/proc/loadavg: 2.16 2.08 2.03 4/183 26308
/proc/meminfo: memFree=29021596/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1313348 CPUtime=3.08 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 269288 0 0 0 272 36 0 0 20 0 4 0 31268629 1344868352 269076 33554432000 4194304 16246674 140733279162512 140733279144384 5712756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 328337 269076 888 2943 0 325231 0
[pid=26300/tid=26301] ppid=26294 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269076 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269076 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269076 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1313348

[startup+6.30039 s]
/proc/loadavg: 2.16 2.08 2.03 4/183 26308
/proc/meminfo: memFree=29019776/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 269527 0 0 0 592 37 0 0 20 0 4 0 31268629 1344868352 269315 33554432000 4194304 16246674 140733279162512 140733279144384 5600746 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 328337 269315 889 2943 0 325231 0
[pid=26300/tid=26301] ppid=26294 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269315 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269315 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269315 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.21 2.09 2.03 4/183 26308
/proc/meminfo: memFree=29019820/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 269527 0 0 0 1232 37 0 0 20 0 4 0 31268629 1344868352 269315 33554432000 4194304 16246674 140733279162512 140733279161688 13954600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 328337 269315 889 2943 0 325231 0
[pid=26300/tid=26301] ppid=26294 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269315 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269315 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269315 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.18 2.09 2.03 4/183 26308
/proc/meminfo: memFree=29021184/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 269529 0 0 0 2512 37 0 0 20 0 4 0 31268629 1344868352 269317 33554432000 4194304 16246674 140733279162512 140733279144384 5677716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 328337 269317 891 2943 0 325231 0
[pid=26300/tid=26301] ppid=26294 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269317 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269317 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269317 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.17 2.10 2.03 4/183 26308
/proc/meminfo: memFree=29021780/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 269530 0 0 0 5071 37 0 0 20 0 4 0 31268629 1344868352 269318 33554432000 4194304 16246674 140733279162512 140733279144384 12875492 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 328337 269318 892 2943 0 325231 0
[pid=26300/tid=26301] ppid=26294 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269318 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269318 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269318 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.10 2.09 2.03 4/183 26309
/proc/meminfo: memFree=29012884/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1319492 CPUtime=102.28 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 271043 0 0 0 10191 37 0 0 20 0 4 0 31268629 1351159808 270831 33554432000 4194304 16246674 140733279162512 140733279144384 5677720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 329873 270831 892 2943 0 326767 0
[pid=26300/tid=26301] ppid=26294 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1351159808 270831 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1351159808 270831 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1351159808 270831 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492


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

/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1357451264 272646 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1325636

[startup+1302.3 s]
/proc/loadavg: 2.18 2.17 2.10 4/183 26339
/proc/meminfo: memFree=28976540/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1325636 CPUtime=1301.86 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 272968 0 0 0 130140 46 0 0 20 0 4 0 31268629 1357451264 272646 33554432000 4194304 16246674 140733279162512 140733279144384 14068387 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 331409 272646 892 2943 0 328303 0
[pid=26300/tid=26301] ppid=26294 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1357451264 272646 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1357451264 272646 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1357451264 272646 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1325636

[startup+1362.3 s]
/proc/loadavg: 2.10 2.15 2.10 4/183 26340
/proc/meminfo: memFree=28974512/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1327684 CPUtime=1361.85 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 273465 0 0 0 136139 46 0 0 20 0 4 0 31268629 1359548416 273143 33554432000 4194304 16246674 140733279162512 140733279144384 5677720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 331921 273143 892 2943 0 328815 0
[pid=26300/tid=26301] ppid=26294 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1359548416 273143 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1359548416 273143 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1359548416 273143 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1327684

[startup+1422.3 s]
/proc/loadavg: 2.11 2.15 2.10 5/183 26342
/proc/meminfo: memFree=28975320/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1327684 CPUtime=1421.85 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 273480 0 0 0 142138 47 0 0 20 0 4 0 31268629 1359548416 273158 33554432000 4194304 16246674 140733279162512 140733279161688 5828829 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 331921 273158 892 2943 0 328815 0
[pid=26300/tid=26301] ppid=26294 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1359548416 273158 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1359548416 273158 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1359548416 273158 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1327684

[startup+1482.3 s]
/proc/loadavg: 2.08 2.14 2.09 4/183 26343
/proc/meminfo: memFree=28974916/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1327684 CPUtime=1481.83 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 273480 0 0 0 148136 47 0 0 20 0 4 0 31268629 1359548416 273158 33554432000 4194304 16246674 140733279162512 140733279161688 5822432 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 331921 273158 892 2943 0 328815 0
[pid=26300/tid=26301] ppid=26294 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1359548416 273158 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1359548416 273158 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1359548416 273158 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1327684

[startup+1542.31 s]
/proc/loadavg: 2.03 2.11 2.08 5/184 26347
/proc/meminfo: memFree=28974524/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1327684 CPUtime=1541.83 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 273480 0 0 0 154136 47 0 0 20 0 4 0 31268629 1359548416 273158 33554432000 4194304 16246674 140733279162512 140733279144384 5677584 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 331921 273158 892 2943 0 328815 0
[pid=26300/tid=26301] ppid=26294 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1359548416 273158 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1359548416 273158 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1359548416 273158 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1327684

[startup+1602.3 s]
/proc/loadavg: 2.01 2.08 2.08 4/183 26348
/proc/meminfo: memFree=28974628/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1327684 CPUtime=1601.81 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 273480 0 0 0 160133 48 0 0 20 0 4 0 31268629 1359548416 273158 33554432000 4194304 16246674 140733279162512 140733279144384 4221140 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 331921 273158 892 2943 0 328815 0
[pid=26300/tid=26301] ppid=26294 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1359548416 273158 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1359548416 273158 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1359548416 273158 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1327684

[startup+1662.3 s]
/proc/loadavg: 2.00 2.07 2.07 4/183 26349
/proc/meminfo: memFree=28970548/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1331780 CPUtime=1661.8 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 274456 0 0 0 166132 48 0 0 20 0 4 0 31268629 1363742720 274134 33554432000 4194304 16246674 140733279162512 140733279161608 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 332945 274134 892 2943 0 329839 0
[pid=26300/tid=26301] ppid=26294 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1363742720 274134 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1363742720 274134 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1363742720 274134 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.00 2.05 2.07 5/183 26351
/proc/meminfo: memFree=28970684/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1331780 CPUtime=1721.79 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 274456 0 0 0 172131 48 0 0 20 0 4 0 31268629 1363742720 274134 33554432000 4194304 16246674 140733279162512 140733279144384 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 332945 274134 892 2943 0 329839 0
[pid=26300/tid=26301] ppid=26294 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1363742720 274134 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1363742720 274134 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1363742720 274134 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1331780

[startup+1782.3 s]
/proc/loadavg: 2.10 2.07 2.07 4/183 26352
/proc/meminfo: memFree=28970256/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1331780 CPUtime=1781.78 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 274504 0 0 0 178130 48 0 0 20 0 4 0 31268629 1363742720 274182 33554432000 4194304 16246674 140733279162512 140733279144384 5722477 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 332945 274182 892 2943 0 329839 0
[pid=26300/tid=26301] ppid=26294 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1363742720 274182 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1363742720 274182 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1363742720 274182 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1331780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.08 2.07 2.07 4/183 26352
/proc/meminfo: memFree=28970256/32872528 swapFree=681168/738400
[pid=26300] ppid=26294 vsize=1331780 CPUtime=1800.07 cores=0,2,4,6
/proc/26300/stat : 26300 (toysat) R 26294 26300 24605 0 -1 4202496 274504 0 0 0 179959 48 0 0 20 0 4 0 31268629 1363742720 274182 33554432000 4194304 16246674 140733279162512 140733279144384 5711636 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26300/statm: 332945 274182 892 2943 0 329839 0
[pid=26300/tid=26301] ppid=26294 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26301/stat : 26301 (toysat) S 26294 26300 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1363742720 274182 33554432000 4194304 16246674 140733279162512 140206928801008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=26300/tid=26303] ppid=26294 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26303/stat : 26303 (toysat) S 26294 26300 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1363742720 274182 33554432000 4194304 16246674 140733279162512 140206918311152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=26300/tid=26305] ppid=26294 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/26300/task/26305/stat : 26305 (toysat) S 26294 26300 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1363742720 274182 33554432000 4194304 16246674 140733279162512 140206907837616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1331780

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.6
CPU system time (s): 0.489925
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 1331780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.489925
maximum resident set size= 1096728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274504
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= 381
involuntary context switches= 1893

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.332 second user time and 15.6526 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-27 01:04:51
IDJOB=4116509
IDBENCH=109479
IDSOLVER=2542
FILE ID=node112/4116509-1466982291
RUNJOBID= node112-1466982291-26271
PBS_JOBID= 19976373
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-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-4116509-1466982291/watcher-4116509-1466982291 -o /tmp/evaluation-result-4116509-1466982291/solver-4116509-1466982291 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466982291-26271 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116509-1466982291.opb

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

MD5SUM BENCH= 0d8707a053909ae250d7beee514953f6
RANDOM SEED=1700467230

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
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:        31174092 kB
Buffers:           36580 kB
Cached:           220208 kB
SwapCached:         1692 kB
Active:            88140 kB
Inactive:         171212 kB
Active(anon):       3188 kB
Inactive(anon):     2540 kB
Active(file):      84952 kB
Inactive(file):   168672 kB
Unevictable:      738400 kB
Mlocked:          681168 kB
SwapTotal:      67108856 kB
SwapFree:       67098676 kB
Dirty:             33384 kB
Writeback:             0 kB
AnonPages:        740876 kB
Mapped:             7144 kB
Shmem:                 0 kB
Slab:             568624 kB
SReclaimable:      12352 kB
SUnreclaim:       556272 kB
KernelStack:        1416 kB
PageTables:         5324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     836624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 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= 71656 MiB
End job on node112 at 2016-06-27 01:34:52